Class NullaryStatement<T extends IVariable<T>>
java.lang.Object
com.ibm.wala.util.graph.impl.NodeWithNumber
com.ibm.wala.fixpoint.AbstractStatement<T,NullaryOperator<T>>
com.ibm.wala.fixedpoint.impl.NullaryStatement<T>
- All Implemented Interfaces:
IFixedPointStatement<T>
,INodeWithNumber
- Direct Known Subclasses:
BasicNullaryStatement
public abstract class NullaryStatement<T extends IVariable<T>>
extends AbstractStatement<T,NullaryOperator<T>>
Represents a single step, restricted to a nullary operator.
-
Field Summary
-
Constructor Summary
ModifierConstructorDescriptionprotected
NullaryStatement
(T lhs) Constructor for case of one operand on the right-hand side. -
Method Summary
Modifier and TypeMethodDescriptionboolean
byte
evaluate()
Evaluate this equation, setting a new value for the left-hand side.getLHS()
Return the left-hand side of this equation.T[]
getRHS()
returns the list of free variables appearing in the right-hand side of the statementint
hashCode()
Subclasses must implement this, to prevent non-determinism.boolean
hasVariable
(T cell) Does this equation contain an appearance of a given cell?Methods inherited from class com.ibm.wala.fixpoint.AbstractStatement
getOperator, getOrderNumber, 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.util.graph.INodeWithNumber
getGraphNodeId, setGraphNodeId
-
Field Details
-
lhs
-
-
Constructor Details
-
NullaryStatement
Constructor for case of one operand on the right-hand side.- Parameters:
lhs
- the lattice cell set by this equation
-
-
Method Details
-
evaluate
public byte evaluate()Evaluate this equation, setting a new value for the left-hand side.- Returns:
- true if the lhs value changed. false otherwise
-
getLHS
Return the left-hand side of this equation.- Returns:
- the lattice cell this equation computes
-
hasVariable
Does this equation contain an appearance of a given cell?- Parameters:
cell
- the cell in question- Returns:
- true or false
-
equals
- Specified by:
equals
in classAbstractStatement<T extends IVariable<T>,
NullaryOperator<T extends IVariable<T>>>
-
hashCode
public int hashCode()Description copied from class:AbstractStatement
Subclasses must implement this, to prevent non-determinism.- Specified by:
hashCode
in classAbstractStatement<T extends IVariable<T>,
NullaryOperator<T extends IVariable<T>>>
-
getRHS
Description copied from interface:IFixedPointStatement
returns the list of free variables appearing in the right-hand side of the statement- Throws:
UnsupportedOperationException
-