soot.dotnet.instructions

Class CilTryFinallyInstruction

java.lang.Object

soot.dotnet.instructions.AbstractCilnstruction

soot.dotnet.instructions.CilTryFinallyInstruction

All Implemented Interfaces:

CilInstruction

public class CilTryFinallyInstruction
extends AbstractCilnstruction

Try-Finally block: finally block has to be cloned to every exit statement in the paths (rewrite), because in .NET try-catch-finally-fault are blocks

Field Summary

Fields inherited from class soot.dotnet.instructions.AbstractCilnstruction

cilBlock, dotnetBody, instruction

Constructor Summary

Constructors

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

Method Summary

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

Methods inherited from class java.lang.Object

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

Constructor Detail

CilTryFinallyInstruction

public CilTryFinallyInstruction(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: