Class EMFTypeInferrer
- java.lang.Object
-
- org.eclipse.viatra.query.patternlanguage.emf.types.AbstractTypeInferrer
-
- org.eclipse.viatra.query.patternlanguage.emf.types.EMFTypeInferrer
-
- All Implemented Interfaces:
ITypeInferrer
public class EMFTypeInferrer extends AbstractTypeInferrer
-
-
Constructor Summary
Constructors Constructor Description EMFTypeInferrer()
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description java.util.Set<IInputKey>getAllPossibleTypes(Expression var)Returns a collection of possible inferred types.IInputKeygetDeclaredType(Expression ex)Returns the declared type of a variableIInputKeygetInferredType(Expression var)Returns the inferred type of a variable-
Methods inherited from class org.eclipse.viatra.query.patternlanguage.emf.types.AbstractTypeInferrer
getDeclaredType, getJvmType, getType
-
-
-
-
Method Detail
-
getInferredType
public IInputKey getInferredType(Expression var)
Description copied from interface:ITypeInferrerReturns the inferred type of a variable- Since:
- 1.3
-
getDeclaredType
public IInputKey getDeclaredType(Expression ex)
Description copied from interface:ITypeInferrerReturns the declared type of a variable- Specified by:
getDeclaredTypein interfaceITypeInferrer- Overrides:
getDeclaredTypein classAbstractTypeInferrer- Returns:
- the declared type of the variable, or null if no type declaration is available
- Since:
- 1.3
-
getAllPossibleTypes
public java.util.Set<IInputKey> getAllPossibleTypes(Expression var)
Description copied from interface:ITypeInferrerReturns a collection of possible inferred types. Used for validating inputs; not recommended to use when processing the patterns- Since:
- 1.3
-
-