Uses of Class
pascal.taie.analysis.pta.plugin.exception.MethodThrowResult

Packages that use MethodThrowResult

Package	Description
pascal.taie.analysis.pta.plugin.exception

Uses of MethodThrowResult in pascal.taie.analysis.pta.plugin.exception

Methods in pascal.taie.analysis.pta.plugin.exception that return types with arguments of type MethodThrowResult

Modifier and Type	Method	Description
Optional<MethodThrowResult>	PTAThrowResult.getResult(JMethod method)