Package de.monticore.ocl.oclexpressions

Class OCLExpressionsMill

java.lang.Object

de.monticore.ocl.oclexpressions.OCLExpressionsMill

public class OCLExpressionsMill
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 Summary

Fields

Modifier and Type	Field	Description
protected OCLExpressionsFullPrettyPrinter	fullPrettyPrinter
protected static OCLExpressionsMill	mill
protected IOCLExpressionsGlobalScope	oCLExpressionsGlobalScope
protected IOCLExpressionsTypeDispatcher	typeDispatcher

Constructor Summary

Constructors

Modifier	Constructor	Description
protected	OCLExpressionsMill()

Method Summary

Modifier and Type	Method	Description
protected ASTAnyExpressionBuilder	_anyExpressionBuilder()
protected IOCLExpressionsArtifactScope	_artifactScope()
protected ASTEquivalentExpressionBuilder	_equivalentExpressionBuilder()
protected ASTExistsExpressionBuilder	_existsExpressionBuilder()
protected ASTForallExpressionBuilder	_forallExpressionBuilder()
protected IOCLExpressionsGlobalScope	_globalScope()
protected ASTIfThenElseExpressionBuilder	_ifThenElseExpressionBuilder()
protected ASTImpliesExpressionBuilder	_impliesExpressionBuilder()
protected ASTInDeclarationBuilder	_inDeclarationBuilder()
protected ASTInDeclarationVariableBuilder	_inDeclarationVariableBuilder()
protected OCLExpressionsTraverser	_inheritanceTraverser()
protected ASTIterateExpressionBuilder	_iterateExpressionBuilder()
protected ASTLetinExpressionBuilder	_letinExpressionBuilder()
protected ASTOCLAtPreQualificationBuilder	_oCLAtPreQualificationBuilder()
protected ASTOCLTransitiveQualificationBuilder	_oCLTransitiveQualificationBuilder()
protected ASTOCLVariableDeclarationBuilder	_oCLVariableDeclarationBuilder()
protected String	_prettyPrint(de.monticore.ast.ASTNode node, boolean printComments)
protected IOCLExpressionsScope	_scope()
protected OCLExpressionsScopesGenitor	_scopesGenitor()
protected OCLExpressionsScopesGenitorDelegator	_scopesGenitorDelegator()
protected OCLExpressionsTraverser	_singleStepTraverser()
protected OCLExpressionsTraverser	_traverser()
protected IOCLExpressionsTypeDispatcher	_typeDispatcher()	Deprecated, for removal: This API element is subject to removal in a future version.
protected ASTTypeIfExpressionBuilder	_typeIfExpressionBuilder()
protected ASTTypeIfThenExpressionBuilder	_typeIfThenExpressionBuilder()
static ASTAnyExpressionBuilder	anyExpressionBuilder()
static ASTArgumentsBuilder	argumentsBuilder()
static IOCLExpressionsArtifactScope	artifactScope()
static DiagramSymbolBuilder	diagramSymbolBuilder()
static DiagramSymbolSurrogateBuilder	diagramSymbolSurrogateBuilder()
static ASTEquivalentExpressionBuilder	equivalentExpressionBuilder()
static ASTExistsExpressionBuilder	existsExpressionBuilder()
static ASTForallExpressionBuilder	forallExpressionBuilder()
static FunctionSymbolBuilder	functionSymbolBuilder()
static FunctionSymbolSurrogateBuilder	functionSymbolSurrogateBuilder()
static OCLExpressionsMill	getMill()
static OCLExpressionsMillState	getState()	EXPERIMENTAL! Returns the mill as an attribute (without static references required).
static IOCLExpressionsGlobalScope	globalScope()
static ASTIfThenElseExpressionBuilder	ifThenElseExpressionBuilder()
static ASTImpliesExpressionBuilder	impliesExpressionBuilder()
static ASTInDeclarationBuilder	inDeclarationBuilder()
static ASTInDeclarationVariableBuilder	inDeclarationVariableBuilder()
static OCLExpressionsTraverser	inheritanceTraverser()	A traverser is the conceptual entry point for every action within the visitor infrastructure.
static void	init()	Initializes a languages Mill.
static void	initMe(OCLExpressionsMill a)
static ASTIterateExpressionBuilder	iterateExpressionBuilder()
static ASTLetinExpressionBuilder	letinExpressionBuilder()
static ASTLiteralExpressionBuilder	literalExpressionBuilder()
static ASTMCImportStatementBuilder	mCImportStatementBuilder()
static ASTMCPackageDeclarationBuilder	mCPackageDeclarationBuilder()
static ASTMCPrimitiveTypeBuilder	mCPrimitiveTypeBuilder()
static ASTMCQualifiedNameBuilder	mCQualifiedNameBuilder()
static ASTMCQualifiedTypeBuilder	mCQualifiedTypeBuilder()
static ASTMCReturnTypeBuilder	mCReturnTypeBuilder()
static MCStereotypeSymbolBuilder	mCStereotypeSymbolBuilder()
static MCStereotypeSymbolSurrogateBuilder	mCStereotypeSymbolSurrogateBuilder()
static ASTMCVoidTypeBuilder	mCVoidTypeBuilder()
static ASTNameExpressionBuilder	nameExpressionBuilder()
static ASTOCLAtPreQualificationBuilder	oCLAtPreQualificationBuilder()
static ASTOCLTransitiveQualificationBuilder	oCLTransitiveQualificationBuilder()
static ASTOCLVariableDeclarationBuilder	oCLVariableDeclarationBuilder()
static String	prettyPrint(de.monticore.ast.ASTNode node, boolean printComments)	Uses the composed pretty printer to print an ASTNode of this language
static void	reset()
static IOCLExpressionsScope	scope()
static OCLExpressionsScopesGenitor	scopesGenitor()	Returns a new ScopeGenitor.
static OCLExpressionsScopesGenitorDelegator	scopesGenitorDelegator()	Returns a new ScopeGenitorDelegator.
static void	setState(OCLExpressionsMillState state)	EXPERIMENTAL! Loads the mill state into the static state.
static OCLExpressionsTraverser	singleStepTraverser()	A traverser is the conceptual entry point for every action within the visitor infrastructure.
static OCLExpressionsTraverser	traverser()	A traverser is the conceptual entry point for every action within the visitor infrastructure.
static IOCLExpressionsTypeDispatcher	typeDispatcher()	Deprecated, for removal: This API element is subject to removal in a future version.
static ASTTypeIfExpressionBuilder	typeIfExpressionBuilder()
static ASTTypeIfThenExpressionBuilder	typeIfThenExpressionBuilder()
static TypeSymbolBuilder	typeSymbolBuilder()
static TypeSymbolSurrogateBuilder	typeSymbolSurrogateBuilder()
static TypeVarSymbolBuilder	typeVarSymbolBuilder()
static TypeVarSymbolSurrogateBuilder	typeVarSymbolSurrogateBuilder()
static VariableSymbolBuilder	variableSymbolBuilder()
static VariableSymbolSurrogateBuilder	variableSymbolSurrogateBuilder()

Methods inherited from class java.lang.Object

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

Field Details

mill

protected static OCLExpressionsMill mill

fullPrettyPrinter

protected OCLExpressionsFullPrettyPrinter fullPrettyPrinter

typeDispatcher

protected IOCLExpressionsTypeDispatcher typeDispatcher

oCLExpressionsGlobalScope

protected IOCLExpressionsGlobalScope oCLExpressionsGlobalScope

Constructor Details

OCLExpressionsMill

protected OCLExpressionsMill()

Method Details

getMill

public static OCLExpressionsMill 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.

oCLVariableDeclarationBuilder

public static ASTOCLVariableDeclarationBuilder oCLVariableDeclarationBuilder()

_oCLVariableDeclarationBuilder

protected ASTOCLVariableDeclarationBuilder _oCLVariableDeclarationBuilder()

typeIfExpressionBuilder

public static ASTTypeIfExpressionBuilder typeIfExpressionBuilder()

_typeIfExpressionBuilder

protected ASTTypeIfExpressionBuilder _typeIfExpressionBuilder()

typeIfThenExpressionBuilder

public static ASTTypeIfThenExpressionBuilder typeIfThenExpressionBuilder()

_typeIfThenExpressionBuilder

protected ASTTypeIfThenExpressionBuilder _typeIfThenExpressionBuilder()

ifThenElseExpressionBuilder

public static ASTIfThenElseExpressionBuilder ifThenElseExpressionBuilder()

_ifThenElseExpressionBuilder

protected ASTIfThenElseExpressionBuilder _ifThenElseExpressionBuilder()

impliesExpressionBuilder

public static ASTImpliesExpressionBuilder impliesExpressionBuilder()

_impliesExpressionBuilder

protected ASTImpliesExpressionBuilder _impliesExpressionBuilder()

equivalentExpressionBuilder

public static ASTEquivalentExpressionBuilder equivalentExpressionBuilder()

_equivalentExpressionBuilder

protected ASTEquivalentExpressionBuilder _equivalentExpressionBuilder()

forallExpressionBuilder

public static ASTForallExpressionBuilder forallExpressionBuilder()

_forallExpressionBuilder

protected ASTForallExpressionBuilder _forallExpressionBuilder()

existsExpressionBuilder

public static ASTExistsExpressionBuilder existsExpressionBuilder()

_existsExpressionBuilder

protected ASTExistsExpressionBuilder _existsExpressionBuilder()

anyExpressionBuilder

public static ASTAnyExpressionBuilder anyExpressionBuilder()

_anyExpressionBuilder

protected ASTAnyExpressionBuilder _anyExpressionBuilder()

letinExpressionBuilder

public static ASTLetinExpressionBuilder letinExpressionBuilder()

_letinExpressionBuilder

protected ASTLetinExpressionBuilder _letinExpressionBuilder()

iterateExpressionBuilder

public static ASTIterateExpressionBuilder iterateExpressionBuilder()

_iterateExpressionBuilder

protected ASTIterateExpressionBuilder _iterateExpressionBuilder()

inDeclarationBuilder

public static ASTInDeclarationBuilder inDeclarationBuilder()

_inDeclarationBuilder

protected ASTInDeclarationBuilder _inDeclarationBuilder()

inDeclarationVariableBuilder

public static ASTInDeclarationVariableBuilder inDeclarationVariableBuilder()

_inDeclarationVariableBuilder

protected ASTInDeclarationVariableBuilder _inDeclarationVariableBuilder()

oCLAtPreQualificationBuilder

public static ASTOCLAtPreQualificationBuilder oCLAtPreQualificationBuilder()

_oCLAtPreQualificationBuilder

protected ASTOCLAtPreQualificationBuilder _oCLAtPreQualificationBuilder()

oCLTransitiveQualificationBuilder

public static ASTOCLTransitiveQualificationBuilder oCLTransitiveQualificationBuilder()

_oCLTransitiveQualificationBuilder

protected ASTOCLTransitiveQualificationBuilder _oCLTransitiveQualificationBuilder()

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

@Deprecated(forRemoval=true)
public static IOCLExpressionsTypeDispatcher typeDispatcher()

Deprecated, for removal: This API element is subject to removal in a future version.

_typeDispatcher

@Deprecated(forRemoval=true)
protected IOCLExpressionsTypeDispatcher _typeDispatcher()

Deprecated, for removal: This API element is subject to removal in a future version.

traverser

public static OCLExpressionsTraverser 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 OCLExpressionsTraverser _traverser()

inheritanceTraverser

public static OCLExpressionsTraverser 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 OCLExpressionsTraverser _inheritanceTraverser()

singleStepTraverser

public static OCLExpressionsTraverser singleStepTraverser()

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

_singleStepTraverser

protected OCLExpressionsTraverser _singleStepTraverser()

globalScope

public static IOCLExpressionsGlobalScope globalScope()

_globalScope

protected IOCLExpressionsGlobalScope _globalScope()

artifactScope

public static IOCLExpressionsArtifactScope artifactScope()

_artifactScope

protected IOCLExpressionsArtifactScope _artifactScope()

scope

public static IOCLExpressionsScope scope()

_scope

protected IOCLExpressionsScope _scope()

scopesGenitor

public static OCLExpressionsScopesGenitor 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 OCLExpressionsScopesGenitor _scopesGenitor()

scopesGenitorDelegator

public static OCLExpressionsScopesGenitorDelegator 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 OCLExpressionsScopesGenitorDelegator _scopesGenitorDelegator()

nameExpressionBuilder

public static ASTNameExpressionBuilder nameExpressionBuilder()

literalExpressionBuilder

public static ASTLiteralExpressionBuilder literalExpressionBuilder()

argumentsBuilder

public static ASTArgumentsBuilder argumentsBuilder()

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()

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()

initMe

public static void initMe(OCLExpressionsMill a)

reset

public static void reset()

getState

public static OCLExpressionsMillState getState()

EXPERIMENTAL! Returns the mill as an attribute (without static references required).

Returns:

the mill state

setState

public static void setState(OCLExpressionsMillState state)

EXPERIMENTAL! Loads the mill state into the static state.

Parameters:

state - The non-static state, see #getState()