Package de.monticore.tf.tfbasisexts
Class TFBasisExtsMill
java.lang.Object
de.monticore.tf.tfbasisexts.TFBasisExtsMill
- Direct Known Subclasses:
TFBasisExtsMillForODRules,TFBasisExtsMillForTFCommons
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 Summary
FieldsModifier and TypeFieldDescriptionprotected TFBasisExtsFullPrettyPrinterprotected static TFBasisExtsMillprotected ITFBasisExtsGlobalScopeprotected ITFBasisExtsTypeDispatcher -
Constructor Summary
Constructors -
Method Summary
Modifier and TypeMethodDescriptionprotected ITFBasisExtsArtifactScopeprotected ITFBasisExtsGlobalScopeprotected TFBasisExtsTraverserprotected String_prettyPrint(de.monticore.ast.ASTNode node, boolean printComments) protected ITFBasisExtsScope_scope()protected TFBasisExtsTraverserprotected ITFBasisExtsTypeDispatcherstatic ASTAnnotationBuilderstatic ASTArgumentsBuilderstatic ASTArrayCreatorBuilderstatic ASTArrayDeclaratorIdBuilderstatic ASTArrayInitBuilderstatic ITFBasisExtsArtifactScopestatic ASTBasicDoubleLiteralBuilderstatic ASTBasicFloatLiteralBuilderstatic ASTBasicLongLiteralBuilderstatic ASTBooleanLiteralBuilderstatic ASTBracketExpressionBuilderstatic ASTBreakStatementBuilderstatic ASTCallExpressionBuilderstatic ASTCharLiteralBuilderstatic ASTClassCreatorBuilderstatic ASTClassExpressionBuilderstatic ASTCommonForControlBuilderstatic ASTConstDeclarationBuilderstatic ASTCreatorExpressionBuilderstatic ASTDeclaratorIdBuilderstatic ASTDefaultSwitchLabelBuilderstatic DiagramSymbolBuilderstatic ASTDivideExpressionBuilderstatic ASTDoWhileStatementBuilderstatic ASTElementValueOrExprBuilderstatic ASTElementValuePairBuilderstatic ASTEmptyStatementBuilderstatic ASTEnhancedForControlBuilderstatic ASTEqualsExpressionBuilderstatic FieldSymbolBuilderstatic FieldSymbolSurrogateBuilderstatic ASTForInitBuilderstatic ASTFormalParameterBuilderstatic ASTFormalParametersBuilderstatic ASTForStatementBuilderstatic FunctionSymbolBuilderstatic TFBasisExtsMillgetMill()static ITFBasisExtsGlobalScopestatic ASTIfStatementBuilderstatic TFBasisExtsTraverserA traverser is the conceptual entry point for every action within the visitor infrastructure.static voidinit()Initializes a languages Mill.static voidstatic JavaMethodSymbolBuilderstatic ASTJavaModifierBuilderstatic ASTLessThanExpressionBuilderstatic ASTLiteralExpressionBuilderstatic ASTMCBasicGenericTypeBuilderstatic ASTMCImportStatementBuilderstatic ASTMCInnerTypeBuilderstatic ASTMCJavaBlockBuilderstatic ASTMCListTypeBuilderstatic ASTMCMapTypeBuilderstatic ASTMCOptionalTypeBuilderstatic ASTMCPrimitiveTypeBuilderstatic ASTMCQualifiedNameBuilderstatic ASTMCQualifiedTypeBuilderstatic ASTMCReturnTypeBuilderstatic ASTMCSetTypeBuilderstatic MCStereotypeSymbolBuilderstatic ASTMCVoidTypeBuilderstatic ASTMethodDeclarationBuilderstatic MethodSymbolBuilderstatic MethodSymbolSurrogateBuilderstatic ASTMinusExpressionBuilderstatic ASTModuloExpressionBuilderstatic ASTMultExpressionBuilderstatic ASTNameExpressionBuilderstatic ASTNatLiteralBuilderstatic ASTNullLiteralBuilderstatic OOTypeSymbolBuilderstatic OOTypeSymbolSurrogateBuilderstatic ASTPlusExpressionBuilderstatic StringprettyPrint(de.monticore.ast.ASTNode node, boolean printComments) Uses the composed pretty printer to print an ASTNode of this languagestatic voidreset()static ASTReturnStatementBuilderstatic ITFBasisExtsScopescope()static ASTSignedNatLiteralBuilderstatic ASTSimpleInitBuilderstatic ASTStringLiteralBuilderstatic ASTSuperExpressionBuilderstatic ASTSuperSuffixBuilderstatic ASTSwitchStatementBuilderstatic ASTThisExpressionBuilderstatic ASTThrowsBuilderstatic TFBasisExtsTraverserA traverser is the conceptual entry point for every action within the visitor infrastructure.static ASTTypeCastExpressionBuilderstatic ITFBasisExtsTypeDispatcherstatic ASTTypeParameterBuilderstatic ASTTypeParametersBuilderstatic ASTTypePatternBuilderstatic TypeSymbolBuilderstatic TypeSymbolSurrogateBuilderstatic TypeVarSymbolBuilderstatic ASTVariableDeclaratorBuilderstatic VariableSymbolBuilderstatic ASTWhileStatementBuilder
-
Field Details
-
mill
-
fullPrettyPrinter
-
typeDispatcher
-
tFBasisExtsGlobalScope
-
-
Constructor Details
-
TFBasisExtsMill
protected TFBasisExtsMill()
-
-
Method Details
-
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. -
prettyPrint
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
-
typeDispatcher
-
_typeDispatcher
-
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
-
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
-
globalScope
-
_globalScope
-
artifactScope
-
_artifactScope
-
scope
-
_scope
-
methodDeclarationBuilder
-
constructorDeclarationBuilder
-
constDeclarationBuilder
-
throwsBuilder
-
lastFormalParameterBuilder
-
formalParameterListingBuilder
-
formalParametersBuilder
-
annotationBuilder
-
annotationPairArgumentsBuilder
-
elementValueOrExprBuilder
-
elementValuePairBuilder
-
elementValueArrayInitializerBuilder
-
arrayDimensionByInitializerBuilder
-
javaMethodSymbolBuilder
-
javaMethodSymbolSurrogateBuilder
-
mCBasicGenericTypeBuilder
-
mCCustomTypeArgumentBuilder
-
nullLiteralBuilder
-
booleanLiteralBuilder
-
charLiteralBuilder
-
stringLiteralBuilder
-
natLiteralBuilder
-
signedNatLiteralBuilder
-
basicLongLiteralBuilder
-
signedBasicLongLiteralBuilder
-
basicFloatLiteralBuilder
-
signedBasicFloatLiteralBuilder
-
basicDoubleLiteralBuilder
-
signedBasicDoubleLiteralBuilder
-
incSuffixExpressionBuilder
-
decSuffixExpressionBuilder
-
incPrefixExpressionBuilder
-
decPrefixExpressionBuilder
-
assignmentExpressionBuilder
-
-
thisExpressionBuilder
-
superExpressionBuilder
-
genericInvocationExpressionBuilder
-
primarySuperExpressionBuilder
-
classExpressionBuilder
-
primaryGenericInvocationExpressionBuilder
public static ASTPrimaryGenericInvocationExpressionBuilder primaryGenericInvocationExpressionBuilder() -
genericInvocationSuffixBuilder
-
superSuffixBuilder
-
instanceofPatternExpressionBuilder
-
typePatternBuilder
-
mCJavaBlockBuilder
-
javaModifierBuilder
-
ifStatementBuilder
-
forStatementBuilder
-
commonForControlBuilder
-
forInitBuilder
-
forInitByExpressionsBuilder
-
enhancedForControlBuilder
-
formalParameterBuilder
-
whileStatementBuilder
-
doWhileStatementBuilder
-
switchStatementBuilder
-
emptyStatementBuilder
-
expressionStatementBuilder
-
switchBlockStatementGroupBuilder
-
constantExpressionSwitchLabelBuilder
-
enumConstantSwitchLabelBuilder
-
defaultSwitchLabelBuilder
-
breakStatementBuilder
-
arrayDeclaratorIdBuilder
-
arrayInitBuilder
-
returnStatementBuilder
-
typeParametersBuilder
-
typeParameterBuilder
-
nameExpressionBuilder
-
literalExpressionBuilder
-
argumentsBuilder
-
callExpressionBuilder
-
fieldAccessExpressionBuilder
-
plusPrefixExpressionBuilder
-
minusPrefixExpressionBuilder
-
booleanNotExpressionBuilder
-
logicalNotExpressionBuilder
-
multExpressionBuilder
-
divideExpressionBuilder
-
moduloExpressionBuilder
-
plusExpressionBuilder
-
minusExpressionBuilder
-
lessEqualExpressionBuilder
-
greaterEqualExpressionBuilder
-
lessThanExpressionBuilder
-
greaterThanExpressionBuilder
-
equalsExpressionBuilder
-
notEqualsExpressionBuilder
-
booleanAndOpExpressionBuilder
-
booleanOrOpExpressionBuilder
-
conditionalExpressionBuilder
-
bracketExpressionBuilder
-
arrayAccessExpressionBuilder
-
localVariableDeclarationStatementBuilder
public static ASTLocalVariableDeclarationStatementBuilder localVariableDeclarationStatementBuilder() -
localVariableDeclarationBuilder
-
variableDeclaratorBuilder
-
declaratorIdBuilder
-
simpleInitBuilder
-
mCWildcardTypeArgumentBuilder
-
mCMultipleGenericTypeBuilder
-
mCInnerTypeBuilder
-
typeCastExpressionBuilder
-
instanceofExpressionBuilder
-
creatorExpressionBuilder
-
classCreatorBuilder
-
arrayCreatorBuilder
-
arrayDimensionByExpressionBuilder
-
mCQualifiedNameBuilder
-
mCPackageDeclarationBuilder
-
mCImportStatementBuilder
-
mCPrimitiveTypeBuilder
-
mCQualifiedTypeBuilder
-
mCReturnTypeBuilder
-
mCVoidTypeBuilder
-
oOTypeSymbolBuilder
-
oOTypeSymbolSurrogateBuilder
-
fieldSymbolBuilder
-
fieldSymbolSurrogateBuilder
-
methodSymbolBuilder
-
methodSymbolSurrogateBuilder
-
diagramSymbolBuilder
-
diagramSymbolSurrogateBuilder
-
typeSymbolBuilder
-
typeSymbolSurrogateBuilder
-
typeVarSymbolBuilder
-
typeVarSymbolSurrogateBuilder
-
variableSymbolBuilder
-
variableSymbolSurrogateBuilder
-
functionSymbolBuilder
-
functionSymbolSurrogateBuilder
-
mCStereotypeSymbolBuilder
-
mCStereotypeSymbolSurrogateBuilder
-
mCListTypeBuilder
-
mCOptionalTypeBuilder
-
mCMapTypeBuilder
-
mCSetTypeBuilder
-
mCBasicTypeArgumentBuilder
-
mCPrimitiveTypeArgumentBuilder
-
initMe
-
reset
public static void reset()
-