com.ibm.wala.fixedpoint.impl
Class AbstractStatement<T extends IVariable,O extends AbstractOperator<T>>

java.lang.Object
  com.ibm.wala.util.graph.impl.NodeWithNumber
      com.ibm.wala.fixedpoint.impl.AbstractStatement<T,O>

All Implemented Interfaces:

IFixedPointStatement<T>, INodeWithNumber

Direct Known Subclasses:

GeneralStatement, NullaryStatement, UnaryStatement

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

Represents a single step in an iterative solver

Constructor Summary

AbstractStatement()

Method Summary

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

Constructor Detail

AbstractStatement

public AbstractStatement()

Method Detail

getOperator

public abstract O getOperator()

hashCode

public abstract int hashCode()

Subclasses must implement this, to prevent non-determinism.

Overrides:

hashCode in class java.lang.Object

equals

public abstract boolean equals(java.lang.Object o)

Overrides:

equals in class java.lang.Object

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object

getOrderNumber

public final int getOrderNumber()