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

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,Namespace>
          extended by org.eclipse.ocl.examples.pivot.prettyprint.PrettyPrintTypeVisitor
All Implemented Interfaces:
Visitor<java.lang.Object,Namespace>

public class PrettyPrintTypeVisitor
extends AbstractExtendingVisitor<java.lang.Object,Namespace>


Field Summary
static java.lang.String NULL_PLACEHOLDER
           
static java.util.Set<java.lang.String> reservedNames
           
static java.util.Set<java.lang.String> restrictedNames
           
protected  java.lang.StringBuffer s
           
protected  Namespace scope
           
 
Fields inherited from class org.eclipse.ocl.examples.pivot.util.AbstractVisitor
context
 
Constructor Summary
PrettyPrintTypeVisitor(Namespace scope)
          Initializes me.
 
Method Summary
protected  void append(java.lang.Number number)
           
protected  void append(java.lang.String string)
           
protected  void appendElement(Element element)
           
protected  void appendName(NamedElement object)
           
protected  void appendName(NamedElement object, java.util.Set<java.lang.String> keywords)
           
protected  void appendParameters(Operation operation)
           
protected  void appendParent(org.eclipse.emf.ecore.EObject scope, Element element, java.lang.String parentSeparator)
           
protected  void appendTemplateBindings(TemplateableElement typeRef)
           
 void appendTemplateParameters(TemplateableElement templateableElement)
           
 void appendTypedMultiplicity(TypedMultiplicityElement object)
           
static java.lang.String prettyPrint(Visitable element, Namespace scope)
           
 java.lang.String toString()
           
 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.String visitNamedElement(NamedElement object)
           
 java.lang.Object visitOperation(Operation operation)
           
 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, visitClass, visitClassifierType, visitCollectionItem, visitCollectionLiteralExp, visitCollectionLiteralPart, visitCollectionRange, visitCollectionType, visitComment, visitConstraint, visitDataType, visitDetail, visitElement, visitEnumeration, visitEnumerationLiteral, visitEnumLiteralExp, visitExpressionInOcl, visitFeature, visitFeatureCallExp, visitIfExp, visitIntegerLiteralExp, visitInvalidLiteralExp, visitInvalidType, visitIterateExp, visitIteration, visitIteratorExp, visitLetExp, visitLibrary, visitLiteralExp, visitLoopExp, visitMessageExp, visitMessageType, visitMonikeredElement, visitMultiplicityElement, visitNamespace, visitNavigationCallExp, visitNullLiteralExp, visitNumericLiteralExp, visitOclExpression, visitOpaqueExpression, visitOperationCallExp, visitOperationTemplateParameter, visitOrderedSetType, visitPackage, visitPackageableElement, visitParameter, visitParameterableElement, visitPrecedence, visitPrimitiveLiteralExp, visitPrimitiveType, visitProperty, visitPropertyCallExp, visitRealLiteralExp, 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, safeVisit, 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
 

Field Detail

NULL_PLACEHOLDER

public static final java.lang.String NULL_PLACEHOLDER
See Also:
Constant Field Values

reservedNames

public static java.util.Set<java.lang.String> reservedNames

restrictedNames

public static java.util.Set<java.lang.String> restrictedNames

scope

protected final Namespace scope

s

protected final java.lang.StringBuffer s
Constructor Detail

PrettyPrintTypeVisitor

public PrettyPrintTypeVisitor(Namespace scope)
Initializes me.

Method Detail

prettyPrint

public static java.lang.String prettyPrint(Visitable element,
                                           Namespace scope)

append

protected void append(java.lang.Number number)

append

protected void append(java.lang.String string)

appendElement

protected void appendElement(Element element)

appendName

protected void appendName(NamedElement object)

appendName

protected void appendName(NamedElement object,
                          java.util.Set<java.lang.String> keywords)

appendParameters

protected void appendParameters(Operation operation)

appendParent

protected void appendParent(org.eclipse.emf.ecore.EObject scope,
                            Element element,
                            java.lang.String parentSeparator)

appendTemplateBindings

protected void appendTemplateBindings(TemplateableElement typeRef)

appendTemplateParameters

public void appendTemplateParameters(TemplateableElement templateableElement)

appendTypedMultiplicity

public void appendTypedMultiplicity(TypedMultiplicityElement object)

toString

public java.lang.String toString()
Overrides:
toString in class java.lang.Object

visitLambdaType

public java.lang.Object visitLambdaType(LambdaType object)
Specified by:
visitLambdaType in interface Visitor<java.lang.Object,Namespace>
Overrides:
visitLambdaType in class AbstractExtendingVisitor<java.lang.Object,Namespace>

visitNamedElement

public java.lang.String visitNamedElement(NamedElement object)
Specified by:
visitNamedElement in interface Visitor<java.lang.Object,Namespace>
Overrides:
visitNamedElement in class AbstractExtendingVisitor<java.lang.Object,Namespace>

visitOperation

public java.lang.Object visitOperation(Operation operation)
Specified by:
visitOperation in interface Visitor<java.lang.Object,Namespace>
Overrides:
visitOperation in class AbstractExtendingVisitor<java.lang.Object,Namespace>

visitTemplateParameter

public java.lang.Object visitTemplateParameter(TemplateParameter object)
Specified by:
visitTemplateParameter in interface Visitor<java.lang.Object,Namespace>
Overrides:
visitTemplateParameter in class AbstractExtendingVisitor<java.lang.Object,Namespace>

visitTupleType

public java.lang.Object visitTupleType(TupleType object)
Specified by:
visitTupleType in interface Visitor<java.lang.Object,Namespace>
Overrides:
visitTupleType in class AbstractExtendingVisitor<java.lang.Object,Namespace>

visitType

public java.lang.Object visitType(Type object)
Specified by:
visitType in interface Visitor<java.lang.Object,Namespace>
Overrides:
visitType in class AbstractExtendingVisitor<java.lang.Object,Namespace>

visitTypedElement

public java.lang.Object visitTypedElement(TypedElement object)
Specified by:
visitTypedElement in interface Visitor<java.lang.Object,Namespace>
Overrides:
visitTypedElement in class AbstractExtendingVisitor<java.lang.Object,Namespace>

visitTypedMultiplicityElement

public java.lang.Object visitTypedMultiplicityElement(TypedMultiplicityElement object)
Specified by:
visitTypedMultiplicityElement in interface Visitor<java.lang.Object,Namespace>
Overrides:
visitTypedMultiplicityElement in class AbstractExtendingVisitor<java.lang.Object,Namespace>

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.