org.eclipse.ocl.xtext.essentialocl.cs2as

Class EssentialOCLCSLeft2RightVisitor

java.lang.Object

org.eclipse.ocl.xtext.basecs.util.AbstractBaseCSVisitor<R,C>

org.eclipse.ocl.xtext.basecs.util.AbstractExtendingBaseCSVisitor<Element,CS2ASConversion>

org.eclipse.ocl.xtext.base.cs2as.BaseCSLeft2RightVisitor

org.eclipse.ocl.xtext.essentialoclcs.util.AbstractEssentialOCLCSLeft2RightVisitor

org.eclipse.ocl.xtext.essentialocl.cs2as.EssentialOCLCSLeft2RightVisitor

All Implemented Interfaces:

BaseCSVisitor<Element>, EssentialOCLCSVisitor<Element>

Direct Known Subclasses:

AbstractCompleteOCLCSLeft2RightVisitor, AbstractOCLinEcoreCSLeft2RightVisitor, AbstractOCLstdlibCSLeft2RightVisitor

public class EssentialOCLCSLeft2RightVisitor
extends AbstractEssentialOCLCSLeft2RightVisitor

Nested Class Summary

Nested Classes

Modifier and Type	Class and Description
static interface	EssentialOCLCSLeft2RightVisitor.Invocations
static class	EssentialOCLCSLeft2RightVisitor.ResolvedInvocation
static class	EssentialOCLCSLeft2RightVisitor.UnresolvedInvocations

Field Summary

Fields

Modifier and Type	Field and Description
static boolean	AUTOGENERATED_LOOKUP Configure use of the new auto-generated lookup or the old manually coded lookup.
protected EnvironmentFactoryInternal	environmentFactory
protected PivotMetamodelManager	metamodelManager
protected StandardLibraryInternal	standardLibrary

Fields inherited from class org.eclipse.ocl.xtext.basecs.util.AbstractBaseCSVisitor

context

Constructor Summary

Constructors

Constructor and Description
EssentialOCLCSLeft2RightVisitor(CS2ASConversion context)

Method Summary

Modifier and Type	Method and Description
protected void	checkForInvalidImplicitSourceType(ExpCS csInvocationExp)
protected OperationCallExp	createCoercionCallExp(OCLExpression sourceExp, Operation coercion)
protected ImplicitSourceTypeIterator	createImplicitSourceTypeIterator(ElementCS csElement)
protected OCLExpression	createImplicitSourceVariableExp(AbstractNameExpCS csNameExp, Type owningType)
protected ImplicitSourceVariableIterator	createImplicitSourceVariableIterator(ModelElementCS csExp)
protected VariableExp	createImplicitVariableExp(VariableDeclaration variable)
protected OCLExpression	doVisitBinaryOperatorCS(InfixExpCS csOperator)
protected OCLExpression	doVisitNavigationOperatorCS(InfixExpCS csOperator)
protected Iteration	getBestIteration(EssentialOCLCSLeft2RightVisitor.Invocations invocations, RoundBracketedClauseCS csRoundBracketedClause)
protected Operation	getExampleOperation(EssentialOCLCSLeft2RightVisitor.Invocations invocations, OCLExpression sourceExp, RoundBracketedClauseCS csRoundBracketedClause)
protected VariableDeclaration	getImplicitSource(ModelElementCS csExp, Type requiredType)
protected EssentialOCLCSLeft2RightVisitor.Invocations	getInvocations(Type asSourceType, Type asSourceTypeValue, RoundBracketedClauseCS csRoundBracketedClause)
protected EssentialOCLCSLeft2RightVisitor.Invocations	getInvocations(Type asType, Type asTypeValue, java.lang.String name, int iteratorCount, int expressionCount) Return all operations/iterations in asType and its superclasses whose name is name.
protected java.util.List<NamedElement>	getInvocationsInternal(java.util.List<NamedElement> invocations, java.lang.Iterable<? extends Operation> allOperations, int iteratorCount, int expressionCount)
protected OperatorExpCS	getRoot(OperatorExpCS csOperator)
protected boolean	isInvalidType(Type type)
protected boolean	isRequired(TypedRefCS csTypeRef) Deprecated. use ElementUtil
protected OperationCallExp	refreshOperationCallExp(AbstractNameExpCS csNameExp, OCLExpression sourceExp)
protected OppositePropertyCallExp	refreshOppositePropertyCallExp(NameExpCS csNameExp, OCLExpression sourceExp, Property property)
protected PropertyCallExp	refreshPropertyCallExp(NameExpCS csNameExp, OCLExpression sourceExp, Property property)
protected Element	resolveAssociationClassCallExp(NameExpCS csNameExp)
protected void	resolveAtPre(AbstractNameExpCS csNameExp, FeatureCallExp featureCallExp)
protected OCLExpression	resolveBestInvocation(OCLExpression sourceExp, RoundBracketedClauseCS csRoundBracketedClause, EssentialOCLCSLeft2RightVisitor.Invocations invocations) Resolve an invocation such as name() or source.name(...) or source->name(...) to the best candidate from invocations.
protected Operation	resolveCoercionFrom(Type argType, Type parameterType) Return a non-null coercion Operation from argType to parameterType if one is available and needed.
protected EnumLiteralExp	resolveEnumLiteral(ExpCS csExp, EnumerationLiteral enumerationLiteral)
protected OCLExpression	resolveExplicitSourceNavigation(OCLExpression sourceExp, NameExpCS csNameExp) Resolve an invocation such as source.name or source->name
protected OCLExpression	resolveImplicitAsSet(OCLExpression sourceExp, Type sourceType, InfixExpCS csOperator)
protected IteratorExp	resolveImplicitCollect(OCLExpression sourceExp, InfixExpCS csOperator) Return a non-null implicit collect() call if a sourceExp for a csElement requires an implicit collect.
protected OCLExpression	resolveInvocation(OCLExpression sourceExp, RoundBracketedClauseCS csRoundBracketedClause) Resolve an invocation such as name() or source.name(...) or source->name(...)
protected void	resolveIterationAccumulators(RoundBracketedClauseCS csRoundBracketedClause, LoopExp expression)
protected void	resolveIterationBody(RoundBracketedClauseCS csRoundBracketedClause, LoopExp expression)
protected LoopExp	resolveIterationCallExp(AbstractNameExpCS csNameExp, OCLExpression sourceExp, Iteration iteration)
protected void	resolveIterationContent(RoundBracketedClauseCS csRoundBracketedClause, LoopExp expression)
protected void	resolveIterationIterators(RoundBracketedClauseCS csRoundBracketedClause, OCLExpression source, LoopExp expression)
protected void	resolveOperationArguments(RoundBracketedClauseCS csRoundBracketedClause, Operation operation, OperationCallExp expression) Complete the installation of each operation argument in its operation call.
protected void	resolveOperationArgumentTypes(java.util.List<Parameter> parameters, RoundBracketedClauseCS csRoundBracketedClause) Determine the type of each operation argument so that the appropriate operation overload can be selected.
protected void	resolveOperationCall(OperationCallExp expression, OperatorExpCS csOperator)
protected OperationCallExp	resolveOperationCallExp(RoundBracketedClauseCS csRoundBracketedClause, OperationCallExp operationCallExp, Operation operation)
protected void	resolveOperationReturnType(CallExp callExp)
protected CallExp	resolvePropertyCallExp(OCLExpression sourceExp, NameExpCS csNameExp, Property property)
protected Type	resolvePropertyReturnType(NavigationCallExp callExp, NameExpCS csNameExp, Property property)
protected Element	resolveRoundBracketedTerm(RoundBracketedClauseCS csRoundBracketedClause)
protected OCLExpression	resolveShadowExp(NameExpCS csNameExp)
protected Element	resolveSimpleNameExp(NameExpCS csNameExp, Element element)
protected StateExp	resolveStateExp(ExpCS csExp, State state)
protected TypeExp	resolveTypeExp(ExpCS csExp, Type type)
protected VariableExp	resolveVariableExp(NameExpCS csNameExp, VariableDeclaration variableDeclaration)
Element	visitBooleanLiteralExpCS(BooleanLiteralExpCS csBooleanLiteralExp)
Element	visitCollectionLiteralExpCS(CollectionLiteralExpCS csCollectionLiteralExp)
Element	visitCollectionLiteralPartCS(CollectionLiteralPartCS csCollectionLiteralPart)
Element	visitCollectionTypeCS(CollectionTypeCS object)
Element	visitContextCS(ContextCS csContext)
Element	visitExpCS(ExpCS object)
Element	visitIfExpCS(IfExpCS csIfExp)
Element	visitInfixExpCS(InfixExpCS csInfixExp)
Element	visitInvalidLiteralExpCS(InvalidLiteralExpCS csInvalidLiteralExp)
Element	visitLetExpCS(LetExpCS csLetExp)
Element	visitLetVariableCS(LetVariableCS csLetVariable)
Element	visitMapLiteralExpCS(MapLiteralExpCS csMapLiteralExp)
Element	visitMapLiteralPartCS(MapLiteralPartCS csMapLiteralPart)
Element	visitMapTypeCS(MapTypeCS object)
Element	visitNameExpCS(NameExpCS csNameExp)
Element	visitNavigatingArgCS(NavigatingArgCS csNavigatingArg)
Element	visitNestedExpCS(NestedExpCS csNestedExp)
Element	visitNullLiteralExpCS(NullLiteralExpCS csNullLiteralExp)
Element	visitNumberLiteralExpCS(NumberLiteralExpCS csNumberLiteralExp)
Element	visitPrefixExpCS(PrefixExpCS csPrefixExp)
Element	visitSelfExpCS(SelfExpCS csSelfExp)
Element	visitShadowPartCS(ShadowPartCS csShadowPart)
Element	visitStringLiteralExpCS(StringLiteralExpCS csStringLiteralExp)
Element	visitTupleLiteralExpCS(TupleLiteralExpCS csTupleLiteralExp)
Element	visitTupleLiteralPartCS(TupleLiteralPartCS csTupleLiteralPart)
Element	visitTypeLiteralExpCS(TypeLiteralExpCS csTypeLiteralExp)
Element	visitUnlimitedNaturalLiteralExpCS(UnlimitedNaturalLiteralExpCS csUnlimitedNaturalLiteralExp)
Element	visitVariableCS(VariableCS csVariable)

Methods inherited from class org.eclipse.ocl.xtext.essentialoclcs.util.AbstractEssentialOCLCSLeft2RightVisitor

visitAbstractNameExpCS, visitAssociationClassCallExpCS, visitCallExpCS, visitCollectionPatternCS, visitCurlyBracketedClauseCS, visitExpSpecificationCS, visitIfThenExpCS, visitIterateCallExpCS, visitIterationCallExpCS, visitLambdaLiteralExpCS, visitLiteralExpCS, visitOperationCallExpCS, visitOperatorExpCS, visitPatternExpCS, visitPrimitiveLiteralExpCS, visitPropertyCallExpCS, visitRoundBracketedClauseCS, visitShadowExpCS, visitSquareBracketedClauseCS, visitTypeNameExpCS, visitVariableExpCS

Methods inherited from class org.eclipse.ocl.xtext.base.cs2as.BaseCSLeft2RightVisitor

visitAnnotationCS, visitClassCS, visitConstraintCS, visitDetailCS, visiting, visitOperationCS, visitParameterCS, visitSpecificationCS, visitStructuralFeatureCS, visitTemplateBindingCS, visitTemplateParameterCS, visitTemplateParameterSubstitutionCS, visitTemplateSignatureCS, visitTuplePartCS, visitTupleTypeCS, visitTypeRefCS

Methods inherited from class org.eclipse.ocl.xtext.basecs.util.AbstractExtendingBaseCSVisitor

visitAnnotationElementCS, visitAttributeCS, visitContextLessElementCS, visitDataTypeCS, visitDocumentationCS, visitElementCS, visitElementRefCS, visitEnumerationCS, visitEnumerationLiteralCS, visitFeatureCS, visitImportCS, visitLambdaTypeCS, visitModelElementCS, visitModelElementRefCS, visitMultiplicityBoundsCS, visitMultiplicityCS, visitMultiplicityStringCS, visitNamedElementCS, visitNamespaceCS, visitPackageCS, visitPackageOwnerCS, visitPathElementCS, visitPathElementWithURICS, visitPathNameCS, visitPivotableElementCS, visitPrimitiveTypeRefCS, visitReferenceCS, visitRootCS, visitRootPackageCS, visitStructuredClassCS, visitTemplateableElementCS, visitTypeCS, visitTypedElementCS, visitTypedRefCS, visitTypedTypeRefCS, visitTypeParameterCS, visitWildcardTypeRefCS

Methods inherited from class org.eclipse.ocl.xtext.basecs.util.AbstractBaseCSVisitor

getAdapter, safeVisit, visit

Methods inherited from class java.lang.Object

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

Methods inherited from interface org.eclipse.ocl.xtext.basecs.util.BaseCSVisitor

getAdapter, visitAnnotationCS, visitAnnotationElementCS, visitAttributeCS, visitClassCS, visitConstraintCS, visitContextLessElementCS, visitDataTypeCS, visitDetailCS, visitDocumentationCS, visitElementCS, visitElementRefCS, visitEnumerationCS, visitEnumerationLiteralCS, visitFeatureCS, visitImportCS, visiting, visitLambdaTypeCS, visitModelElementCS, visitModelElementRefCS, visitMultiplicityBoundsCS, visitMultiplicityCS, visitMultiplicityStringCS, visitNamedElementCS, visitNamespaceCS, visitOperationCS, visitPackageCS, visitPackageOwnerCS, visitParameterCS, visitPathElementCS, visitPathElementWithURICS, visitPathNameCS, visitPivotableElementCS, visitPrimitiveTypeRefCS, visitReferenceCS, visitRootCS, visitRootPackageCS, visitSpecificationCS, visitStructuralFeatureCS, visitStructuredClassCS, visitTemplateableElementCS, visitTemplateBindingCS, visitTemplateParameterCS, visitTemplateParameterSubstitutionCS, visitTemplateSignatureCS, visitTuplePartCS, visitTupleTypeCS, visitTypeCS, visitTypedElementCS, visitTypedRefCS, visitTypedTypeRefCS, visitTypeParameterCS, visitTypeRefCS, visitWildcardTypeRefCS

Field Detail

AUTOGENERATED_LOOKUP

public static boolean AUTOGENERATED_LOOKUP

Configure use of the new auto-generated lookup or the old manually coded lookup.

environmentFactory

@NonNull
protected final EnvironmentFactoryInternal environmentFactory

metamodelManager

@NonNull
protected final PivotMetamodelManager metamodelManager

standardLibrary

@NonNull
protected final StandardLibraryInternal standardLibrary

Constructor Detail

EssentialOCLCSLeft2RightVisitor

public EssentialOCLCSLeft2RightVisitor(@NonNull
                                       CS2ASConversion context)

Method Detail

checkForInvalidImplicitSourceType

protected void checkForInvalidImplicitSourceType(@NonNull
                                                 ExpCS csInvocationExp)

createCoercionCallExp

@NonNull
protected OperationCallExp createCoercionCallExp(@NonNull
                                                           OCLExpression sourceExp,
                                                           @NonNull
                                                           Operation coercion)

createImplicitSourceTypeIterator

protected ImplicitSourceTypeIterator createImplicitSourceTypeIterator(@NonNull
                                                                      ElementCS csElement)

createImplicitSourceVariableExp

@NonNull
protected OCLExpression createImplicitSourceVariableExp(@NonNull
                                                                  AbstractNameExpCS csNameExp,
                                                                  Type owningType)

createImplicitSourceVariableIterator

@NonNull
protected ImplicitSourceVariableIterator createImplicitSourceVariableIterator(@NonNull
                                                                                        ModelElementCS csExp)

createImplicitVariableExp

@NonNull
protected VariableExp createImplicitVariableExp(@NonNull
                                                          VariableDeclaration variable)

getBestIteration

@Nullable
protected Iteration getBestIteration(@NonNull
                                                EssentialOCLCSLeft2RightVisitor.Invocations invocations,
                                                @Nullable
                                                RoundBracketedClauseCS csRoundBracketedClause)

getExampleOperation

@Nullable
protected Operation getExampleOperation(@NonNull
                                                   EssentialOCLCSLeft2RightVisitor.Invocations invocations,
                                                   @Nullable
                                                   OCLExpression sourceExp,
                                                   @NonNull
                                                   RoundBracketedClauseCS csRoundBracketedClause)

getImplicitSource

@Nullable
protected VariableDeclaration getImplicitSource(@NonNull
                                                           ModelElementCS csExp,
                                                           @NonNull
                                                           Type requiredType)

getInvocations

@Nullable
protected EssentialOCLCSLeft2RightVisitor.Invocations getInvocations(@Nullable
                                                                                Type asSourceType,
                                                                                @Nullable
                                                                                Type asSourceTypeValue,
                                                                                @NonNull
                                                                                RoundBracketedClauseCS csRoundBracketedClause)

getInvocations

@Nullable
protected EssentialOCLCSLeft2RightVisitor.Invocations getInvocations(@NonNull
                                                                                Type asType,
                                                                                @Nullable
                                                                                Type asTypeValue,
                                                                                @NonNull
                                                                                java.lang.String name,
                                                                                int iteratorCount,
                                                                                int expressionCount)

Return all operations/iterations in asType and its superclasses whose name is name. For iterations the number of iteration iterators must match iteratorCount unless iteratorCount is zero. For operations the number of parameters must be expressionCount. Returns null if nothing is found.

getInvocationsInternal

@Nullable
protected java.util.List<NamedElement> getInvocationsInternal(@Nullable
                                                                         java.util.List<NamedElement> invocations,
                                                                         @NonNull
                                                                         java.lang.Iterable<? extends Operation> allOperations,
                                                                         int iteratorCount,
                                                                         int expressionCount)

getRoot

@NonNull
protected OperatorExpCS getRoot(@NonNull
                                          OperatorExpCS csOperator)

isInvalidType

protected boolean isInvalidType(@Nullable
                                Type type)

isRequired

@Deprecated
protected boolean isRequired(@Nullable
                                          TypedRefCS csTypeRef)

Deprecated. use ElementUtil

refreshOperationCallExp

@NonNull
protected OperationCallExp refreshOperationCallExp(@NonNull
                                                             AbstractNameExpCS csNameExp,
                                                             @Nullable
                                                             OCLExpression sourceExp)

refreshOppositePropertyCallExp

@NonNull
protected OppositePropertyCallExp refreshOppositePropertyCallExp(@NonNull
                                                                           NameExpCS csNameExp,
                                                                           @NonNull
                                                                           OCLExpression sourceExp,
                                                                           @NonNull
                                                                           Property property)

refreshPropertyCallExp

@NonNull
protected PropertyCallExp refreshPropertyCallExp(@NonNull
                                                           NameExpCS csNameExp,
                                                           @NonNull
                                                           OCLExpression sourceExp,
                                                           @NonNull
                                                           Property property)

resolveAssociationClassCallExp

protected Element resolveAssociationClassCallExp(@NonNull
                                                 NameExpCS csNameExp)

resolveAtPre

protected void resolveAtPre(@Nullable
                            AbstractNameExpCS csNameExp,
                            @NonNull
                            FeatureCallExp featureCallExp)

resolveBestInvocation

@Nullable
protected OCLExpression resolveBestInvocation(@Nullable
                                                         OCLExpression sourceExp,
                                                         @NonNull
                                                         RoundBracketedClauseCS csRoundBracketedClause,
                                                         @NonNull
                                                         EssentialOCLCSLeft2RightVisitor.Invocations invocations)

Resolve an invocation such as name() or source.name(...) or source->name(...) to the best candidate from invocations.

sourceExp is null for an implicit source invocation.

csInvocationExp.getNamedElement() must be invoked once, after the left-hand context has been established to enable the lokup to proceed in a simple (perhaps rivial) fashion.

resolveCoercionFrom

@Nullable
protected Operation resolveCoercionFrom(@NonNull
                                                   Type argType,
                                                   @NonNull
                                                   Type parameterType)

Return a non-null coercion Operation from argType to parameterType if one is available and needed.

resolveEnumLiteral

@NonNull
protected EnumLiteralExp resolveEnumLiteral(@NonNull
                                                      ExpCS csExp,
                                                      @NonNull
                                                      EnumerationLiteral enumerationLiteral)

resolveExplicitSourceNavigation

@NonNull
protected OCLExpression resolveExplicitSourceNavigation(@NonNull
                                                                  OCLExpression sourceExp,
                                                                  @NonNull
                                                                  NameExpCS csNameExp)

Resolve an invocation such as source.name or source->name

resolveImplicitAsSet

@NonNull
protected OCLExpression resolveImplicitAsSet(@NonNull
                                                       OCLExpression sourceExp,
                                                       @NonNull
                                                       Type sourceType,
                                                       @NonNull
                                                       InfixExpCS csOperator)

resolveImplicitCollect

@Nullable
protected IteratorExp resolveImplicitCollect(@NonNull
                                                        OCLExpression sourceExp,
                                                        @NonNull
                                                        InfixExpCS csOperator)

Return a non-null implicit collect() call if a sourceExp for a csElement requires an implicit collect. The return call has no body or return type since they cannot be synthesised until the body is synthesised.

resolveInvocation

@NonNull
protected OCLExpression resolveInvocation(@Nullable
                                                    OCLExpression sourceExp,
                                                    @NonNull
                                                    RoundBracketedClauseCS csRoundBracketedClause)

Resolve an invocation such as name() or source.name(...) or source->name(...)

resolveIterationAccumulators

protected void resolveIterationAccumulators(@NonNull
                                            RoundBracketedClauseCS csRoundBracketedClause,
                                            @NonNull
                                            LoopExp expression)

resolveIterationBody

protected void resolveIterationBody(@NonNull
                                    RoundBracketedClauseCS csRoundBracketedClause,
                                    @NonNull
                                    LoopExp expression)

resolveIterationCallExp

@NonNull
protected LoopExp resolveIterationCallExp(@NonNull
                                                    AbstractNameExpCS csNameExp,
                                                    @NonNull
                                                    OCLExpression sourceExp,
                                                    @NonNull
                                                    Iteration iteration)

resolveIterationContent

protected void resolveIterationContent(@NonNull
                                       RoundBracketedClauseCS csRoundBracketedClause,
                                       @NonNull
                                       LoopExp expression)

resolveIterationIterators

protected void resolveIterationIterators(@NonNull
                                         RoundBracketedClauseCS csRoundBracketedClause,
                                         @NonNull
                                         OCLExpression source,
                                         @NonNull
                                         LoopExp expression)

resolveOperationArgumentTypes

protected void resolveOperationArgumentTypes(@Nullable
                                             java.util.List<Parameter> parameters,
                                             @NonNull
                                             RoundBracketedClauseCS csRoundBracketedClause)

Determine the type of each operation argument so that the appropriate operation overload can be selected. Arguments aligned with type (MetaClass) parameters are set to be parsed as types avoiding ambiguities from implicit opposite properties. Iterator bodies are left unresolved.

resolveOperationArguments

protected void resolveOperationArguments(@NonNull
                                         RoundBracketedClauseCS csRoundBracketedClause,
                                         @NonNull
                                         Operation operation,
                                         @NonNull
                                         OperationCallExp expression)

Complete the installation of each operation argument in its operation call.

resolveOperationCall

protected void resolveOperationCall(@NonNull
                                    OperationCallExp expression,
                                    @NonNull
                                    OperatorExpCS csOperator)

resolveOperationCallExp

@NonNull
protected OperationCallExp resolveOperationCallExp(@NonNull
                                                             RoundBracketedClauseCS csRoundBracketedClause,
                                                             @NonNull
                                                             OperationCallExp operationCallExp,
                                                             @NonNull
                                                             Operation operation)

resolveOperationReturnType

protected void resolveOperationReturnType(@NonNull
                                          CallExp callExp)

resolvePropertyCallExp

@NonNull
protected CallExp resolvePropertyCallExp(@NonNull
                                                   OCLExpression sourceExp,
                                                   @NonNull
                                                   NameExpCS csNameExp,
                                                   @NonNull
                                                   Property property)

resolvePropertyReturnType

@Nullable
protected Type resolvePropertyReturnType(@NonNull
                                                    NavigationCallExp callExp,
                                                    @NonNull
                                                    NameExpCS csNameExp,
                                                    @NonNull
                                                    Property property)

resolveRoundBracketedTerm

protected Element resolveRoundBracketedTerm(@NonNull
                                            RoundBracketedClauseCS csRoundBracketedClause)

resolveShadowExp

@Nullable
protected OCLExpression resolveShadowExp(@NonNull
                                                    NameExpCS csNameExp)

resolveSimpleNameExp

protected Element resolveSimpleNameExp(@NonNull
                                       NameExpCS csNameExp,
                                       @NonNull
                                       Element element)

resolveStateExp

protected StateExp resolveStateExp(@NonNull
                                   ExpCS csExp,
                                   @NonNull
                                   State state)

resolveTypeExp

@NonNull
protected TypeExp resolveTypeExp(@NonNull
                                           ExpCS csExp,
                                           @NonNull
                                           Type type)

resolveVariableExp

@NonNull
protected VariableExp resolveVariableExp(@NonNull
                                                   NameExpCS csNameExp,
                                                   @NonNull
                                                   VariableDeclaration variableDeclaration)

visitBooleanLiteralExpCS

public Element visitBooleanLiteralExpCS(@NonNull
                                        BooleanLiteralExpCS csBooleanLiteralExp)

Specified by:

visitBooleanLiteralExpCS in interface EssentialOCLCSVisitor<Element>

Overrides:

visitBooleanLiteralExpCS in class AbstractEssentialOCLCSLeft2RightVisitor

visitCollectionLiteralExpCS

public Element visitCollectionLiteralExpCS(@NonNull
                                           CollectionLiteralExpCS csCollectionLiteralExp)

Specified by:

visitCollectionLiteralExpCS in interface EssentialOCLCSVisitor<Element>

Overrides:

visitCollectionLiteralExpCS in class AbstractEssentialOCLCSLeft2RightVisitor

visitCollectionLiteralPartCS

public Element visitCollectionLiteralPartCS(@NonNull
                                            CollectionLiteralPartCS csCollectionLiteralPart)

Specified by:

visitCollectionLiteralPartCS in interface EssentialOCLCSVisitor<Element>

Overrides:

visitCollectionLiteralPartCS in class AbstractEssentialOCLCSLeft2RightVisitor

visitCollectionTypeCS

public Element visitCollectionTypeCS(@NonNull
                                     CollectionTypeCS object)

Specified by:

visitCollectionTypeCS in interface EssentialOCLCSVisitor<Element>

Overrides:

visitCollectionTypeCS in class AbstractEssentialOCLCSLeft2RightVisitor

visitContextCS

public Element visitContextCS(@NonNull
                              ContextCS csContext)

Specified by:

visitContextCS in interface EssentialOCLCSVisitor<Element>

Overrides:

visitContextCS in class AbstractEssentialOCLCSLeft2RightVisitor

visitExpCS

public Element visitExpCS(@NonNull
                          ExpCS object)

Specified by:

visitExpCS in interface EssentialOCLCSVisitor<Element>

Overrides:

visitExpCS in class AbstractEssentialOCLCSLeft2RightVisitor

visitIfExpCS

public Element visitIfExpCS(@NonNull
                            IfExpCS csIfExp)

Specified by:

visitIfExpCS in interface EssentialOCLCSVisitor<Element>

Overrides:

visitIfExpCS in class AbstractEssentialOCLCSLeft2RightVisitor

visitInfixExpCS

public Element visitInfixExpCS(@NonNull
                               InfixExpCS csInfixExp)

Specified by:

visitInfixExpCS in interface EssentialOCLCSVisitor<Element>

Overrides:

visitInfixExpCS in class AbstractEssentialOCLCSLeft2RightVisitor

doVisitBinaryOperatorCS

@NonNull
protected OCLExpression doVisitBinaryOperatorCS(@NonNull
                                                          InfixExpCS csOperator)

doVisitNavigationOperatorCS

protected OCLExpression doVisitNavigationOperatorCS(@NonNull
                                                    InfixExpCS csOperator)

visitInvalidLiteralExpCS

public Element visitInvalidLiteralExpCS(@NonNull
                                        InvalidLiteralExpCS csInvalidLiteralExp)

Specified by:

visitInvalidLiteralExpCS in interface EssentialOCLCSVisitor<Element>

Overrides:

visitInvalidLiteralExpCS in class AbstractEssentialOCLCSLeft2RightVisitor

visitLetExpCS

public Element visitLetExpCS(@NonNull
                             LetExpCS csLetExp)

Specified by:

visitLetExpCS in interface EssentialOCLCSVisitor<Element>

Overrides:

visitLetExpCS in class AbstractEssentialOCLCSLeft2RightVisitor

visitLetVariableCS

public Element visitLetVariableCS(@NonNull
                                  LetVariableCS csLetVariable)

Specified by:

visitLetVariableCS in interface EssentialOCLCSVisitor<Element>

Overrides:

visitLetVariableCS in class AbstractEssentialOCLCSLeft2RightVisitor

visitMapLiteralExpCS

public Element visitMapLiteralExpCS(@NonNull
                                    MapLiteralExpCS csMapLiteralExp)

Specified by:

visitMapLiteralExpCS in interface EssentialOCLCSVisitor<Element>

Overrides:

visitMapLiteralExpCS in class AbstractEssentialOCLCSLeft2RightVisitor

visitMapLiteralPartCS

public Element visitMapLiteralPartCS(@NonNull
                                     MapLiteralPartCS csMapLiteralPart)

Specified by:

visitMapLiteralPartCS in interface EssentialOCLCSVisitor<Element>

Overrides:

visitMapLiteralPartCS in class AbstractEssentialOCLCSLeft2RightVisitor

visitMapTypeCS

public Element visitMapTypeCS(@NonNull
                              MapTypeCS object)

Specified by:

visitMapTypeCS in interface EssentialOCLCSVisitor<Element>

Overrides:

visitMapTypeCS in class AbstractEssentialOCLCSLeft2RightVisitor

visitNameExpCS

public Element visitNameExpCS(@NonNull
                              NameExpCS csNameExp)

Specified by:

visitNameExpCS in interface EssentialOCLCSVisitor<Element>

Overrides:

visitNameExpCS in class AbstractEssentialOCLCSLeft2RightVisitor

visitNavigatingArgCS

public Element visitNavigatingArgCS(@NonNull
                                    NavigatingArgCS csNavigatingArg)

Specified by:

visitNavigatingArgCS in interface EssentialOCLCSVisitor<Element>

Overrides:

visitNavigatingArgCS in class AbstractEssentialOCLCSLeft2RightVisitor

visitNestedExpCS

public Element visitNestedExpCS(@NonNull
                                NestedExpCS csNestedExp)

Specified by:

visitNestedExpCS in interface EssentialOCLCSVisitor<Element>

Overrides:

visitNestedExpCS in class AbstractEssentialOCLCSLeft2RightVisitor

visitNullLiteralExpCS

public Element visitNullLiteralExpCS(@NonNull
                                     NullLiteralExpCS csNullLiteralExp)

Specified by:

visitNullLiteralExpCS in interface EssentialOCLCSVisitor<Element>

Overrides:

visitNullLiteralExpCS in class AbstractEssentialOCLCSLeft2RightVisitor

visitNumberLiteralExpCS

public Element visitNumberLiteralExpCS(@NonNull
                                       NumberLiteralExpCS csNumberLiteralExp)

Specified by:

visitNumberLiteralExpCS in interface EssentialOCLCSVisitor<Element>

Overrides:

visitNumberLiteralExpCS in class AbstractEssentialOCLCSLeft2RightVisitor

visitPrefixExpCS

public Element visitPrefixExpCS(@NonNull
                                PrefixExpCS csPrefixExp)

Specified by:

visitPrefixExpCS in interface EssentialOCLCSVisitor<Element>

Overrides:

visitPrefixExpCS in class AbstractEssentialOCLCSLeft2RightVisitor

visitSelfExpCS

public Element visitSelfExpCS(@NonNull
                              SelfExpCS csSelfExp)

Specified by:

visitSelfExpCS in interface EssentialOCLCSVisitor<Element>

Overrides:

visitSelfExpCS in class AbstractEssentialOCLCSLeft2RightVisitor

visitShadowPartCS

public Element visitShadowPartCS(@NonNull
                                 ShadowPartCS csShadowPart)

Specified by:

visitShadowPartCS in interface EssentialOCLCSVisitor<Element>

Overrides:

visitShadowPartCS in class AbstractEssentialOCLCSLeft2RightVisitor

visitStringLiteralExpCS

public Element visitStringLiteralExpCS(@NonNull
                                       StringLiteralExpCS csStringLiteralExp)

Specified by:

visitStringLiteralExpCS in interface EssentialOCLCSVisitor<Element>

Overrides:

visitStringLiteralExpCS in class AbstractEssentialOCLCSLeft2RightVisitor

visitTupleLiteralExpCS

public Element visitTupleLiteralExpCS(@NonNull
                                      TupleLiteralExpCS csTupleLiteralExp)

Specified by:

visitTupleLiteralExpCS in interface EssentialOCLCSVisitor<Element>

Overrides:

visitTupleLiteralExpCS in class AbstractEssentialOCLCSLeft2RightVisitor

visitTupleLiteralPartCS

public Element visitTupleLiteralPartCS(@NonNull
                                       TupleLiteralPartCS csTupleLiteralPart)

Specified by:

visitTupleLiteralPartCS in interface EssentialOCLCSVisitor<Element>

Overrides:

visitTupleLiteralPartCS in class AbstractEssentialOCLCSLeft2RightVisitor

visitTypeLiteralExpCS

public Element visitTypeLiteralExpCS(@NonNull
                                     TypeLiteralExpCS csTypeLiteralExp)

Specified by:

visitTypeLiteralExpCS in interface EssentialOCLCSVisitor<Element>

Overrides:

visitTypeLiteralExpCS in class AbstractEssentialOCLCSLeft2RightVisitor

visitUnlimitedNaturalLiteralExpCS

public Element visitUnlimitedNaturalLiteralExpCS(@NonNull
                                                 UnlimitedNaturalLiteralExpCS csUnlimitedNaturalLiteralExp)

Specified by:

visitUnlimitedNaturalLiteralExpCS in interface EssentialOCLCSVisitor<Element>

Overrides:

visitUnlimitedNaturalLiteralExpCS in class AbstractEssentialOCLCSLeft2RightVisitor

visitVariableCS

public Element visitVariableCS(@NonNull
                               VariableCS csVariable)

Specified by:

visitVariableCS in interface EssentialOCLCSVisitor<Element>

Overrides:

visitVariableCS in class AbstractEssentialOCLCSLeft2RightVisitor