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

FieldingAnalyzer.AnalysisVisitor(FieldingAnalyzer context)

Method Summary

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, visitCGConstructorExp, visitCGConstructorPart, visitCGEcoreClassConstructorExp, visitCGEcoreDataTypeConstructorExp, visitCGEcoreOperation, visitCGEcoreOperationCallExp, visitCGEcoreOppositePropertyCallExp, visitCGEcorePropertyCallExp, visitCGElementId, visitCGExecutorCompositionProperty, visitCGExecutorConstructorPart, visitCGExecutorNavigationProperty, visitCGExecutorOperation, visitCGExecutorOperationCallExp, visitCGExecutorOppositeProperty, visitCGExecutorOppositePropertyCallExp, visitCGExecutorProperty, visitCGExecutorPropertyCallExp, visitCGExecutorType, visitCGFinalVariable, visitCGGuardExp, visitCGIfExp, visitCGInteger, visitCGInvalid, visitCGIsEqualExp, visitCGIterationCallExp, visitCGIterator, visitCGLibraryIterateCallExp, visitCGLibraryIterationCallExp, visitCGLibraryOperation, visitCGLibraryOperationCallExp, visitCGLibraryPropertyCallExp, visitCGLocalVariable, visitCGModel, visitCGNamedElement, visitCGNavigationCallExp, visitCGNull, visitCGNumber, visitCGOperation, visitCGOppositePropertyCallExp, visitCGPackage, visitCGParameter, visitCGProperty, visitCGPropertyCallExp, visitCGReal, visitCGSettableVariable, 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>