Class BitVectorMinusVector
java.lang.Object
com.ibm.wala.fixpoint.AbstractOperator<BitVectorVariable>
com.ibm.wala.fixpoint.UnaryOperator<BitVectorVariable>
com.ibm.wala.dataflow.graph.BitVectorMinusVector
-
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
Modifier and TypeMethodDescriptionboolean
byte
evaluate
(@Nullable BitVectorVariable lhs, BitVectorVariable rhs) Evaluate this equation, setting a new value for the left-hand side.int
hashCode()
toString()
Methods inherited from class com.ibm.wala.fixpoint.UnaryOperator
evaluate, isIdentity, makeEquation
-
Constructor Details
-
BitVectorMinusVector
-
-
Method Details
-
evaluate
public byte evaluate(@Nullable BitVectorVariable lhs, BitVectorVariable rhs) throws IllegalArgumentException, IllegalArgumentException Description copied from class:UnaryOperator
Evaluate this equation, setting a new value for the left-hand side.- Specified by:
evaluate
in classUnaryOperator<BitVectorVariable>
- Returns:
- a constant defined by
FixedPointConstants
that reflects whether the lhs value changed - Throws:
IllegalArgumentException
-
toString
- Specified by:
toString
in classAbstractOperator<BitVectorVariable>
-
hashCode
public int hashCode()- Specified by:
hashCode
in classAbstractOperator<BitVectorVariable>
-
equals
- Specified by:
equals
in classAbstractOperator<BitVectorVariable>
-