org.eclipse.viatra.query.patternlanguage.typing

Class AbstractTypeInferrer

java.lang.Object

org.eclipse.viatra.query.patternlanguage.typing.AbstractTypeInferrer

All Implemented Interfaces:

ITypeInferrer

Direct Known Subclasses:

EMFTypeInferrer, ITypeInferrer.NullTypeInferrer

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

Nested Class Summary

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

ITypeInferrer.NullTypeInferrer

Constructor Summary

Constructors

Constructor and Description
AbstractTypeInferrer()

Method Summary

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

Methods inherited from class java.lang.Object

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

Methods inherited from interface org.eclipse.viatra.query.patternlanguage.typing.ITypeInferrer

getAllPossibleTypes, getInferredType

Constructor Detail

AbstractTypeInferrer

public AbstractTypeInferrer()

Method Detail

getType

public IInputKey getType(Expression ex)

Description copied from interface: ITypeInferrer

Returns the type of a variable.

Specified by:

getType in interface ITypeInferrer

Returns:

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

Since:

1.3

getDeclaredType

public IInputKey getDeclaredType(Expression ex)

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

Since:

1.3

getJvmType

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

Description copied from interface: ITypeInferrer

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

Specified by:

getJvmType in interface ITypeInferrer

Since:

1.3

getInferredVariableType

public IInputKey getInferredVariableType(Variable ex)

Specified by:

getInferredVariableType in interface ITypeInferrer

getVariableJvmType

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

Specified by:

getVariableJvmType in interface ITypeInferrer

getDeclaredType

public IInputKey getDeclaredType(Variable ex)

Specified by:

getDeclaredType in interface ITypeInferrer

getVariableReferenceType

public IInputKey getVariableReferenceType(VariableReference ref)

Specified by:

getVariableReferenceType in interface ITypeInferrer

getVariableType

public IInputKey getVariableType(Variable var)

Specified by:

getVariableType in interface ITypeInferrer