Class OperatorUtil.UnaryOperatorSequence<T extends IVariable<T>>
java.lang.Object
com.ibm.wala.fixpoint.AbstractOperator<T>
com.ibm.wala.fixpoint.UnaryOperator<T>
com.ibm.wala.cfg.exc.intra.OperatorUtil.UnaryOperatorSequence<T>
- All Implemented Interfaces:
FixedPointConstants
- Enclosing class:
OperatorUtil
public static class OperatorUtil.UnaryOperatorSequence<T extends IVariable<T>>
extends UnaryOperator<T>
An operator of the form lhs = op_1(op_2(..op_n(rhs)..))
- Author:
- Martin Hecker, martin.hecker@kit.edu
-
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
ConstructorDescriptionUnaryOperatorSequence
(UnaryOperator<T>... operators) UnaryOperatorSequence
(Collection<UnaryOperator<T>> operators) -
Method Summary
Methods inherited from class com.ibm.wala.fixpoint.UnaryOperator
evaluate, isIdentity, makeEquation
-
Constructor Details
-
UnaryOperatorSequence
-
UnaryOperatorSequence
-
-
Method Details
-
equals
-
hashCode
public int hashCode()- Specified by:
hashCode
in classAbstractOperator<T extends IVariable<T>>
-
toString
-
evaluate
Description copied from class:UnaryOperator
Evaluate this equation, setting a new value for the left-hand side.- Specified by:
evaluate
in classUnaryOperator<T extends IVariable<T>>
- Returns:
- a constant defined by
FixedPointConstants
that reflects whether the lhs value changed
-