Class MCAssertStatementsMill
- java.lang.Object
-
- de.monticore.statements.mcassertstatements.MCAssertStatementsMill
-
- Direct Known Subclasses:
MCAssertStatementsMillForMCFullJavaStatements
public class MCAssertStatementsMill extends java.lang.ObjectThe 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 Summary
Fields Modifier and Type Field Description protected MCAssertStatementsFullPrettyPrinterfullPrettyPrinterprotected IMCAssertStatementsGlobalScopemCAssertStatementsGlobalScopeprotected static MCAssertStatementsMillmillprotected IMCAssertStatementsTypeDispatchertypeDispatcher
-
Constructor Summary
Constructors Modifier Constructor Description protectedMCAssertStatementsMill()
-
Method Summary
-
-
-
Field Detail
-
mill
protected static MCAssertStatementsMill mill
-
fullPrettyPrinter
protected MCAssertStatementsFullPrettyPrinter fullPrettyPrinter
-
typeDispatcher
protected IMCAssertStatementsTypeDispatcher typeDispatcher
-
mCAssertStatementsGlobalScope
protected IMCAssertStatementsGlobalScope mCAssertStatementsGlobalScope
-
-
Method Detail
-
getMill
public static MCAssertStatementsMill 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.
-
assertStatementBuilder
public static ASTAssertStatementBuilder assertStatementBuilder()
-
_assertStatementBuilder
protected ASTAssertStatementBuilder _assertStatementBuilder()
-
prettyPrint
public static java.lang.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 printedprintComments- Whether comments should be printed- Returns:
- The pretty printer output
-
_prettyPrint
protected java.lang.String _prettyPrint(de.monticore.ast.ASTNode node, boolean printComments)
-
typeDispatcher
public static IMCAssertStatementsTypeDispatcher typeDispatcher()
-
_typeDispatcher
protected IMCAssertStatementsTypeDispatcher _typeDispatcher()
-
traverser
public static MCAssertStatementsTraverser 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 requiringITraverser.clearTraversedElements()to be called in case of re-useinheritanceTraverser()should be preferred over normal traverser, as they further enable language composition.- Returns:
- a new instance of this language's traverser
-
_traverser
protected MCAssertStatementsTraverser _traverser()
-
inheritanceTraverser
public static MCAssertStatementsTraverser 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 requiringITraverser.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 MCAssertStatementsTraverser _inheritanceTraverser()
-
globalScope
public static IMCAssertStatementsGlobalScope globalScope()
-
_globalScope
protected IMCAssertStatementsGlobalScope _globalScope()
-
artifactScope
public static IMCAssertStatementsArtifactScope artifactScope()
-
_artifactScope
protected IMCAssertStatementsArtifactScope _artifactScope()
-
scope
public static IMCAssertStatementsScope scope()
-
_scope
protected IMCAssertStatementsScope _scope()
-
scopesGenitor
public static MCAssertStatementsScopesGenitor 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 forscopesGenitorDelegator().- Returns:
- a new instance of this language's scope genitor
-
_scopesGenitor
protected MCAssertStatementsScopesGenitor _scopesGenitor()
-
scopesGenitorDelegator
public static MCAssertStatementsScopesGenitorDelegator 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 MCAssertStatementsScopesGenitorDelegator _scopesGenitorDelegator()
-
nameExpressionBuilder
public static ASTNameExpressionBuilder nameExpressionBuilder()
-
literalExpressionBuilder
public static ASTLiteralExpressionBuilder literalExpressionBuilder()
-
argumentsBuilder
public static ASTArgumentsBuilder argumentsBuilder()
-
initMe
public static void initMe(MCAssertStatementsMill a)
-
reset
public static void reset()
-
-