org.eclipse.ocl.pivot.utilities

Class AS2XMIidVisitor

java.lang.Object

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

org.eclipse.ocl.pivot.util.AbstractExtendingVisitor<java.lang.Boolean,AS2XMIid>

org.eclipse.ocl.pivot.utilities.AS2XMIidVisitor

All Implemented Interfaces:

Visitor<java.lang.Boolean>

Direct Known Subclasses:

CompleteOCLAS2XMIidVisitor, PivotAS2XMIidVisitor

public class AS2XMIidVisitor
extends AbstractExtendingVisitor<java.lang.Boolean,AS2XMIid>

The AS2XMIidVisitor generates an xmi:id for an AS element. Using one of three policies.

null - no xmi:id generated - saves space

false - xmi:id generated/reuses UUID - UUID only used internally so no need for predicatability

true - xmi:id generated/reuses friendly name - ID may be independently generated - must be predictable

Simple elements such as Package/Type/Property get a dot-separated hierarchical name.

Operations get a dot-separated hierarchical name suffixed by dot-dot-separated argument types.

Internally referenceable elements such as TemplateSignature get a UUID, reusing any xmi:id provided in the context Moniker to XMIId Map.

Field Summary

Fields

Modifier and Type	Field and Description
static java.lang.String	ACCUMULATOR_PREFIX
static java.lang.String	BODYCONDITION_PREFIX
static java.lang.String	ENUMERATION_LITERAL_PREFIX
static java.lang.String	FRAGMENT_SEPARATOR
static java.lang.String	INVARIANT_PREFIX
static java.lang.String	ITERATION_PREFIX
static java.lang.String	ITERATOR_PREFIX
static java.lang.String	NULL_MARKER
static java.lang.String	OPERATION_PARAMETER_SEPARATOR
static java.lang.String	OPERATION_PREFIX
static int	OVERFLOW_LIMIT
static java.lang.String	OVERFLOW_MARKER
static java.lang.String	PACKAGE_PREFIX
static java.lang.String	PARAMETER_PREFIX
static java.lang.String	POSTCONDITION_PREFIX
static java.lang.String	PRECEDENCE_PREFIX
static java.lang.String	PRECONDITION_PREFIX
static java.lang.String	PROPERTY_PREFIX
protected java.lang.StringBuilder	s
static java.lang.String	SCOPE_SEPARATOR
static java.lang.String	TEMPLATE_PARAMETER_PREFIX
static java.lang.String	TEMPLATE_PARAMETER_SEPARATOR
static java.lang.String	TEMPLATE_SIGNATURE_PREFIX
static java.lang.String	TYPE_PREFIX

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

context

Constructor Summary

Constructors

Constructor and Description
AS2XMIidVisitor(AS2XMIid context)

Method Summary

Modifier and Type	Method and Description
protected void	appendName(java.lang.String name)
protected void	appendNameOf(java.lang.Object element)
protected void	appendOperation(Operation object)
protected void	appendParent(org.eclipse.emf.ecore.EObject element)
protected void	appendType(Type type)
java.lang.String	getID(Element element, boolean internalUUIDs)
java.lang.String	toString()
java.lang.Boolean	visitClass(Class object)
java.lang.Boolean	visitCollectionType(CollectionType object)
java.lang.Boolean	visitConstraint(Constraint object)
java.lang.Boolean	visitElement(Element object)
java.lang.Boolean	visitEnumerationLiteral(EnumerationLiteral object)
java.lang.Boolean	visiting(Visitable visitable) Return the result of visiting a visitable for which no more specific pivot type method is available.
java.lang.Boolean	visitIteration(Iteration object)
java.lang.Boolean	visitLambdaType(LambdaType object)
java.lang.Boolean	visitMapType(MapType object)
java.lang.Boolean	visitOperation(Operation object)
java.lang.Boolean	visitPackage(Package object)
java.lang.Boolean	visitParameter(Parameter object)
java.lang.Boolean	visitPrecedence(Precedence object)
java.lang.Boolean	visitPrimitiveType(PrimitiveType object)
java.lang.Boolean	visitProperty(Property object)
java.lang.Boolean	visitSelfType(SelfType object)
java.lang.Boolean	visitTemplateParameter(TemplateParameter object)
java.lang.Boolean	visitTemplateSignature(TemplateSignature object)
java.lang.Boolean	visitTupleType(TupleType object)
java.lang.Boolean	visitVariableDeclaration(VariableDeclaration object)

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

visitAnnotation, visitAnyType, visitAssociationClass, visitAssociationClassCallExp, visitBagType, visitBehavior, visitBooleanLiteralExp, visitCallExp, visitCallOperationAction, visitCollectionItem, visitCollectionLiteralExp, visitCollectionLiteralPart, visitCollectionRange, visitComment, visitCompleteClass, visitCompleteEnvironment, visitCompleteModel, visitCompletePackage, visitConnectionPointReference, visitDataType, visitDetail, visitDynamicBehavior, visitDynamicElement, visitDynamicProperty, visitDynamicType, visitDynamicValueSpecification, visitElementExtension, visitEnumeration, visitEnumLiteralExp, visitExpressionInOCL, visitFeature, visitFeatureCallExp, visitFinalState, visitIfExp, visitImport, visitInstanceSpecification, visitIntegerLiteralExp, visitInvalidLiteralExp, visitInvalidType, visitIterateExp, visitIteratorExp, visitLanguageExpression, visitLetExp, visitLibrary, visitLiteralExp, visitLoopExp, visitMapLiteralExp, visitMapLiteralPart, visitMessageExp, visitMessageType, visitModel, visitNamedElement, visitNamespace, visitNavigationCallExp, visitNullLiteralExp, visitNumericLiteralExp, visitOCLExpression, visitOperationCallExp, visitOppositePropertyCallExp, visitOrderedSetType, visitOrphanCompletePackage, visitPrimitiveCompletePackage, visitPrimitiveLiteralExp, visitProfile, visitProfileApplication, visitPropertyCallExp, visitPseudostate, visitRealLiteralExp, visitRegion, visitSendSignalAction, visitSequenceType, visitSetType, visitShadowExp, visitShadowPart, visitSignal, visitSlot, visitStandardLibrary, visitState, visitStateExp, visitStateMachine, visitStereotype, visitStereotypeExtender, visitStringLiteralExp, visitTemplateableElement, visitTemplateBinding, visitTemplateParameterSubstitution, visitTransition, visitTrigger, visitTupleLiteralExp, visitTupleLiteralPart, visitType, visitTypedElement, visitTypeExp, visitUnlimitedNaturalLiteralExp, visitUnspecifiedValueExp, visitValueSpecification, visitVariable, visitVariableExp, visitVertex, visitVoidType, visitWildcardType

Methods inherited from class org.eclipse.ocl.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.pivot.util.Visitor

getAdapter

Field Detail

OVERFLOW_LIMIT

public static final int OVERFLOW_LIMIT

See Also:

Constant Field Values

OVERFLOW_MARKER

@NonNull
public static final java.lang.String OVERFLOW_MARKER

See Also:

Constant Field Values

NULL_MARKER

@NonNull
public static final java.lang.String NULL_MARKER

See Also:

Constant Field Values

FRAGMENT_SEPARATOR

@NonNull
public static final java.lang.String FRAGMENT_SEPARATOR

See Also:

Constant Field Values

ACCUMULATOR_PREFIX

@NonNull
public static final java.lang.String ACCUMULATOR_PREFIX

See Also:

Constant Field Values

BODYCONDITION_PREFIX

@NonNull
public static final java.lang.String BODYCONDITION_PREFIX

See Also:

Constant Field Values

ENUMERATION_LITERAL_PREFIX

@NonNull
public static final java.lang.String ENUMERATION_LITERAL_PREFIX

Since:

1.1

See Also:

Constant Field Values

INVARIANT_PREFIX

@NonNull
public static final java.lang.String INVARIANT_PREFIX

See Also:

Constant Field Values

ITERATION_PREFIX

@NonNull
public static final java.lang.String ITERATION_PREFIX

See Also:

Constant Field Values

ITERATOR_PREFIX

@NonNull
public static final java.lang.String ITERATOR_PREFIX

See Also:

Constant Field Values

OPERATION_PREFIX

@NonNull
public static final java.lang.String OPERATION_PREFIX

See Also:

Constant Field Values

PARAMETER_PREFIX

@NonNull
public static final java.lang.String PARAMETER_PREFIX

See Also:

Constant Field Values

PACKAGE_PREFIX

@NonNull
public static final java.lang.String PACKAGE_PREFIX

See Also:

Constant Field Values

POSTCONDITION_PREFIX

@NonNull
public static final java.lang.String POSTCONDITION_PREFIX

See Also:

Constant Field Values

PRECONDITION_PREFIX

@NonNull
public static final java.lang.String PRECONDITION_PREFIX

See Also:

Constant Field Values

PRECEDENCE_PREFIX

@NonNull
public static final java.lang.String PRECEDENCE_PREFIX

See Also:

Constant Field Values

PROPERTY_PREFIX

@NonNull
public static final java.lang.String PROPERTY_PREFIX

See Also:

Constant Field Values

TEMPLATE_PARAMETER_PREFIX

@NonNull
public static final java.lang.String TEMPLATE_PARAMETER_PREFIX

See Also:

Constant Field Values

TEMPLATE_SIGNATURE_PREFIX

@NonNull
public static final java.lang.String TEMPLATE_SIGNATURE_PREFIX

See Also:

Constant Field Values

TYPE_PREFIX

@NonNull
public static final java.lang.String TYPE_PREFIX

See Also:

Constant Field Values

OPERATION_PARAMETER_SEPARATOR

@NonNull
public static final java.lang.String OPERATION_PARAMETER_SEPARATOR

See Also:

Constant Field Values

SCOPE_SEPARATOR

@NonNull
public static final java.lang.String SCOPE_SEPARATOR

See Also:

Constant Field Values

TEMPLATE_PARAMETER_SEPARATOR

@NonNull
public static final java.lang.String TEMPLATE_PARAMETER_SEPARATOR

See Also:

Constant Field Values

s

@NonNull
protected final java.lang.StringBuilder s

Constructor Detail

AS2XMIidVisitor

public AS2XMIidVisitor(@NonNull
                       AS2XMIid context)

Method Detail

appendName

protected void appendName(@Nullable
                          java.lang.String name)

appendNameOf

protected void appendNameOf(@NonNull
                            java.lang.Object element)

appendOperation

protected void appendOperation(Operation object)

appendParent

protected void appendParent(@Nullable
                            org.eclipse.emf.ecore.EObject element)

appendType

protected void appendType(@Nullable
                          Type type)

getID

@Nullable
public java.lang.String getID(@NonNull
                                         Element element,
                                         boolean internalUUIDs)

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object

visitClass

public java.lang.Boolean visitClass(Class object)

Specified by:

visitClass in interface Visitor<java.lang.Boolean>

Overrides:

visitClass in class AbstractExtendingVisitor<java.lang.Boolean,AS2XMIid>

visitCollectionType

@Nullable
public java.lang.Boolean visitCollectionType(@NonNull
                                                        CollectionType object)

Specified by:

visitCollectionType in interface Visitor<java.lang.Boolean>

Overrides:

visitCollectionType in class AbstractExtendingVisitor<java.lang.Boolean,AS2XMIid>

visitConstraint

@Nullable
public java.lang.Boolean visitConstraint(@NonNull
                                                    Constraint object)

Specified by:

visitConstraint in interface Visitor<java.lang.Boolean>

Overrides:

visitConstraint in class AbstractExtendingVisitor<java.lang.Boolean,AS2XMIid>

visitElement

@Nullable
public java.lang.Boolean visitElement(@NonNull
                                                 Element object)

Specified by:

visitElement in interface Visitor<java.lang.Boolean>

Overrides:

visitElement in class AbstractExtendingVisitor<java.lang.Boolean,AS2XMIid>

visitEnumerationLiteral

public java.lang.Boolean visitEnumerationLiteral(@NonNull
                                                 EnumerationLiteral object)

Specified by:

visitEnumerationLiteral in interface Visitor<java.lang.Boolean>

Overrides:

visitEnumerationLiteral in class AbstractExtendingVisitor<java.lang.Boolean,AS2XMIid>

Since:

1.1

visitLambdaType

@Nullable
public java.lang.Boolean visitLambdaType(@NonNull
                                                    LambdaType object)

Specified by:

visitLambdaType in interface Visitor<java.lang.Boolean>

Overrides:

visitLambdaType in class AbstractExtendingVisitor<java.lang.Boolean,AS2XMIid>

visitIteration

public java.lang.Boolean visitIteration(@NonNull
                                        Iteration object)

Specified by:

visitIteration in interface Visitor<java.lang.Boolean>

Overrides:

visitIteration in class AbstractExtendingVisitor<java.lang.Boolean,AS2XMIid>

visitMapType

@Nullable
public java.lang.Boolean visitMapType(@NonNull
                                                 MapType object)

Specified by:

visitMapType in interface Visitor<java.lang.Boolean>

Overrides:

visitMapType in class AbstractExtendingVisitor<java.lang.Boolean,AS2XMIid>

visitOperation

@Nullable
public java.lang.Boolean visitOperation(@NonNull
                                                   Operation object)

Specified by:

visitOperation in interface Visitor<java.lang.Boolean>

Overrides:

visitOperation in class AbstractExtendingVisitor<java.lang.Boolean,AS2XMIid>

visitPackage

@Nullable
public java.lang.Boolean visitPackage(Package object)

Specified by:

visitPackage in interface Visitor<java.lang.Boolean>

Overrides:

visitPackage in class AbstractExtendingVisitor<java.lang.Boolean,AS2XMIid>

visitParameter

@Nullable
public java.lang.Boolean visitParameter(@NonNull
                                                   Parameter object)

Specified by:

visitParameter in interface Visitor<java.lang.Boolean>

Overrides:

visitParameter in class AbstractExtendingVisitor<java.lang.Boolean,AS2XMIid>

visitPrecedence

@Nullable
public java.lang.Boolean visitPrecedence(@NonNull
                                                    Precedence object)

Specified by:

visitPrecedence in interface Visitor<java.lang.Boolean>

Overrides:

visitPrecedence in class AbstractExtendingVisitor<java.lang.Boolean,AS2XMIid>

visitPrimitiveType

@Nullable
public java.lang.Boolean visitPrimitiveType(@NonNull
                                                       PrimitiveType object)

Specified by:

visitPrimitiveType in interface Visitor<java.lang.Boolean>

Overrides:

visitPrimitiveType in class AbstractExtendingVisitor<java.lang.Boolean,AS2XMIid>

visitProperty

@Nullable
public java.lang.Boolean visitProperty(@NonNull
                                                  Property object)

Specified by:

visitProperty in interface Visitor<java.lang.Boolean>

Overrides:

visitProperty in class AbstractExtendingVisitor<java.lang.Boolean,AS2XMIid>

visitSelfType

@Nullable
public java.lang.Boolean visitSelfType(@NonNull
                                                  SelfType object)

Specified by:

visitSelfType in interface Visitor<java.lang.Boolean>

Overrides:

visitSelfType in class AbstractExtendingVisitor<java.lang.Boolean,AS2XMIid>

visitTemplateParameter

@Nullable
public java.lang.Boolean visitTemplateParameter(@NonNull
                                                           TemplateParameter object)

Specified by:

visitTemplateParameter in interface Visitor<java.lang.Boolean>

Overrides:

visitTemplateParameter in class AbstractExtendingVisitor<java.lang.Boolean,AS2XMIid>

visitTemplateSignature

@Nullable
public java.lang.Boolean visitTemplateSignature(@NonNull
                                                           TemplateSignature object)

Specified by:

visitTemplateSignature in interface Visitor<java.lang.Boolean>

Overrides:

visitTemplateSignature in class AbstractExtendingVisitor<java.lang.Boolean,AS2XMIid>

visitTupleType

@Nullable
public java.lang.Boolean visitTupleType(@NonNull
                                                   TupleType object)

Specified by:

visitTupleType in interface Visitor<java.lang.Boolean>

Overrides:

visitTupleType in class AbstractExtendingVisitor<java.lang.Boolean,AS2XMIid>

visitVariableDeclaration

@Nullable
public java.lang.Boolean visitVariableDeclaration(@NonNull
                                                             VariableDeclaration object)

Specified by:

visitVariableDeclaration in interface Visitor<java.lang.Boolean>

Overrides:

visitVariableDeclaration in class AbstractExtendingVisitor<java.lang.Boolean,AS2XMIid>

visiting

@Nullable
public java.lang.Boolean 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.