public abstract class AbstractThrowAnalysis extends java.lang.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.