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

java.lang.Object
  extended by org.eclipse.ocl.examples.pivot.util.AbstractVisitor<R,C>
      extended by org.eclipse.ocl.examples.pivot.util.AbstractExtendingVisitor<java.lang.Object,PrettyPrinter>
          extended by org.eclipse.ocl.examples.pivot.prettyprint.PrettyPrintVisitor
All Implemented Interfaces:
Visitor<java.lang.Object>
Direct Known Subclasses:
EssentialOCLPrettyPrintVisitor

public class PrettyPrintVisitor
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
PrettyPrintVisitor(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 visitAnyType(AnyType object)
           
 java.lang.Object visitClass(Class object)
           
 java.lang.Object visitCollectionType(CollectionType 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 visitOpaqueExpression(OpaqueExpression object)
           
 java.lang.Object visitOperation(Operation object)
           
 java.lang.Object visitPrimitiveType(PrimitiveType 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, visitAssociationClass, visitAssociationClassCallExp, visitBagType, visitBehavior, visitBooleanLiteralExp, visitCallExp, visitCallOperationAction, visitCollectionItem, visitCollectionLiteralExp, visitCollectionLiteralPart, visitCollectionRange, visitComment, visitConnectionPointReference, visitConstraint, visitConstructorExp, visitConstructorPart, visitDataType, visitDetail, visitDynamicElement, visitDynamicProperty, visitDynamicType, visitElement, visitElementExtension, visitEnumeration, visitEnumerationLiteral, visitEnumLiteralExp, visitExpressionInOCL, visitFeature, visitFeatureCallExp, visitFinalState, visitIfExp, visitImport, visitIntegerLiteralExp, visitInvalidLiteralExp, visitInvalidType, visitIterateExp, visitIteration, visitIteratorExp, visitLetExp, visitLibrary, visitLiteralExp, visitLoopExp, visitMessageExp, visitMessageType, visitMetaclass, visitNamespace, visitNavigationCallExp, visitNullLiteralExp, visitNumericLiteralExp, visitOCLExpression, visitOperationCallExp, visitOperationTemplateParameter, visitOppositePropertyCallExp, visitOrderedSetType, visitPackage, visitPackageableElement, visitParameter, visitParameterableElement, visitPrecedence, visitPrimitiveLiteralExp, visitProfile, visitProfileApplication, visitProperty, visitPropertyCallExp, visitPseudostate, visitRealLiteralExp, visitRegion, visitRoot, visitSelfType, visitSendSignalAction, visitSequenceType, visitSetType, visitSignal, visitState, visitStateExp, visitStateMachine, visitStereotype, visitStringLiteralExp, visitTemplateableElement, visitTemplateBinding, visitTemplateParameterSubstitution, visitTemplateParameterType, visitTemplateSignature, visitTransition, visitTrigger, visitTupleLiteralExp, visitTupleLiteralPart, visitTypeExp, visitTypeExtension, visitTypeTemplateParameter, visitUnlimitedNaturalLiteralExp, visitUnspecifiedType, visitUnspecifiedValueExp, visitValueSpecification, visitVariable, visitVariableDeclaration, visitVariableExp, visitVertex, 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

PrettyPrintVisitor

public PrettyPrintVisitor(@NonNull
                          PrettyPrinter context)
Method Detail

safeVisit

public java.lang.Object safeVisit(@Nullable
                                  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

visitAnyType

@Nullable
public java.lang.Object visitAnyType(@NonNull
                                              AnyType object)
Specified by:
visitAnyType in interface Visitor<java.lang.Object>
Overrides:
visitAnyType in class AbstractExtendingVisitor<java.lang.Object,PrettyPrinter>

visitClass

public java.lang.Object visitClass(@NonNull
                                   Class object)
Specified by:
visitClass in interface Visitor<java.lang.Object>
Overrides:
visitClass in class AbstractExtendingVisitor<java.lang.Object,PrettyPrinter>

visitCollectionType

public java.lang.Object visitCollectionType(@NonNull
                                            CollectionType object)
Specified by:
visitCollectionType in interface Visitor<java.lang.Object>
Overrides:
visitCollectionType in class AbstractExtendingVisitor<java.lang.Object,PrettyPrinter>

visitLambdaType

public java.lang.Object visitLambdaType(@NonNull
                                        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(@NonNull
                                          NamedElement object)
Specified by:
visitNamedElement in interface Visitor<java.lang.Object>
Overrides:
visitNamedElement in class AbstractExtendingVisitor<java.lang.Object,PrettyPrinter>

visitOpaqueExpression

public java.lang.Object visitOpaqueExpression(@NonNull
                                              OpaqueExpression object)
Specified by:
visitOpaqueExpression in interface Visitor<java.lang.Object>
Overrides:
visitOpaqueExpression in class AbstractExtendingVisitor<java.lang.Object,PrettyPrinter>

visitOperation

public java.lang.Object visitOperation(@NonNull
                                       Operation object)
Specified by:
visitOperation in interface Visitor<java.lang.Object>
Overrides:
visitOperation in class AbstractExtendingVisitor<java.lang.Object,PrettyPrinter>

visitPrimitiveType

public java.lang.Object visitPrimitiveType(@NonNull
                                           PrimitiveType object)
Specified by:
visitPrimitiveType in interface Visitor<java.lang.Object>
Overrides:
visitPrimitiveType in class AbstractExtendingVisitor<java.lang.Object,PrettyPrinter>

visitTemplateParameter

public java.lang.Object visitTemplateParameter(@NonNull
                                               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(@NonNull
                                       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(@NonNull
                                  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(@NonNull
                                          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(@NonNull
                                                      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(@NonNull
                                 Visitable visitable)
Description copied from interface: Visitor
Return the result of visiting a visitable for which no more specific pivot type method is available.