Uses of Class
sootup.java.core.exceptions.ExceptionInferResult

Packages that use ExceptionInferResult

Package	Description
sootup.java.core.exceptions

Uses of ExceptionInferResult in sootup.java.core.exceptions

Methods in sootup.java.core.exceptions that return ExceptionInferResult

Modifier and Type	Method	Description
protected ExceptionInferResult	ExceptionInferResult.addException(ClassType newException, TypeHierarchy typeHierarchy)
protected ExceptionInferResult	ExceptionInferResult.addExceptions(ExceptionInferResult newResult, TypeHierarchy typeHierarchy)
ExceptionInferResult	ExceptionInferExprVisitor.getResult()
ExceptionInferResult	ExceptionInferRefVisitor.getResult()
ExceptionInferResult	ExceptionInferStmtVisitor.getResult()
ExceptionInferResult	StmtExceptionAnalyzer.mightThrow(@NonNull Stmt stmt, @NonNull StmtGraph<? extends BasicBlock<?>> graph)
ExceptionInferResult	StmtExceptionAnalyzer.mightThrowExplicitly(@NonNull JThrowStmt throwStmt, @NonNull StmtGraph<? extends BasicBlock<?>> graph)
ExceptionInferResult	StmtExceptionAnalyzer.mightThrowImplicitly(Stmt stmt)

Methods in sootup.java.core.exceptions with parameters of type ExceptionInferResult

Modifier and Type	Method	Description
protected ExceptionInferResult	ExceptionInferResult.addExceptions(ExceptionInferResult newResult, TypeHierarchy typeHierarchy)