Package org.eclipse.xsemantics.dsl.typing

Class XsemanticsTypeComputer

  • All Implemented Interfaces:
    org.eclipse.xtext.xbase.typesystem.computation.ITypeComputer
    public class XsemanticsTypeComputer
extends org.eclipse.xtext.xbase.annotations.typesystem.XbaseWithAnnotationsTypeComputer
    Custom version of type computer for Custom XExpressions introduced by Xsemantics

    • Nested Class Summary

      • Nested classes/interfaces inherited from class org.eclipse.xtext.xbase.typesystem.computation.XbaseTypeComputer

        org.eclipse.xtext.xbase.typesystem.computation.XbaseTypeComputer.BranchExpressionProcessor

    • Method Summary

      All Methods Instance Methods Concrete Methods 
      Modifier and Type Method Description
      protected void _computeTypes​(ErrorSpecification e, org.eclipse.xtext.xbase.typesystem.computation.ITypeComputationState state)  
      protected void _computeTypes​(Fail e, org.eclipse.xtext.xbase.typesystem.computation.ITypeComputationState state)  
      protected void _computeTypes​(OrExpression e, org.eclipse.xtext.xbase.typesystem.computation.ITypeComputationState state)  
      protected void _computeTypes​(RuleInvocation e, org.eclipse.xtext.xbase.typesystem.computation.ITypeComputationState state)  
      void _computeTypes​(org.eclipse.xtext.xbase.XBlockExpression b, org.eclipse.xtext.xbase.typesystem.computation.ITypeComputationState typeState)  
      protected void _handleEnvironmentSpecification​(EmptyEnvironment e, org.eclipse.xtext.xbase.typesystem.computation.ITypeComputationState state)  
      protected void _handleEnvironmentSpecification​(EnvironmentComposition e, org.eclipse.xtext.xbase.typesystem.computation.ITypeComputationState state)  
      protected void _handleEnvironmentSpecification​(EnvironmentMapping e, org.eclipse.xtext.xbase.typesystem.computation.ITypeComputationState state)  
      protected void _handleEnvironmentSpecification​(org.eclipse.xtext.xbase.XExpression e, org.eclipse.xtext.xbase.typesystem.computation.ITypeComputationState state)  
      protected void addVariableDeclarationsToScope​(org.eclipse.xtext.xbase.XExpression e, org.eclipse.xtext.xbase.typesystem.computation.ITypeComputationState state)  
      void computeTypes​(org.eclipse.xtext.xbase.XExpression expression, org.eclipse.xtext.xbase.typesystem.computation.ITypeComputationState state)  
      protected void handleEnvironmentSpecification​(org.eclipse.xtext.xbase.XExpression e, org.eclipse.xtext.xbase.typesystem.computation.ITypeComputationState state)  
      protected boolean hasTypeExpectations​(org.eclipse.xtext.xbase.typesystem.computation.ITypeComputationState state)  

      • Methods inherited from class org.eclipse.xtext.xbase.annotations.typesystem.XbaseWithAnnotationsTypeComputer

        _computeTypes, computeChildTypesForUnknownAnnotation, computeTypes

      • Methods inherited from class org.eclipse.xtext.xbase.typesystem.computation.XbaseTypeComputer

        _computeTypes, _computeTypes, _computeTypes, _computeTypes, _computeTypes, _computeTypes, _computeTypes, _computeTypes, _computeTypes, _computeTypes, _computeTypes, _computeTypes, _computeTypes, _computeTypes, _computeTypes, _computeTypes, _computeTypes, _computeTypes, _computeTypes, _computeTypes, _computeTypes, _computeTypes, _computeTypes, _computeTypes, addLocalToCurrentScope, addLocalToCurrentScope, assignType, checkValidReturn, checkValidReturnExpression, computeForLoopParameterType, computeWhileLoopBody, findCloseMethod, getAndEnhanceIterableOrArrayFromComponent, getBestCandidate, getCases, getDeclaredParameterType, getElementOrComponentType, getElse, getRefinableCandidate, getSwitchExpressionState, getThen, hasThrowableExpectation, isRefinableFeature, normalizedMultiType, reassignCheckedType, validateUnhandledException

      • Methods inherited from class org.eclipse.xtext.xbase.typesystem.computation.AbstractTypeComputer

        deferredBindTypeArgument, findDeclaredType, findDeclaredType, findDeclaredType, findDeclaredType, getCommonSuperType, getCommonSuperType, getPrimitiveVoid, getRawTypeForName, getRawTypeForName, getRawTypeForName, getTypeForName, getTypeForName

      • Methods inherited from class java.lang.Object

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

    • Constructor Detail

      • XsemanticsTypeComputer

        public XsemanticsTypeComputer()

    • Method Detail

      • computeTypes

        public void computeTypes​(org.eclipse.xtext.xbase.XExpression expression,
                         org.eclipse.xtext.xbase.typesystem.computation.ITypeComputationState state)
        Specified by:
        computeTypes in interface org.eclipse.xtext.xbase.typesystem.computation.ITypeComputer
        Overrides:
        computeTypes in class org.eclipse.xtext.xbase.annotations.typesystem.XbaseWithAnnotationsTypeComputer

      • _computeTypes

        public void _computeTypes​(org.eclipse.xtext.xbase.XBlockExpression b,
                          org.eclipse.xtext.xbase.typesystem.computation.ITypeComputationState typeState)
        Overrides:
        _computeTypes in class org.eclipse.xtext.xbase.typesystem.computation.XbaseTypeComputer

      • addVariableDeclarationsToScope

        protected void addVariableDeclarationsToScope​(org.eclipse.xtext.xbase.XExpression e,
                                              org.eclipse.xtext.xbase.typesystem.computation.ITypeComputationState state)

      • _computeTypes

        protected void _computeTypes​(RuleInvocation e,
                             org.eclipse.xtext.xbase.typesystem.computation.ITypeComputationState state)

      • hasTypeExpectations

        protected boolean hasTypeExpectations​(org.eclipse.xtext.xbase.typesystem.computation.ITypeComputationState state)

      • _computeTypes

        protected void _computeTypes​(OrExpression e,
                             org.eclipse.xtext.xbase.typesystem.computation.ITypeComputationState state)

      • _handleEnvironmentSpecification

        protected void _handleEnvironmentSpecification​(EmptyEnvironment e,
                                               org.eclipse.xtext.xbase.typesystem.computation.ITypeComputationState state)

      • _handleEnvironmentSpecification

        protected void _handleEnvironmentSpecification​(EnvironmentComposition e,
                                               org.eclipse.xtext.xbase.typesystem.computation.ITypeComputationState state)

      • _handleEnvironmentSpecification

        protected void _handleEnvironmentSpecification​(EnvironmentMapping e,
                                               org.eclipse.xtext.xbase.typesystem.computation.ITypeComputationState state)

      • _handleEnvironmentSpecification

        protected void _handleEnvironmentSpecification​(org.eclipse.xtext.xbase.XExpression e,
                                               org.eclipse.xtext.xbase.typesystem.computation.ITypeComputationState state)

      • _computeTypes

        protected void _computeTypes​(Fail e,
                             org.eclipse.xtext.xbase.typesystem.computation.ITypeComputationState state)

      • _computeTypes

        protected void _computeTypes​(ErrorSpecification e,
                             org.eclipse.xtext.xbase.typesystem.computation.ITypeComputationState state)

      • handleEnvironmentSpecification

        protected void handleEnvironmentSpecification​(org.eclipse.xtext.xbase.XExpression e,
                                              org.eclipse.xtext.xbase.typesystem.computation.ITypeComputationState state)