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

Class PTAThrowResult

java.lang.Object

pascal.taie.analysis.pta.plugin.exception.PTAThrowResult

public class PTAThrowResult
extends Object

Constructor Summary

Constructors

Constructor	Description
PTAThrowResult()

Method Summary

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

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Details

PTAThrowResult

public PTAThrowResult()

Method Details

getResult

public Optional<MethodThrowResult> getResult(JMethod method)