org.eclipse.ocl.examples.codegen.analyzer
Class FieldingAnalyzer.RewriteVisitor

java.lang.Object
  org.eclipse.ocl.examples.codegen.cgmodel.util.AbstractCGModelVisitor<R,C>
      org.eclipse.ocl.examples.codegen.cgmodel.util.AbstractNonNullExtendingCGModelVisitor<java.lang.Boolean,CodeGenAnalyzer>
          org.eclipse.ocl.examples.codegen.analyzer.FieldingAnalyzer.RewriteVisitor

All Implemented Interfaces:

CGModelVisitor<java.lang.Boolean>

Direct Known Subclasses:

AutoFieldingAnalyzer.AutoRewriteVisitor, OCLinEcoreCodeGenerator.EcoreRewriteVisitor

Enclosing class:

FieldingAnalyzer

public static class FieldingAnalyzer.RewriteVisitor
extends AbstractNonNullExtendingCGModelVisitor<java.lang.Boolean,CodeGenAnalyzer>

Field Summary

protected java.util.Set<CGVariable>

externalVariables

Fields inherited from class org.eclipse.ocl.examples.codegen.cgmodel.util.AbstractCGModelVisitor

context

Constructor Summary

FieldingAnalyzer.RewriteVisitor(CodeGenAnalyzer context, java.util.Set<CGVariable> externalVariables)

Method Summary

protected void	insertCatch(CGValuedElement cgChild)
protected void	insertThrow(CGValuedElement cgChild)
protected void	rewriteAsCaught(CGValuedElement cgChild)
protected void	rewriteAsThrown(CGValuedElement cgChild)
java.lang.Boolean	safeVisit(CGElement cgElement) A null-safe visitation of the specified visitable.
java.lang.Boolean	visitCGConstant(CGConstant cgConstant)
java.lang.Boolean	visitCGConstantExp(CGConstantExp cgElement)
java.lang.Boolean	visitCGElement(CGElement cgElement)
java.lang.Boolean	visitCGIfExp(CGIfExp cgElement)
java.lang.Boolean	visitCGInvalid(CGInvalid object)
java.lang.Boolean	visitCGIsEqualExp(CGIsEqualExp cgElement)
java.lang.Boolean	visitCGIsInvalidExp(CGIsInvalidExp cgElement)
java.lang.Boolean	visitCGIsUndefinedExp(CGIsUndefinedExp cgElement)
java.lang.Boolean	visitCGIterationCallExp(CGIterationCallExp cgElement)
java.lang.Boolean	visitCGIterator(CGIterator cgElement)
java.lang.Boolean	visitCGLetExp(CGLetExp cgElement)
java.lang.Boolean	visitCGLibraryIterateCallExp(CGLibraryIterateCallExp cgElement)
java.lang.Boolean	visitCGNavigationCallExp(CGNavigationCallExp cgElement)
java.lang.Boolean	visitCGOperationCallExp(CGOperationCallExp cgElement)
java.lang.Boolean	visitCGValuedElement(CGValuedElement cgElement)
java.lang.Boolean	visitCGVariable(CGVariable cgElement)
java.lang.Boolean	visitCGVariableExp(CGVariableExp cgElement)
java.lang.Boolean	visiting(CGElement visitable) Return the result of visiting a visitable for which no more specific pivot type method is available.

Methods inherited from class org.eclipse.ocl.examples.codegen.cgmodel.util.AbstractNonNullExtendingCGModelVisitor

visit, visitCGAccumulator, visitCGAssertNonNullExp, visitCGBoolean, visitCGBoxExp, visitCGBuiltInIterationCallExp, visitCGCallable, visitCGCallExp, visitCGCastExp, visitCGCatchExp, visitCGClass, visitCGCollectionExp, visitCGCollectionPart, visitCGConstraint, visitCGConstructorExp, visitCGConstructorPart, visitCGEcoreClassConstructorExp, visitCGEcoreDataTypeConstructorExp, visitCGEcoreOperation, visitCGEcoreOperationCallExp, visitCGEcoreOppositePropertyCallExp, visitCGEcorePropertyCallExp, visitCGElementId, visitCGExecutorCompositionProperty, visitCGExecutorConstructorPart, visitCGExecutorNavigationProperty, visitCGExecutorOperation, visitCGExecutorOperationCallExp, visitCGExecutorOppositeProperty, visitCGExecutorOppositePropertyCallExp, visitCGExecutorProperty, visitCGExecutorPropertyCallExp, visitCGExecutorType, visitCGFinalVariable, visitCGGuardExp, visitCGInteger, visitCGLibraryIterationCallExp, visitCGLibraryOperation, visitCGLibraryOperationCallExp, visitCGLibraryPropertyCallExp, visitCGLocalVariable, visitCGModel, visitCGNamedElement, visitCGNull, visitCGNumber, visitCGOperation, visitCGOppositePropertyCallExp, visitCGPackage, visitCGParameter, visitCGProperty, visitCGPropertyCallExp, visitCGReal, visitCGSettableVariable, visitCGString, visitCGText, visitCGTextParameter, visitCGThrowExp, visitCGTupleExp, visitCGTuplePart, visitCGTuplePartCallExp, visitCGTypedElement, visitCGTypeExp, visitCGTypeId, visitCGUnboxExp, visitCGUnlimited

Methods inherited from class org.eclipse.ocl.examples.codegen.cgmodel.util.AbstractCGModelVisitor

getAdapter

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.examples.codegen.cgmodel.util.CGModelVisitor

getAdapter

Field Detail

externalVariables

@NonNull
protected final java.util.Set<CGVariable> externalVariables

Constructor Detail

FieldingAnalyzer.RewriteVisitor

public FieldingAnalyzer.RewriteVisitor(@NonNull
                                       CodeGenAnalyzer context,
                                       @NonNull
                                       java.util.Set<CGVariable> externalVariables)

Method Detail

insertCatch

protected void insertCatch(@NonNull
                           CGValuedElement cgChild)

insertThrow

protected void insertThrow(@NonNull
                           CGValuedElement cgChild)

rewriteAsCaught

protected void rewriteAsCaught(@Nullable
                               CGValuedElement cgChild)

rewriteAsThrown

protected void rewriteAsThrown(@Nullable
                               CGValuedElement cgChild)

safeVisit

@NonNull
public java.lang.Boolean safeVisit(@Nullable
                                           CGElement cgElement)

Description copied from class: AbstractCGModelVisitor

A null-safe visitation of the specified visitable.

Overrides:

safeVisit in class AbstractCGModelVisitor<java.lang.Boolean,CodeGenAnalyzer>

Parameters:

cgElement - a visitable, or null

Returns:

null if the visitable is null; otherwise, the result of visiting it

visiting

@NonNull
public java.lang.Boolean visiting(@NonNull
                                          CGElement visitable)

Description copied from class: AbstractNonNullExtendingCGModelVisitor

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

Specified by:

visiting in interface CGModelVisitor<java.lang.Boolean>

Specified by:

visiting in class AbstractNonNullExtendingCGModelVisitor<java.lang.Boolean,CodeGenAnalyzer>

visitCGConstant

@NonNull
public java.lang.Boolean visitCGConstant(@NonNull
                                                 CGConstant cgConstant)

Specified by:

visitCGConstant in interface CGModelVisitor<java.lang.Boolean>

Overrides:

visitCGConstant in class AbstractNonNullExtendingCGModelVisitor<java.lang.Boolean,CodeGenAnalyzer>

visitCGConstantExp

@NonNull
public java.lang.Boolean visitCGConstantExp(@NonNull
                                                    CGConstantExp cgElement)

Specified by:

visitCGConstantExp in interface CGModelVisitor<java.lang.Boolean>

Overrides:

visitCGConstantExp in class AbstractNonNullExtendingCGModelVisitor<java.lang.Boolean,CodeGenAnalyzer>

visitCGElement

@NonNull
public java.lang.Boolean visitCGElement(@NonNull
                                                CGElement cgElement)

Specified by:

visitCGElement in interface CGModelVisitor<java.lang.Boolean>

Overrides:

visitCGElement in class AbstractNonNullExtendingCGModelVisitor<java.lang.Boolean,CodeGenAnalyzer>

visitCGIfExp

@NonNull
public java.lang.Boolean visitCGIfExp(@NonNull
                                              CGIfExp cgElement)

Specified by:

visitCGIfExp in interface CGModelVisitor<java.lang.Boolean>

Overrides:

visitCGIfExp in class AbstractNonNullExtendingCGModelVisitor<java.lang.Boolean,CodeGenAnalyzer>

visitCGInvalid

@NonNull
public java.lang.Boolean visitCGInvalid(@NonNull
                                                CGInvalid object)

Specified by:

visitCGInvalid in interface CGModelVisitor<java.lang.Boolean>

Overrides:

visitCGInvalid in class AbstractNonNullExtendingCGModelVisitor<java.lang.Boolean,CodeGenAnalyzer>

visitCGIsEqualExp

@NonNull
public java.lang.Boolean visitCGIsEqualExp(@NonNull
                                                   CGIsEqualExp cgElement)

Specified by:

visitCGIsEqualExp in interface CGModelVisitor<java.lang.Boolean>

Overrides:

visitCGIsEqualExp in class AbstractNonNullExtendingCGModelVisitor<java.lang.Boolean,CodeGenAnalyzer>

visitCGIsInvalidExp

@NonNull
public java.lang.Boolean visitCGIsInvalidExp(@NonNull
                                                     CGIsInvalidExp cgElement)

Specified by:

visitCGIsInvalidExp in interface CGModelVisitor<java.lang.Boolean>

Overrides:

visitCGIsInvalidExp in class AbstractNonNullExtendingCGModelVisitor<java.lang.Boolean,CodeGenAnalyzer>

visitCGIsUndefinedExp

@NonNull
public java.lang.Boolean visitCGIsUndefinedExp(@NonNull
                                                       CGIsUndefinedExp cgElement)

Specified by:

visitCGIsUndefinedExp in interface CGModelVisitor<java.lang.Boolean>

Overrides:

visitCGIsUndefinedExp in class AbstractNonNullExtendingCGModelVisitor<java.lang.Boolean,CodeGenAnalyzer>

visitCGIterationCallExp

@NonNull
public java.lang.Boolean visitCGIterationCallExp(@NonNull
                                                         CGIterationCallExp cgElement)

Specified by:

visitCGIterationCallExp in interface CGModelVisitor<java.lang.Boolean>

Overrides:

visitCGIterationCallExp in class AbstractNonNullExtendingCGModelVisitor<java.lang.Boolean,CodeGenAnalyzer>

visitCGIterator

@NonNull
public java.lang.Boolean visitCGIterator(@NonNull
                                                 CGIterator cgElement)

Specified by:

visitCGIterator in interface CGModelVisitor<java.lang.Boolean>

Overrides:

visitCGIterator in class AbstractNonNullExtendingCGModelVisitor<java.lang.Boolean,CodeGenAnalyzer>

visitCGLetExp

@NonNull
public java.lang.Boolean visitCGLetExp(@NonNull
                                               CGLetExp cgElement)

Specified by:

visitCGLetExp in interface CGModelVisitor<java.lang.Boolean>

Overrides:

visitCGLetExp in class AbstractNonNullExtendingCGModelVisitor<java.lang.Boolean,CodeGenAnalyzer>

visitCGLibraryIterateCallExp

@NonNull
public java.lang.Boolean visitCGLibraryIterateCallExp(@NonNull
                                                              CGLibraryIterateCallExp cgElement)

Specified by:

visitCGLibraryIterateCallExp in interface CGModelVisitor<java.lang.Boolean>

Overrides:

visitCGLibraryIterateCallExp in class AbstractNonNullExtendingCGModelVisitor<java.lang.Boolean,CodeGenAnalyzer>

visitCGNavigationCallExp

@NonNull
public java.lang.Boolean visitCGNavigationCallExp(@NonNull
                                                          CGNavigationCallExp cgElement)

Specified by:

visitCGNavigationCallExp in interface CGModelVisitor<java.lang.Boolean>

Overrides:

visitCGNavigationCallExp in class AbstractNonNullExtendingCGModelVisitor<java.lang.Boolean,CodeGenAnalyzer>

visitCGOperationCallExp

@NonNull
public java.lang.Boolean visitCGOperationCallExp(@NonNull
                                                         CGOperationCallExp cgElement)

Specified by:

visitCGOperationCallExp in interface CGModelVisitor<java.lang.Boolean>

Overrides:

visitCGOperationCallExp in class AbstractNonNullExtendingCGModelVisitor<java.lang.Boolean,CodeGenAnalyzer>

visitCGValuedElement

@NonNull
public java.lang.Boolean visitCGValuedElement(@NonNull
                                                      CGValuedElement cgElement)

Specified by:

visitCGValuedElement in interface CGModelVisitor<java.lang.Boolean>

Overrides:

visitCGValuedElement in class AbstractNonNullExtendingCGModelVisitor<java.lang.Boolean,CodeGenAnalyzer>

visitCGVariable

@NonNull
public java.lang.Boolean visitCGVariable(@NonNull
                                                 CGVariable cgElement)

Specified by:

visitCGVariable in interface CGModelVisitor<java.lang.Boolean>

Overrides:

visitCGVariable in class AbstractNonNullExtendingCGModelVisitor<java.lang.Boolean,CodeGenAnalyzer>

visitCGVariableExp

@NonNull
public java.lang.Boolean visitCGVariableExp(@NonNull
                                                    CGVariableExp cgElement)

Specified by:

visitCGVariableExp in interface CGModelVisitor<java.lang.Boolean>

Overrides:

visitCGVariableExp in class AbstractNonNullExtendingCGModelVisitor<java.lang.Boolean,CodeGenAnalyzer>