imop.ast.info

Class StatementInfo

java.lang.Object

imop.ast.info.NodeInfo

imop.ast.info.StatementInfo

All Implemented Interfaces:

java.lang.Cloneable

Direct Known Subclasses:

CallStatementInfo, CompoundStatementInfo, ExpressionStatementInfo, IterationStatementInfo, JumpStatementInfo, OmpConstructInfo, OmpDirectiveInfo, SelectionStatementInfo, UnknownCppInfo, UnknownPragmaInfo

public class StatementInfo
extends NodeInfo

Field Summary

Fields

Modifier and Type	Field and Description
private java.util.ArrayList<Label>	annotatedLabels List of labels with which the owner statement has been annotated.

Constructor Summary

Constructors

Constructor and Description
StatementInfo(Node owner)

Method Summary

Modifier and Type	Method and Description
void	addLabelAnnotation(int index, Label newLabel) Adds a labeled annotation to the owner statement at the specified index.
void	addLabelAnnotation(Label newLabel) Adds a labeled annotation to the owner statement.
java.util.HashSet<Node>	adjustSemanticsForLabelAddition(Label label) Re-adjusts the edges upon addition of label to this statement.
java.util.HashSet<Node>	adjustSemanticsForLabelRemoval(Label label) Readjusts the edges upon removal of label from this statement. Currently, this method performs adjustment of semantics to the following data structures: CFG Edges. If a simple-label is being removed, Incompleteness needs to be added to the corresponding goto-statements in the enclosing function.
void	clearLabelAnnotations() Clears all the label annotations from the owner statement.
void	crudeAddLabelAnnotation(int index, Label newLabel) Adds a labeled annotation to the owner statement at the specified index.
void	crudeAddLabelAnnotation(Label newLabel) Adds a labeled annotation to the owner statement.
java.util.ArrayList<Label>	getLabelAnnotations() Obtain a list of labels that annotate the owner node.
java.util.ArrayList<Label>	getLabels() Obtain an ArrayList of all the labels that may be annotated to the owner statement n (or rather, that of the CFG node that it wraps).
boolean	hasLabelAnnotations() Checks whether the owner node has any label annotations.
boolean	hasLabels() Check whether there are any immediate labels that annotate the owner, or the CFG node that it wraps.
boolean	removeLabelAnnotation(Label oldLabel) Removes a label annotation from the owner statement.
private static void	removeLabelFromAllInFunction(FunctionDefinition enclosingFunction, Label newLabel) Removes newLabel from all the statements in enclosingFunction.
private static void	removeLabelFromAllInSwitch(SwitchStatement enclosingSwitch, Label newLabel) Removes the label newLabel from all the statements in the enclosingSwitch.
void	updateUponLabelAddition(Label newLabel) This method performs required updates to various data structures upon addition of label newLabel to a node.
void	updateUponLabelRemoval(Label oldLabel) This method performs required updates to various data structures upon removal of label oldLabel to a node.

Methods inherited from class imop.ast.info.NodeInfo

clone, deprecated_getDefinitionList, deprecated_isControlConfined, getAccesses, getAllNonLeafEnclosersExclusive, getAllSymbolsAtNode, getAntiDestinations, getAntiEdgeDestList, getAntiEdgeSrcList, getAntiSources, getCallSites, getCallStatements, getCFGInfo, getCFGInfoProtected, getDefsInUD, getFlowDestinations, getFlowEdgeDestList, getFlowEdgeSrcList, getFlowFactIN, getFlowFactIN, getFlowFactOUT, getFlowFactOUT, getFlowSources, getIdNumber, getIN, getIncompleteSemantics, getInJumpSources, getLiveOut, getLiveOutCells, getLockSet, getNode, getNodePhaseInfo, getNonLeafNestingPathExclusive, getOUT, getOuterMostNonLeafEncloser, getOutJumpDestinations, getOutJumpSources, getOutputDestinations, getOutputEdgeDestList, getOutputEdgeSrcList, getOutputSources, getParallelFlowFactIN, getParallelFlowFactOUT, getReachingDefinitions, getReads, getRegionInfo, getSharedAccesses, getSharedCellsAtNode, getSharedReads, getSharedWrites, getSharingAttribute, getStatementWithLabel, getString, getString, getUsesInDU, getWrites, hasBarrierInAST, hasBarrierInCFG, hasBarrierInCFGVisited, hasCallSites, hasCallStatements, hasFlowFactIN, hasFlowFactOUT, hasParalleleFlowFactOUT, hasParallelFlowFactIN, invalidateAccessLists, isControlConfined, isRunnableInRegion, makeSymbolsFreeInRWList, printNode, readAntiEdgeDestList, readAntiEdgeSrcList, readDefsInUD, readFlowEdgeDestList, readFlowEdgeSrcList, readNodePhaseInfo, readOutputEdgeDestList, readOutputEdgeSrcList, readReachingDefinitions, readRegionInfo, readUsesInDU, removeAllAnalysisInformation, removeAnalysisInformation, removeExtraScopes, removeFlowFact, removeParallelFlowFact, resetCallSites, setCFGInfoProtected, setCopySourceNode, setFlowFactIN, setFlowFactOUT, setIdNumber, setIN, setInfo, setNode, setOUT, setParallelFlowFactIN, setParallelFlowFactOUT

Methods inherited from class java.lang.Object

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

Field Detail

annotatedLabels

private java.util.ArrayList<Label> annotatedLabels

List of labels with which the owner statement has been annotated.

Constructor Detail

StatementInfo

public StatementInfo(Node owner)

Method Detail

getLabelAnnotations

public java.util.ArrayList<Label> getLabelAnnotations()

Obtain a list of labels that annotate the owner node. This method also calls the method to populate annotatedLabels, if this is the first of the calls made to hasLabeledAnnotations or getLabeledAnnotations on this node.

Returns:

list of labels that annotate the owner node directly.

hasLabelAnnotations

public boolean hasLabelAnnotations()

Checks whether the owner node has any label annotations. This method also calls the method to populate annotatedLabels, if this is the first of the calls made to hasLabeledAnnotations or getLabeledAnnotations on this node.

Returns:

clearLabelAnnotations

public void clearLabelAnnotations()

Clears all the label annotations from the owner statement.

removeLabelAnnotation

public boolean removeLabelAnnotation(Label oldLabel)

Removes a label annotation from the owner statement.

Parameters:

oldLabel - the label that has to be removed.

Returns:

updateUponLabelRemoval

public void updateUponLabelRemoval(Label oldLabel)

This method performs required updates to various data structures upon removal of label oldLabel to a node. Note that this method does not itself remove the label. It helps in modeling the scenario where the node has to be removed from its current position.

Parameters:

oldLabel - a label of the owner node.

adjustSemanticsForLabelRemoval

public java.util.HashSet<Node> adjustSemanticsForLabelRemoval(Label label)

Readjusts the edges upon removal of label from this statement.
Currently, this method performs adjustment of semantics to the following data structures:

1. CFG Edges.
2. If a simple-label is being removed, Incompleteness needs to be added to the corresponding goto-statements in the enclosing function. If a case/default-label is being removed, then related Incompleteness should be removed from this statement. We take care of both these updates in this method.

(Note that the actual removal of the label from the metadata of the associated statement is done by the method removeLabelAnnotation, which in turn calls this method.)

Parameters:

label - label that has to be removed from this statement. Note that this label should be removed only after the call to this method returns.

Returns:

a set of GotoStatements (for SimpleLabel), or Expression (for Case/DefaultLabels) to which incompleteness has been added.

crudeAddLabelAnnotation

public void crudeAddLabelAnnotation(Label newLabel)

Adds a labeled annotation to the owner statement. Performs no other updates.

Parameters:

newLabel -

crudeAddLabelAnnotation

public void crudeAddLabelAnnotation(int index,
                                    Label newLabel)

Adds a labeled annotation to the owner statement at the specified index. Performs no other updates.

Parameters:

index -

newLabel -

addLabelAnnotation

public void addLabelAnnotation(Label newLabel)

Adds a labeled annotation to the owner statement.

Parameters:

newLabel -

addLabelAnnotation

public void addLabelAnnotation(int index,
                               Label newLabel)

Adds a labeled annotation to the owner statement at the specified index.

Parameters:

index -

newLabel -

updateUponLabelAddition

public void updateUponLabelAddition(Label newLabel)

This method performs required updates to various data structures upon addition of label newLabel to a node. Note that this method does not itself add the label. In general, the label might already be present in annotatedLabels of the owner node, but the node might have been newly added to its new position.

Parameters:

newLabel - a label of the owner node.

removeLabelFromAllInSwitch

private static void removeLabelFromAllInSwitch(SwitchStatement enclosingSwitch,
                                               Label newLabel)

Removes the label newLabel from all the statements in the enclosingSwitch.
Note that no incompleteness needs to be added upon removal of a case/default label.

Parameters:

enclosingSwitch - a SwitchStatement from which newLabel has to be removed.

newLabel - a caseLabel or defaultLabel that needs to be removed from all the statements in the enclosingSwitch.

removeLabelFromAllInFunction

private static void removeLabelFromAllInFunction(FunctionDefinition enclosingFunction,
                                                 Label newLabel)

Removes newLabel from all the statements in enclosingFunction.

Parameters:

enclosingFunction - function from which newLabel has to be removed.

newLabel - label that has to be removed.

adjustSemanticsForLabelAddition

public java.util.HashSet<Node> adjustSemanticsForLabelAddition(Label label)

Re-adjusts the edges upon addition of label to this statement. This method assumes that any pre-existing labels with the same name have been removed already. Currently, this method performs adjustment of semantics represented by the following data structures:

1. CFG edges:
   • When a simple-label is added, we process all the GotoStatement's in the enclosing function, and add CFG edges (removing the IncompleteEdges) from the GotoStatement to the owner node.
   • When a case label is added, we should add an edge from the enclosing switch-statement's predicate to the owner node. If the enclosing switch-statement is not found, we add an IncompleteEdge for this new case at the owner node.
   • When a default label is added, we should remove the edge from the predicate to the end of the enclosing switch-statement. If the enclosing switch-statement is not found, we need to create a new IncompleteEdge for the default case at this owner node.
2. Incomplete edges: already explained in last point.

(Note that the actual addition of the label to the metadata of the associated statement is done by the method addLabelAnnotation, which in turn calls this method after the addition.)

Parameters:

label - a new label that has been added to the owner node.

Returns:

a set of predecessors that have been added to the current node as a result of insertion of label.

getLabels

public java.util.ArrayList<Label> getLabels()

Obtain an ArrayList of all the labels that may be annotated to the owner statement n (or rather, that of the CFG node that it wraps).

Returns:

list of immediate labels that annotate n.

hasLabels

public boolean hasLabels()

Check whether there are any immediate labels that annotate the owner, or the CFG node that it wraps.

Returns:

true if there exist any immediate labels that annotate n.