org.eclipse.ocl.examples.codegen.oclinecore

Class OCLinEcoreCodeGenerator.StatusAnalyzer

java.lang.Object

org.eclipse.ocl.pivot.util.AbstractVisitor<R,C>

org.eclipse.ocl.pivot.util.AbstractExtendingVisitor<java.lang.Boolean,OCLinEcoreCodeGenerator>

org.eclipse.ocl.examples.codegen.oclinecore.OCLinEcoreCodeGenerator.StatusAnalyzer

All Implemented Interfaces:

Visitor<java.lang.Boolean>

Enclosing class:

OCLinEcoreCodeGenerator

protected static class OCLinEcoreCodeGenerator.StatusAnalyzer
extends AbstractExtendingVisitor<java.lang.Boolean,OCLinEcoreCodeGenerator>

StatusAnalyzer traverses an OCLExpression tree identifying those nodes that create status and can be rewritten. During the visit a Boolean return signals: true - is a Boolean Tuple.status that can be rewritten as OclAny. false - is a Boolean Tuple.status that cannot be rewritten as OclAny. null- is not a Boolean Tuple.status

Field Summary

Fields

Modifier and Type	Field and Description
protected StandardLibrary	standardLibrary

Fields inherited from class org.eclipse.ocl.pivot.util.AbstractVisitor

context

Constructor Summary

Constructors

Modifier	Constructor and Description
protected	StatusAnalyzer(OCLinEcoreCodeGenerator context)

Method Summary

Modifier and Type	Method and Description
protected java.lang.Boolean	visit(OCLExpression object)
java.lang.Boolean	visitCallExp(CallExp object)
java.lang.Boolean	visitCollectionItem(CollectionItem object)
java.lang.Boolean	visitCollectionLiteralExp(CollectionLiteralExp object)
java.lang.Boolean	visitCollectionRange(CollectionRange object)
java.lang.Boolean	visitExpressionInOCL(ExpressionInOCL object)
java.lang.Boolean	visitIfExp(IfExp object)
java.lang.Boolean	visiting(Visitable visitable) Return the result of visiting a visitable for which no more specific pivot type method is available.
java.lang.Boolean	visitLetExp(LetExp object)
java.lang.Boolean	visitLetVariable(LetVariable object)
java.lang.Boolean	visitLoopExp(LoopExp object)
java.lang.Boolean	visitOCLExpression(OCLExpression object)
java.lang.Boolean	visitOperationCallExp(OperationCallExp object)
java.lang.Boolean	visitPrimitiveLiteralExp(PrimitiveLiteralExp object)
java.lang.Boolean	visitPropertyCallExp(PropertyCallExp object)
java.lang.Boolean	visitTupleLiteralExp(TupleLiteralExp object)
java.lang.Boolean	visitTypeExp(TypeExp object)
java.lang.Boolean	visitVariableExp(VariableExp object)

Methods inherited from class org.eclipse.ocl.pivot.util.AbstractExtendingVisitor

visitAnnotation, visitAnyType, visitAssociationClass, visitAssociationClassCallExp, visitBagType, visitBehavior, visitBooleanLiteralExp, visitCallOperationAction, visitClass, visitCollectionLiteralPart, visitCollectionType, visitComment, visitCompleteClass, visitCompleteEnvironment, visitCompleteModel, visitCompletePackage, visitConnectionPointReference, visitConstraint, visitDataType, visitDetail, visitDynamicBehavior, visitDynamicElement, visitDynamicProperty, visitDynamicType, visitDynamicValueSpecification, visitElement, visitElementExtension, visitEnumeration, visitEnumerationLiteral, visitEnumLiteralExp, visitFeature, visitFeatureCallExp, visitFinalState, visitImport, visitInstanceSpecification, visitIntegerLiteralExp, visitInvalidLiteralExp, visitInvalidType, visitIterateExp, visitIteration, visitIteratorExp, visitIteratorVariable, visitLambdaType, visitLanguageExpression, visitLibrary, visitLiteralExp, visitMapLiteralExp, visitMapLiteralPart, visitMapType, visitMessageExp, visitMessageType, visitModel, visitNamedElement, visitNamespace, visitNavigationCallExp, visitNullLiteralExp, visitNumericLiteralExp, visitOperation, visitOppositePropertyCallExp, visitOrderedSetType, visitOrphanCompletePackage, visitPackage, visitParameter, visitParameterVariable, visitPrecedence, visitPrimitiveCompletePackage, visitPrimitiveType, visitProfile, visitProfileApplication, visitProperty, visitPseudostate, visitRealLiteralExp, visitRegion, visitResultVariable, visitSelfType, visitSendSignalAction, visitSequenceType, visitSetType, visitShadowExp, visitShadowPart, visitSignal, visitSlot, visitStandardLibrary, visitState, visitStateExp, visitStateMachine, visitStereotype, visitStereotypeExtender, visitStringLiteralExp, visitTemplateableElement, visitTemplateBinding, visitTemplateParameter, visitTemplateParameterSubstitution, visitTemplateSignature, visitTransition, visitTrigger, visitTupleLiteralPart, visitTupleType, visitType, visitTypedElement, visitUnlimitedNaturalLiteralExp, visitUnspecifiedValueExp, visitValueSpecification, visitVariable, visitVariableDeclaration, visitVertex, visitVoidType, visitWildcardType

Methods inherited from class org.eclipse.ocl.pivot.util.AbstractVisitor

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.pivot.util.Visitor

getAdapter

Field Detail

standardLibrary

@NonNull
protected final StandardLibrary standardLibrary

Constructor Detail

StatusAnalyzer

protected StatusAnalyzer(@NonNull
                         OCLinEcoreCodeGenerator context)

Method Detail

visit

@Nullable
protected java.lang.Boolean visit(OCLExpression object)

visiting

@Nullable
public java.lang.Boolean visiting(@NonNull
                                             Visitable visitable)

Description copied from interface: Visitor

Return the result of visiting a visitable for which no more specific pivot type method is available.

visitCallExp

@Nullable
public java.lang.Boolean visitCallExp(@NonNull
                                                 CallExp object)

Specified by:

visitCallExp in interface Visitor<java.lang.Boolean>

Overrides:

visitCallExp in class AbstractExtendingVisitor<java.lang.Boolean,OCLinEcoreCodeGenerator>

visitCollectionItem

@Nullable
public java.lang.Boolean visitCollectionItem(@NonNull
                                                        CollectionItem object)

Specified by:

visitCollectionItem in interface Visitor<java.lang.Boolean>

Overrides:

visitCollectionItem in class AbstractExtendingVisitor<java.lang.Boolean,OCLinEcoreCodeGenerator>

visitCollectionLiteralExp

@Nullable
public java.lang.Boolean visitCollectionLiteralExp(@NonNull
                                                              CollectionLiteralExp object)

Specified by:

visitCollectionLiteralExp in interface Visitor<java.lang.Boolean>

Overrides:

visitCollectionLiteralExp in class AbstractExtendingVisitor<java.lang.Boolean,OCLinEcoreCodeGenerator>

visitCollectionRange

@Nullable
public java.lang.Boolean visitCollectionRange(@NonNull
                                                         CollectionRange object)

Specified by:

visitCollectionRange in interface Visitor<java.lang.Boolean>

Overrides:

visitCollectionRange in class AbstractExtendingVisitor<java.lang.Boolean,OCLinEcoreCodeGenerator>

visitExpressionInOCL

@Nullable
public java.lang.Boolean visitExpressionInOCL(@NonNull
                                                         ExpressionInOCL object)

Specified by:

visitExpressionInOCL in interface Visitor<java.lang.Boolean>

Overrides:

visitExpressionInOCL in class AbstractExtendingVisitor<java.lang.Boolean,OCLinEcoreCodeGenerator>

visitIfExp

@Nullable
public java.lang.Boolean visitIfExp(@NonNull
                                               IfExp object)

Specified by:

visitIfExp in interface Visitor<java.lang.Boolean>

Overrides:

visitIfExp in class AbstractExtendingVisitor<java.lang.Boolean,OCLinEcoreCodeGenerator>

visitLetExp

@Nullable
public java.lang.Boolean visitLetExp(@NonNull
                                                LetExp object)

Specified by:

visitLetExp in interface Visitor<java.lang.Boolean>

Overrides:

visitLetExp in class AbstractExtendingVisitor<java.lang.Boolean,OCLinEcoreCodeGenerator>

visitLetVariable

@Nullable
public java.lang.Boolean visitLetVariable(@NonNull
                                                     LetVariable object)

Specified by:

visitLetVariable in interface Visitor<java.lang.Boolean>

Overrides:

visitLetVariable in class AbstractExtendingVisitor<java.lang.Boolean,OCLinEcoreCodeGenerator>

visitLoopExp

@Nullable
public java.lang.Boolean visitLoopExp(@NonNull
                                                 LoopExp object)

Specified by:

visitLoopExp in interface Visitor<java.lang.Boolean>

Overrides:

visitLoopExp in class AbstractExtendingVisitor<java.lang.Boolean,OCLinEcoreCodeGenerator>

visitOCLExpression

@Nullable
public java.lang.Boolean visitOCLExpression(@NonNull
                                                       OCLExpression object)

Specified by:

visitOCLExpression in interface Visitor<java.lang.Boolean>

Overrides:

visitOCLExpression in class AbstractExtendingVisitor<java.lang.Boolean,OCLinEcoreCodeGenerator>

visitOperationCallExp

@Nullable
public java.lang.Boolean visitOperationCallExp(@NonNull
                                                          OperationCallExp object)

Specified by:

visitOperationCallExp in interface Visitor<java.lang.Boolean>

Overrides:

visitOperationCallExp in class AbstractExtendingVisitor<java.lang.Boolean,OCLinEcoreCodeGenerator>

visitPrimitiveLiteralExp

@Nullable
public java.lang.Boolean visitPrimitiveLiteralExp(@NonNull
                                                             PrimitiveLiteralExp object)

Specified by:

visitPrimitiveLiteralExp in interface Visitor<java.lang.Boolean>

Overrides:

visitPrimitiveLiteralExp in class AbstractExtendingVisitor<java.lang.Boolean,OCLinEcoreCodeGenerator>

visitPropertyCallExp

@Nullable
public java.lang.Boolean visitPropertyCallExp(@NonNull
                                                         PropertyCallExp object)

Specified by:

visitPropertyCallExp in interface Visitor<java.lang.Boolean>

Overrides:

visitPropertyCallExp in class AbstractExtendingVisitor<java.lang.Boolean,OCLinEcoreCodeGenerator>

visitTupleLiteralExp

@Nullable
public java.lang.Boolean visitTupleLiteralExp(@NonNull
                                                         TupleLiteralExp object)

Specified by:

visitTupleLiteralExp in interface Visitor<java.lang.Boolean>

Overrides:

visitTupleLiteralExp in class AbstractExtendingVisitor<java.lang.Boolean,OCLinEcoreCodeGenerator>

visitTypeExp

@Nullable
public java.lang.Boolean visitTypeExp(@NonNull
                                                 TypeExp object)

Specified by:

visitTypeExp in interface Visitor<java.lang.Boolean>

Overrides:

visitTypeExp in class AbstractExtendingVisitor<java.lang.Boolean,OCLinEcoreCodeGenerator>

visitVariableExp

@Nullable
public java.lang.Boolean visitVariableExp(@NonNull
                                                     VariableExp object)

Specified by:

visitVariableExp in interface Visitor<java.lang.Boolean>

Overrides:

visitVariableExp in class AbstractExtendingVisitor<java.lang.Boolean,OCLinEcoreCodeGenerator>