org.eclipse.incquery.patternlanguage.typing

Class AbstractTypeInferrer

java.lang.Object

org.eclipse.incquery.patternlanguage.typing.AbstractTypeInferrer

All Implemented Interfaces:

ITypeInferrer

Direct Known Subclasses:

EMFTypeInferrer

public abstract class AbstractTypeInferrer
extends java.lang.Object
implements ITypeInferrer

Author:

Zoltan Ujhelyi

Nested Class Summary

Nested classes/interfaces inherited from interface org.eclipse.incquery.patternlanguage.typing.ITypeInferrer

ITypeInferrer.NullTypeInferrer

Constructor Summary

Constructors

Constructor and Description
AbstractTypeInferrer()

Method Summary

Modifier and Type	Method and Description
IInputKey	getDeclaredType(Variable var) Returns the declared type of a variable
org.eclipse.xtext.common.types.JvmTypeReference	getVariableJvmType(Variable var, org.eclipse.emf.ecore.EObject context) Creates a Jvm Type Reference for a selected variable.
IInputKey	getVariableReferenceType(VariableReference reference) Calculates the type of a variable reference.
IInputKey	getVariableType(Variable var) Returns the type of a variable.

Methods inherited from class java.lang.Object

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

Methods inherited from interface org.eclipse.incquery.patternlanguage.typing.ITypeInferrer

getInferredVariableType

Constructor Detail

AbstractTypeInferrer

public AbstractTypeInferrer()

Method Detail

getVariableType

public IInputKey getVariableType(Variable var)

Description copied from interface: ITypeInferrer

Returns the type of a variable.

Specified by:

getVariableType in interface ITypeInferrer

Returns:

if the variable has a declared type, it is returned; otherwise the inferred type is calculated.

getDeclaredType

public IInputKey getDeclaredType(Variable var)

Description copied from interface: ITypeInferrer

Returns the declared type of a variable

Specified by:

getDeclaredType in interface ITypeInferrer

Returns:

the declared type of the variable, or null if no type declaration is available

getVariableReferenceType

public IInputKey getVariableReferenceType(VariableReference reference)

Description copied from interface: ITypeInferrer

Calculates the type of a variable reference. A type of a reference is the type of the referred variable.

Specified by:

getVariableReferenceType in interface ITypeInferrer

getVariableJvmType

public org.eclipse.xtext.common.types.JvmTypeReference getVariableJvmType(Variable var,
                                                                          org.eclipse.emf.ecore.EObject context)

Description copied from interface: ITypeInferrer

Creates a Jvm Type Reference for a selected variable. Useful during Jvm Model Inference

Specified by:

getVariableJvmType in interface ITypeInferrer