Package pascal.taie.analysis.exception

Class ThrowResult

java.lang.Object

pascal.taie.analysis.exception.ThrowResult

public class ThrowResult
extends Object

Method Summary

Modifier and Type	Method	Description
IR	getIR()
Set<ClassType>	mayThrowExplicitly(Invoke invoke)
Set<ClassType>	mayThrowExplicitly(Throw throwStmt)
Set<ClassType>	mayThrowImplicitly(Stmt stmt)

Methods inherited from class java.lang.Object

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

Method Details

getIR

public IR getIR()

mayThrowImplicitly

public Set<ClassType> mayThrowImplicitly(Stmt stmt)

mayThrowExplicitly

public Set<ClassType> mayThrowExplicitly(Throw throwStmt)

mayThrowExplicitly

public Set<ClassType> mayThrowExplicitly(Invoke invoke)