polyglot.types

Interface TypeObject

All Superinterfaces:

java.lang.Cloneable, Copy<TypeObject>, java.io.Serializable

All Known Subinterfaces:

Annotations, AnnotationTypeElemInstance, ArrayType, CaptureConvertedWildCardType, ClassType, CodeInstance, ConstructorInstance, Declaration, DiamondType, EnumInstance, FieldInstance, FunctionInstance, Importable, InitializerInstance, InstType<Formal,Actual>, IntersectionType, JL5ArrayType, JL5ClassType, JL5ConstructorInstance, JL5FieldInstance, JL5LocalInstance, JL5MethodInstance, JL5ParsedClassType, JL5PrimitiveType, JL5ProcedureInstance, JL5ReferenceType, JL5SubstClassType, JL5SubstType, LocalInstance, LubType, MemberInstance, MethodInstance, MuPClass<Formal,Actual>, Named, NullType, Package, Param, ParsedClassType, ParsedTypeObject, PClass<Formal,Actual>, PrimitiveType, ProcedureInstance, Qualifier, RawClass, ReferenceType, SubstType<Formal,Actual>, Type, TypeVariable, UnknownPackage, UnknownQualifier, UnknownReferenceType, UnknownType, UnknownTypeVariable, VarInstance, WildCardType

All Known Implementing Classes:

AnnotationElementValueAnnotation_c, AnnotationElementValueArray_c, AnnotationElementValueConstant_c, Annotations_c, AnnotationTypeElemInstance_c, ArrayType_c, CaptureConvertedWildCardType_c, ClassType_c, ConstructorInstance_c, CovarRetOutputExtensionInfo.CovarRetMethodInstance_c, DiamondType_c, EnumInstance_c, FieldInstance_c, InitializerInstance_c, IntersectionType_c, JL5ArrayType_c, JL5ClassType_c, JL5ConstructorInstance_c, JL5FieldInstance_c, JL5LocalInstance_c, JL5MethodInstance_c, JL5NullType_c, JL5ParsedClassType_c, JL5PrimitiveType_c, JL5SubstClassType_c, LocalInstance_c, LubType_c, MethodInstance_c, MuPClass_c, NullType_c, Package_c, ParsedClassType_c, PClass_c, PrimitiveType_c, ProcedureInstance_c, RawClass_c, ReferenceType_c, SubstClassType_c, Type_c, TypeObject_c, TypeVariable_c, UnknownPackage_c, UnknownQualifier_c, UnknownReferenceType_c, UnknownType_c, UnknownTypeVariable_c, VarInstance_c, WildCardType_c

public interface TypeObject
extends Copy<TypeObject>, java.io.Serializable

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.

Nested Class Summary

Nested classes/interfaces inherited from interface polyglot.util.Copy

Copy.Util

Method Summary

Methods

Modifier and Type	Method and Description
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

isCanonical

boolean isCanonical()

Return true if the type object contains no unknown/ambiguous types.

typeSystem

TypeSystem typeSystem()

The object's type system.

position

Position position()

The object's position, or null.

equalsImpl

boolean equalsImpl(TypeObject t)

Return true iff this type object is the same as t. All Polyglot extensions should attempt to maintain pointer equality between equal TypeObjects. If this cannot be done, extensions can override TypeObject_c.equalsImpl(), and don't forget to override hashCode().

See Also:

TypeObject_c.equalsImpl(TypeObject), Object.hashCode()