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
All Methods Instance Methods Abstract Methods Concrete Methods Modifier and Type Method Description abstract boolean
equals(java.lang.Object o)
abstract O
getOperator()
int
getOrderNumber()
abstract int
hashCode()
Subclasses must implement this, to prevent non-determinism.java.lang.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
-
-
-
-
Method Detail
-
getOperator
public abstract O getOperator()
-
hashCode
public abstract int hashCode()
Subclasses must implement this, to prevent non-determinism.- Overrides:
hashCode
in classjava.lang.Object
-
equals
public abstract boolean equals(java.lang.Object o)
- Overrides:
equals
in classjava.lang.Object
-
toString
public java.lang.String toString()
- Overrides:
toString
in classjava.lang.Object
-
getOrderNumber
public final int getOrderNumber()
-
-