TypeInference.DeclaredTypeOperator (API Reference for wala 1.3.9)

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 once
`int`	`hashCode()`
`boolean`	`isNullary()`
`String`	`toString()`

Methods inherited from class com.ibm.wala.fixedpoint.impl.NullaryOperator
evaluate

Methods inherited from class java.lang.Object
clone, finalize, getClass, notify, notifyAll, wait, wait, wait

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