imop.lib.analysis

Class Deprecated_FlowFact

java.lang.Object

imop.lib.analysis.Deprecated_FlowFact

Direct Known Subclasses:

Deprecated_ReachingDefinitionMap

Deprecated.

@Deprecated
public abstract class Deprecated_FlowFact
extends java.lang.Object

Constructor Summary

Constructors

Constructor and Description
Deprecated_FlowFact() Deprecated.

Method Summary

Modifier and Type	Method and Description
abstract Deprecated_FlowFact	getCopy() Deprecated. Obtain a copy for this flow-fact.
abstract boolean	isEqualTo(Deprecated_FlowFact other) Deprecated. Returns true if other is semantically same as this object.
abstract Deprecated_FlowFact	meetWith(Deprecated_FlowFact other) Deprecated. Given an instance of a FlowFact other, this method should be overridden to return the meet of the receiver with $other$.
Deprecated_FlowFact	parallelMeetWith(Deprecated_FlowFact other, Node n) Deprecated. Given an instance of a FlowFact other, this method should be overridden to return the meet of the receiver with $other$.
abstract void	printFact() Deprecated. Prints the information represented by this object in a human-readable form.

Methods inherited from class java.lang.Object

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

Constructor Detail

Deprecated_FlowFact

public Deprecated_FlowFact()

Deprecated.

Method Detail

isEqualTo

public abstract boolean isEqualTo(Deprecated_FlowFact other)

Deprecated.

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.

printFact

public abstract void printFact()

Deprecated.

Prints the information represented by this object in a human-readable form. TODO: Make this method take a stream as an argument, where the information is dumped, instead of at stderr.

meetWith

public abstract Deprecated_FlowFact meetWith(Deprecated_FlowFact other)

Deprecated.

Given an instance of a FlowFact other, this method should be overridden to return the meet of the receiver with $other$. Note: Make sure that this method returns a new object every time, if needed.

Parameters:

other - one of the flowFacts. Can be null.

Returns:

meet of the flowFact passed to this method, with the receiver.

parallelMeetWith

public Deprecated_FlowFact parallelMeetWith(Deprecated_FlowFact other,
                                            Node n)

Deprecated.

Given an instance of a FlowFact other, this method should be overridden to return the meet of the receiver with $other$. Note: Make sure that this method returns a new object every time, if needed.

Parameters:

other - one of the flowFacts. Can be null.

n - node at which the meet is being taken.

Returns:

meet of the flowFact passed to this method, with the receiver.

getCopy

public abstract Deprecated_FlowFact getCopy()

Deprecated.

Obtain a copy for this flow-fact.

Returns:

a copy of the this flow-fact.