org.eclipse.xtext.xbase.typesystem.references

Class UnknownTypeReference

java.lang.Object

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

org.eclipse.xtext.xbase.typesystem.references.UnknownTypeReference

public class UnknownTypeReference
extends LightweightTypeReference

Represents a JvmType that could not be resolved, e.g. a proxy or null. Generally speaking, unknown type references define features on demand, thus they do not produce conformance problems or follow up linking errors.

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.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
UnknownTypeReference(ITypeReferenceOwner owner)
UnknownTypeReference(ITypeReferenceOwner owner, java.lang.String name)

Method Summary

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)
void	collectSuperTypes(SuperTypeAcceptor acceptor)
protected LightweightTypeReference	doCopyInto(ITypeReferenceOwner owner)
java.lang.String	getIdentifier() Returns the identifier of this type reference.
java.lang.String	getJavaIdentifier()
int	getKind() Subclasses must override this method.
java.lang.String	getSimpleName() Prints the simple name of this type reference.
protected java.util.List<LightweightTypeReference>	getSuperTypes(TypeParameterSubstitutor<?> substitutor)
org.eclipse.xtext.common.types.JvmType	getType()
java.lang.String	getUniqueIdentifier() Returns an identifier that allows to disambiguate type parameter names that have different origins.
boolean	isType(java.lang.Class<?> clazz) Returns true if this type reference represents an type with the given raw type clazz.
boolean	isUnknown()
boolean	isVisible(IVisibilityHelper visibilityHelper) Returns true if this type is fully visible according to the given visibilityHelper.
org.eclipse.xtext.common.types.JvmTypeReference	toJavaCompliantTypeReference(IVisibilityHelper visibilityHelper) Converts this type reference to a JvmTypeReference that can be used in Java source code.
org.eclipse.xtext.common.types.JvmTypeReference	toTypeReference()

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

collectSuperTypes, copyInto, createSubstitutor, expose, findNonNullType, findType, getAllSuperTypes, getAsFunctionTypeReference, getComponentType, getConstraintSubstitute, getFunctionTypeKind, getHumanReadableName, getInvariantBoundSubstitute, getLowerBoundSubstitute, getMultiTypeComponents, getNamedType, getNonInterfaceTypes, getOuter, getOwner, getPrimitiveIfWrapperType, getPrimitiveKind, getPrimitiveKindIfWrapperType, getRawTypeReference, getRawTypes, getServices, getSuperType, getSuperType, getSuperTypes, getTypeArguments, getTypesFactory, getUniqueIdentifier, getUpperBoundSubstitute, getWrapperTypeIfPrimitive, hasTypeArguments, internalFindTopLevelType, internalIsAssignableFrom, isAnonymous, isAny, isArray, isAssignableFrom, isAssignableFrom, isAssignableFrom, isAssignableFrom, isFunctionType, isInterfaceType, isMultiType, isOwnedBy, isPrimitive, isPrimitiveVoid, isRawType, isResolved, isSubtypeOf, isSubtypeOf, isSynonym, isValidHint, isWildcard, isWrapper, toJavaCompliantTypeReference, toJavaCompliantTypeReference, toJavaType, toString, tryConvertToArray, tryConvertToFunctionTypeReference, tryConvertToListType

Methods inherited from class java.lang.Object

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

Constructor Detail

UnknownTypeReference

public UnknownTypeReference(ITypeReferenceOwner owner,
                            java.lang.String name)

UnknownTypeReference

public UnknownTypeReference(ITypeReferenceOwner owner)

Method Detail

getKind

public int getKind()

Subclasses must override this method.

Overrides:

getKind in class LightweightTypeReference

isUnknown

public boolean isUnknown()

Overrides:

isUnknown in class LightweightTypeReference

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.

Specified by:

isVisible in class LightweightTypeReference

toTypeReference

public org.eclipse.xtext.common.types.JvmTypeReference toTypeReference()

Specified by:

toTypeReference in class LightweightTypeReference

toJavaCompliantTypeReference

public org.eclipse.xtext.common.types.JvmTypeReference toJavaCompliantTypeReference(IVisibilityHelper visibilityHelper)

Description copied from class: LightweightTypeReference

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

Specified by:

toJavaCompliantTypeReference in class LightweightTypeReference

getType

public org.eclipse.xtext.common.types.JvmType getType()

Specified by:

getType in class LightweightTypeReference

getSuperTypes

protected java.util.List<LightweightTypeReference> getSuperTypes(TypeParameterSubstitutor<?> substitutor)

Specified by:

getSuperTypes in class LightweightTypeReference

doCopyInto

protected LightweightTypeReference doCopyInto(ITypeReferenceOwner owner)

Specified by:

doCopyInto in class LightweightTypeReference

getSimpleName

public java.lang.String getSimpleName()

Description copied from class: LightweightTypeReference

Prints the simple name of this type reference. Useful for testing.

Specified by:

getSimpleName in class LightweightTypeReference

getIdentifier

public java.lang.String getIdentifier()

Description copied from class: LightweightTypeReference

Returns the identifier of this type reference. Usually the qualified name with a dollar delimiter.

Specified by:

getIdentifier in class LightweightTypeReference

getUniqueIdentifier

public java.lang.String getUniqueIdentifier()

Description copied from class: LightweightTypeReference

Returns an identifier that allows to disambiguate type parameter names that have different origins. Rather than just giving the name of the type parameter, it also prints the declarator.

Specified by:

getUniqueIdentifier in class LightweightTypeReference

getJavaIdentifier

public java.lang.String getJavaIdentifier()

Specified by:

getJavaIdentifier in class LightweightTypeReference

isType

public boolean isType(java.lang.Class<?> clazz)

Description copied from class: LightweightTypeReference

Returns true if this type reference represents an type with the given raw type clazz. Returns false if this is not exactly the given type, but a sub type, a super type or a completely unrelated type.

Specified by:

isType in class LightweightTypeReference

collectSuperTypes

public void collectSuperTypes(SuperTypeAcceptor acceptor)

Overrides:

collectSuperTypes in class LightweightTypeReference

accept

public void accept(TypeReferenceVisitor visitor)

Overrides:

accept in class LightweightTypeReference

accept

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

Overrides:

accept in class LightweightTypeReference

accept

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

Overrides:

accept in class LightweightTypeReference

accept

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

Overrides:

accept in class LightweightTypeReference