Package soot.dotnet.instructions

Class CatchFilterHandlerBody

java.lang.Object

soot.dotnet.instructions.CatchFilterHandlerBody

public class CatchFilterHandlerBody
extends Object

Represents a TryCatch handler with a filter https://docs.microsoft.com/en-us/dotnet/standard/exceptions/using-user-filtered-exception-handlers

Constructor Summary

Constructors

Constructor	Description
CatchFilterHandlerBody(DotnetBody dotnetBody, ProtoIlInstructions.IlTryCatchHandlerMsg handlerMsg, Local exceptionVar, Unit nopStmtEnd)

Method Summary

Modifier and Type	Method	Description
Body	getFilterHandlerBody(Value generalExceptionVariable)

Methods inherited from class java.lang.Object

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

Constructor Detail

CatchFilterHandlerBody

public CatchFilterHandlerBody(DotnetBody dotnetBody,
                              ProtoIlInstructions.IlTryCatchHandlerMsg handlerMsg,
                              Local exceptionVar,
                              Unit nopStmtEnd)

Method Detail

getFilterHandlerBody

public Body getFilterHandlerBody(Value generalExceptionVariable)