org.eclipse.xtext.xbase.typesystem.references

Class InnerFunctionTypeReference

java.lang.Object

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

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

org.eclipse.xtext.xbase.typesystem.references.FunctionTypeReference

org.eclipse.xtext.xbase.typesystem.references.InnerFunctionTypeReference

public class InnerFunctionTypeReference
extends FunctionTypeReference

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
InnerFunctionTypeReference(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 InnerFunctionTypeReference	doCopyInto(ITypeReferenceOwner owner)
protected String	getAsString(String type, com.google.common.base.Function<LightweightTypeReference,String> format)
protected String	getAsStringNoFunctionType(String type, com.google.common.base.Function<LightweightTypeReference,String> format)
JvmTypeReference	getEquivalentTypeReference()
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.

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

addParameterType, copyTypeArguments, getAsFunctionTypeReference, getJavaIdentifier, getParameterTypes, getReturnType, setReturnType, toTypeReference, tryConvertToFunctionTypeReference

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

addTypeArgument, createRawTypeReference, getFunctionTypeKind, getIdentifier, getPrimitiveIfWrapperType, getPrimitiveKind, getPrimitiveKindIfWrapperType, getRawSuperType, getRawTypes, getSimpleName, getSuperType, getSuperType, getSuperTypes, getType, getTypeArguments, getUniqueIdentifier, getWrapperTypeIfPrimitive, isAnonymous, isInner, isInterfaceType, isPrimitive, isPrimitiveVoid, isType, isTypeVisible, isWrapper, tryConvertToArray, 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

InnerFunctionTypeReference

public InnerFunctionTypeReference(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: FunctionTypeReference

Subclasses must override this method.

Overrides:

getKind in class FunctionTypeReference

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

getEquivalentTypeReference

public JvmTypeReference getEquivalentTypeReference()

Overrides:

getEquivalentTypeReference in class FunctionTypeReference

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 FunctionTypeReference

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 FunctionTypeReference

doCopyInto

protected InnerFunctionTypeReference doCopyInto(ITypeReferenceOwner owner)

Overrides:

doCopyInto in class FunctionTypeReference

getAsString

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

Overrides:

getAsString in class FunctionTypeReference

getAsStringNoFunctionType

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

Overrides:

getAsStringNoFunctionType in class FunctionTypeReference

accept

public void accept(TypeReferenceVisitor visitor)

Overrides:

accept in class FunctionTypeReference

accept

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

Overrides:

accept in class FunctionTypeReference

accept

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

Overrides:

accept in class FunctionTypeReference

accept

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

Overrides:

accept in class FunctionTypeReference

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