Package com.ibm.wala.fixpoint
Class TrueOperator
- java.lang.Object
-
- com.ibm.wala.fixpoint.AbstractOperator<T>
-
- com.ibm.wala.fixpoint.UnaryOperator<BooleanVariable>
-
- com.ibm.wala.fixpoint.TrueOperator
-
- All Implemented Interfaces:
FixedPointConstants
public final class TrueOperator extends UnaryOperator<BooleanVariable>
Operator U(n) = true
-
-
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
-
-
Method Summary
All Methods Static Methods Instance Methods Concrete Methods Modifier and Type Method Description boolean
equals(java.lang.Object o)
byte
evaluate(BooleanVariable lhs, BooleanVariable rhs)
Evaluate this equation, setting a new value for the left-hand side.int
hashCode()
static TrueOperator
instance()
java.lang.String
toString()
-
Methods inherited from class com.ibm.wala.fixpoint.UnaryOperator
evaluate, isIdentity, makeEquation
-
-
-
-
Method Detail
-
instance
public static TrueOperator instance()
-
evaluate
public byte evaluate(BooleanVariable lhs, BooleanVariable rhs) throws java.lang.IllegalArgumentException
Description copied from class:UnaryOperator
Evaluate this equation, setting a new value for the left-hand side.- Specified by:
evaluate
in classUnaryOperator<BooleanVariable>
- Returns:
- true if the lhs value changes. false otherwise.
- Throws:
java.lang.IllegalArgumentException
-
toString
public java.lang.String toString()
- Specified by:
toString
in classAbstractOperator<BooleanVariable>
-
hashCode
public int hashCode()
- Specified by:
hashCode
in classAbstractOperator<BooleanVariable>
-
equals
public boolean equals(java.lang.Object o)
- Specified by:
equals
in classAbstractOperator<BooleanVariable>
-
-