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 class NullaryOperator<TypeVariable>

  Returns:

  true if the lhs value changes. false otherwise.

• toString

  public String toString()

  Specified by:

  toString in class AbstractOperator<TypeVariable>

  See Also:

  Object.toString()

• isNullary

  public boolean isNullary()

• hashCode

  public int hashCode()

  Specified by:

  hashCode in class AbstractOperator<TypeVariable>

• equals

  public boolean equals(Object o)

  Specified by:

  equals in class AbstractOperator<TypeVariable>