Package de.monticore.types.typeparameters

Class TypeParametersMill

java.lang.Object
de.monticore.types.typeparameters.TypeParametersMill
Direct Known Subclasses:
TypeParametersMillForGrammar_WithConcepts, TypeParametersMillForJavaLight, TypeParametersMillForODRules, TypeParametersMillForTFBasisExts, TypeParametersMillForTFCommons
public class TypeParametersMill extends Object
The mill is a factory for builders and other commonly used functions, such as parsers or visitors. The mill was introduced to ensure compositionality of languages, while retaining reusability of functions developed for sublanguages. Only one mill instance exists, even though in composed languages it is available under several static signatures.

  • Field Details

  • Constructor Details

    • TypeParametersMill

      protected TypeParametersMill()

  • Method Details

    • getMill

      public static TypeParametersMill getMill()

    • init

      public static void init()
      Initializes a languages Mill. This will also initialize the Mills of all languages it depends on. This ensures that all objects of this mill, such as builders, traversers, scopes, ..., deliver the element of the correct language.

    • typeParametersBuilder

      public static ASTTypeParametersBuilder typeParametersBuilder()

    • _typeParametersBuilder

      protected ASTTypeParametersBuilder _typeParametersBuilder()

    • typeParameterBuilder

      public static ASTTypeParameterBuilder typeParameterBuilder()

    • _typeParameterBuilder

      protected ASTTypeParameterBuilder _typeParameterBuilder()

    • prettyPrint

      public static String prettyPrint(de.monticore.ast.ASTNode node, boolean printComments)
      Uses the composed pretty printer to print an ASTNode of this language
      Parameters:
      node - The ASTNode to be printed
      printComments - Whether comments should be printed
      Returns:
      The pretty printer output

    • _prettyPrint

      protected String _prettyPrint(de.monticore.ast.ASTNode node, boolean printComments)

    • typeDispatcher

      public static ITypeParametersTypeDispatcher typeDispatcher()

    • _typeDispatcher

      protected ITypeParametersTypeDispatcher _typeDispatcher()

    • traverser

      public static TypeParametersTraverser traverser()
      A traverser is the conceptual entry point for every action within the visitor infrastructure. Visitors may be added, which contain the implementations for the visit and endVisit methods. Handlers may be added to modify the default traversal strategy. Each traverser retains their traversed elements to avoid duplicate traversal, possibly requiring ITraverser.clearTraversedElements() to be called in case of re-use inheritanceTraverser() should be preferred over normal traverser, as they further enable language composition.
      Returns:
      a new instance of this language's traverser

    • _traverser

      protected TypeParametersTraverser _traverser()

    • inheritanceTraverser

      public static TypeParametersTraverser inheritanceTraverser()
      A traverser is the conceptual entry point for every action within the visitor infrastructure. Visitors may be added, which contain the implementations for the visit and endVisit methods. Handlers may be added to modify the default traversal strategy. Each traverser retains their traversed elements to avoid duplicate traversal, possibly requiring ITraverser.clearTraversedElements() to be called in case of re-use Inheritance Traverser should be preferred over default ones, as they further enable language composition.
      Returns:
      a new instance of this language's inheritance traverser

    • _inheritanceTraverser

      protected TypeParametersTraverser _inheritanceTraverser()

    • globalScope

      public static ITypeParametersGlobalScope globalScope()

    • _globalScope

      protected ITypeParametersGlobalScope _globalScope()

    • artifactScope

      public static ITypeParametersArtifactScope artifactScope()

    • _artifactScope

      protected ITypeParametersArtifactScope _artifactScope()

    • scope

      public static ITypeParametersScope scope()

    • _scope

      protected ITypeParametersScope _scope()

    • scopesGenitor

      public static TypeParametersScopesGenitor scopesGenitor()
      Returns a new ScopeGenitor. ScopeGenitors are responsible for creating the scope structure of artifacts of only this language and linking it with the AST nodes. Note: ScopeGenitors do NOT delegate to elements of composed languages which is why you are most likely looking for scopesGenitorDelegator().
      Returns:
      a new instance of this language's scope genitor

    • _scopesGenitor

      protected TypeParametersScopesGenitor _scopesGenitor()

    • scopesGenitorDelegator

      public static TypeParametersScopesGenitorDelegator scopesGenitorDelegator()
      Returns a new ScopeGenitorDelegator. Delegates to the ScopeGenitors of composed languages, used for instantiating symbol tables in the context of language composition See the delegators #createFromAST method.
      Returns:
      a new instance of this language's scope genitor delegator

    • _scopesGenitorDelegator

      protected TypeParametersScopesGenitorDelegator _scopesGenitorDelegator()

    • diagramSymbolBuilder

      public static DiagramSymbolBuilder diagramSymbolBuilder()

    • diagramSymbolSurrogateBuilder

      public static DiagramSymbolSurrogateBuilder diagramSymbolSurrogateBuilder()

    • typeSymbolBuilder

      public static TypeSymbolBuilder typeSymbolBuilder()

    • typeSymbolSurrogateBuilder

      public static TypeSymbolSurrogateBuilder typeSymbolSurrogateBuilder()

    • typeVarSymbolBuilder

      public static TypeVarSymbolBuilder typeVarSymbolBuilder()

    • typeVarSymbolSurrogateBuilder

      public static TypeVarSymbolSurrogateBuilder typeVarSymbolSurrogateBuilder()

    • variableSymbolBuilder

      public static VariableSymbolBuilder variableSymbolBuilder()

    • variableSymbolSurrogateBuilder

      public static VariableSymbolSurrogateBuilder variableSymbolSurrogateBuilder()

    • functionSymbolBuilder

      public static FunctionSymbolBuilder functionSymbolBuilder()

    • functionSymbolSurrogateBuilder

      public static FunctionSymbolSurrogateBuilder functionSymbolSurrogateBuilder()

    • mCStereotypeSymbolBuilder

      public static MCStereotypeSymbolBuilder mCStereotypeSymbolBuilder()

    • mCStereotypeSymbolSurrogateBuilder

      public static MCStereotypeSymbolSurrogateBuilder mCStereotypeSymbolSurrogateBuilder()

    • mCQualifiedNameBuilder

      public static ASTMCQualifiedNameBuilder mCQualifiedNameBuilder()

    • mCPackageDeclarationBuilder

      public static ASTMCPackageDeclarationBuilder mCPackageDeclarationBuilder()

    • mCImportStatementBuilder

      public static ASTMCImportStatementBuilder mCImportStatementBuilder()

    • mCPrimitiveTypeBuilder

      public static ASTMCPrimitiveTypeBuilder mCPrimitiveTypeBuilder()

    • mCQualifiedTypeBuilder

      public static ASTMCQualifiedTypeBuilder mCQualifiedTypeBuilder()

    • mCReturnTypeBuilder

      public static ASTMCReturnTypeBuilder mCReturnTypeBuilder()

    • mCVoidTypeBuilder

      public static ASTMCVoidTypeBuilder mCVoidTypeBuilder()

    • initMe

      public static void initMe(TypeParametersMill a)

    • reset

      public static void reset()