MethodThrowResult (Tai-e 0.2.2 API)

java.lang.Object

pascal.taie.analysis.pta.plugin.exception.MethodThrowResult

public class MethodThrowResult extends Object

Constructor Summary

Constructors

Constructor

Description

MethodThrowResult(JMethod method)
Method Summary

Modifier and Type

Method

Description

Set<Obj>

mayThrowExplicitly(Stmt stmt)

Set<Obj>

mayThrowUncaught()

String

toString()

Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Constructor Details
- MethodThrowResult
  
  public MethodThrowResult(JMethod method)
Method Details
- mayThrowExplicitly
  
  public Set<Obj> mayThrowExplicitly(Stmt stmt)
- mayThrowUncaught
  
  public Set<Obj> mayThrowUncaught()
- toString
  
  public String toString()
  
  Overrides:
  
  toString in class Object