com.ibm.wala.fixedpoint.impl
Class AbstractStatement

java.lang.Object
  com.ibm.wala.util.graph.impl.NodeWithNumber
      com.ibm.wala.fixedpoint.impl.AbstractStatement

All Implemented Interfaces:

IFixedPointStatement, INodeWithNumber

Direct Known Subclasses:

GeneralStatement, NullaryStatement, UnaryStatement

public abstract class AbstractStatement
extends NodeWithNumber
implements IFixedPointStatement

Represents a single step in an iterative solver

Constructor Summary

AbstractStatement()

Method Summary

abstract boolean	equals(java.lang.Object o)
abstract AbstractOperator	getOperator() Return the operator for this equation
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 AbstractOperator getOperator()

Return the operator for this equation

Returns:

the operator for this equation

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