org.eclipse.ocl.examples.codegen.analyzer

Class AS2CGVisitor

java.lang.Object

org.eclipse.ocl.pivot.util.AbstractVisitor<R,C>

org.eclipse.ocl.pivot.util.AbstractExtendingVisitor<CGNamedElement,CodeGenAnalyzer>

org.eclipse.ocl.examples.codegen.analyzer.AS2CGVisitor

All Implemented Interfaces:

Visitor<CGNamedElement>

Direct Known Subclasses:

JUnitAS2CGVisitor, OCLinEcoreAS2CGVisitor

public class AS2CGVisitor
extends AbstractExtendingVisitor<CGNamedElement,CodeGenAnalyzer>

The AS2CGVisitor performs the first stage of code generation by converting the Pivot AST to the CG AST.

Nested Class Summary

Nested Classes

Modifier and Type	Class and Description
static class	AS2CGVisitor.CGTuplePartNameComparator

Constructor Summary

Constructors

Constructor and Description
AS2CGVisitor(CodeGenAnalyzer analyzer)

Method Summary

Modifier and Type	Method and Description
CGVariable	basicGetParameter(Variable aParameter)
CGVariable	createCGVariable(VariableDeclaration asVariable)
CGVariableExp	createCGVariableExp(VariableExp asVariableExp, VariableDeclaration referredVariable)
<T extends CGElement> T	doVisit(Class<T> requiredClass, Element pElement)
CodeGenAnalyzer	getAnalyzer()
CGIterator	getIterator(VariableDeclaration asVariable)
CGVariable	getLocalVariable(VariableDeclaration asVariable)
CGParameter	getParameter(Variable aParameter) Deprecated.
CGParameter	getParameter(Variable aParameter, String explicitName)
CGParameter	getSelfParameter(Variable aParameter) Deprecated.
CGVariable	getVariable(VariableDeclaration asVariable)
org.eclipse.ocl.examples.codegen.analyzer.AS2CGVisitor.Variables	getVariablesStack()
CGConstantExp	visitBooleanLiteralExp(BooleanLiteralExp element)
CGClass	visitClass(Class element)
CGCollectionPart	visitCollectionItem(CollectionItem element)
CGCollectionExp	visitCollectionLiteralExp(CollectionLiteralExp element)
CGCollectionPart	visitCollectionRange(CollectionRange element)
CGConstraint	visitConstraint(Constraint element)
CGConstantExp	visitEnumLiteralExp(EnumLiteralExp element)
CGValuedElement	visitExpressionInOCL(ExpressionInOCL query)
CGIfExp	visitIfExp(IfExp element)
CGValuedElement	visiting(Visitable visitable) Return the result of visiting a visitable for which no more specific pivot type method is available.
CGConstantExp	visitIntegerLiteralExp(IntegerLiteralExp element)
CGConstantExp	visitInvalidLiteralExp(InvalidLiteralExp element)
CGValuedElement	visitIterateExp(IterateExp element)
CGValuedElement	visitIteratorExp(IteratorExp element)
CGLetExp	visitLetExp(LetExp element)
CGNamedElement	visitMapLiteralExp(MapLiteralExp element)
CGNamedElement	visitMapLiteralPart(MapLiteralPart element)
CGConstantExp	visitNullLiteralExp(NullLiteralExp element)
CGOperation	visitOperation(Operation asOperation)
CGValuedElement	visitOperationCallExp(OperationCallExp element)
CGValuedElement	visitOppositePropertyCallExp(OppositePropertyCallExp element)
CGNamedElement	visitPackage(Package element)
CGProperty	visitProperty(Property element)
CGValuedElement	visitPropertyCallExp(PropertyCallExp element)
CGConstantExp	visitRealLiteralExp(RealLiteralExp element)
CGShadowExp	visitShadowExp(ShadowExp element)
CGShadowPart	visitShadowPart(ShadowPart element)
CGNamedElement	visitStateExp(StateExp element)
CGConstantExp	visitStringLiteralExp(StringLiteralExp element)
CGTupleExp	visitTupleLiteralExp(TupleLiteralExp element)
CGTuplePart	visitTupleLiteralPart(TupleLiteralPart element)
CGTypeExp	visitTypeExp(TypeExp pTypeExp)
CGConstantExp	visitUnlimitedNaturalLiteralExp(UnlimitedNaturalLiteralExp element)
CGNamedElement	visitUnspecifiedValueExp(UnspecifiedValueExp element)
CGValuedElement	visitVariableExp(VariableExp asVariableExp)

Methods inherited from class org.eclipse.ocl.pivot.util.AbstractExtendingVisitor

visitAnnotation, visitAnyType, visitAssociationClass, visitAssociationClassCallExp, visitBagType, visitBehavior, visitCallExp, visitCallOperationAction, visitCollectionLiteralPart, visitCollectionType, visitComment, visitCompleteClass, visitCompleteEnvironment, visitCompleteModel, visitCompletePackage, visitConnectionPointReference, visitDataType, visitDetail, visitDynamicBehavior, visitDynamicElement, visitDynamicProperty, visitDynamicType, visitDynamicValueSpecification, visitElement, visitElementExtension, visitEnumeration, visitEnumerationLiteral, visitFeature, visitFeatureCallExp, visitFinalState, visitImport, visitInstanceSpecification, visitInvalidType, visitIteration, visitIteratorVariable, visitLambdaType, visitLanguageExpression, visitLetVariable, visitLibrary, visitLiteralExp, visitLoopExp, visitMapType, visitMessageExp, visitMessageType, visitModel, visitNamedElement, visitNamespace, visitNavigationCallExp, visitNumericLiteralExp, visitOCLExpression, visitOrderedSetType, visitOrphanCompletePackage, visitParameter, visitParameterVariable, visitPrecedence, visitPrimitiveCompletePackage, visitPrimitiveLiteralExp, visitPrimitiveType, visitProfile, visitProfileApplication, visitPseudostate, visitRegion, visitResultVariable, visitSelfType, visitSendSignalAction, visitSequenceType, visitSetType, visitSignal, visitSlot, visitStandardLibrary, visitState, visitStateMachine, visitStereotype, visitStereotypeExtender, visitTemplateableElement, visitTemplateBinding, visitTemplateParameter, visitTemplateParameterSubstitution, visitTemplateSignature, visitTransition, visitTrigger, visitTupleType, visitType, visitTypedElement, visitValueSpecification, visitVariable, visitVariableDeclaration, visitVertex, visitVoidType, visitWildcardType

Methods inherited from class org.eclipse.ocl.pivot.util.AbstractVisitor

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.pivot.util.Visitor

getAdapter

Constructor Detail

AS2CGVisitor

public AS2CGVisitor(CodeGenAnalyzer analyzer)

Method Detail

basicGetParameter

public CGVariable basicGetParameter(Variable aParameter)

createCGVariable

public CGVariable createCGVariable(VariableDeclaration asVariable)

createCGVariableExp

public CGVariableExp createCGVariableExp(VariableExp asVariableExp,
                                         VariableDeclaration referredVariable)

doVisit

public <T extends CGElement> T doVisit(Class<T> requiredClass,
                                       Element pElement)

getAnalyzer

public CodeGenAnalyzer getAnalyzer()

getIterator

public CGIterator getIterator(VariableDeclaration asVariable)

getLocalVariable

public CGVariable getLocalVariable(VariableDeclaration asVariable)

getParameter

@Deprecated
public CGParameter getParameter(Variable aParameter)

Deprecated.

getParameter

public CGParameter getParameter(Variable aParameter,
                                String explicitName)

getSelfParameter

@Deprecated
public CGParameter getSelfParameter(Variable aParameter)

Deprecated.

getVariable

public CGVariable getVariable(VariableDeclaration asVariable)

getVariablesStack

public org.eclipse.ocl.examples.codegen.analyzer.AS2CGVisitor.Variables getVariablesStack()

visitBooleanLiteralExp

public CGConstantExp visitBooleanLiteralExp(BooleanLiteralExp element)

Specified by:

visitBooleanLiteralExp in interface Visitor<CGNamedElement>

Overrides:

visitBooleanLiteralExp in class AbstractExtendingVisitor<CGNamedElement,CodeGenAnalyzer>

visitClass

public CGClass visitClass(Class element)

Specified by:

visitClass in interface Visitor<CGNamedElement>

Overrides:

visitClass in class AbstractExtendingVisitor<CGNamedElement,CodeGenAnalyzer>

Since:

1.3

visitCollectionItem

public CGCollectionPart visitCollectionItem(CollectionItem element)

Specified by:

visitCollectionItem in interface Visitor<CGNamedElement>

Overrides:

visitCollectionItem in class AbstractExtendingVisitor<CGNamedElement,CodeGenAnalyzer>

visitCollectionLiteralExp

public CGCollectionExp visitCollectionLiteralExp(CollectionLiteralExp element)

Specified by:

visitCollectionLiteralExp in interface Visitor<CGNamedElement>

Overrides:

visitCollectionLiteralExp in class AbstractExtendingVisitor<CGNamedElement,CodeGenAnalyzer>

visitCollectionRange

public CGCollectionPart visitCollectionRange(CollectionRange element)

Specified by:

visitCollectionRange in interface Visitor<CGNamedElement>

Overrides:

visitCollectionRange in class AbstractExtendingVisitor<CGNamedElement,CodeGenAnalyzer>

visitConstraint

public CGConstraint visitConstraint(Constraint element)

Specified by:

visitConstraint in interface Visitor<CGNamedElement>

Overrides:

visitConstraint in class AbstractExtendingVisitor<CGNamedElement,CodeGenAnalyzer>

visitEnumLiteralExp

public CGConstantExp visitEnumLiteralExp(EnumLiteralExp element)

Specified by:

visitEnumLiteralExp in interface Visitor<CGNamedElement>

Overrides:

visitEnumLiteralExp in class AbstractExtendingVisitor<CGNamedElement,CodeGenAnalyzer>

visitExpressionInOCL

public CGValuedElement visitExpressionInOCL(ExpressionInOCL query)

Specified by:

visitExpressionInOCL in interface Visitor<CGNamedElement>

Overrides:

visitExpressionInOCL in class AbstractExtendingVisitor<CGNamedElement,CodeGenAnalyzer>

visitIfExp

public CGIfExp visitIfExp(IfExp element)

Specified by:

visitIfExp in interface Visitor<CGNamedElement>

Overrides:

visitIfExp in class AbstractExtendingVisitor<CGNamedElement,CodeGenAnalyzer>

visitIntegerLiteralExp

public CGConstantExp visitIntegerLiteralExp(IntegerLiteralExp element)

Specified by:

visitIntegerLiteralExp in interface Visitor<CGNamedElement>

Overrides:

visitIntegerLiteralExp in class AbstractExtendingVisitor<CGNamedElement,CodeGenAnalyzer>

visitInvalidLiteralExp

public CGConstantExp visitInvalidLiteralExp(InvalidLiteralExp element)

Specified by:

visitInvalidLiteralExp in interface Visitor<CGNamedElement>

Overrides:

visitInvalidLiteralExp in class AbstractExtendingVisitor<CGNamedElement,CodeGenAnalyzer>

visitIterateExp

public final CGValuedElement visitIterateExp(IterateExp element)

Specified by:

visitIterateExp in interface Visitor<CGNamedElement>

Overrides:

visitIterateExp in class AbstractExtendingVisitor<CGNamedElement,CodeGenAnalyzer>

visitIteratorExp

public final CGValuedElement visitIteratorExp(IteratorExp element)

Specified by:

visitIteratorExp in interface Visitor<CGNamedElement>

Overrides:

visitIteratorExp in class AbstractExtendingVisitor<CGNamedElement,CodeGenAnalyzer>

visitLetExp

public CGLetExp visitLetExp(LetExp element)

Specified by:

visitLetExp in interface Visitor<CGNamedElement>

Overrides:

visitLetExp in class AbstractExtendingVisitor<CGNamedElement,CodeGenAnalyzer>

visitMapLiteralExp

public CGNamedElement visitMapLiteralExp(MapLiteralExp element)

Specified by:

visitMapLiteralExp in interface Visitor<CGNamedElement>

Overrides:

visitMapLiteralExp in class AbstractExtendingVisitor<CGNamedElement,CodeGenAnalyzer>

visitMapLiteralPart

public CGNamedElement visitMapLiteralPart(MapLiteralPart element)

Specified by:

visitMapLiteralPart in interface Visitor<CGNamedElement>

Overrides:

visitMapLiteralPart in class AbstractExtendingVisitor<CGNamedElement,CodeGenAnalyzer>

visitNullLiteralExp

public CGConstantExp visitNullLiteralExp(NullLiteralExp element)

Specified by:

visitNullLiteralExp in interface Visitor<CGNamedElement>

Overrides:

visitNullLiteralExp in class AbstractExtendingVisitor<CGNamedElement,CodeGenAnalyzer>

visitOperation

public CGOperation visitOperation(Operation asOperation)

Specified by:

visitOperation in interface Visitor<CGNamedElement>

Overrides:

visitOperation in class AbstractExtendingVisitor<CGNamedElement,CodeGenAnalyzer>

visitOperationCallExp

public final CGValuedElement visitOperationCallExp(OperationCallExp element)

Specified by:

visitOperationCallExp in interface Visitor<CGNamedElement>

Overrides:

visitOperationCallExp in class AbstractExtendingVisitor<CGNamedElement,CodeGenAnalyzer>

visitOppositePropertyCallExp

public final CGValuedElement visitOppositePropertyCallExp(OppositePropertyCallExp element)

Specified by:

visitOppositePropertyCallExp in interface Visitor<CGNamedElement>

Overrides:

visitOppositePropertyCallExp in class AbstractExtendingVisitor<CGNamedElement,CodeGenAnalyzer>

visitPackage

public CGNamedElement visitPackage(Package element)

Specified by:

visitPackage in interface Visitor<CGNamedElement>

Overrides:

visitPackage in class AbstractExtendingVisitor<CGNamedElement,CodeGenAnalyzer>

visitProperty

public CGProperty visitProperty(Property element)

Specified by:

visitProperty in interface Visitor<CGNamedElement>

Overrides:

visitProperty in class AbstractExtendingVisitor<CGNamedElement,CodeGenAnalyzer>

visitPropertyCallExp

public final CGValuedElement visitPropertyCallExp(PropertyCallExp element)

Specified by:

visitPropertyCallExp in interface Visitor<CGNamedElement>

Overrides:

visitPropertyCallExp in class AbstractExtendingVisitor<CGNamedElement,CodeGenAnalyzer>

visitRealLiteralExp

public CGConstantExp visitRealLiteralExp(RealLiteralExp element)

Specified by:

visitRealLiteralExp in interface Visitor<CGNamedElement>

Overrides:

visitRealLiteralExp in class AbstractExtendingVisitor<CGNamedElement,CodeGenAnalyzer>

visitShadowExp

public CGShadowExp visitShadowExp(ShadowExp element)

Specified by:

visitShadowExp in interface Visitor<CGNamedElement>

Overrides:

visitShadowExp in class AbstractExtendingVisitor<CGNamedElement,CodeGenAnalyzer>

visitShadowPart

public CGShadowPart visitShadowPart(ShadowPart element)

Specified by:

visitShadowPart in interface Visitor<CGNamedElement>

Overrides:

visitShadowPart in class AbstractExtendingVisitor<CGNamedElement,CodeGenAnalyzer>

visitStateExp

public CGNamedElement visitStateExp(StateExp element)

Specified by:

visitStateExp in interface Visitor<CGNamedElement>

Overrides:

visitStateExp in class AbstractExtendingVisitor<CGNamedElement,CodeGenAnalyzer>

visitStringLiteralExp

public CGConstantExp visitStringLiteralExp(StringLiteralExp element)

Specified by:

visitStringLiteralExp in interface Visitor<CGNamedElement>

Overrides:

visitStringLiteralExp in class AbstractExtendingVisitor<CGNamedElement,CodeGenAnalyzer>

visitTupleLiteralExp

public CGTupleExp visitTupleLiteralExp(TupleLiteralExp element)

Specified by:

visitTupleLiteralExp in interface Visitor<CGNamedElement>

Overrides:

visitTupleLiteralExp in class AbstractExtendingVisitor<CGNamedElement,CodeGenAnalyzer>

visitTupleLiteralPart

public CGTuplePart visitTupleLiteralPart(TupleLiteralPart element)

Specified by:

visitTupleLiteralPart in interface Visitor<CGNamedElement>

Overrides:

visitTupleLiteralPart in class AbstractExtendingVisitor<CGNamedElement,CodeGenAnalyzer>

visitTypeExp

public CGTypeExp visitTypeExp(TypeExp pTypeExp)

Specified by:

visitTypeExp in interface Visitor<CGNamedElement>

Overrides:

visitTypeExp in class AbstractExtendingVisitor<CGNamedElement,CodeGenAnalyzer>

visitUnlimitedNaturalLiteralExp

public CGConstantExp visitUnlimitedNaturalLiteralExp(UnlimitedNaturalLiteralExp element)

Specified by:

visitUnlimitedNaturalLiteralExp in interface Visitor<CGNamedElement>

Overrides:

visitUnlimitedNaturalLiteralExp in class AbstractExtendingVisitor<CGNamedElement,CodeGenAnalyzer>

visitUnspecifiedValueExp

public CGNamedElement visitUnspecifiedValueExp(UnspecifiedValueExp element)

Specified by:

visitUnspecifiedValueExp in interface Visitor<CGNamedElement>

Overrides:

visitUnspecifiedValueExp in class AbstractExtendingVisitor<CGNamedElement,CodeGenAnalyzer>

visitVariableExp

public CGValuedElement visitVariableExp(VariableExp asVariableExp)

Specified by:

visitVariableExp in interface Visitor<CGNamedElement>

Overrides:

visitVariableExp in class AbstractExtendingVisitor<CGNamedElement,CodeGenAnalyzer>

visiting

public CGValuedElement visiting(Visitable visitable)

Description copied from interface: Visitor

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