accrue.analysis.domination

Class DominatorDataFlow

java.lang.Object

polyglot.visit.NodeVisitor

polyglot.visit.HaltingVisitor

polyglot.visit.ErrorHandlingVisitor

polyglot.visit.DataFlow<FlowItem>

accrue.analysis.interprocanalysis.PreciseDataFlow<accrue.analysis.domination.ImmediateDominator>

accrue.analysis.domination.DominatorDataFlow

All Implemented Interfaces:

java.lang.Cloneable, polyglot.util.Copy<polyglot.visit.NodeVisitor>

public class DominatorDataFlow
extends PreciseDataFlow<accrue.analysis.domination.ImmediateDominator>

This PreciseDataFlow finds dominators in the control flow graph.

Nested Class Summary

Nested classes/interfaces inherited from class accrue.analysis.interprocanalysis.PreciseDataFlow

PreciseDataFlow.PreciseCFGBuilder<FlowItem extends polyglot.visit.DataFlow.Item>

Nested classes/interfaces inherited from class polyglot.visit.DataFlow

polyglot.visit.DataFlow.BoolItem<FlowItem extends polyglot.visit.DataFlow.Item>, polyglot.visit.DataFlow.ConditionNavigator<FlowItem extends polyglot.visit.DataFlow.Item>, polyglot.visit.DataFlow.FlowGraphSource<FlowItem extends polyglot.visit.DataFlow.Item>, polyglot.visit.DataFlow.Frame<FlowItem extends polyglot.visit.DataFlow.Item>, polyglot.visit.DataFlow.Item

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

polyglot.util.Copy.Util

Field Summary

Fields inherited from class polyglot.visit.DataFlow

dataflowOnEntry, detectBackEdges, flowCounter, flowgraphStack, forward

Fields inherited from class polyglot.visit.ErrorHandlingVisitor

error, job, nf, ts

Fields inherited from class polyglot.visit.HaltingVisitor

bypass, bypassParent

Constructor Summary

Constructors

Constructor and Description
DominatorDataFlow(polyglot.frontend.Job job, polyglot.types.TypeSystem ts, polyglot.ast.NodeFactory nf, DominationAnalysisUtil autil)

Method Summary

Methods

Modifier and Type	Method and Description
protected void	check(polyglot.visit.FlowGraph<accrue.analysis.domination.ImmediateDominator> graph, polyglot.visit.FlowGraph.Peer<accrue.analysis.domination.ImmediateDominator> p)
protected void	check(polyglot.visit.FlowGraph<accrue.analysis.domination.ImmediateDominator> graph, polyglot.ast.Term n, boolean entry, accrue.analysis.domination.ImmediateDominator inItem, java.util.Map<polyglot.visit.FlowGraph.EdgeKey,accrue.analysis.domination.ImmediateDominator> outItems)
protected accrue.analysis.domination.ImmediateDominator	confluence(java.util.List<accrue.analysis.domination.ImmediateDominator> items, polyglot.visit.FlowGraph.Peer<accrue.analysis.domination.ImmediateDominator> peer, polyglot.visit.FlowGraph<accrue.analysis.domination.ImmediateDominator> graph)
protected accrue.analysis.domination.ImmediateDominator	createInitialItem(polyglot.visit.FlowGraph<accrue.analysis.domination.ImmediateDominator> graph, polyglot.ast.Term node, boolean entry) Create an initial Item for the dataflow analysis.
protected void	dataflow(polyglot.visit.FlowGraph<accrue.analysis.domination.ImmediateDominator> graph)
static <FlowItem extends polyglot.visit.DataFlow.Item> java.util.Set<DataFlowNodeIdentifier>	dominatorsOf(DataFlowNodeIdentifier source, polyglot.visit.FlowGraph<FlowItem> graph, AnalysisContext currentContext) Returns the set of all dominators of the given Peer within the flow graph.
protected java.util.Map<polyglot.visit.FlowGraph.EdgeKey,accrue.analysis.domination.ImmediateDominator>	flow(java.util.List<accrue.analysis.domination.ImmediateDominator> inItems, java.util.List<polyglot.visit.FlowGraph.EdgeKey> inItemKeys, polyglot.visit.FlowGraph<accrue.analysis.domination.ImmediateDominator> graph, polyglot.visit.FlowGraph.Peer<accrue.analysis.domination.ImmediateDominator> peer)
void	performDataflow(polyglot.ast.CodeNode cd)

Methods inherited from class accrue.analysis.interprocanalysis.PreciseDataFlow

autil, createCFGBuilder, currentContext, dataFlowNodeIdentifierForPeer, dataFlowNodeIdentifierForPeer, initGraph, peerForDataFlowNodeIdentifier

Methods inherited from class polyglot.visit.DataFlow

confluence, constructItemsFromCondition, createFrame, createInitialItem, currentFlowGraph, dataflow, dataflow, dumpFlowGraph, enterCall, filterItems, filterItemsExceptionSubclass, filterItemsNonError, filterItemsNonException, findSCCs, flow, flow, flow, flow, flowBooleanConditions, flowToBooleanFlow, hasTrueFalseBranches, initGraph, itemsToMap, itemToMap, lang, leave, leaveCall, post, safeConfluence, safeConfluence, safeConfluence

Methods inherited from class polyglot.visit.ErrorHandlingVisitor

begin, catchErrors, enter, enterCall, enterError, errorQueue, hasErrors, job, leaveCall, leaveCall, nodeFactory, typeSystem

Methods inherited from class polyglot.visit.HaltingVisitor

bypass, bypass, bypassChildren, override, visitChildren

Methods inherited from class polyglot.visit.NodeVisitor

copy, enter, finish, finish, leave, override, toString, visitEdge, visitEdgeNoOverride

Methods inherited from class java.lang.Object

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

Constructor Detail

DominatorDataFlow

public DominatorDataFlow(polyglot.frontend.Job job,
                 polyglot.types.TypeSystem ts,
                 polyglot.ast.NodeFactory nf,
                 DominationAnalysisUtil autil)

Method Detail

createInitialItem

protected accrue.analysis.domination.ImmediateDominator createInitialItem(polyglot.visit.FlowGraph<accrue.analysis.domination.ImmediateDominator> graph,
                                                              polyglot.ast.Term node,
                                                              boolean entry)

Create an initial Item for the dataflow analysis.

Specified by:

createInitialItem in class polyglot.visit.DataFlow<accrue.analysis.domination.ImmediateDominator>

dataflow

protected void dataflow(polyglot.visit.FlowGraph<accrue.analysis.domination.ImmediateDominator> graph)

Overrides:

dataflow in class polyglot.visit.DataFlow<accrue.analysis.domination.ImmediateDominator>

performDataflow

public void performDataflow(polyglot.ast.CodeNode cd)
                     throws polyglot.types.SemanticException

Throws:

polyglot.types.SemanticException

flow

protected java.util.Map<polyglot.visit.FlowGraph.EdgeKey,accrue.analysis.domination.ImmediateDominator> flow(java.util.List<accrue.analysis.domination.ImmediateDominator> inItems,
                                                                                                 java.util.List<polyglot.visit.FlowGraph.EdgeKey> inItemKeys,
                                                                                                 polyglot.visit.FlowGraph<accrue.analysis.domination.ImmediateDominator> graph,
                                                                                                 polyglot.visit.FlowGraph.Peer<accrue.analysis.domination.ImmediateDominator> peer)

Overrides:

flow in class polyglot.visit.DataFlow<accrue.analysis.domination.ImmediateDominator>

check

protected void check(polyglot.visit.FlowGraph<accrue.analysis.domination.ImmediateDominator> graph,
         polyglot.visit.FlowGraph.Peer<accrue.analysis.domination.ImmediateDominator> p)
              throws polyglot.types.SemanticException

Overrides:

check in class polyglot.visit.DataFlow<accrue.analysis.domination.ImmediateDominator>

Throws:

polyglot.types.SemanticException

check

protected void check(polyglot.visit.FlowGraph<accrue.analysis.domination.ImmediateDominator> graph,
         polyglot.ast.Term n,
         boolean entry,
         accrue.analysis.domination.ImmediateDominator inItem,
         java.util.Map<polyglot.visit.FlowGraph.EdgeKey,accrue.analysis.domination.ImmediateDominator> outItems)
              throws polyglot.types.SemanticException

Specified by:

check in class polyglot.visit.DataFlow<accrue.analysis.domination.ImmediateDominator>

Throws:

polyglot.types.SemanticException

confluence

protected accrue.analysis.domination.ImmediateDominator confluence(java.util.List<accrue.analysis.domination.ImmediateDominator> items,
                                                       polyglot.visit.FlowGraph.Peer<accrue.analysis.domination.ImmediateDominator> peer,
                                                       polyglot.visit.FlowGraph<accrue.analysis.domination.ImmediateDominator> graph)

Specified by:

confluence in class polyglot.visit.DataFlow<accrue.analysis.domination.ImmediateDominator>

dominatorsOf

public static <FlowItem extends polyglot.visit.DataFlow.Item> java.util.Set<DataFlowNodeIdentifier> dominatorsOf(DataFlowNodeIdentifier source,
                                                                                                 polyglot.visit.FlowGraph<FlowItem> graph,
                                                                                                 AnalysisContext currentContext)

Returns the set of all dominators of the given Peer within the flow graph. Assumes that the Dominator analysis results have been recorded already. Creates a new Set to return the results in (i.e., clients are free to alter the set)

Parameters:

-