public abstract class AbstractThrowAnalysis extends Object implements ThrowAnalysis
ThrowAnalysis interface which may be common to multiple concrete
ThrowAnalysis classes. AbstractThrowAnalysis provides straightforward implementations of
mightThrowExplicitly(ThrowInst) and mightThrowExplicitly(ThrowStmt), since concrete implementations of
ThrowAnalysis seem likely to differ mainly in their treatment of implicit exceptions.| Constructor and Description |
|---|
AbstractThrowAnalysis() |
| Modifier and Type | Method and Description |
|---|---|
abstract ThrowableSet |
mightThrow(Unit u)
Returns a set representing the
Throwable types that the specified unit might throw. |
ThrowableSet |
mightThrowExplicitly(ThrowInst t)
Returns a set representing the
Throwable types that the specified throw instruction might throw explicitly, that
is, the possible types for its Throwable argument. |
ThrowableSet |
mightThrowExplicitly(ThrowStmt t)
Returns a set representing the
Throwable types that the specified throw statement might throw explicitly, that
is, the possible types for its Throwable argument. |
abstract ThrowableSet |
mightThrowImplicitly(ThrowInst t)
Returns a set representing the
Throwable types that the specified throw instruction might throw implicitly, that
is, the possible types of errors which might arise in the course of executing the throw instruction, rather
than the type of the throw's operand. |
abstract ThrowableSet |
mightThrowImplicitly(ThrowStmt t)
Returns a set representing the
Throwable types that the specified throw statement might throw implicitly, that
is, the possible types of errors which might arise in the course of executing the throw statement, rather
than the type of the throw's operand. |
public abstract ThrowableSet mightThrow(Unit u)
ThrowAnalysisThrowable types that the specified unit might throw.mightThrow in interface ThrowAnalysisu - Unit whose exceptions are to be returned.Throwable types that u might throw.public ThrowableSet mightThrowExplicitly(ThrowInst t)
ThrowAnalysisThrowable types that the specified throw instruction might throw explicitly, that
is, the possible types for its Throwable argument.mightThrowExplicitly in interface ThrowAnalysist - ThrowInst whose explicit exceptions are to be returned.t's Throwable operand.public ThrowableSet mightThrowExplicitly(ThrowStmt t)
ThrowAnalysisThrowable types that the specified throw statement might throw explicitly, that
is, the possible types for its Throwable argument.mightThrowExplicitly in interface ThrowAnalysist - ThrowStmt whose explicit exceptions are to be returned.t's Throwable operand.public abstract ThrowableSet mightThrowImplicitly(ThrowInst t)
ThrowAnalysisThrowable types that the specified throw instruction might throw implicitly, that
is, the possible types of errors which might arise in the course of executing the throw instruction, rather
than the type of the throw's operand.mightThrowImplicitly in interface ThrowAnalysist - ThrowStmt whose implicit exceptions are to be returned.t might throw implicitly.public abstract ThrowableSet mightThrowImplicitly(ThrowStmt t)
ThrowAnalysisThrowable types that the specified throw statement might throw implicitly, that
is, the possible types of errors which might arise in the course of executing the throw statement, rather
than the type of the throw's operand.mightThrowImplicitly in interface ThrowAnalysist - ThrowStmt whose implicit exceptions are to be returned.t might throw implicitly.Copyright © 2020 Soot OSS. All rights reserved.