org.eclipse.xtext.xbase.typesystem.references

Class FunctionTypes

java.lang.Object

org.eclipse.xtext.xbase.typesystem.references.FunctionTypes

public class FunctionTypes
extends Object

Author:

Sebastian Zarnekow

Constructor Summary

Constructors

Constructor and Description
FunctionTypes()

Method Summary

Methods

Modifier and Type	Method and Description
List<JvmTypeParameter>	collectAllTypeParameters(LightweightTypeReference closureType, JvmOperation operation)
FunctionTypeReference	createFunctionTypeRef(ITypeReferenceOwner owner, LightweightTypeReference functionType, List<LightweightTypeReference> parameterTypes, LightweightTypeReference returnType)
FunctionTypeReference	createRawFunctionTypeRef(ITypeReferenceOwner owner, org.eclipse.emf.ecore.EObject context, int parameterCount, boolean procedure)
JvmOperation	findImplementingOperation(LightweightTypeReference functionType)
protected JvmOperation	findImplementingOperation(List<JvmType> rawTypes)
protected FunctionTypeReference	getAsFunctionOrNull(ParameterizedTypeReference typeReference)
FunctionTypeReference	getAsFunctionTypeReference(ParameterizedTypeReference typeReference) Returns the equivalent FunctionTypeReference if this reference points to a function or procedure.
protected FunctionTypeReference	getAsProcedureOrNull(ParameterizedTypeReference typeReference)
FunctionTypeKind	getFunctionTypeKind(ParameterizedTypeReference typeReference)
Map<JvmTypeParameter,List<LightweightBoundTypeArgument>>	getFunctionTypeParameterMapping(LightweightTypeReference functionType, JvmOperation operation, ActualTypeArgumentCollector typeArgumentCollector, ITypeReferenceOwner owner)
boolean	isFunctionAndProcedureAvailable(ITypeReferenceOwner owner)
protected boolean	tryAssignTypeArguments(List<LightweightTypeReference> typeArguments, FunctionTypeReference result)
protected FunctionTypeReference	tryConvertToFunctionTypeReference(ParameterizedTypeReference typeReference, boolean rawType) Converts the given reference to a FunctionTypeReference if the referenced type is a SAM type.

Methods inherited from class java.lang.Object

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

Constructor Detail

FunctionTypes

public FunctionTypes()

Method Detail

collectAllTypeParameters

public List<JvmTypeParameter> collectAllTypeParameters(LightweightTypeReference closureType,
                                              JvmOperation operation)

getFunctionTypeParameterMapping

public Map<JvmTypeParameter,List<LightweightBoundTypeArgument>> getFunctionTypeParameterMapping(LightweightTypeReference functionType,
                                                                                       JvmOperation operation,
                                                                                       ActualTypeArgumentCollector typeArgumentCollector,
                                                                                       ITypeReferenceOwner owner)

findImplementingOperation

public JvmOperation findImplementingOperation(LightweightTypeReference functionType)

findImplementingOperation

protected JvmOperation findImplementingOperation(List<JvmType> rawTypes)

isFunctionAndProcedureAvailable

public boolean isFunctionAndProcedureAvailable(ITypeReferenceOwner owner)

createRawFunctionTypeRef

public FunctionTypeReference createRawFunctionTypeRef(ITypeReferenceOwner owner,
                                             org.eclipse.emf.ecore.EObject context,
                                             int parameterCount,
                                             boolean procedure)

createFunctionTypeRef

public FunctionTypeReference createFunctionTypeRef(ITypeReferenceOwner owner,
                                          LightweightTypeReference functionType,
                                          List<LightweightTypeReference> parameterTypes,
                                          LightweightTypeReference returnType)

getFunctionTypeKind

public FunctionTypeKind getFunctionTypeKind(ParameterizedTypeReference typeReference)

tryConvertToFunctionTypeReference

protected FunctionTypeReference tryConvertToFunctionTypeReference(ParameterizedTypeReference typeReference,
                                                      boolean rawType)

Converts the given reference to a FunctionTypeReference if the referenced type is a SAM type. Returns null if this reference does not point to a valid function type. This is the externalized and thereby exchangeable implementation of ParameterizedTypeReference.tryConvertToFunctionTypeReference(boolean).

See Also:

getAsFunctionTypeReference(ParameterizedTypeReference)

getAsFunctionTypeReference

public FunctionTypeReference getAsFunctionTypeReference(ParameterizedTypeReference typeReference)

Returns the equivalent FunctionTypeReference if this reference points to a function or procedure. Otherwise returns null. This is the externalized and thereby exchangeable implementation of ParameterizedTypeReference.getAsFunctionTypeReference().

See Also:

tryConvertToFunctionTypeReference(ParameterizedTypeReference, boolean)

getAsFunctionOrNull

protected FunctionTypeReference getAsFunctionOrNull(ParameterizedTypeReference typeReference)

getAsProcedureOrNull

protected FunctionTypeReference getAsProcedureOrNull(ParameterizedTypeReference typeReference)

tryAssignTypeArguments

protected boolean tryAssignTypeArguments(List<LightweightTypeReference> typeArguments,
                             FunctionTypeReference result)