Class TypeInference.PrimitivePropagateOperator
- java.lang.Object
-
- com.ibm.wala.fixpoint.AbstractOperator<TypeVariable>
-
- com.ibm.wala.analysis.typeInference.TypeInference.PrimitivePropagateOperator
-
- All Implemented Interfaces:
FixedPointConstants
- Enclosing class:
- TypeInference
protected static class TypeInference.PrimitivePropagateOperator extends AbstractOperator<TypeVariable>
-
-
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
Constructors Modifier Constructor Description protected
PrimitivePropagateOperator()
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description boolean
equals(Object o)
byte
evaluate(TypeVariable lhs, TypeVariable[] rhs)
Evaluate this equation, setting a new value for the left-hand side.int
hashCode()
String
toString()
-
-
-
Method Detail
-
evaluate
public byte evaluate(TypeVariable lhs, TypeVariable[] rhs)
Description copied from class:AbstractOperator
Evaluate this equation, setting a new value for the left-hand side.- Specified by:
evaluate
in classAbstractOperator<TypeVariable>
- 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?
-
toString
public String toString()
- Specified by:
toString
in classAbstractOperator<TypeVariable>
-
hashCode
public int hashCode()
- Specified by:
hashCode
in classAbstractOperator<TypeVariable>
-
equals
public boolean equals(Object o)
- Specified by:
equals
in classAbstractOperator<TypeVariable>
-
-