Class NullaryOperator<T extends IVariable<T>>
java.lang.Object
com.ibm.wala.fixpoint.AbstractOperator<T>
com.ibm.wala.fixedpoint.impl.NullaryOperator<T>
- All Implemented Interfaces:
FixedPointConstants
- Direct Known Subclasses:
TypeInference.DeclaredTypeOperator
An operator of the form lhs = op
-
Field Summary
Fields inherited from interface com.ibm.wala.fixpoint.FixedPointConstants
CHANGED, CHANGED_AND_FIXED, CHANGED_MASK, FIXED_MASK, NOT_CHANGED, NOT_CHANGED_AND_FIXED, SIDE_EFFECT_MASK
-
Constructor Summary
-
Method Summary
Methods inherited from class com.ibm.wala.fixpoint.AbstractOperator
equals, hashCode, toString
-
Constructor Details
-
NullaryOperator
public NullaryOperator()
-
-
Method Details
-
evaluate
Description copied from class:AbstractOperator
Evaluate this equation, setting a new value for the left-hand side.- Specified by:
evaluate
in classAbstractOperator<T extends IVariable<T>>
- Returns:
- a code that indicates: 1) has the lhs value changed? 2) has this equation reached a fixed-point, in that we never have to evaluate the equation again, even if rhs operands change?
- Throws:
UnsupportedOperationException
-
evaluate
Evaluate this equation, setting a new value for the left-hand side.- Returns:
- a constant defined by
FixedPointConstants
that reflects whether the lhs value changed
-