imop.lib.analysis.dataflow.generic

Class FlowFact

java.lang.Object

imop.lib.analysis.dataflow.generic.FlowFact

Direct Known Subclasses:

DataDependenceBackward.DataDependenceBackwardFF, DataDependenceForward.DataDependenceForwardFF, LivenessAnalysis.LivenessFlowFact, LockSetAnalysis.LockFlowFact, ReachingDefinitionAnalysis.ReachingDefinitionFlowFact

public abstract class FlowFact
extends java.lang.Object

Super-class for all the specializations of FlowFacts, which are used to represent the class of data-flow facts obtained at the end of a given IDFA.

Author:

aman

Constructor Summary

Constructors

Constructor and Description
FlowFact()

Method Summary

Modifier and Type	Method and Description
abstract java.lang.String	getString() Prints the information represented by this object in a human-readable form.
abstract boolean	isEqualTo(FlowFact other) Returns true if other is semantically same as this object.
abstract 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

Constructor Detail

FlowFact

public FlowFact()

Method Detail

isEqualTo

public abstract boolean isEqualTo(FlowFact other)

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.

Parameters:

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

Returns:

true, if other is same as this object.

getString

public abstract java.lang.String getString()

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

Returns:

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

meetWith

public abstract 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$. 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.

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.