com.ibm.wala.cast.java.analysis.typeInference
Class AstJavaTypeInference.PrimAndStringOp

java.lang.Object
  com.ibm.wala.fixedpoint.impl.AbstractOperator<TypeVariable>
      com.ibm.wala.analysis.typeInference.TypeInference.PrimitivePropagateOperator
          com.ibm.wala.cast.java.analysis.typeInference.AstJavaTypeInference.PrimAndStringOp

All Implemented Interfaces:

FixedPointConstants

Enclosing class:

AstJavaTypeInference

protected class AstJavaTypeInference.PrimAndStringOp
extends TypeInference.PrimitivePropagateOperator

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

boolean	equals(java.lang.Object o)
byte	evaluate(TypeVariable lhs, IVariable[] rhs) Evaluate this equation, setting a new value for the left-hand side.
int	hashCode()

Methods inherited from class com.ibm.wala.analysis.typeInference.TypeInference.PrimitivePropagateOperator

toString

Methods inherited from class java.lang.Object

clone, finalize, getClass, notify, notifyAll, wait, wait, wait

Method Detail

evaluate

public byte evaluate(TypeVariable lhs,
                     IVariable[] rhs)

Description copied from class: AbstractOperator

Evaluate this equation, setting a new value for the left-hand side.

Overrides:

evaluate in class TypeInference.PrimitivePropagateOperator

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?

hashCode

public int hashCode()

Overrides:

hashCode in class TypeInference.PrimitivePropagateOperator

equals

public boolean equals(java.lang.Object o)

Overrides:

equals in class TypeInference.PrimitivePropagateOperator