org.eclipse.ocl.examples.codegen.analyzer

Class FieldingAnalyzer.AnalysisVisitor

java.lang.Object

org.eclipse.ocl.examples.codegen.cgmodel.util.AbstractCGModelVisitor<R,C>

org.eclipse.ocl.examples.codegen.cgmodel.util.AbstractExtendingCGModelVisitor<java.util.Set<CGVariable>,FieldingAnalyzer>

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

All Implemented Interfaces:

CGModelVisitor<java.util.Set<CGVariable>>

Direct Known Subclasses:

AutoFieldingAnalyzer.AutoAnalysisVisitor

Enclosing class:

FieldingAnalyzer

public static class FieldingAnalyzer.AnalysisVisitor
extends AbstractExtendingCGModelVisitor<java.util.Set<CGVariable>,FieldingAnalyzer>

Field Summary

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

context

Constructor Summary

Constructors

Constructor and Description
FieldingAnalyzer.AnalysisVisitor(FieldingAnalyzer context)

Method Summary

Methods

Modifier and Type	Method and Description
java.util.Set<CGVariable>	visitCGElement(CGElement cgElement) By default all externals of all children are externals of this node.
java.util.Set<CGVariable>	visitCGIsInvalidExp(CGIsInvalidExp cgElement) All childExternals of a validating operation are marked as caught variables.
java.util.Set<CGVariable>	visitCGIsUndefinedExp(CGIsUndefinedExp cgElement) All childExternals of a validating operation are marked as caught variables.
java.util.Set<CGVariable>	visitCGLetExp(CGLetExp cgElement) The externals of a LetExp are the externals of the children less the let variable.
java.util.Set<CGVariable>	visitCGOperationCallExp(CGOperationCallExp cgElement) All childExternals of a validating operation are marked as caught variables.
java.util.Set<CGVariable>	visitCGVariable(CGVariable cgElement) The externals of a VariableExp are the externals of the referenced variable.
java.util.Set<CGVariable>	visitCGVariableExp(CGVariableExp cgElement) The externals of a VariableExp are the externals of the referenced variable.
java.util.Set<CGVariable>	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, visitCGConstant, visitCGConstantExp, visitCGConstraint, visitCGEcoreClassShadowExp, visitCGEcoreDataTypeShadowExp, visitCGEcoreOperation, visitCGEcoreOperationCallExp, visitCGEcoreOppositePropertyCallExp, visitCGEcorePropertyCallExp, visitCGElementId, visitCGExecutorCompositionProperty, visitCGExecutorNavigationProperty, visitCGExecutorOperation, visitCGExecutorOperationCallExp, visitCGExecutorOppositeProperty, visitCGExecutorOppositePropertyCallExp, visitCGExecutorProperty, visitCGExecutorPropertyCallExp, visitCGExecutorShadowPart, visitCGExecutorType, visitCGFinalVariable, visitCGGuardExp, visitCGIfExp, visitCGInteger, visitCGInvalid, visitCGIsEqual2Exp, visitCGIsEqualExp, visitCGIterationCallExp, visitCGIterator, visitCGLibraryIterateCallExp, visitCGLibraryIterationCallExp, visitCGLibraryOperation, visitCGLibraryOperationCallExp, visitCGLibraryPropertyCallExp, visitCGLocalVariable, visitCGMapExp, visitCGMapPart, visitCGModel, visitCGNamedElement, visitCGNativeOperation, visitCGNativeOperationCallExp, visitCGNativeProperty, visitCGNativePropertyCallExp, visitCGNavigationCallExp, visitCGNull, visitCGNumber, visitCGOperation, visitCGOppositePropertyCallExp, visitCGPackage, visitCGParameter, visitCGProperty, visitCGPropertyCallExp, visitCGReal, visitCGSettableVariable, visitCGShadowExp, visitCGShadowPart, visitCGString, visitCGText, visitCGTextParameter, visitCGThrowExp, visitCGTupleExp, visitCGTuplePart, visitCGTuplePartCallExp, visitCGTypedElement, visitCGTypeExp, visitCGTypeId, visitCGUnboxExp, visitCGUnlimited, visitCGValuedElement

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

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

getAdapter

Constructor Detail

FieldingAnalyzer.AnalysisVisitor

public FieldingAnalyzer.AnalysisVisitor(@NonNull
                                FieldingAnalyzer context)

Method Detail

visiting

@Nullable
public java.util.Set<CGVariable> 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.

visitCGElement

@Nullable
public java.util.Set<CGVariable> visitCGElement(@NonNull
                                                CGElement cgElement)

By default all externals of all children are externals of this node.

Specified by:

visitCGElement in interface CGModelVisitor<java.util.Set<CGVariable>>

Overrides:

visitCGElement in class AbstractExtendingCGModelVisitor<java.util.Set<CGVariable>,FieldingAnalyzer>

visitCGIsInvalidExp

@Nullable
public java.util.Set<CGVariable> visitCGIsInvalidExp(@NonNull
                                                     CGIsInvalidExp cgElement)

All childExternals of a validating operation are marked as caught variables.

Specified by:

visitCGIsInvalidExp in interface CGModelVisitor<java.util.Set<CGVariable>>

Overrides:

visitCGIsInvalidExp in class AbstractExtendingCGModelVisitor<java.util.Set<CGVariable>,FieldingAnalyzer>

visitCGIsUndefinedExp

@Nullable
public java.util.Set<CGVariable> visitCGIsUndefinedExp(@NonNull
                                                       CGIsUndefinedExp cgElement)

All childExternals of a validating operation are marked as caught variables.

Specified by:

visitCGIsUndefinedExp in interface CGModelVisitor<java.util.Set<CGVariable>>

Overrides:

visitCGIsUndefinedExp in class AbstractExtendingCGModelVisitor<java.util.Set<CGVariable>,FieldingAnalyzer>

visitCGLetExp

@Nullable
public java.util.Set<CGVariable> visitCGLetExp(@NonNull
                                               CGLetExp cgElement)

The externals of a LetExp are the externals of the children less the let variable.

Specified by:

visitCGLetExp in interface CGModelVisitor<java.util.Set<CGVariable>>

Overrides:

visitCGLetExp in class AbstractExtendingCGModelVisitor<java.util.Set<CGVariable>,FieldingAnalyzer>

visitCGOperationCallExp

@Nullable
public java.util.Set<CGVariable> visitCGOperationCallExp(@NonNull
                                                         CGOperationCallExp cgElement)

All childExternals of a validating operation are marked as caught variables.

Specified by:

visitCGOperationCallExp in interface CGModelVisitor<java.util.Set<CGVariable>>

Overrides:

visitCGOperationCallExp in class AbstractExtendingCGModelVisitor<java.util.Set<CGVariable>,FieldingAnalyzer>

visitCGVariable

@Nullable
public java.util.Set<CGVariable> visitCGVariable(@NonNull
                                                 CGVariable cgElement)

The externals of a VariableExp are the externals of the referenced variable.

Specified by:

visitCGVariable in interface CGModelVisitor<java.util.Set<CGVariable>>

Overrides:

visitCGVariable in class AbstractExtendingCGModelVisitor<java.util.Set<CGVariable>,FieldingAnalyzer>

visitCGVariableExp

@Nullable
public java.util.Set<CGVariable> visitCGVariableExp(@NonNull
                                                    CGVariableExp cgElement)

The externals of a VariableExp are the externals of the referenced variable.

Specified by:

visitCGVariableExp in interface CGModelVisitor<java.util.Set<CGVariable>>

Overrides:

visitCGVariableExp in class AbstractExtendingCGModelVisitor<java.util.Set<CGVariable>,FieldingAnalyzer>