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.AbstractExtendingCGModelVisitor<java.lang.Boolean,CodeGenAnalyzer>

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

All Implemented Interfaces:

CGModelVisitor<java.lang.Boolean>

Enclosing class:

FieldingAnalyzer

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

Field Summary

Fields

Modifier and Type	Field and Description
protected java.util.Set<CGVariable>	externalVariables

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

context

Constructor Summary

Constructors

Constructor and Description
RewriteVisitor(CodeGenAnalyzer context, java.util.Set<CGVariable> externalVariables)

Method Summary

Modifier and Type	Method and Description
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	visitCGIsEqual2Exp(CGIsEqual2Exp cgElement)
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.AbstractExtendingCGModelVisitor

visitCGAccumulator, visitCGAssertNonNullExp, visitCGBoolean, visitCGBoxExp, visitCGBuiltInIterationCallExp, visitCGCallable, visitCGCallExp, visitCGCastExp, visitCGCatchExp, visitCGClass, visitCGCollectionExp, visitCGCollectionPart, visitCGConstraint, visitCGEcoreClassShadowExp, visitCGEcoreDataTypeShadowExp, visitCGEcoreExp, visitCGEcoreOperation, visitCGEcoreOperationCallExp, visitCGEcoreOppositePropertyCallExp, visitCGEcorePropertyCallExp, visitCGElementId, visitCGExecutorCompositionProperty, visitCGExecutorNavigationProperty, visitCGExecutorOperation, visitCGExecutorOperationCallExp, visitCGExecutorOppositeProperty, visitCGExecutorOppositePropertyCallExp, visitCGExecutorProperty, visitCGExecutorPropertyCallExp, visitCGExecutorShadowPart, visitCGExecutorType, visitCGFinalVariable, visitCGGuardExp, visitCGInteger, visitCGIsKindOfExp, visitCGLibraryIterationCallExp, visitCGLibraryOperation, visitCGLibraryOperationCallExp, visitCGLibraryPropertyCallExp, visitCGLocalVariable, visitCGMapExp, visitCGMapPart, visitCGModel, visitCGNamedElement, visitCGNativeOperation, visitCGNativeOperationCallExp, visitCGNativeProperty, visitCGNativePropertyCallExp, visitCGNull, visitCGNumber, visitCGOperation, visitCGOppositePropertyCallExp, visitCGPackage, visitCGParameter, visitCGProperty, visitCGPropertyCallExp, visitCGReal, visitCGSettableVariable, visitCGShadowExp, visitCGShadowPart, 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, 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.examples.codegen.cgmodel.util.CGModelVisitor

getAdapter

Field Detail

externalVariables

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

Constructor Detail

RewriteVisitor

public 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 interface: CGModelVisitor

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

visitCGConstant

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

Specified by:

visitCGConstant in interface CGModelVisitor<java.lang.Boolean>

Overrides:

visitCGConstant in class AbstractExtendingCGModelVisitor<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 AbstractExtendingCGModelVisitor<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 AbstractExtendingCGModelVisitor<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 AbstractExtendingCGModelVisitor<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 AbstractExtendingCGModelVisitor<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 AbstractExtendingCGModelVisitor<java.lang.Boolean,CodeGenAnalyzer>

visitCGIsEqual2Exp

@NonNull
public java.lang.Boolean visitCGIsEqual2Exp(@NonNull
                                                      CGIsEqual2Exp cgElement)

Specified by:

visitCGIsEqual2Exp in interface CGModelVisitor<java.lang.Boolean>

Overrides:

visitCGIsEqual2Exp in class AbstractExtendingCGModelVisitor<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 AbstractExtendingCGModelVisitor<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 AbstractExtendingCGModelVisitor<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 AbstractExtendingCGModelVisitor<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 AbstractExtendingCGModelVisitor<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 AbstractExtendingCGModelVisitor<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 AbstractExtendingCGModelVisitor<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 AbstractExtendingCGModelVisitor<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 AbstractExtendingCGModelVisitor<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 AbstractExtendingCGModelVisitor<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 AbstractExtendingCGModelVisitor<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 AbstractExtendingCGModelVisitor<java.lang.Boolean,CodeGenAnalyzer>