Package soot.dotnet.instructions

Class CilIsInstInstruction

java.lang.Object

soot.dotnet.instructions.AbstractCilnstruction

soot.dotnet.instructions.CilIsInstInstruction

All Implemented Interfaces:

CilInstruction

public class CilIsInstInstruction
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
CilIsInstInstruction(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
Local	resolveRewritingIsInst(Body jb, Local variable, InstanceOfExpr 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

CilIsInstInstruction

public CilIsInstInstruction(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 Local resolveRewritingIsInst(Body jb,
                                    Local variable,
                                    InstanceOfExpr instanceOfExpr)