com.ibm.wala.analysis.typeInference

Class TypeInference.PrimitivePropagateOperator

java.lang.Object

com.ibm.wala.fixpoint.AbstractOperator<TypeVariable>

com.ibm.wala.analysis.typeInference.TypeInference.PrimitivePropagateOperator

All Implemented Interfaces:

com.ibm.wala.fixpoint.FixedPointConstants

Enclosing class:

TypeInference

protected static class TypeInference.PrimitivePropagateOperator
extends com.ibm.wala.fixpoint.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 and Description
protected	PrimitivePropagateOperator()

Method Summary

Modifier and Type	Method and Description
boolean	equals(java.lang.Object o)
byte	evaluate(TypeVariable lhs, TypeVariable[] rhs)
int	hashCode()
java.lang.String	toString()

Methods inherited from class java.lang.Object

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

Constructor Detail

PrimitivePropagateOperator

protected PrimitivePropagateOperator()

Method Detail

evaluate

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

Specified by:

evaluate in class com.ibm.wala.fixpoint.AbstractOperator<TypeVariable>

toString

public java.lang.String toString()

Specified by:

toString in class com.ibm.wala.fixpoint.AbstractOperator<TypeVariable>

hashCode

public int hashCode()

Specified by:

hashCode in class com.ibm.wala.fixpoint.AbstractOperator<TypeVariable>

equals

public boolean equals(java.lang.Object o)

Specified by:

equals in class com.ibm.wala.fixpoint.AbstractOperator<TypeVariable>