public interface ExtProcedureCall extends AccrueExt
Modifier and Type | Method and Description |
---|---|
boolean |
canTerminateNormally(AnalysisContext context) |
CallSiteNode |
getCallSiteNode() |
void |
recordPreciseExResults(AnalysisContext context,
java.util.Set<ThrowableType> throwTypes,
boolean canTerminateNormally) |
void |
setCallSiteNode(CallSiteNode callSiteNode) |
java.util.Collection<ThrowableType> |
throwTypes(polyglot.types.TypeSystem ts,
AnalysisContext context) |
enclosingFinallyDepth, getAnalysisResult, getAnalysisResult, getAnalysisResult, numArgumentsOnResultStack, recordAnalysisResult, recordAnalysisResult, recordAnalysisResult, registerPointerStmts, removeAnalysisResult, removeAnalysisResult, removeAnalysisResult, setEnclosingFinallyDepth
addDecls, buildTypes, buildTypesEnter, checkConstants, childExpectedType, copy, copy, disambiguate, disambiguateEnter, disambiguateOverride, dump, dump, dump, dump, enterChildScope, enterScope, exceptionCheck, exceptionCheckEnter, extRewrite, extRewriteEnter, lang, prettyPrint, prettyPrint, prettyPrint, prettyPrint, prettyPrint, throwTypes, translate, typeCheck, typeCheckEnter, typeCheckOverride, visitChild, visitChildren, visitList
void setCallSiteNode(CallSiteNode callSiteNode)
CallSiteNode getCallSiteNode()
void recordPreciseExResults(AnalysisContext context, java.util.Set<ThrowableType> throwTypes, boolean canTerminateNormally)
boolean canTerminateNormally(AnalysisContext context)
java.util.Collection<ThrowableType> throwTypes(polyglot.types.TypeSystem ts, AnalysisContext context)