Class AbstractTypeInferrer
- java.lang.Object
-
- org.eclipse.viatra.query.patternlanguage.emf.types.AbstractTypeInferrer
-
- All Implemented Interfaces:
ITypeInferrer
- Direct Known Subclasses:
EMFTypeInferrer
public abstract class AbstractTypeInferrer extends java.lang.Object implements ITypeInferrer
- Since:
- 2.0
-
-
Constructor Summary
Constructors Constructor Description AbstractTypeInferrer()
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description IInputKeygetDeclaredType(Expression ex)Returns the declared type of a variableIInputKeygetDeclaredType(Variable ex)org.eclipse.xtext.common.types.JvmTypeReferencegetJvmType(Expression ex, org.eclipse.emf.ecore.EObject context)Creates a Jvm Type Reference for a selected expression.IInputKeygetType(Expression ex)Returns the type of a variable.-
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.emf.types.ITypeInferrer
getAllPossibleTypes, getInferredType
-
-
-
-
Method Detail
-
getType
public IInputKey getType(Expression ex)
Description copied from interface:ITypeInferrerReturns the type of a variable.- Specified by:
getTypein interfaceITypeInferrer- 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:ITypeInferrerReturns the declared type of a variable- Specified by:
getDeclaredTypein interfaceITypeInferrer- 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:ITypeInferrerCreates a Jvm Type Reference for a selected expression. Useful during Jvm Model Inference- Specified by:
getJvmTypein interfaceITypeInferrer- Since:
- 1.3
-
getDeclaredType
public IInputKey getDeclaredType(Variable ex)
- Specified by:
getDeclaredTypein interfaceITypeInferrer
-
-