org.eclipse.incquery.patternlanguage.emf.types

Class EMFPatternTypeProvider

java.lang.Object

org.eclipse.incquery.patternlanguage.emf.types.EMFPatternTypeProvider

All Implemented Interfaces:

IEMFTypeProvider

public class EMFPatternTypeProvider
extends java.lang.Object
implements IEMFTypeProvider

A type provider for inferring the correct types for the pattern variables. It handles all constraints in the model which can modify the outcome of the type, but it has some practical limitations, as the calculation of the proper type can be time consuming in some cases.

Constructor Summary

Constructors

Constructor and Description
EMFPatternTypeProvider()

Method Summary

Modifier and Type	Method and Description
java.util.Map<PathExpressionTail,org.eclipse.emf.ecore.EStructuralFeature>	getAllFeaturesFromPathExpressionTail(PathExpressionTail pathExpressionTail)
org.eclipse.emf.ecore.EClassifier	getClassifierForLiteralComputationEnumValueReference(ValueReference valueReference)
org.eclipse.emf.ecore.EClassifier	getClassifierForType(Type type)
org.eclipse.emf.ecore.EClassifier	getClassifierForVariable(Variable variable)
org.eclipse.emf.ecore.EClassifier	getExplicitClassifierForPatternParameterVariable(Variable variable)
java.util.Set<org.eclipse.emf.ecore.EClassifier>	getIrreducibleClassifiersForVariableInBody(PatternBody patternBody, Variable variable)
org.eclipse.xtext.common.types.JvmTypeReference	getJvmType(org.eclipse.emf.ecore.EClassifier classifier, org.eclipse.emf.ecore.EObject context) Calculates the corresponding JVM type of a selected EClassifier.
Type	getTypeFromPathExpressionTail(PathExpressionTail pathExpressionTail)
org.eclipse.xtext.common.types.JvmTypeReference	getVariableType(Variable variable) Calculates the JVM type of the selected variable.

Methods inherited from class java.lang.Object

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

Constructor Detail

EMFPatternTypeProvider

public EMFPatternTypeProvider()

Method Detail

getVariableType

public org.eclipse.xtext.common.types.JvmTypeReference getVariableType(Variable variable)

Description copied from interface: IEMFTypeProvider

Calculates the JVM type of the selected variable. The calculation includes the inference of the corresponding EMF type, and then the calculation of corresponding Java class.

Specified by:

getVariableType in interface IEMFTypeProvider

Returns:

getJvmType

public org.eclipse.xtext.common.types.JvmTypeReference getJvmType(org.eclipse.emf.ecore.EClassifier classifier,
                                                                  org.eclipse.emf.ecore.EObject context)

Description copied from interface: IEMFTypeProvider

Calculates the corresponding JVM type of a selected EClassifier. The context is used to select the model-specific information, e.g. ResourceSet, project, etc.

Specified by:

getJvmType in interface IEMFTypeProvider

Returns:

getClassifierForVariable

public org.eclipse.emf.ecore.EClassifier getClassifierForVariable(Variable variable)

Specified by:

getClassifierForVariable in interface IEMFTypeProvider

Returns:

the EClassifier for the given Variable. Returns null, if it fails.

getIrreducibleClassifiersForVariableInBody

public java.util.Set<org.eclipse.emf.ecore.EClassifier> getIrreducibleClassifiersForVariableInBody(PatternBody patternBody,
                                                                                                   Variable variable)

Specified by:

getIrreducibleClassifiersForVariableInBody in interface IEMFTypeProvider

Returns:

the list of possible classifiers computed from the constraints in the patternbody.

getExplicitClassifierForPatternParameterVariable

public org.eclipse.emf.ecore.EClassifier getExplicitClassifierForPatternParameterVariable(Variable variable)

Specified by:

getExplicitClassifierForPatternParameterVariable in interface IEMFTypeProvider

Returns:

the EClassifier explicitly given in the parameter list for the given pattern parameter Variable. Returns null, if none found or not a parameter(Ref).

getClassifierForType

public org.eclipse.emf.ecore.EClassifier getClassifierForType(Type type)

Specified by:

getClassifierForType in interface IEMFTypeProvider

Returns:

the EClassifier for the given Type. Returns null, if it fails.

getClassifierForLiteralComputationEnumValueReference

public org.eclipse.emf.ecore.EClassifier getClassifierForLiteralComputationEnumValueReference(ValueReference valueReference)

Specified by:

getClassifierForLiteralComputationEnumValueReference in interface IEMFTypeProvider

Returns:

an EClassifier for the given input ValueReference. The ValueReference can be a LiteralValueReference, or a ComputationValue.

getTypeFromPathExpressionTail

public Type getTypeFromPathExpressionTail(PathExpressionTail pathExpressionTail)

Specified by:

getTypeFromPathExpressionTail in interface IEMFTypeProvider

getAllFeaturesFromPathExpressionTail

public java.util.Map<PathExpressionTail,org.eclipse.emf.ecore.EStructuralFeature> getAllFeaturesFromPathExpressionTail(PathExpressionTail pathExpressionTail)

Specified by:

getAllFeaturesFromPathExpressionTail in interface IEMFTypeProvider