Package com.ibm.wala.cast.java.analysis.typeInference

Class AstJavaTypeInference.PrimAndStringOp

java.lang.Object

com.ibm.wala.fixpoint.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

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()

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 Details

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.

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(Object o)

Overrides:

equals in class TypeInference.PrimitivePropagateOperator