Class AbstractOperator<T extends IVariable<T>>
java.lang.Object
com.ibm.wala.fixpoint.AbstractOperator<T>
- All Implemented Interfaces:
FixedPointConstants
- Direct Known Subclasses:
AbstractMeetOperator
,NullaryOperator
,TypeInference.PrimitivePropagateOperator
,UnaryOperator
public abstract class AbstractOperator<T extends IVariable<T>>
extends Object
implements FixedPointConstants
operator for a step in an iterative solver
This is an abstract class and not an interface in order to force subclasses to re-implement equals(), hashCode(), and toString()
-
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
-
Constructor Details
-
AbstractOperator
public AbstractOperator()
-
-
Method Details
-
evaluate
Evaluate this equation, setting a new value for the left-hand side.- 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?
-
hashCode
-
equals
-
toString
-