Package soot.dotnet.instructions

Class CilBlockContainer

java.lang.Object

soot.dotnet.instructions.CilBlockContainer

All Implemented Interfaces:

CilInstruction

Direct Known Subclasses:

CILBlockContainerInstr

public class CilBlockContainer
extends Object
implements CilInstruction

ILSpy opcode BlockContainer

Nested Class Summary

Nested Classes

Modifier and Type	Class	Description
static class	CilBlockContainer.BlockContainerKind	Define the type of a blockcontainer, if blockcontainer is try block, etc.

Field Summary

Fields

Modifier and Type	Field	Description
protected ProtoIlInstructions.IlBlockContainerMsg	blockContainer
protected CilBlockContainer.BlockContainerKind	blockContainerKind
BlockEntryPointsManager	blockEntryPointsManager
protected DotnetBody	dotnetBody
protected Stmt	skipBlockContainerStmt

Constructor Summary

Constructors

Constructor	Description
CilBlockContainer(ProtoIlInstructions.IlBlockContainerMsg blockContainer, DotnetBody dotnetBody)
CilBlockContainer(ProtoIlInstructions.IlBlockContainerMsg blockContainer, DotnetBody dotnetBody, CilBlockContainer.BlockContainerKind blockContainerKind)

Method Summary

Modifier and Type	Method	Description
protected void	afterJimplification()
CilBlockContainer.BlockContainerKind	getBlockContainerKind()
DotnetBody	getDeclaringDotnetBody()
Stmt	getSkipBlockContainerStmt()	Get the stmt with which this container is skipped (goto)
boolean	isChildBlockContainer()
Body	jimplify()
void	jimplify(Body jb)	Jimplify a starting statement of ILSpy AST
protected void	jimplifyBlock(Body jb, ProtoIlInstructions.IlBlock block)
Value	jimplifyExpr(Body jb)	Jimplify an expression of ILSpy AST statement children
static boolean	LastStmtIsNotReturn(Body jb)

Methods inherited from class java.lang.Object

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

Field Detail

blockContainer

protected final ProtoIlInstructions.IlBlockContainerMsg blockContainer

dotnetBody

protected final DotnetBody dotnetBody

blockEntryPointsManager

public final BlockEntryPointsManager blockEntryPointsManager

skipBlockContainerStmt

protected final Stmt skipBlockContainerStmt

blockContainerKind

protected final CilBlockContainer.BlockContainerKind blockContainerKind

Constructor Detail

CilBlockContainer

public CilBlockContainer(ProtoIlInstructions.IlBlockContainerMsg blockContainer,
                         DotnetBody dotnetBody)

CilBlockContainer

public CilBlockContainer(ProtoIlInstructions.IlBlockContainerMsg blockContainer,
                         DotnetBody dotnetBody,
                         CilBlockContainer.BlockContainerKind blockContainerKind)

Method Detail

jimplify

public void jimplify(Body jb)

Description copied from interface: CilInstruction

Jimplify a starting statement of ILSpy AST

Specified by:

jimplify in interface CilInstruction

jimplifyBlock

protected void jimplifyBlock(Body jb,
                             ProtoIlInstructions.IlBlock block)

afterJimplification

protected void afterJimplification()

jimplify

public Body jimplify()

jimplifyExpr

public Value jimplifyExpr(Body jb)

Description copied from interface: CilInstruction

Jimplify an expression of ILSpy AST statement children

Specified by:

jimplifyExpr in interface CilInstruction

Returns:

LastStmtIsNotReturn

public static boolean LastStmtIsNotReturn(Body jb)

getDeclaringDotnetBody

public DotnetBody getDeclaringDotnetBody()

isChildBlockContainer

public boolean isChildBlockContainer()

getBlockContainerKind

public CilBlockContainer.BlockContainerKind getBlockContainerKind()

getSkipBlockContainerStmt

public Stmt getSkipBlockContainerStmt()

Get the stmt with which this container is skipped (goto)

Returns:

skip stmt