org.eclipse.ocl.examples.pivot.prettyprint
Class PivotPrettyPrintVisitor

java.lang.Object
  org.eclipse.ocl.examples.pivot.util.AbstractVisitor<R,C>
      org.eclipse.ocl.examples.pivot.util.AbstractExtendingVisitor<java.lang.Object,PrettyPrinter>
          org.eclipse.ocl.examples.pivot.prettyprint.PivotPrettyPrintVisitor

All Implemented Interfaces:

Visitor<java.lang.Object>

Direct Known Subclasses:

EssentialOCLPrettyPrintVisitor

public class PivotPrettyPrintVisitor
extends AbstractExtendingVisitor<java.lang.Object,PrettyPrinter>

The PivotPrettyPrintVisitor supports pretty printing of a Pivot model elements. PrettyPrintOptions may be used to configure the printing.

Field Summary

Fields inherited from class org.eclipse.ocl.examples.pivot.util.AbstractVisitor

context

Constructor Summary

PivotPrettyPrintVisitor(PrettyPrinter context)

Method Summary

java.lang.Object	safeVisit(Visitable element) A null-safe visitation of the specified visitable.
java.lang.String	toString()
java.lang.Object	visitClass(Class object)
java.lang.String	visiting(Visitable visitable) Return the result of visiting a visitable for which no more specific pivot type method is available.
java.lang.Object	visitLambdaType(LambdaType object)
java.lang.Object	visitNamedElement(NamedElement object)
java.lang.Object	visitOperation(Operation object)
java.lang.Object	visitTemplateParameter(TemplateParameter object)
java.lang.Object	visitTupleType(TupleType object)
java.lang.Object	visitType(Type object)
java.lang.Object	visitTypedElement(TypedElement object)
java.lang.Object	visitTypedMultiplicityElement(TypedMultiplicityElement object)

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

visitAnnotation, visitAnyType, visitAssociationClass, visitAssociationClassCallExp, visitBagType, visitBooleanLiteralExp, visitCallExp, visitCallOperationAction, visitClassifierType, visitCollectionItem, visitCollectionLiteralExp, visitCollectionLiteralPart, visitCollectionRange, visitCollectionType, visitComment, visitConstraint, visitConstructorExp, visitConstructorPart, visitDataType, visitDetail, visitElement, visitEnumeration, visitEnumerationLiteral, visitEnumLiteralExp, visitExpressionInOCL, visitFeature, visitFeatureCallExp, visitIfExp, visitIntegerLiteralExp, visitInvalidLiteralExp, visitInvalidType, visitIterateExp, visitIteration, visitIteratorExp, visitLetExp, visitLibrary, visitLiteralExp, visitLoopExp, visitMessageExp, visitMessageType, visitModel, visitMultiplicityElement, visitNamespace, visitNavigationCallExp, visitNullLiteralExp, visitNumericLiteralExp, visitOCLExpression, visitOpaqueExpression, visitOperationCallExp, visitOperationTemplateParameter, visitOrderedSetType, visitPackage, visitPackageableElement, visitParameter, visitParameterableElement, visitPrecedence, visitPrimitiveLiteralExp, visitPrimitiveType, visitProperty, visitPropertyCallExp, visitRealLiteralExp, visitSelfType, visitSendSignalAction, visitSequenceType, visitSetType, visitSignal, visitState, visitStateExp, visitStringLiteralExp, visitTemplateableElement, visitTemplateBinding, visitTemplateParameterSubstitution, visitTemplateParameterType, visitTemplateSignature, visitTupleLiteralExp, visitTupleLiteralPart, visitTypeExp, visitTypeTemplateParameter, visitUnlimitedNaturalLiteralExp, visitUnspecifiedType, visitUnspecifiedValueExp, visitValueSpecification, visitVariable, visitVariableDeclaration, visitVariableExp, visitVoidType

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

getAdapter, visit

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Methods inherited from interface org.eclipse.ocl.examples.pivot.util.Visitor

getAdapter

Constructor Detail

PivotPrettyPrintVisitor

public PivotPrettyPrintVisitor(PrettyPrinter context)

Method Detail

safeVisit

public java.lang.Object safeVisit(Visitable element)

Description copied from class: AbstractVisitor

A null-safe visitation of the specified visitable.

Overrides:

safeVisit in class AbstractVisitor<java.lang.Object,PrettyPrinter>

Parameters:

element - a visitable, or null

Returns:

null if the visitable is null; otherwise, the result of visiting it

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object

visitClass

public java.lang.Object visitClass(Class object)

Specified by:

visitClass in interface Visitor<java.lang.Object>

Overrides:

visitClass in class AbstractExtendingVisitor<java.lang.Object,PrettyPrinter>

visitLambdaType

public java.lang.Object visitLambdaType(LambdaType object)

Specified by:

visitLambdaType in interface Visitor<java.lang.Object>

Overrides:

visitLambdaType in class AbstractExtendingVisitor<java.lang.Object,PrettyPrinter>

visitNamedElement

public java.lang.Object visitNamedElement(NamedElement object)

Specified by:

visitNamedElement in interface Visitor<java.lang.Object>

Overrides:

visitNamedElement in class AbstractExtendingVisitor<java.lang.Object,PrettyPrinter>

visitOperation

public java.lang.Object visitOperation(Operation object)

Specified by:

visitOperation in interface Visitor<java.lang.Object>

Overrides:

visitOperation in class AbstractExtendingVisitor<java.lang.Object,PrettyPrinter>

visitTemplateParameter

public java.lang.Object visitTemplateParameter(TemplateParameter object)

Specified by:

visitTemplateParameter in interface Visitor<java.lang.Object>

Overrides:

visitTemplateParameter in class AbstractExtendingVisitor<java.lang.Object,PrettyPrinter>

visitTupleType

public java.lang.Object visitTupleType(TupleType object)

Specified by:

visitTupleType in interface Visitor<java.lang.Object>

Overrides:

visitTupleType in class AbstractExtendingVisitor<java.lang.Object,PrettyPrinter>

visitType

public java.lang.Object visitType(Type object)

Specified by:

visitType in interface Visitor<java.lang.Object>

Overrides:

visitType in class AbstractExtendingVisitor<java.lang.Object,PrettyPrinter>

visitTypedElement

public java.lang.Object visitTypedElement(TypedElement object)

Specified by:

visitTypedElement in interface Visitor<java.lang.Object>

Overrides:

visitTypedElement in class AbstractExtendingVisitor<java.lang.Object,PrettyPrinter>

visitTypedMultiplicityElement

public java.lang.Object visitTypedMultiplicityElement(TypedMultiplicityElement object)

Specified by:

visitTypedMultiplicityElement in interface Visitor<java.lang.Object>

Overrides:

visitTypedMultiplicityElement in class AbstractExtendingVisitor<java.lang.Object,PrettyPrinter>

visiting

public java.lang.String 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.