Package com.ibm.wala.fixpoint

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 com.ibm.wala.util.graph.impl.NodeWithNumber

getGraphNodeId, setGraphNodeId

Methods inherited from class java.lang.Object

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

Methods inherited from interface com.ibm.wala.fixpoint.IFixedPointStatement

evaluate, getLHS, getRHS, hasVariable

Methods inherited from interface com.ibm.wala.util.graph.INodeWithNumber

getGraphNodeId, setGraphNodeId

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()