Class AbstractStatement<T extends IVariable<T>, O extends AbstractOperator<T>>

java.lang.Object

com.ibm.wala.util.graph.impl.NodeWithNumber

com.ibm.wala.fixpoint.AbstractStatement<T,O>

All Implemented Interfaces:

IFixedPointStatement<T>, INodeWithNumber

Direct Known Subclasses:

GeneralStatement, NullaryStatement, UnaryStatement

public abstract class AbstractStatement<T extends IVariable<T>, O extends AbstractOperator<T>>
extends NodeWithNumber
implements IFixedPointStatement<T>

Represents a single step in an iterative solver

Constructor Summary

Constructors

Constructor	Description
AbstractStatement()

Method Summary

Modifier and Type	Method	Description
abstract boolean	equals(Object o)
abstract O	getOperator()
final int	getOrderNumber()
abstract int	hashCode()	Subclasses must implement this, to prevent non-determinism.
String	toString()

Methods inherited from class NodeWithNumber

getGraphNodeId, setGraphNodeId

Modifier and Type	Method	Description
int	getGraphNodeId()	A non-negative integer which serves as an identifier for this node in it's "dominant" graph.
void	setGraphNodeId(int i)

Methods inherited from class Object

clone, finalize, getClass, notify, notifyAll, wait, wait, wait

Methods inherited from interface IFixedPointStatement

evaluate, getLHS, getRHS, hasVariable

Modifier and Type	Method	Description
byte	evaluate()	Evaluate this statement, setting a new value for the left-hand side.
T	getLHS()
T[]	getRHS()	returns the list of free variables appearing in the right-hand side of the statement
boolean	hasVariable(T v)	Does this statement definition contain an appearance of a given variable?

Constructor Details

AbstractStatement

public AbstractStatement()

Method Details

getOperator

public abstract O getOperator()

hashCode

public abstract int hashCode()

Subclasses must implement this, to prevent non-determinism.

Overrides:

hashCode in class Object

equals

public abstract boolean equals(Object o)

Overrides:

equals in class Object

toString

public String toString()

Overrides:

toString in class Object

getOrderNumber

public final int getOrderNumber()