edu.rice.cs.dynamicjava.symbol
Class TypeSystem.TypeWrapper

java.lang.Object
  edu.rice.cs.dynamicjava.symbol.TypeSystem.TypeWrapper

Enclosing class:

TypeSystem

public class TypeSystem.TypeWrapper
extends java.lang.Object

A wrapper for types that provides an alternate toString() and equals() implementation: toString() is defined in terms of #userRepresentation; equals() is defined in terms of TypeSystem.isEqual(edu.rice.cs.dynamicjava.symbol.type.Type, edu.rice.cs.dynamicjava.symbol.type.Type). (Note that a corresponding hashCode() function is not implemented.)

Constructor Summary

TypeSystem.TypeWrapper(Type t)

Method Summary

boolean	equals(java.lang.Object o) Compare two TypeWrappers using TypeSystem.isEqual(edu.rice.cs.dynamicjava.symbol.type.Type, edu.rice.cs.dynamicjava.symbol.type.Type).
int	hashCode() Throws an UnsupportedOperationException.
java.lang.String	toString() Produce a string using #userRepresentation.

Methods inherited from class java.lang.Object

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

Constructor Detail

TypeSystem.TypeWrapper

public TypeSystem.TypeWrapper(Type t)

Method Detail

toString

public java.lang.String toString()

Produce a string using #userRepresentation.

Overrides:

toString in class java.lang.Object

equals

public boolean equals(java.lang.Object o)

Compare two TypeWrappers using TypeSystem.isEqual(edu.rice.cs.dynamicjava.symbol.type.Type, edu.rice.cs.dynamicjava.symbol.type.Type).

Overrides:

equals in class java.lang.Object

hashCode

public int hashCode()

Throws an UnsupportedOperationException.

Overrides:

hashCode in class java.lang.Object