Package soot.dotnet.instructions

Class CilILFunctionInstruction

java.lang.Object

soot.dotnet.instructions.AbstractCilnstruction

soot.dotnet.instructions.CilILFunctionInstruction

All Implemented Interfaces:

CilInstruction

public class CilILFunctionInstruction
extends AbstractCilnstruction

CIL isinst differs from instanceof: isinst returns object or null, while instanceof returns a boolean - rewrite

Field Summary

Fields inherited from class soot.dotnet.instructions.AbstractCilnstruction

cilBlock, dotnetBody, instruction

Constructor Summary

Constructors

Constructor	Description
CilILFunctionInstruction(ProtoIlInstructions.IlInstructionMsg instruction, DotnetBody dotnetBody, CilBlock cilBlock)

Method Summary

Modifier and Type	Method	Description
void	jimplify(Body jb)	Jimplify a starting statement of ILSpy AST
Value	jimplifyExpr(Body jb)	Jimplify an expression of ILSpy AST statement children
void	resolveRewritingIsInst(Body jb, Local variable, Value instanceOfExpr)

Methods inherited from class soot.dotnet.instructions.AbstractCilnstruction

createTempVar, createTempVar, simplifyComplexExpression

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

CilILFunctionInstruction

public CilILFunctionInstruction(ProtoIlInstructions.IlInstructionMsg instruction,
                                DotnetBody dotnetBody,
                                CilBlock cilBlock)

Method Detail

jimplify

public void jimplify(Body jb)

Description copied from interface: CilInstruction

Jimplify a starting statement of ILSpy AST

jimplifyExpr

public Value jimplifyExpr(Body jb)

Description copied from interface: CilInstruction

Jimplify an expression of ILSpy AST statement children

Returns:

resolveRewritingIsInst

public void resolveRewritingIsInst(Body jb,
                                   Local variable,
                                   Value instanceOfExpr)