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<Set<CGVariable>,FieldingAnalyzer>

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

All Implemented Interfaces:

CGModelVisitor<Set<CGVariable>>

Enclosing class:

FieldingAnalyzer

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

Constructor Summary

Constructors

Constructor and Description
AnalysisVisitor(FieldingAnalyzer context)

Method Summary

Modifier and Type	Method and Description
Set<CGVariable>	visitCGElement(CGElement cgElement) By default all externals of all children are externals of this node.
Set<CGVariable>	visitCGIsInvalidExp(CGIsInvalidExp cgElement) All childExternals of a validating operation are marked as caught variables.
Set<CGVariable>	visitCGIsUndefinedExp(CGIsUndefinedExp cgElement) All childExternals of a validating operation are marked as caught variables.
Set<CGVariable>	visitCGLetExp(CGLetExp cgElement) The externals of a LetExp are the externals of the children less the let variable.
Set<CGVariable>	visitCGOperationCallExp(CGOperationCallExp cgElement) All childExternals of a validating operation are marked as caught variables.
Set<CGVariable>	visitCGVariable(CGVariable cgElement) The externals of a VariableExp are the externals of the referenced variable.
Set<CGVariable>	visitCGVariableExp(CGVariableExp cgElement) The externals of a VariableExp are the externals of the referenced variable.
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, visitCGCachedOperation, visitCGCachedOperationCallExp, visitCGCallable, visitCGCallExp, visitCGCastExp, visitCGCatchExp, visitCGClass, visitCGCollectionExp, visitCGCollectionPart, visitCGConstant, visitCGConstantExp, visitCGConstraint, visitCGEcoreClassShadowExp, visitCGEcoreDataTypeShadowExp, visitCGEcoreExp, visitCGEcoreOperation, visitCGEcoreOperationCallExp, visitCGEcoreOppositePropertyCallExp, visitCGEcorePropertyCallExp, visitCGElementId, visitCGExecutorCompositionProperty, visitCGExecutorNavigationProperty, visitCGExecutorOperation, visitCGExecutorOperationCallExp, visitCGExecutorOppositeProperty, visitCGExecutorOppositePropertyCallExp, visitCGExecutorProperty, visitCGExecutorPropertyCallExp, visitCGExecutorShadowPart, visitCGExecutorType, visitCGFinalVariable, visitCGGuardExp, visitCGIfExp, visitCGInteger, visitCGInvalid, visitCGIsEqual2Exp, visitCGIsEqualExp, visitCGIsKindOfExp, 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, 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

equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Methods inherited from interface org.eclipse.ocl.examples.codegen.cgmodel.util.CGModelVisitor

getAdapter

Constructor Detail

AnalysisVisitor

public AnalysisVisitor(FieldingAnalyzer context)

Method Detail

visiting

public Set<CGVariable> visiting(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

public Set<CGVariable> visitCGElement(CGElement cgElement)

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

Specified by:

visitCGElement in interface CGModelVisitor<Set<CGVariable>>

Overrides:

visitCGElement in class AbstractExtendingCGModelVisitor<Set<CGVariable>,FieldingAnalyzer>

visitCGIsInvalidExp

public Set<CGVariable> visitCGIsInvalidExp(CGIsInvalidExp cgElement)

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

Specified by:

visitCGIsInvalidExp in interface CGModelVisitor<Set<CGVariable>>

Overrides:

visitCGIsInvalidExp in class AbstractExtendingCGModelVisitor<Set<CGVariable>,FieldingAnalyzer>

visitCGIsUndefinedExp

public Set<CGVariable> visitCGIsUndefinedExp(CGIsUndefinedExp cgElement)

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

Specified by:

visitCGIsUndefinedExp in interface CGModelVisitor<Set<CGVariable>>

Overrides:

visitCGIsUndefinedExp in class AbstractExtendingCGModelVisitor<Set<CGVariable>,FieldingAnalyzer>

visitCGLetExp

public Set<CGVariable> visitCGLetExp(CGLetExp cgElement)

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

Specified by:

visitCGLetExp in interface CGModelVisitor<Set<CGVariable>>

Overrides:

visitCGLetExp in class AbstractExtendingCGModelVisitor<Set<CGVariable>,FieldingAnalyzer>

visitCGOperationCallExp

public Set<CGVariable> visitCGOperationCallExp(CGOperationCallExp cgElement)

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

Specified by:

visitCGOperationCallExp in interface CGModelVisitor<Set<CGVariable>>

Overrides:

visitCGOperationCallExp in class AbstractExtendingCGModelVisitor<Set<CGVariable>,FieldingAnalyzer>

visitCGVariable

public Set<CGVariable> visitCGVariable(CGVariable cgElement)

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

Specified by:

visitCGVariable in interface CGModelVisitor<Set<CGVariable>>

Overrides:

visitCGVariable in class AbstractExtendingCGModelVisitor<Set<CGVariable>,FieldingAnalyzer>

visitCGVariableExp

public Set<CGVariable> visitCGVariableExp(CGVariableExp cgElement)

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

Specified by:

visitCGVariableExp in interface CGModelVisitor<Set<CGVariable>>

Overrides:

visitCGVariableExp in class AbstractExtendingCGModelVisitor<Set<CGVariable>,FieldingAnalyzer>