accrue.analysis.ext

Class ExtInitializer

java.lang.Object

polyglot.ast.Ext_c

accrue.analysis.ext.AccrueExt_c

accrue.analysis.ext.ExtTerm

accrue.analysis.ext.ExtCodeDecl

accrue.analysis.ext.ExtInitializer

All Implemented Interfaces:

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

public class ExtInitializer
extends ExtCodeDecl
implements ExtInitializerOrFieldDecl

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
ExtInitializer()

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> dataflow, DFItem dfIn, polyglot.visit.FlowGraph<DFItem> graph, polyglot.visit.FlowGraph.Peer<DFItem> peer) Dispatch function.
ReferenceVariable	getThisNode(ConstructorContext constructorContext) Get the appropriate reference variable for "this" (i.e., the reference variable used in the pointer analysis to refer to "this") for the given constructor context.
void	setThisNode(ConstructorContext constructorContext, ReferenceVariable thisNode) Set the appropriate ReferenceVariable that represents the current object (i.e., the reference variable used in the pointer analysis to refer to "this") for the given constructor context.

Methods inherited from class accrue.analysis.ext.ExtTerm

flowDispatch, throwTypes

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

ExtInitializer

public ExtInitializer()

Method Detail

flowDispatch

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

Description copied from class: ExtTerm

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.

Overrides:

flowDispatch in class ExtTerm

Returns:

setThisNode

public void setThisNode(ConstructorContext constructorContext,
               ReferenceVariable thisNode)

Description copied from interface: ExtInitializerOrFieldDecl

Set the appropriate ReferenceVariable that represents the current object (i.e., the reference variable used in the pointer analysis to refer to "this") for the given constructor context.

Specified by:

setThisNode in interface ExtInitializerOrFieldDecl

getThisNode

public ReferenceVariable getThisNode(ConstructorContext constructorContext)

Description copied from interface: ExtInitializerOrFieldDecl

Get the appropriate reference variable for "this" (i.e., the reference variable used in the pointer analysis to refer to "this") for the given constructor context.

Specified by:

getThisNode in interface ExtInitializerOrFieldDecl

Returns: