Class TypeInference.DeclaredTypeOperator
- java.lang.Object
-
- com.ibm.wala.fixpoint.AbstractOperator<T>
-
- 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
Constructors Constructor Description DeclaredTypeOperator(TypeAbstraction type)
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description boolean
equals(Object o)
byte
evaluate(TypeVariable lhs)
Note that we need evaluate this operator at most onceint
hashCode()
boolean
isNullary()
String
toString()
-
Methods inherited from class com.ibm.wala.fixedpoint.impl.NullaryOperator
evaluate
-
-
-
-
Constructor Detail
-
DeclaredTypeOperator
public DeclaredTypeOperator(TypeAbstraction type)
-
-
Method Detail
-
evaluate
public byte evaluate(TypeVariable lhs)
Note that we need evaluate this operator at most once- Specified by:
evaluate
in classNullaryOperator<TypeVariable>
- Returns:
- true if the lhs value changes. false otherwise.
-
toString
public String toString()
- Specified by:
toString
in classAbstractOperator<TypeVariable>
- See Also:
Object.toString()
-
isNullary
public boolean isNullary()
-
hashCode
public int hashCode()
- Specified by:
hashCode
in classAbstractOperator<TypeVariable>
-
equals
public boolean equals(Object o)
- Specified by:
equals
in classAbstractOperator<TypeVariable>
-
-