Package sootup.java.core.exceptions

Class StmtExceptionAnalyzer

java.lang.Object

sootup.java.core.exceptions.StmtExceptionAnalyzer

public class StmtExceptionAnalyzer
extends Object

An analyzer for a Stmt to determine the exceptions it might throw.

Constructor Summary

Constructors

Constructor	Description
StmtExceptionAnalyzer(TypeHierarchy hierarchy)

Method Summary

Modifier and Type	Method	Description
ExceptionInferResult	mightThrow(@NonNull Stmt stmt, @NonNull StmtGraph<? extends BasicBlock<?>> graph)
ExceptionInferResult	mightThrowExplicitly(@NonNull JThrowStmt throwStmt, @NonNull StmtGraph<? extends BasicBlock<?>> graph)
ExceptionInferResult	mightThrowImplicitly(Stmt stmt)

Methods inherited from class java.lang.Object

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

Constructor Details

StmtExceptionAnalyzer

public StmtExceptionAnalyzer(TypeHierarchy hierarchy)

Method Details

mightThrow

public ExceptionInferResult mightThrow(@NonNull Stmt stmt,
 @NonNull StmtGraph<? extends BasicBlock<?>> graph)

mightThrowExplicitly

public ExceptionInferResult mightThrowExplicitly(@NonNull JThrowStmt throwStmt,
 @NonNull StmtGraph<? extends BasicBlock<?>> graph)

mightThrowImplicitly

public ExceptionInferResult mightThrowImplicitly(Stmt stmt)