imop.lib.analysis.dataflow.interprocedural

Class DataDependenceBackward.DataDependenceBackwardFF

java.lang.Object

imop.lib.analysis.dataflow.generic.FlowFact

imop.lib.analysis.dataflow.interprocedural.DataDependenceBackward.DataDependenceBackwardFF

Enclosing class:

DataDependenceBackward

public static class DataDependenceBackward.DataDependenceBackwardFF
extends FlowFact

Field Summary

Fields

Modifier and Type	Field and Description
java.util.HashMap<Cell,java.util.HashSet<Node>>	antiDependenceDestinations
java.util.HashMap<Cell,java.util.HashSet<Node>>	flowDependenceDestinations
java.util.HashMap<Cell,java.util.HashSet<Node>>	outputDependenceDestinations

Constructor Summary

Constructors

Constructor and Description
DataDependenceBackwardFF(java.util.HashMap<Cell,java.util.HashSet<Node>> flowDependenceDestinations, java.util.HashMap<Cell,java.util.HashSet<Node>> antiDependenceDestinations, java.util.HashMap<Cell,java.util.HashSet<Node>> outputDependenceDestinations)

Method Summary

Modifier and Type	Method and Description
java.lang.String	getString() Prints the information represented by this object in a human-readable form.
private java.lang.String	getStringOfField(java.util.HashMap<Cell,java.util.HashSet<Node>> map, java.lang.String fieldName)
boolean	isEqualTo(FlowFact other) Returns true if other is semantically same as this object.
FlowFact	meetWith(FlowFact other, java.util.Set<Cell> cellSet) Given an instance of a FlowFact other, this method should be overridden to return the meet of the receiver with $other$.

Methods inherited from class java.lang.Object

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

Field Detail

flowDependenceDestinations

public java.util.HashMap<Cell,java.util.HashSet<Node>> flowDependenceDestinations

antiDependenceDestinations

public java.util.HashMap<Cell,java.util.HashSet<Node>> antiDependenceDestinations

outputDependenceDestinations

public java.util.HashMap<Cell,java.util.HashSet<Node>> outputDependenceDestinations

Constructor Detail

DataDependenceBackwardFF

public DataDependenceBackwardFF(java.util.HashMap<Cell,java.util.HashSet<Node>> flowDependenceDestinations,
                                java.util.HashMap<Cell,java.util.HashSet<Node>> antiDependenceDestinations,
                                java.util.HashMap<Cell,java.util.HashSet<Node>> outputDependenceDestinations)

Method Detail

isEqualTo

public boolean isEqualTo(FlowFact other)

Description copied from class: FlowFact

Returns true if other is semantically same as this object. Note that we do not use equals() methods, since we want to enforce the subclasses of FlowFact to define this equality.

Specified by:

isEqualTo in class FlowFact

Parameters:

other - the object to be checked for equality with this object.

Returns:

true, if other is same as this object.

getString

public java.lang.String getString()

Description copied from class: FlowFact

Prints the information represented by this object in a human-readable form.

Specified by:

getString in class FlowFact

Returns:

a String that represents the human-readable form of this FlowFact.

getStringOfField

private java.lang.String getStringOfField(java.util.HashMap<Cell,java.util.HashSet<Node>> map,
                                          java.lang.String fieldName)

meetWith

public FlowFact meetWith(FlowFact other,
                         java.util.Set<Cell> cellSet)

Description copied from class: FlowFact

Given an instance of a FlowFact other, this method should be overridden to return the meet of the receiver with $other$. An implementation can use the set of symbols (symbolSet), to make the meet more precise. The set symbolSet, is used to obtain a set of those symbols which may contribute to the update in data-flow fact of a node. Note: Make sure that this method returns a new object every time, if needed.

Specified by:

meetWith in class FlowFact

Parameters:

other - one of the flowFacts. Can be null.

cellSet - set of cells that may affect the data-flow fact.

• Note 1: An empty set should be treated as a universal set of all the cells available in this context.
• Note 2: A set with just a singleton object Symbol.getPhantomSharedSymbol() should be treated as the set of all the shared objects available in this context.

Returns:

meet of the flowFact other, with the receiver.