polyglot.ext.jl5.types

Class IntersectionType_c

java.lang.Object

polyglot.types.TypeObject_c

polyglot.types.Type_c

polyglot.types.ReferenceType_c

polyglot.types.ClassType_c

polyglot.ext.jl5.types.IntersectionType_c

All Implemented Interfaces:

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

public class IntersectionType_c
extends ClassType_c
implements IntersectionType

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

Modifier and Type	Field and Description
protected TypeVariable	boundOf_
protected java.util.List<ReferenceType>	bounds

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.ext.jl5.types.IntersectionType

INTERSECTION

Fields inherited from interface polyglot.types.ClassType

ANONYMOUS, LOCAL, MEMBER, TOP_LEVEL

Constructor Summary

Constructors

Constructor and Description
IntersectionType_c(TypeSystem ts, Position pos, java.util.List<ReferenceType> bounds)

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.
TypeVariable	boundOf()
void	boundOf(TypeVariable tv)
java.util.List<ReferenceType>	bounds()
java.util.List<? extends ConstructorInstance>	constructors() The class's constructors.
EnumInstance	enumConstantNamed(java.lang.String name)
java.util.List<EnumInstance>	enumConstants()
boolean	equalsImpl(TypeObject other) Default implementation is pointer equality.
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	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	isRawClass() Is this class a Raw Class? See JLS 3rd ed., 4.8
boolean	isSubtypeImpl(Type ancestor) Return true if this type is a subtype of ancestor.
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	setBounds(java.util.List<ReferenceType> newBounds)
void	setContainer(ReferenceType container) Destructively set the member's container.
void	setFlags(Flags flags) Destructively set the member's flags.
java.util.Set<Type>	superclasses() All direct superclasses of the class.
Type	superType() Returns the supertype of this type.
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 resolver) Translate the type as it should be if it were the receiver of a field or method call.
boolean	typeEqualsImpl(Type other) Return true if this type is equivalent to t.

Methods inherited from class polyglot.types.ClassType_c

container, copy, declaration, descendsFromImpl, fieldNamed, fullName, hasEnclosingInstance, hasEnclosingInstanceImpl, isAnonymous, isCanonical, isClass, isEnclosed, isImplicitCastValidImpl, isInner, isInnerClass, isLocal, isMember, isNested, isThrowable, isTopLevel, isUncheckedException, memberClassNamed, members, print, 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, 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.types.ClassType

fieldNamed, hasEnclosingInstance, hasEnclosingInstanceImpl, isAnonymous, isEnclosed, 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, descendsFromImpl, isArray, isBoolean, isByte, isCastValid, isChar, isClass, isComparable, isDouble, isFloat, isImplicitCastValid, isImplicitCastValidImpl, isInt, isIntOrLess, isLong, isLongOrLess, isNull, isNumeric, isPrimitive, isReference, isShort, isSubtype, isThrowable, isUncheckedException, isVoid, numericConversionValid, numericConversionValid, numericConversionValidImpl, numericConversionValidImpl, print, toArray, toClass, toNull, toPrimitive, toReference, 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

Field Detail

bounds

protected java.util.List<ReferenceType> bounds

boundOf_

protected TypeVariable boundOf_

Constructor Detail

IntersectionType_c

public IntersectionType_c(TypeSystem ts,
                  Position pos,
                  java.util.List<ReferenceType> bounds)

Method Detail

bounds

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

Specified by:

bounds in interface IntersectionType

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

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 ClassType_c

Parameters:

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

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 ClassType_c

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

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

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

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

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

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

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

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

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

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

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

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.

isSubtypeImpl

public boolean isSubtypeImpl(Type ancestor)

Description copied from interface: Type

Return true if this type is a subtype of ancestor.

Specified by:

isSubtypeImpl in interface Type

Overrides:

isSubtypeImpl in class Type_c

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

boundOf

public void boundOf(TypeVariable tv)

Specified by:

boundOf in interface IntersectionType

boundOf

public TypeVariable boundOf()

Specified by:

boundOf in interface IntersectionType

equalsImpl

public boolean equalsImpl(TypeObject other)

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 other)

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:

other - Type to compare to

Returns:

True if this type is equivalent to t.

hashCode

public int hashCode()

Overrides:

hashCode in class TypeObject_c

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

job

public Job job()

Specified by:

job in class ClassType_c

setBounds

public void setBounds(java.util.List<ReferenceType> newBounds)

Specified by:

setBounds in interface IntersectionType

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

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

translateAsReceiver

public java.lang.String translateAsReceiver(Resolver resolver)

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

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

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