Class TypeInference.DeclaredTypeOperator
java.lang.Object
com.ibm.wala.fixpoint.AbstractOperator<TypeVariable>
com.ibm.wala.fixedpoint.impl.NullaryOperator<TypeVariable>
com.ibm.wala.analysis.typeInference.TypeInference.DeclaredTypeOperator
- All Implemented Interfaces:
FixedPointConstants
- Enclosing class:
TypeInference
protected static final class TypeInference.DeclaredTypeOperator
extends NullaryOperator<TypeVariable>
An operator which initializes a type to a declared type.
-
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
Methods inherited from class com.ibm.wala.fixedpoint.impl.NullaryOperator
evaluate
-
Constructor Details
-
DeclaredTypeOperator
-
-
Method Details
-
evaluate
Note that we need evaluate this operator at most once- Specified by:
evaluate
in classNullaryOperator<TypeVariable>
- Returns:
- a constant defined by
FixedPointConstants
that reflects whether the lhs value changed
-
toString
- Specified by:
toString
in classAbstractOperator<TypeVariable>
- See Also:
-
isNullary
public static boolean isNullary() -
hashCode
public int hashCode()- Specified by:
hashCode
in classAbstractOperator<TypeVariable>
-
equals
- Specified by:
equals
in classAbstractOperator<TypeVariable>
-