org.eclipse.xtext.xbase.typesystem.references

Class InnerTypeReference

java.lang.Object

org.eclipse.xtext.xbase.typesystem.references.LightweightTypeReference

org.eclipse.xtext.xbase.typesystem.references.ParameterizedTypeReference

org.eclipse.xtext.xbase.typesystem.references.InnerTypeReference

public class InnerTypeReference
extends ParameterizedTypeReference

Author:

Sebastian Zarnekow - Initial contribution and API

Nested Class Summary

Nested classes/interfaces inherited from class org.eclipse.xtext.xbase.typesystem.references.LightweightTypeReference

LightweightTypeReference.IdentifierFunction, LightweightTypeReference.JavaIdentifierFunction, LightweightTypeReference.SimpleNameFunction, LightweightTypeReference.UniqueIdentifierFunction

Field Summary

Fields inherited from class org.eclipse.xtext.xbase.typesystem.references.ParameterizedTypeReference

resolved

Fields inherited from class org.eclipse.xtext.xbase.typesystem.references.LightweightTypeReference

KIND_ANY_TYPE_REFERENCE, KIND_ARRAY_TYPE_REFERENCE, KIND_COMPOUND_TYPE_REFERENCE, KIND_FUNCTION_TYPE_REFERENCE, KIND_INNER_FUNCTION_TYPE_REFERENCE, KIND_INNER_TYPE_REFERENCE, KIND_LIGHTWEIGHT_TYPE_REFERENCE, KIND_PARAMETERIZED_TYPE_REFERENCE, KIND_UNBOUND_TYPE_REFERENCE, KIND_UNKNOWN_TYPE_REFERENCE, KIND_WILDCARD_TYPE_REFERENCE

Constructor Summary

Constructors

Constructor and Description
InnerTypeReference(ITypeReferenceOwner owner, LightweightTypeReference outer, JvmType type)

Method Summary

Methods

Modifier and Type	Method and Description
void	accept(TypeReferenceVisitor visitor)
<Param> void	accept(TypeReferenceVisitorWithParameter<Param> visitor, Param param)
<Param,Result> Result	accept(TypeReferenceVisitorWithParameterAndResult<Param,Result> visitor, Param param)
<Result> Result	accept(TypeReferenceVisitorWithResult<Result> visitor)
protected void	checkStaticFlag(JvmDeclaredType type)
protected ParameterizedTypeReference	doCopyInto(ITypeReferenceOwner owner)
protected String	getAsString(String type, com.google.common.base.Function<LightweightTypeReference,String> format)
int	getKind() Subclasses must override this method.
LightweightTypeReference	getOuter()
LightweightTypeReference	getRawTypeReference()
boolean	hasTypeArguments()
boolean	isOwnedBy(ITypeReferenceOwner owner)
boolean	isRawType() Returns true is this type points to a raw type.
boolean	isResolved()
boolean	isVisible(IVisibilityHelper visibilityHelper) Returns true if this type is fully visible according to the given visibilityHelper.
ParameterizedTypeReference	toInstanceTypeReference() Returns a projection of this type to the instance level.
JvmTypeReference	toJavaCompliantTypeReference(IVisibilityHelper visibilityHelper) Converts this type reference to a JvmTypeReference that can be used in Java source code.
JvmTypeReference	toTypeReference()

Methods inherited from class org.eclipse.xtext.xbase.typesystem.references.ParameterizedTypeReference

addTypeArgument, copyTypeArguments, createRawTypeReference, getAsFunctionTypeReference, getFunctionTypeKind, getIdentifier, getJavaIdentifier, getPrimitiveIfWrapperType, getPrimitiveKind, getPrimitiveKindIfWrapperType, getRawSuperType, getRawTypes, getSimpleName, getSuperType, getSuperType, getSuperTypes, getType, getTypeArguments, getUniqueIdentifier, getWrapperTypeIfPrimitive, isAnonymous, isInner, isInterfaceType, isPrimitive, isPrimitiveVoid, isType, isTypeVisible, isWrapper, tryConvertToArray, tryConvertToFunctionTypeReference, tryConvertToListType

Methods inherited from class org.eclipse.xtext.xbase.typesystem.references.LightweightTypeReference

collectSuperTypes, collectSuperTypes, copyInto, createSubstitutor, expose, findNonNullType, findType, getAllSuperTypes, getComponentType, getHumanReadableName, getInvariantBoundSubstitute, getLowerBoundSubstitute, getMultiTypeComponents, getNamedType, getNonInterfaceTypes, getOwner, getServices, getSuperTypes, getTypesFactory, getUniqueIdentifier, getUpperBoundSubstitute, internalFindTopLevelType, internalIsAssignableFrom, isAny, isArray, isAssignableFrom, isAssignableFrom, isAssignableFrom, isAssignableFrom, isFunctionType, isMultiType, isSubtypeOf, isSubtypeOf, isSynonym, isUnknown, isValidHint, isWildcard, toJavaCompliantTypeReference, toJavaCompliantTypeReference, toJavaType, toString

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Constructor Detail

InnerTypeReference

public InnerTypeReference(ITypeReferenceOwner owner,
                  LightweightTypeReference outer,
                  JvmType type)

Method Detail

checkStaticFlag

protected void checkStaticFlag(JvmDeclaredType type)

Overrides:

checkStaticFlag in class ParameterizedTypeReference

getKind

public int getKind()

Description copied from class: ParameterizedTypeReference

Subclasses must override this method.

Overrides:

getKind in class ParameterizedTypeReference

getOuter

public LightweightTypeReference getOuter()

Overrides:

getOuter in class LightweightTypeReference

hasTypeArguments

public boolean hasTypeArguments()

Overrides:

hasTypeArguments in class LightweightTypeReference

isResolved

public boolean isResolved()

Overrides:

isResolved in class ParameterizedTypeReference

getRawTypeReference

public LightweightTypeReference getRawTypeReference()

Overrides:

getRawTypeReference in class ParameterizedTypeReference

Returns:

the erasure type of this type reference

toTypeReference

public JvmTypeReference toTypeReference()

Overrides:

toTypeReference in class ParameterizedTypeReference

toJavaCompliantTypeReference

public JvmTypeReference toJavaCompliantTypeReference(IVisibilityHelper visibilityHelper)

Description copied from class: LightweightTypeReference

Converts this type reference to a JvmTypeReference that can be used in Java source code.

Overrides:

toJavaCompliantTypeReference in class ParameterizedTypeReference

isRawType

public boolean isRawType()

Description copied from class: LightweightTypeReference

Returns true is this type points to a raw type. That is, it points to a parameterized type but does not define type arguments or it points to an external type parameter that has a raw type constraint. Type parameters that are declared by the current owner are not considered to be raw types. A type is also a raw type if it inherits from a raw type.

Overrides:

isRawType in class ParameterizedTypeReference

isOwnedBy

public boolean isOwnedBy(ITypeReferenceOwner owner)

Overrides:

isOwnedBy in class ParameterizedTypeReference

isVisible

public boolean isVisible(IVisibilityHelper visibilityHelper)

Description copied from class: LightweightTypeReference

Returns true if this type is fully visible according to the given visibilityHelper. All components and bounds are taken into account, e.g. arrays use their component type and generified types check their type arguments, too.

Overrides:

isVisible in class ParameterizedTypeReference

doCopyInto

protected ParameterizedTypeReference doCopyInto(ITypeReferenceOwner owner)

Overrides:

doCopyInto in class ParameterizedTypeReference

getAsString

protected String getAsString(String type,
                 com.google.common.base.Function<LightweightTypeReference,String> format)

Overrides:

getAsString in class ParameterizedTypeReference

accept

public void accept(TypeReferenceVisitor visitor)

Overrides:

accept in class ParameterizedTypeReference

accept

public <Param> void accept(TypeReferenceVisitorWithParameter<Param> visitor,
                  Param param)

Overrides:

accept in class ParameterizedTypeReference

accept

public <Result> Result accept(TypeReferenceVisitorWithResult<Result> visitor)

Overrides:

accept in class ParameterizedTypeReference

accept

public <Param,Result> Result accept(TypeReferenceVisitorWithParameterAndResult<Param,Result> visitor,
                           Param param)

Overrides:

accept in class ParameterizedTypeReference

toInstanceTypeReference

public ParameterizedTypeReference toInstanceTypeReference()

Description copied from class: ParameterizedTypeReference

Returns a projection of this type to the instance level. That is, type arguments will be replaced by their invariant bounds. The instance projection of ArrayList<? extends Iterable<? extends String>> is ArrayList<Iterable<? extends String>> since it is possible to create instances of ArrayList<Iterable<? extends String>>.

Overrides:

toInstanceTypeReference in class ParameterizedTypeReference