Package de.monticore.types3

Class AbstractTypeVisitor

java.lang.Object
de.monticore.types3.AbstractTypeVisitor
Direct Known Subclasses:
AssignmentExpressionsTypeVisitor, BitExpressionsTypeVisitor, CommonExpressionsTypeVisitor, ExpressionBasisTypeVisitor, JavaClassExpressionsTypeVisitor, LambdaExpressionsTypeVisitor, MCArrayTypesTypeVisitor, MCBasicTypesTypeVisitor, MCCollectionTypesTypeVisitor, MCCommonLiteralsTypeVisitor, MCFullGenericTypesTypeVisitor, MCFunctionTypesTypeVisitor, MCJavaLiteralsTypeVisitor, MCSimpleGenericTypesTypeVisitor, MCStructuralTypesTypeVisitor, OCLExpressionsTypeVisitor, OptionalOperatorsTypeVisitor, RegExTypeTypeVisitor, SetExpressionsTypeVisitor, SIUnitLiteralsTypeVisitor, SIUnitTypes4ComputingTypeVisitor, SIUnitTypes4MathTypeVisitor, StreamExpressionsTypeVisitor, TupleExpressionsTypeVisitor, UglyExpressionsTypeVisitor
public abstract class AbstractTypeVisitor extends Object
extended by the main type system visitors gives access to common functionality, e.g., the map from expression to type

  • Field Details

    • LOG_NAME

      protected static final String LOG_NAME
      the name to be used for Log.info, etc.
      See Also:

    • tmpMap

      public static Type4Ast tmpMap

    • type4Ast

      protected Type4Ast type4Ast
      the map to be filled with type information In most cases, this is the global map in the mill. However, if a AstNode can have multiple Types (e.g., variants within the same model), one may set a different map to be filled.

    • ctx4Ast

      protected InferenceContext4Ast ctx4Ast
      the map to be filled with inference context information, s. InferenceContext4Ast.

  • Constructor Details

    • AbstractTypeVisitor

      public AbstractTypeVisitor()

  • Method Details

    • setType4Ast

      public void setType4Ast(Type4Ast type4Ast)

    • setContext4Ast

      public void setContext4Ast(InferenceContext4Ast ctx4Ast)

    • getType4Ast

      protected Type4Ast getType4Ast()
      the map to be filled with type information. Deriving classes should always use this method to get the map.

    • getInferenceContext4Ast

      protected InferenceContext4Ast getInferenceContext4Ast()
      the map to be filled with type context information. Deriving classes should always use this method to get the map. Only dedicated visitors for target types usage (mostly called CTTIVisitor) should make use of this map. It is set to null for all over visitors!

    • getAsBasicSymbolsScope

      protected IBasicSymbolsScope getAsBasicSymbolsScope(de.monticore.symboltable.IScope scope)