Uses of Class
pascal.taie.ir.stmt.Catch

Packages that use Catch

Package	Description
pascal.taie.ir.proginfo
pascal.taie.ir.stmt

Uses of Catch in pascal.taie.ir.proginfo

Methods in pascal.taie.ir.proginfo that return Catch

Modifier and Type	Method	Description
Catch	ExceptionEntry.handler()	Returns the value of the handler record component.

Constructors in pascal.taie.ir.proginfo with parameters of type Catch

Modifier	Constructor	Description
	ExceptionEntry(Stmt start, Stmt end, Catch handler, ClassType catchType)	Creates an instance of a ExceptionEntry record class.

Uses of Catch in pascal.taie.ir.stmt

Methods in pascal.taie.ir.stmt with parameters of type Catch

Modifier and Type	Method	Description
default T	StmtVisitor.visit(Catch stmt)