polyglot.ext.jl5.types

Class JL5SubstClassType_c

java.lang.Object

polyglot.types.TypeObject_c

polyglot.types.Type_c

polyglot.types.ReferenceType_c

polyglot.types.ClassType_c

polyglot.ext.param.types.SubstClassType_c<TypeVariable,ReferenceType>

polyglot.ext.jl5.types.JL5SubstClassType_c

All Implemented Interfaces:

java.io.Serializable, java.lang.Cloneable, JL5ClassType, JL5SubstClassType, JL5SubstType, InstType<TypeVariable,ReferenceType>, SubstType<TypeVariable,ReferenceType>, ClassType, Declaration, Importable, MemberInstance, Named, Qualifier, ReferenceType, Type, TypeObject, Copy<TypeObject>

public class JL5SubstClassType_c
extends SubstClassType_c<TypeVariable,ReferenceType>
implements JL5SubstClassType

See Also:

Serialized Form

Nested Class Summary

Nested classes/interfaces inherited from interface polyglot.types.ClassType

ClassType.Kind

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

Copy.Util

Field Summary

Fields inherited from class polyglot.ext.param.types.SubstClassType_c

base, constructors, fields, interfaces, memberClasses, methods, subst, substConstructors, substFields, substInterfaces, substMemberClasses, substMethods

Fields inherited from class polyglot.types.ClassType_c

decl, memberCache

Fields inherited from class polyglot.types.TypeObject_c

position, ts

Fields inherited from interface polyglot.types.ClassType

ANONYMOUS, LOCAL, MEMBER, TOP_LEVEL

Constructor Summary

Constructors

Constructor and Description
JL5SubstClassType_c(JL5TypeSystem ts, Position pos, JL5ParsedClassType base, JL5Subst subst)

Method Summary

Methods

Modifier and Type	Method and Description
java.util.List<ReferenceType>	actuals()
AnnotationTypeElemInstance	annotationElemNamed(java.lang.String name)
java.util.List<AnnotationTypeElemInstance>	annotationElems()
Annotations	annotations() Annotations on the declaration of this type.
JL5ParsedClassType	base() The type on which substitutions are performed.
boolean	descendsFromImpl(Type ancestor) Return true if this type descends from ancestor.
EnumInstance	enumConstantNamed(java.lang.String name)
java.util.List<EnumInstance>	enumConstants()
PClass<TypeVariable,ReferenceType>	instantiatedFrom()
boolean	isCastValidImpl(Type toType) Requires: all type arguments are canonical.
boolean	isEnclosedImpl(ClassType maybe_outer) Implementation of isEnclosed.
java.util.LinkedList<Type>	isImplicitCastValidChainImpl(Type toType) Return a chain of types that show that this class can be implicitly cast to toType.
boolean	isImplicitCastValidImpl(Type toType) Return true if a value of this type can be assigned to a variable of type toType.
boolean	isRawClass() Is this class a Raw Class? See JLS 3rd ed., 4.8
ClassType	outer() The class's outer class, or null if a top-level class.
void	print(CodeWriter w) Pretty-print the name of this class to w.
void	printParams(CodeWriter w) Print just the params
java.util.Set<Type>	superclasses() All direct superclasses of the class.
java.lang.String	toString() Yields a string representing this type.
java.lang.String	translate(Resolver c) Return a string into which to translate the type.
java.lang.String	translateAsReceiver(Resolver c) Translate the type as it should be if it were the receiver of a field or method call.

Methods inherited from class polyglot.ext.param.types.SubstClassType_c

constructors, deepCopy, entries, equalsImpl, fields, flags, fullName, hashCode, inStaticContext, interfaces, job, kind, memberClasses, methods, name, package_, setContainer, setFlags, subst, superType, typeEqualsImpl

Methods inherited from class polyglot.types.ClassType_c

container, copy, declaration, fieldNamed, hasEnclosingInstance, hasEnclosingInstanceImpl, isAnonymous, isCanonical, isClass, isEnclosed, isInner, isInnerClass, isLocal, isMember, isNested, isThrowable, isTopLevel, isUncheckedException, memberClassNamed, members, resolver, setDeclaration, toClass

Methods inherited from class polyglot.types.ReferenceType_c

hasMethod, hasMethodImpl, isReference, methods, methodsNamed, toReference

Methods inherited from class polyglot.types.Type_c

arrayOf, arrayOf, descendsFrom, isArray, isBoolean, isByte, isCastValid, isChar, isComparable, isDouble, isFloat, isImplicitCastValid, isInt, isIntOrLess, isLong, isLongOrLess, isNull, isNumeric, isPackage, isPrimitive, isShort, isSubtype, isSubtypeImpl, isType, isVoid, numericConversionValid, numericConversionValid, numericConversionValidImpl, numericConversionValidImpl, toArray, toNull, toPackage, toPrimitive, toType, typeEquals

Methods inherited from class polyglot.types.TypeObject_c

equals, position, typeSystem

Methods inherited from class java.lang.Object

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

Methods inherited from interface polyglot.ext.param.types.SubstType

entries, subst

Methods inherited from interface polyglot.types.ClassType

constructors, fieldNamed, hasEnclosingInstance, hasEnclosingInstanceImpl, inStaticContext, isAnonymous, isEnclosed, isInner, isInnerClass, isLocal, isMember, isNested, isTopLevel, kind, memberClasses, memberClassNamed, resolver

Methods inherited from interface polyglot.types.Importable

package_

Methods inherited from interface polyglot.types.Named

fullName, name

Methods inherited from interface polyglot.types.ReferenceType

fields, hasMethod, hasMethodImpl, interfaces, members, methods, methods, methodsNamed, superType

Methods inherited from interface polyglot.types.Type

arrayOf, arrayOf, descendsFrom, isArray, isBoolean, isByte, isCastValid, isChar, isClass, isComparable, isDouble, isFloat, isImplicitCastValid, isInt, isIntOrLess, isLong, isLongOrLess, isNull, isNumeric, isPrimitive, isReference, isShort, isSubtype, isSubtypeImpl, isThrowable, isUncheckedException, isVoid, numericConversionValid, numericConversionValid, numericConversionValidImpl, numericConversionValidImpl, toArray, toClass, toNull, toPrimitive, toReference, typeEquals, typeEqualsImpl

Methods inherited from interface polyglot.types.Qualifier

isPackage, isType, toPackage, toType

Methods inherited from interface polyglot.types.TypeObject

equalsImpl, isCanonical, position, typeSystem

Methods inherited from interface polyglot.util.Copy

copy

Methods inherited from interface polyglot.types.MemberInstance

container, flags, setContainer, setFlags

Methods inherited from interface polyglot.types.Declaration

declaration, setDeclaration

Constructor Detail

JL5SubstClassType_c

public JL5SubstClassType_c(JL5TypeSystem ts,
                   Position pos,
                   JL5ParsedClassType base,
                   JL5Subst subst)

Method Detail

instantiatedFrom

public PClass<TypeVariable,ReferenceType> instantiatedFrom()

Specified by:

instantiatedFrom in interface InstType<TypeVariable,ReferenceType>

actuals

public java.util.List<ReferenceType> actuals()

Specified by:

actuals in interface InstType<TypeVariable,ReferenceType>

enumConstantNamed

public EnumInstance enumConstantNamed(java.lang.String name)

Specified by:

enumConstantNamed in interface JL5ClassType

enumConstants

public java.util.List<EnumInstance> enumConstants()

Specified by:

enumConstants in interface JL5ClassType

annotationElemNamed

public AnnotationTypeElemInstance annotationElemNamed(java.lang.String name)

Specified by:

annotationElemNamed in interface JL5ClassType

annotationElems

public java.util.List<AnnotationTypeElemInstance> annotationElems()

Specified by:

annotationElems in interface JL5ClassType

print

public void print(CodeWriter w)

Pretty-print the name of this class to w.

Specified by:

print in interface Type

Overrides:

print in class ClassType_c

printParams

public void printParams(CodeWriter w)

Description copied from interface: JL5SubstClassType

Print just the params

Specified by:

printParams in interface JL5SubstClassType

toString

public java.lang.String toString()

Description copied from interface: Type

Yields a string representing this type. The string should be consistent with equality. That is, if this.equals(anotherType), then it should be that this.toString().equals(anotherType.toString()). The string is not necessarily a legal type expression in the language, such as a Java identifier. It is suggested, but not required, that it be an easily human-readable representation that can be used both in error messages and in generated output.

Specified by:

toString in interface Type

Overrides:

toString in class SubstClassType_c<TypeVariable,ReferenceType>

isRawClass

public boolean isRawClass()

Description copied from interface: JL5ClassType

Is this class a Raw Class? See JLS 3rd ed., 4.8

Specified by:

isRawClass in interface JL5ClassType

isCastValidImpl

public boolean isCastValidImpl(Type toType)

Description copied from class: ReferenceType_c

Requires: all type arguments are canonical. ToType is not a NullType. Returns true iff a cast from this to toType is valid; in other words, some non-null members of this are also members of toType.

Specified by:

isCastValidImpl in interface Type

Overrides:

isCastValidImpl in class ClassType_c

isImplicitCastValidImpl

public boolean isImplicitCastValidImpl(Type toType)

Description copied from interface: Type

Return true if a value of this type can be assigned to a variable of type toType.

Specified by:

isImplicitCastValidImpl in interface Type

Overrides:

isImplicitCastValidImpl in class ClassType_c

isImplicitCastValidChainImpl

public java.util.LinkedList<Type> isImplicitCastValidChainImpl(Type toType)

Description copied from interface: JL5ClassType

Return a chain of types that show that this class can be implicitly cast to toType.

Specified by:

isImplicitCastValidChainImpl in interface JL5ClassType

Returns:

null if this class cannot be cast to toType. Otherwise, list where the first element is this and the last element is toType, and each conversion adds an element to the list.

descendsFromImpl

public boolean descendsFromImpl(Type ancestor)

Description copied from interface: Type

Return true if this type descends from ancestor.

Specified by:

descendsFromImpl in interface Type

Overrides:

descendsFromImpl in class ClassType_c

base

public JL5ParsedClassType base()

Description copied from interface: SubstType

The type on which substitutions are performed.

Specified by:

base in interface JL5SubstClassType

Specified by:

base in interface SubstType<TypeVariable,ReferenceType>

Overrides:

base in class SubstClassType_c<TypeVariable,ReferenceType>

translate

public java.lang.String translate(Resolver c)

Description copied from interface: Type

Return a string into which to translate the type.

Specified by:

translate in interface Type

Overrides:

translate in class SubstClassType_c<TypeVariable,ReferenceType>

Parameters:

c - A resolver in which to lookup this type to determine if the type is unique in the given resolver.

translateAsReceiver

public java.lang.String translateAsReceiver(Resolver c)

Description copied from interface: JL5ClassType

Translate the type as it should be if it were the receiver of a field or method call.

Specified by:

translateAsReceiver in interface JL5ClassType

outer

public ClassType outer()

Description copied from interface: ClassType

The class's outer class, or null if a top-level class.

Specified by:

outer in interface ClassType

Overrides:

outer in class SubstClassType_c<TypeVariable,ReferenceType>

isEnclosedImpl

public boolean isEnclosedImpl(ClassType maybe_outer)

Description copied from interface: ClassType

Implementation of isEnclosed. This method should only be called by the TypeSystem or by a subclass.

Specified by:

isEnclosedImpl in interface ClassType

Overrides:

isEnclosedImpl in class ClassType_c

annotations

public Annotations annotations()

Description copied from interface: JL5ClassType

Annotations on the declaration of this type. For types loaded from a class file, this may contain only the retained annotations.

Specified by:

annotations in interface JL5ClassType

superclasses

public java.util.Set<Type> superclasses()

Description copied from interface: JL5ClassType

All direct superclasses of the class. In JL5, a class may have more than one direct superclass. For those classes that have just one superclass, this will be equivalent to the singleton set containing this.supertype(). Note that the superclasses of a class is not in general the same as the supertypes.

Specified by:

superclasses in interface JL5ClassType