polyglot.ext.coffer.types
Class Key_c

java.lang.Object
  extended bypolyglot.ext.jl.types.TypeObject_c
      extended bypolyglot.ext.coffer.types.Key_c
All Implemented Interfaces:
java.lang.Cloneable, Copy, Key, java.io.Serializable, TypeObject
Direct Known Subclasses:
InstKey_c, ParamKey_c, UnknownKey_c

public abstract class Key_c
extends TypeObject_c
implements Key

See Also:
Serialized Form

Field Summary
protected  java.lang.String name
           
 
Fields inherited from class polyglot.ext.jl.types.TypeObject_c
position, ts
 
Constructor Summary
Key_c(TypeSystem ts, Position pos, java.lang.String name)
           
 
Method Summary
 boolean equalsImpl(TypeObject o)
          Return true iff this type object is the same as t.
 int hashCode()
           
 boolean isCanonical()
          Return true if the type object contains no unknown/ambiguous types.
 java.lang.String name()
           
 Key name(java.lang.String name)
           
 java.lang.String toString()
           
 
Methods inherited from class polyglot.ext.jl.types.TypeObject_c
copy, equals, position, typeSystem
 
Methods inherited from class java.lang.Object
clone, finalize, getClass, notify, notifyAll, wait, wait, wait
 
Methods inherited from interface polyglot.types.TypeObject
position, typeSystem
 
Methods inherited from interface polyglot.util.Copy
copy
 

Field Detail

name

protected java.lang.String name
Constructor Detail

Key_c

public Key_c(TypeSystem ts,
             Position pos,
             java.lang.String name)
Method Detail

name

public java.lang.String name()
Specified by:
name in interface Key

name

public Key name(java.lang.String name)

equalsImpl

public boolean equalsImpl(TypeObject o)
Description copied from interface: TypeObject
Return true iff this type object is the same as t. All Polyglot extensions should attempt to maintain pointer equality between TypeObjects. If this cannot be done, extensions can override TypeObject_c.equalsImpl(), and don't forget to override hashCode().

Specified by:
equalsImpl in interface TypeObject
Overrides:
equalsImpl in class TypeObject_c

hashCode

public int hashCode()

toString

public java.lang.String toString()

isCanonical

public boolean isCanonical()
Description copied from interface: TypeObject
Return true if the type object contains no unknown/ambiguous types.

Specified by:
isCanonical in interface TypeObject