Uses of Class
pascal.taie.analysis.exception.CatchResult

Packages that use CatchResult

Package	Description
pascal.taie.analysis.exception	This package provides functionality to analyze exceptions.

Uses of CatchResult in pascal.taie.analysis.exception

Methods in pascal.taie.analysis.exception that return CatchResult

Modifier and Type	Method	Description
static CatchResult	CatchAnalysis.analyze(IR ir, ThrowResult throwResult)	Analyzes the exceptions thrown by each Stmt in given IR may be caught by which (catch) Stmts, and which exceptions are not caught in the IR.