soot.dotnet.instructions

Class CatchHandlerBody

java.lang.Object

soot.dotnet.instructions.CatchHandlerBody

public class CatchHandlerBody
extends Object

Represents a TryCatch handler

Constructor Summary

Constructors

Constructor and Description
CatchHandlerBody(Local exceptionVariable, ProtoIlInstructions.IlTryCatchHandlerMsg handlerMsg, DotnetBody dotnetBody, Body tryBody, Unit exceptionIdentityStmt, List<Unit> nopsToReplaceWithGoto)

Method Summary

Modifier and Type	Method and Description
Body	getBody()
Local	getExceptionVariable()

Methods inherited from class java.lang.Object

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

Constructor Detail

CatchHandlerBody

public CatchHandlerBody(Local exceptionVariable,
                        ProtoIlInstructions.IlTryCatchHandlerMsg handlerMsg,
                        DotnetBody dotnetBody,
                        Body tryBody,
                        Unit exceptionIdentityStmt,
                        List<Unit> nopsToReplaceWithGoto)

Method Detail

getExceptionVariable

public Local getExceptionVariable()

getBody

public Body getBody()