ThrowResult (Tai-e 0.2.2 API)

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)