polyglot.ext.jl5.types

Class RawClass_c

java.lang.Object

polyglot.types.TypeObject_c

polyglot.types.Type_c

polyglot.types.ReferenceType_c

polyglot.types.ClassType_c

polyglot.ext.jl5.types.JL5ClassType_c

polyglot.ext.jl5.types.RawClass_c

All Implemented Interfaces:

java.io.Serializable, java.lang.Cloneable, JL5ClassType, RawClass, ClassType, Declaration, Importable, MemberInstance, Named, Qualifier, ReferenceType, Type, TypeObject, Copy<TypeObject>

public class RawClass_c
extends JL5ClassType_c
implements RawClass

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.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
RawClass_c(JL5ParsedClassType t, Position pos)

Method Summary

Methods

Modifier and Type	Method and Description
AnnotationTypeElemInstance	annotationElemNamed(java.lang.String name)
java.util.List<AnnotationTypeElemInstance>	annotationElems()
Annotations	annotations() Annotations on the declaration of this type.
JL5ParsedClassType	base() The JL5ParsedClassType of which this is the raw version.
java.util.List<? extends ConstructorInstance>	constructors() The class's constructors.
boolean	descendsFromImpl(Type ancestor) Return true if this type descends from ancestor.
java.util.List<EnumInstance>	enumConstants()
boolean	equalsImpl(TypeObject t) Default implementation is pointer equality.
JL5SubstClassType	erased() Return the JL5SubstClassType erased version of the raw class.
java.util.List<? extends FieldInstance>	fields() Returns a list of fields declared in this type.
Flags	flags() Get the class's flags.
int	hashCode()
boolean	inStaticContext() Return true if the class declaration occurs in a static context.
java.util.List<? extends ReferenceType>	interfaces() Returns a list of all the type's interfaces.
boolean	isRawClass() Is this class a Raw Class? See JLS 3rd ed., 4.8
Job	job()
ClassType.Kind	kind() Get the class's kind: top-level, member, local, or anonymous.
java.util.List<? extends ClassType>	memberClasses() The class's member classes.
java.util.List<? extends MethodInstance>	methods() Returns a list of methods declared in this type.
java.lang.String	name() Get the short name of the class, if possible.
ClassType	outer() The class's outer class, or null if a top-level class.
Package	package_() Get the class's package.
void	setContainer(ReferenceType container) Destructively set the member's container.
void	setFlags(Flags flags) Destructively set the member's flags.
java.util.Set<? extends Type>	superclasses() All direct superclasses of the class.
Type	superType() Returns the supertype of this 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.
boolean	typeEqualsImpl(Type t) Return true if this type is equivalent to t.

Methods inherited from class polyglot.ext.jl5.types.JL5ClassType_c

enumConstantNamed, isCastValidImpl, isImplicitCastValidChainImpl, isImplicitCastValidImpl, translate

Methods inherited from class polyglot.types.ClassType_c

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

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.jl5.types.JL5ClassType

enumConstantNamed, isImplicitCastValidChainImpl

Methods inherited from interface polyglot.types.ClassType

fieldNamed, hasEnclosingInstance, hasEnclosingInstanceImpl, isAnonymous, isEnclosed, isEnclosedImpl, isInner, isInnerClass, isLocal, isMember, isNested, isTopLevel, memberClassNamed, resolver

Methods inherited from interface polyglot.types.Named

fullName

Methods inherited from interface polyglot.types.ReferenceType

hasMethod, hasMethodImpl, members, methods, methodsNamed

Methods inherited from interface polyglot.types.Type

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

Methods inherited from interface polyglot.types.Qualifier

isPackage, isType, toPackage, toType

Methods inherited from interface polyglot.types.TypeObject

isCanonical, position, typeSystem

Methods inherited from interface polyglot.util.Copy

copy

Methods inherited from interface polyglot.types.MemberInstance

container

Methods inherited from interface polyglot.types.Declaration

declaration, setDeclaration

Constructor Detail

RawClass_c

public RawClass_c(JL5ParsedClassType t,
          Position pos)

Method Detail

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

base

public JL5ParsedClassType base()

Description copied from interface: RawClass

The JL5ParsedClassType of which this is the raw version. This JL5ParsedClassType will have at least one type parameter.

Specified by:

base in interface RawClass

erased

public JL5SubstClassType erased()

Description copied from interface: RawClass

Return the JL5SubstClassType erased version of the raw class. This should be used very cautiously, as the erased class type is not the same as the raw type. For example, given class C, the raw class is |C|, which is not the same in the Polyglot type system as the class C, which is the erased version of the class.

Specified by:

erased in interface RawClass

enumConstants

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

Specified by:

enumConstants in interface JL5ClassType

Specified by:

enumConstants in class JL5ClassType_c

job

public Job job()

Specified by:

job in class ClassType_c

kind

public ClassType.Kind kind()

Description copied from interface: ClassType

Get the class's kind: top-level, member, local, or anonymous.

Specified by:

kind in interface ClassType

Specified by:

kind in class ClassType_c

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

Specified by:

outer in class ClassType_c

name

public java.lang.String name()

Description copied from class: ClassType_c

Get the short name of the class, if possible.

Specified by:

name in interface Named

Specified by:

name in class ClassType_c

package_

public Package package_()

Description copied from class: ClassType_c

Get the class's package.

Specified by:

package_ in interface Importable

Specified by:

package_ in class ClassType_c

flags

public Flags flags()

Description copied from class: ClassType_c

Get the class's flags.

Specified by:

flags in interface MemberInstance

Specified by:

flags in class ClassType_c

constructors

public java.util.List<? extends ConstructorInstance> constructors()

Description copied from interface: ClassType

The class's constructors. A list of ConstructorInstance.

Specified by:

constructors in interface ClassType

Specified by:

constructors in class ClassType_c

See Also:

ConstructorInstance

memberClasses

public java.util.List<? extends ClassType> memberClasses()

Description copied from interface: ClassType

The class's member classes. A list of ClassType.

Specified by:

memberClasses in interface ClassType

Specified by:

memberClasses in class ClassType_c

See Also:

ClassType

methods

public java.util.List<? extends MethodInstance> methods()

Description copied from interface: ReferenceType

Returns a list of methods declared in this type. It does not return methods declared in supertypes.

Specified by:

methods in interface ReferenceType

Specified by:

methods in class ClassType_c

Returns:

A list of MethodInstance.

See Also:

MethodInstance

fields

public java.util.List<? extends FieldInstance> fields()

Description copied from interface: ReferenceType

Returns a list of fields declared in this type. It does not return fields declared in supertypes.

Specified by:

fields in interface ReferenceType

Specified by:

fields in class ClassType_c

Returns:

A list of FieldInstance.

See Also:

FieldInstance

interfaces

public java.util.List<? extends ReferenceType> interfaces()

Description copied from interface: ReferenceType

Returns a list of all the type's interfaces.

Specified by:

interfaces in interface ReferenceType

Specified by:

interfaces in class ClassType_c

Returns:

A list of Type.

See Also:

Type

superType

public Type superType()

Description copied from interface: ReferenceType

Returns the supertype of this type. For every class except Object, this is non-null.

Specified by:

superType in interface ReferenceType

Specified by:

superType in class ClassType_c

superclasses

public java.util.Set<? extends 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

equalsImpl

public boolean equalsImpl(TypeObject t)

Description copied from class: TypeObject_c

Default implementation is pointer equality.

Specified by:

equalsImpl in interface TypeObject

Overrides:

equalsImpl in class TypeObject_c

See Also:

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

typeEqualsImpl

public boolean typeEqualsImpl(Type t)

Description copied from interface: Type

Return true if this type is equivalent to t. Usually this is the same as equalsImpl(TypeObject), but that method should return true only if the types are structurally equal.

Specified by:

typeEqualsImpl in interface Type

Overrides:

typeEqualsImpl in class Type_c

Parameters:

t - Type to compare to

Returns:

True if this type is equivalent to t.

hashCode

public int hashCode()

Overrides:

hashCode in class TypeObject_c

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

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

inStaticContext

public boolean inStaticContext()

Description copied from interface: ClassType

Return true if the class declaration occurs in a static context. Is used to determine if a nested class is implicitly static.

Specified by:

inStaticContext in interface ClassType

setFlags

public void setFlags(Flags flags)

Description copied from interface: MemberInstance

Destructively set the member's flags.

Specified by:

setFlags in interface MemberInstance

Parameters:

flags - the flags to set

setContainer

public void setContainer(ReferenceType container)

Description copied from interface: MemberInstance

Destructively set the member's container.

Specified by:

setContainer in interface MemberInstance

Parameters:

container - the container to set

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

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