Class AbstractTypeInferrer

    • 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