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 and Description
CatchFilterHandlerBody(DotnetBody dotnetBody, ProtoIlInstructions.IlTryCatchHandlerMsg handlerMsg, Local exceptionVar, Unit nopStmtEnd)

Method Summary

Modifier and Type	Method and 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)