|
||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | |||||||||
A TypeObject is a compile-time value created by the type system.
It is a static representation of a type that is not necessarily
first-class. It is similar to a compile-time meta-object.
| Method Summary | |
boolean |
equalsImpl(TypeObject t)
Return true iff this type object is the same as t. |
boolean |
isCanonical()
Return true if the type object contains no unknown/ambiguous types. |
Position |
position()
The object's position, or null. |
TypeSystem |
typeSystem()
The object's type system. |
| Methods inherited from interface polyglot.util.Copy |
copy |
| Method Detail |
public boolean isCanonical()
public TypeSystem typeSystem()
public Position position()
public boolean equalsImpl(TypeObject t)
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().
TypeObject_c.equalsImpl(TypeObject),
Object.hashCode()
|
||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | |||||||||