recoder.abstraction
Class ParameterizedType

java.lang.Object
  recoder.abstraction.ParameterizedType

All Implemented Interfaces:

ClassType, ClassTypeContainer, Member, ProgramModelElement, Type, AccessFlags, ModelElement, NamedModelElement

public class ParameterizedType
extends java.lang.Object
implements ClassType

A parameterized type, meaning a generic type plus actual type arguments. This is for internal representation and not an AST representation element.

Author:

Tobias Gutzmann

Nested Class Summary

class

ParameterizedType.CapturedType the capture of this parameterized type.

Nested classes/interfaces inherited from interface recoder.abstraction.ProgramModelElement

ProgramModelElement.LexicalOrder

Nested classes/interfaces inherited from interface recoder.abstraction.ProgramModelElement

ProgramModelElement.LexicalOrder

Nested classes/interfaces inherited from interface recoder.abstraction.ProgramModelElement

ProgramModelElement.LexicalOrder

Field Summary

Fields inherited from interface recoder.abstraction.ProgramModelElement

LEXICAL_ORDER

Fields inherited from interface recoder.bytecode.AccessFlags

ABSTRACT, ANNOTATION, BRIDGE, ENUM, FINAL, INTERFACE, NATIVE, PRIVATE, PROTECTED, PUBLIC, STATIC, STRICT, SUPER, SYNCHRONIZED, SYNTHETIC, TRANSIENT, VARARGS, VOLATILE

Fields inherited from interface recoder.abstraction.ProgramModelElement

LEXICAL_ORDER

Fields inherited from interface recoder.bytecode.AccessFlags

ABSTRACT, ANNOTATION, BRIDGE, ENUM, FINAL, INTERFACE, NATIVE, PRIVATE, PROTECTED, PUBLIC, STATIC, STRICT, SUPER, SYNCHRONIZED, SYNTHETIC, TRANSIENT, VARARGS, VOLATILE

Fields inherited from interface recoder.abstraction.ProgramModelElement

LEXICAL_ORDER

Fields inherited from interface recoder.bytecode.AccessFlags

ABSTRACT, ANNOTATION, BRIDGE, ENUM, FINAL, INTERFACE, NATIVE, PRIVATE, PROTECTED, PUBLIC, STATIC, STRICT, SUPER, SYNCHRONIZED, SYNTHETIC, TRANSIENT, VARARGS, VOLATILE

Method Summary

ArrayType	createArrayType()
boolean	equals(java.lang.Object o)
java.util.List<Field>	getAllFields() Returns all visible fields that are defined in this class type or any of its supertypes.
java.util.List<Method>	getAllMethods() Returns all visible methods that are defined in this class type or any of its supertypes.
java.util.List<ClassType>	getAllSupertypes() Returns the list of all supertypes of this class type, in topological order, including the class type itself as first element.
java.util.List<TypeArgument>	getAllTypeArgs() includes the type args of a possibly enclosing type
java.util.List<ClassType>	getAllTypes() Returns all class types that are inner types of this class type, including visible inherited types.
java.util.List<? extends AnnotationUse>	getAnnotations() Returns a list of Annotations.
ArrayType	getArrayType()
java.lang.String	getBinaryName() Returns the binary name.
ParameterizedType.CapturedType	getCapture()
java.util.List<? extends Constructor>	getConstructors() Returns the constructors locally defined within this class type.
ClassTypeContainer	getContainer() Returns the enclosing package or class type, or method.
ClassType	getContainingClassType() Returns the logical parent type of this member.
java.util.List<TypeParameter>	getDefinedTypeParameters()
ParameterizedType	getEnclosingType()
ErasedType	getErasedType()
java.util.List<? extends Field>	getFields() Returns the fields locally defined within this class type.
java.lang.String	getFullName() Returns the maximal expanded name including all applicable qualifiers.
java.lang.String	getFullSignature() Returns a full type signature of this type, i.e., the full name plus possible type arguments.
ClassType	getGenericType()
java.util.List<Method>	getMethods() Returns the methods locally defined within this class type.
java.lang.String	getName() Return the name of the model element.
Package	getPackage() Returns the package this element is defined in.
static ParameterizedType	getParameterizedType(ClassType genericType, java.util.List<? extends TypeArgument> typeArgs, ImplicitElementInfo service)
static ParameterizedType	getParameterizedType(ClassType innerGenericType, java.util.List<? extends TypeArgument> typeArgs, ParameterizedType enclosingType, ImplicitElementInfo service)
ImplicitElementInfo	getProgramModelInfo() Returns the instance that can retrieve information about this program model element.
java.util.List<ClassType>	getSupertypes() Returns the list of locally declared supertypes of this class type.
java.util.List<? extends TypeArgument>	getTypeArgs()
java.util.List<TypeParameter>	getTypeParameters() Returns the type parameters of this class type.
java.util.List<? extends ClassType>	getTypes() Returns the class types locally defined within this container.
int	hashCode()
boolean	isAbstract() Checks if this member is abstract.
boolean	isAnnotationType() Checks if this class type denotes an annotation type
boolean	isEnumType() Checks if this class type denotes an enum type
boolean	isFinal() Checks if this member is final.
boolean	isInner() Checks if this type is an inner class, as described in JLS, 3rd edition, §8.1.3
boolean	isInterface() Checks if this class type denotes an interface (i.e. ordinary interface or annotation type).
boolean	isOrdinaryClass() Checks if this class type denotes an ordinary (i.e. not an enum) class.
boolean	isOrdinaryInterface() Checks if this class type denotes an ordinary (i.e. not annotation type) interface.
boolean	isPrivate() Checks if this member is private.
boolean	isProtected() Checks if this member is protected.
boolean	isPublic() Checks if this member is public.
boolean	isStatic() Checks if this member is static.
boolean	isStrictFp() Checks if this member is strictfp.
void	setProgramModelInfo(ProgramModelInfo pmi) Sets the instance that can retrieve information about this program model element.
java.lang.String	toString()
void	validate() Check consistency and admissibility of a construct, e.g. cardinality of participants.

Methods inherited from class java.lang.Object

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

Method Detail

getParameterizedType

public static ParameterizedType getParameterizedType(ClassType genericType,
                                                     java.util.List<? extends TypeArgument> typeArgs,
                                                     ImplicitElementInfo service)

getParameterizedType

public static ParameterizedType getParameterizedType(ClassType innerGenericType,
                                                     java.util.List<? extends TypeArgument> typeArgs,
                                                     ParameterizedType enclosingType,
                                                     ImplicitElementInfo service)

getDefinedTypeParameters

public java.util.List<TypeParameter> getDefinedTypeParameters()

getArrayType

public ArrayType getArrayType()

Specified by:

getArrayType in interface Type

Returns:

createArrayType

public ArrayType createArrayType()

Specified by:

createArrayType in interface Type

Returns:

getCapture

public ParameterizedType.CapturedType getCapture()

getGenericType

public ClassType getGenericType()

getEnclosingType

public ParameterizedType getEnclosingType()

getAllTypeArgs

public java.util.List<TypeArgument> getAllTypeArgs()

includes the type args of a possibly enclosing type

Returns:

getTypeArgs

public java.util.List<? extends TypeArgument> getTypeArgs()

getFullName

public java.lang.String getFullName()

Description copied from interface: ProgramModelElement

Returns the maximal expanded name including all applicable qualifiers.

Specified by:

getFullName in interface ProgramModelElement

Returns:

the full name of this program model element.

getBinaryName

public java.lang.String getBinaryName()

Description copied from interface: ProgramModelElement

Returns the binary name. The binary name is the name this program model element would have in bytecode, i.e., how it either is read by the bytecode parser, or the name a compiler would give this element during the compilation process (if this program model element is represented in source code). See JLS, §13.1

Specified by:

getBinaryName in interface ProgramModelElement

Returns:

the bytecode name of this program model element

getProgramModelInfo

public ImplicitElementInfo getProgramModelInfo()

Description copied from interface: ProgramModelElement

Returns the instance that can retrieve information about this program model element.

Specified by:

getProgramModelInfo in interface ProgramModelElement

Returns:

the program model info of this element.

setProgramModelInfo

public void setProgramModelInfo(ProgramModelInfo pmi)

Description copied from interface: ProgramModelElement

Sets the instance that can retrieve information about this program model element. Should not be called from outside a service.

Specified by:

setProgramModelInfo in interface ProgramModelElement

Parameters:

pmi - the program model info to be used for this element.

Throws:

java.lang.RuntimeException - - not to be called but set by constructor!

getName

public java.lang.String getName()

Description copied from interface: NamedModelElement

Return the name of the model element.

Specified by:

getName in interface NamedModelElement

Returns:

the name of the model element.

validate

public void validate()
              throws ModelException

Description copied from interface: ModelElement

Check consistency and admissibility of a construct, e.g. cardinality of participants. Should only check syntactical correctness, not semantical correctness.
For checking, e.g., if an AST element of type recoder.java.statement.If has a boolean parameter as condition, recoder.service.SemanticsChecker

Specified by:

validate in interface ModelElement

Throws:

ModelException

See Also:

SemanticsChecker

getTypeParameters

public java.util.List<TypeParameter> getTypeParameters()

Description copied from interface: ClassType

Returns the type parameters of this class type.

Specified by:

getTypeParameters in interface ClassType

Returns:

the empty list

isInterface

public boolean isInterface()

Description copied from interface: ClassType

Checks if this class type denotes an interface (i.e. ordinary interface or annotation type).

Specified by:

isInterface in interface ClassType

Returns:

true if this object represents an interface, false otherwise.

isOrdinaryInterface

public boolean isOrdinaryInterface()

Description copied from interface: ClassType

Checks if this class type denotes an ordinary (i.e. not annotation type) interface.

Specified by:

isOrdinaryInterface in interface ClassType

Returns:

true if this object represents an ordinary interface, false otherwise.

isAnnotationType

public boolean isAnnotationType()

Description copied from interface: ClassType

Checks if this class type denotes an annotation type

Specified by:

isAnnotationType in interface ClassType

Returns:

true if this object represents an annotation type, false otherwise

isEnumType

public boolean isEnumType()

Description copied from interface: ClassType

Checks if this class type denotes an enum type

Specified by:

isEnumType in interface ClassType

Returns:

true if this object represents an enum type, false otherwise

isOrdinaryClass

public boolean isOrdinaryClass()

Description copied from interface: ClassType

Checks if this class type denotes an ordinary (i.e. not an enum) class.

Specified by:

isOrdinaryClass in interface ClassType

Returns:

true if this object represents an ordinary class type, false otherwise

isAbstract

public boolean isAbstract()

Description copied from interface: ClassType

Checks if this member is abstract. An interface will report true .

Specified by:

isAbstract in interface ClassType

Returns:

true if this member is abstract, false otherwise.

See Also:

ClassType.isInterface()

getSupertypes

public java.util.List<ClassType> getSupertypes()

Description copied from interface: ClassType

Returns the list of locally declared supertypes of this class type.

Specified by:

getSupertypes in interface ClassType

Returns:

the list of locally defined supertypes of this type.

getAllSupertypes

public java.util.List<ClassType> getAllSupertypes()

Description copied from interface: ClassType

Returns the list of all supertypes of this class type, in topological order, including the class type itself as first element. The order allows to resolve member overloading or overloading.

Specified by:

getAllSupertypes in interface ClassType

Returns:

the list of all supertypes of this type in topological order.

getFields

public java.util.List<? extends Field> getFields()

Description copied from interface: ClassType

Returns the fields locally defined within this class type.

Specified by:

getFields in interface ClassType

Returns:

the list of field members of this type.

getAllFields

public java.util.List<Field> getAllFields()

Description copied from interface: ClassType

Returns all visible fields that are defined in this class type or any of its supertypes. The fields are in topological order with respect to the inheritance hierarchy.

Specified by:

getAllFields in interface ClassType

Returns:

the list of visible field members of this type and its supertypes.

getMethods

public java.util.List<Method> getMethods()

Description copied from interface: ClassType

Returns the methods locally defined within this class type.

Specified by:

getMethods in interface ClassType

Returns:

the list of methods of this type.

getAllMethods

public java.util.List<Method> getAllMethods()

Description copied from interface: ClassType

Returns all visible methods that are defined in this class type or any of its supertypes. The methods are in topological order with respect to the inheritance hierarchy.

Specified by:

getAllMethods in interface ClassType

Returns:

the list of visible methods of this type and its supertypes.

getConstructors

public java.util.List<? extends Constructor> getConstructors()

Description copied from interface: ClassType

Returns the constructors locally defined within this class type.

Specified by:

getConstructors in interface ClassType

Returns:

the list of constructors of this type.

getAllTypes

public java.util.List<ClassType> getAllTypes()

Description copied from interface: ClassType

Returns all class types that are inner types of this class type, including visible inherited types.

Specified by:

getAllTypes in interface ClassType

Returns:

a list of class types that are members of this type or any of its supertypes.

See Also:

ClassType.getAllSupertypes()

isFinal

public boolean isFinal()

Description copied from interface: Member

Checks if this member is final.

Specified by:

isFinal in interface Member

Returns:

true if this member is final, false otherwise.

isStatic

public boolean isStatic()

Description copied from interface: Member

Checks if this member is static. Returns true for Constructors.

Specified by:

isStatic in interface Member

Returns:

true if this member is static, false otherwise.

isPrivate

public boolean isPrivate()

Description copied from interface: Member

Checks if this member is private.

Specified by:

isPrivate in interface Member

Returns:

true if this member is private, false otherwise.

isProtected

public boolean isProtected()

Description copied from interface: Member

Checks if this member is protected.

Specified by:

isProtected in interface Member

Returns:

true if this member is protected, false otherwise.

isPublic

public boolean isPublic()

Description copied from interface: Member

Checks if this member is public.

Specified by:

isPublic in interface Member

Returns:

true if this member is public, false otherwise.

isStrictFp

public boolean isStrictFp()

Description copied from interface: Member

Checks if this member is strictfp.

Specified by:

isStrictFp in interface Member

Returns:

true if this member is strictfp, false otherwise.

getContainingClassType

public ClassType getContainingClassType()

Description copied from interface: Member

Returns the logical parent type of this member.

Specified by:

getContainingClassType in interface Member

Returns:

the class type containing this member.

getAnnotations

public java.util.List<? extends AnnotationUse> getAnnotations()

Description copied from interface: Member

Returns a list of Annotations.

Specified by:

getAnnotations in interface Member

Returns:

the annotations

getTypes

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

Description copied from interface: ClassTypeContainer

Returns the class types locally defined within this container. Returns inner types when this container is a class type.

Specified by:

getTypes in interface ClassTypeContainer

Returns:

a list of contained class types.

getPackage

public Package getPackage()

Description copied from interface: ClassTypeContainer

Returns the package this element is defined in. Packages have no recursive scope and report themselves.

Specified by:

getPackage in interface ClassTypeContainer

Returns:

the package of this element.

getContainer

public ClassTypeContainer getContainer()

Description copied from interface: ClassTypeContainer

Returns the enclosing package or class type, or method. A package will report null, a methods its enclosing class.

Specified by:

getContainer in interface ClassTypeContainer

Returns:

the container of this element.

equals

public boolean equals(java.lang.Object o)

Overrides:

equals in class java.lang.Object

hashCode

public int hashCode()

Overrides:

hashCode in class java.lang.Object

getFullSignature

public java.lang.String getFullSignature()

Description copied from interface: Type

Returns a full type signature of this type, i.e., the full name plus possible type arguments. Works as getFullName() on primitive types.

Specified by:

getFullSignature in interface Type

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object

getErasedType

public ErasedType getErasedType()

Specified by:

getErasedType in interface ClassType

isInner

public boolean isInner()

Description copied from interface: ClassType

Checks if this type is an inner class, as described in JLS, 3rd edition, §8.1.3

Specified by:

isInner in interface ClassType

Returns: