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

java.lang.Object
  extended by org.eclipse.ocl.examples.codegen.cgmodel.util.AbstractCGModelVisitor<R,C>
      extended by org.eclipse.ocl.examples.codegen.cgmodel.util.AbstractExtendingCGModelVisitor<java.util.Set<CGVariable>,FieldingAnalyzer>
          extended by 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>