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

Packages that use ThrowResult

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

Uses of ThrowResult in pascal.taie.analysis.exception

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

Modifier and Type	Method	Description
ThrowResult	ThrowAnalysis.analyze(IR ir)

Methods in pascal.taie.analysis.exception with parameters of type ThrowResult

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.