accrue.analysis.ext

Class ExtTerm

java.lang.Object

polyglot.ast.Ext_c

accrue.analysis.ext.AccrueExt_c

accrue.analysis.ext.ExtTerm

All Implemented Interfaces:

AccrueExt, java.io.Serializable, java.lang.Cloneable, polyglot.ast.Ext, polyglot.ast.NodeOps, polyglot.util.Copy<polyglot.ast.Ext>

Direct Known Subclasses:

ExtAssert, ExtBlock, ExtBranch, ExtCatch, ExtCodeDecl, ExtConstructorCall, ExtEmpty, ExtEnumConstantDecl, ExtEval, ExtExpr, ExtFieldDecl, ExtFormal, ExtIf, ExtLabeled, ExtLocalDecl, ExtLoop, ExtReturn, ExtSwitch, ExtSynchronized, ExtThrow, ExtTry, ExtTypeNode

public class ExtTerm
extends AccrueExt_c

Dataflow node extension object for an object sensitive analysis

See Also:

Serialized Form

Nested Class Summary

Nested classes/interfaces inherited from interface polyglot.util.Copy

polyglot.util.Copy.Util

Field Summary

Fields inherited from class polyglot.ast.Ext_c

ext, node, pred

Constructor Summary

Constructors

Constructor and Description
ExtTerm()

Method Summary

Methods

Modifier and Type	Method and Description
<DFItem extends polyglot.visit.DataFlow.Item> java.util.Map<polyglot.visit.FlowGraph.EdgeKey,DFItem>	flowDispatch(DataFlowDispatch<DFItem> d, DFItem dfIn, DFItem trueItem, DFItem falseItem, polyglot.visit.FlowGraph<DFItem> graph, polyglot.visit.FlowGraph.Peer<DFItem> peer) Dispatch function.
<DFItem extends polyglot.visit.DataFlow.Item> java.util.Map<polyglot.visit.FlowGraph.EdgeKey,DFItem>	flowDispatch(DataFlowDispatch<DFItem> d, DFItem dfIn, polyglot.visit.FlowGraph<DFItem> graph, polyglot.visit.FlowGraph.Peer<DFItem> peer) Dispatch function.
java.util.Collection<ThrowableType>	throwTypes(polyglot.types.TypeSystem ts, AnalysisContext context) Get the collection of types of exceptions that might be thrown

Methods inherited from class accrue.analysis.ext.AccrueExt_c

enclosingFinallyDepth, ext, getAnalysisResult, getAnalysisResult, getAnalysisResult, lang, numArgumentsOnResultStack, recordAnalysisResult, recordAnalysisResult, recordAnalysisResult, registerPointerStmts, removeAnalysisResult, removeAnalysisResult, removeAnalysisResult, setEnclosingFinallyDepth

Methods inherited from class polyglot.ast.Ext_c

addDecls, buildTypes, buildTypesEnter, checkConstants, childExpectedType, copy, copy, copy, disambiguate, disambiguateEnter, disambiguateOverride, dump, dump, dump, dump, dump, enterChildScope, enterScope, exceptionCheck, exceptionCheckEnter, ext, ext, extRewrite, extRewriteEnter, init, initPred, node, pred, prettyPrint, prettyPrint, prettyPrint, prettyPrint, prettyPrint, print, printBlock, printSubStmt, superLang, throwTypes, toString, translate, typeCheck, typeCheckEnter, typeCheckOverride, visitChild, visitChildren, visitList

Methods inherited from class java.lang.Object

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

Methods inherited from interface polyglot.ast.Ext

dump, ext, ext, init, initPred, node, pred

Methods inherited from interface polyglot.ast.NodeOps

addDecls, buildTypes, buildTypesEnter, checkConstants, childExpectedType, copy, copy, disambiguate, disambiguateEnter, disambiguateOverride, dump, dump, dump, dump, enterChildScope, enterScope, exceptionCheck, exceptionCheckEnter, extRewrite, extRewriteEnter, prettyPrint, prettyPrint, prettyPrint, prettyPrint, prettyPrint, throwTypes, translate, typeCheck, typeCheckEnter, typeCheckOverride, visitChild, visitChildren, visitList

Methods inherited from interface polyglot.util.Copy

copy

Constructor Detail

ExtTerm

public ExtTerm()

Method Detail

throwTypes

public java.util.Collection<ThrowableType> throwTypes(polyglot.types.TypeSystem ts,
                                             AnalysisContext context)

Get the collection of types of exceptions that might be thrown

Parameters:

lang - The language to dispatch any needed calls on.

ts - Polyglot type system

context - Data flow analysis context

Returns:

collection of types of exceptions that might be thrown

flowDispatch

public <DFItem extends polyglot.visit.DataFlow.Item> java.util.Map<polyglot.visit.FlowGraph.EdgeKey,DFItem> flowDispatch(DataFlowDispatch<DFItem> d,
                                                                                                                DFItem dfIn,
                                                                                                                polyglot.visit.FlowGraph<DFItem> graph,
                                                                                                                polyglot.visit.FlowGraph.Peer<DFItem> peer)

Dispatch function. Subclasses of ExtTerm should override this method to invoke the appropriate method of DataFlowDispatch d. This helps extensions implement and extend data flow analyses.

Parameters:

d -

dfIn -

graph -

peer -

Returns:

flowDispatch

public <DFItem extends polyglot.visit.DataFlow.Item> java.util.Map<polyglot.visit.FlowGraph.EdgeKey,DFItem> flowDispatch(DataFlowDispatch<DFItem> d,
                                                                                                                DFItem dfIn,
                                                                                                                DFItem trueItem,
                                                                                                                DFItem falseItem,
                                                                                                                polyglot.visit.FlowGraph<DFItem> graph,
                                                                                                                polyglot.visit.FlowGraph.Peer<DFItem> peer)

Dispatch function. Subclasses of ExtTerm may override this method to invoke the appropriate method of DataFlowDispatch d. Default behavior is to discard the trueItem and falseItem.

Parameters:

d -

dfIn -

trueItem -

falseItem -

graph -

peer -

Returns: