| <?xml version="1.0" encoding="UTF-8"?> |
| <pivot:Model xmi:version="2.0" xmlns:xmi="http://www.omg.org/XMI" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xmlns:pivot="http://www.eclipse.org/ocl/2015/Pivot" |
| xsi:schemaLocation="http://www.eclipse.org/ocl/2015/Pivot java://org.eclipse.ocl.pivot.PivotPackage" xmi:id="AAAAA" externalURI="platform:/resource/org.eclipse.qvtd.pivot.qvtbase/model/QVTbase.ecore" name="QVTbase.ecore" xmiidVersion="1"> |
| <ownedPackages xmi:id="6+ray" URI="http://www.eclipse.org/qvt/2015/QVTbase" name="qvtbase" nsPrefix="qvtb"> |
| <ownedClasses xmi:id="Phhr+" name="BaseModel" superClasses="../../org.eclipse.ocl.pivot/model/Pivot.ecore.oclas#aKB,e"/> |
| <ownedClasses xmi:id="7pR2u" isAbstract="true" name="Domain" superClasses="../../org.eclipse.ocl.pivot/model/Pivot.ecore.oclas#0kVqz ../../org.eclipse.ocl.pivot/model/Pivot.ecore.oclas#dXAFV"> |
| <ownedInvariants xmi:id="G93EB" isCallable="true" name="NameIsTypedModelName"> |
| <ownedSpecification xsi:type="pivot:ExpressionInOCL" body="
	typedModel <> null implies name = typedModel.name

"/> |
| </ownedInvariants> |
| <ownedInvariants xmi:id="5OsGZ" isCallable="true" name="TypedModelIsTransformationModelParameter"> |
| <ownedSpecification xsi:type="pivot:ExpressionInOCL" body="
	oclContainer().oclIsKindOf(Transformation) and typedModel <> null implies
	oclContainer().oclAsType(Transformation).modelParameter->includes(typedModel)

"/> |
| </ownedInvariants> |
| <ownedProperties xmi:id=",1+xi" isUnsettable="true" name="isCheckable" type="pivot:PrimitiveType http://www.eclipse.org/ocl/2015/Library.oclas#XEMMs"/> |
| <ownedProperties xmi:id="ZXmmB" isUnsettable="true" name="isEnforceable" type="pivot:PrimitiveType http://www.eclipse.org/ocl/2015/Library.oclas#XEMMs"/> |
| <ownedProperties xmi:id="jwI+E" isTransient="true" name="rule" opposite="#DtMdd" type="#zS2p0"/> |
| <ownedProperties xmi:id="GoV0K" isRequired="false" name="typedModel" type="#WqJYx"/> |
| </ownedClasses> |
| <ownedClasses xmi:id="PGjqK" name="Function" superClasses="../../org.eclipse.ocl.pivot/model/Pivot.ecore.oclas#Yz,F1"> |
| <ownedInvariants xmi:id="S1Iog" isCallable="true" name="ParametersAreFunctionParameter"> |
| <ownedSpecification xsi:type="pivot:ExpressionInOCL" body="
	ownedParameters->forAll(oclIsKindOf(FunctionParameter))

"/> |
| </ownedInvariants> |
| <ownedInvariants xmi:id="5hGIF" isCallable="true" name="ReturnTypeIsQueryType"> |
| <ownedSpecification xsi:type="pivot:ExpressionInOCL" body="
	queryExpression <> null implies queryExpression.type?.conformsTo(type)

"/> |
| </ownedInvariants> |
| <ownedProperties xmi:id="r1ilM" isComposite="true" isRequired="false" name="queryExpression" type="pivot:Class ../../org.eclipse.ocl.pivot/model/Pivot.ecore.oclas#BFtK4"/> |
| </ownedClasses> |
| <ownedClasses xmi:id="owsj9" name="FunctionParameter" superClasses="../../org.eclipse.ocl.pivot/model/Pivot.ecore.oclas#as9eG"/> |
| <ownedClasses xmi:id="H0dko" name="Pattern" superClasses="../../org.eclipse.ocl.pivot/model/Pivot.ecore.oclas#t5rpa"> |
| <ownedProperties xmi:id="056L0" name="bindsTo" type="#+iD8q"/> |
| <ownedProperties xmi:id="6cYSq" isComposite="true" name="predicate" opposite="#eKpfP" type="#XYdvW"/> |
| </ownedClasses> |
| <ownedClasses xmi:id="uMSmb" name="Predicate" superClasses="../../org.eclipse.ocl.pivot/model/Pivot.ecore.oclas#t5rpa"> |
| <ownedInvariants xmi:id="xFRwU" isCallable="true" name="ConditionIsBoolean"> |
| <ownedSpecification xsi:type="pivot:ExpressionInOCL" body="
conditionExpression.type = Boolean

"/> |
| </ownedInvariants> |
| <ownedProperties xmi:id="h0xFs" isComposite="true" name="conditionExpression" type="pivot:Class ../../org.eclipse.ocl.pivot/model/Pivot.ecore.oclas#BFtK4"/> |
| <ownedProperties xmi:id="eKpfP" isTransient="true" name="pattern" opposite="#6cYSq" type="#H0dko"/> |
| </ownedClasses> |
| <ownedClasses xmi:id="zS2p0" isAbstract="true" name="Rule" superClasses="../../org.eclipse.ocl.pivot/model/Pivot.ecore.oclas#0kVqz"> |
| <ownedInvariants xmi:id="JBzn4" isCallable="true" name="DomainNameIsUnique"> |
| <ownedSpecification xsi:type="pivot:ExpressionInOCL" body="
	domain->isUnique(name)

"/> |
| </ownedInvariants> |
| <ownedInvariants xmi:id=",MTyQ" isCallable="true" name="NoOverridesCycle"> |
| <ownedSpecification xsi:type="pivot:ExpressionInOCL" body="
	overridden->closure(overridden)->excludes(self)

"/> |
| </ownedInvariants> |
| <ownedInvariants xmi:id="PB949" isCallable="true" name="OverridingRuleOverridesAllDomains"> |
| <ownedSpecification xsi:type="pivot:ExpressionInOCL" body="
	overridden <> null implies
	overridden.domain->forAll(od | self.domain.name->includes(od.name))

"/> |
| </ownedInvariants> |
| <ownedProperties xmi:id="DtMdd" isComposite="true" name="domain" opposite="#jwI+E" type="#vBkLs"/> |
| <ownedProperties xmi:id="r3ogk" defaultValueString="false" name="isAbstract" type="pivot:PrimitiveType http://www.eclipse.org/ocl/2015/Library.oclas#XEMMs"/> |
| <ownedProperties xmi:id="zgFwC" isRequired="false" name="overridden" opposite="#mSVz," type="#zS2p0"/> |
| <ownedProperties xmi:id="mSVz," name="overrides" opposite="#zgFwC" type="#n3g5w"/> |
| <ownedProperties xmi:id="Img5I" isRequired="false" isResolveProxies="false" isTransient="true" name="transformation" opposite="#UVEee" |
| type="#AjDLV"/> |
| </ownedClasses> |
| <ownedClasses xmi:id="AjDLV" name="Transformation" superClasses="../../org.eclipse.ocl.pivot/model/Pivot.ecore.oclas#pDcbe"> |
| <ownedInvariants xmi:id="0YsQy" isCallable="true" name="ContextTypeIsTransformation"> |
| <ownedSpecification xsi:type="pivot:ExpressionInOCL" body="
	ownedContext <> null implies ownedContext.type = self

"/> |
| </ownedInvariants> |
| <ownedInvariants xmi:id="TG1RG" isCallable="true" name="ExtendedTypedModelIsExtended"> |
| <ownedSpecification xsi:type="pivot:ExpressionInOCL" body="
	_extends <> null implies
	_extends.modelParameter->forAll(etm |
		self.modelParameter->select(name = etm.name).usedPackage->includesAll(etm.usedPackage)
	)
	
"/> |
| </ownedInvariants> |
| <ownedInvariants xmi:id="zwc,y" isCallable="true" name="ModelParameterIsUnique"> |
| <ownedSpecification xsi:type="pivot:ExpressionInOCL" body="
	modelParameter->isUnique(name)

"/> |
| </ownedInvariants> |
| <ownedInvariants xmi:id="mgXEj" isCallable="true" name="NoExtendsCycle"> |
| <ownedSpecification xsi:type="pivot:ExpressionInOCL" body="
	_extends->closure(_extends)->excludes(self)

"/> |
| </ownedInvariants> |
| <ownedOperations xmi:id="DU934" name="getFunction" type="#PGjqK"> |
| <ownedParameters name="name" type="pivot:PrimitiveType http://www.eclipse.org/ocl/2015/Library.oclas#AlwVZ"/> |
| </ownedOperations> |
| <ownedOperations xmi:id="rcEGq" name="getModelParameter" type="#WqJYx"> |
| <ownedParameters name="name" type="pivot:PrimitiveType http://www.eclipse.org/ocl/2015/Library.oclas#AlwVZ"/> |
| </ownedOperations> |
| <ownedProperties xmi:id="xL9bQ" isRequired="false" name="extends" type="#AjDLV"/> |
| <ownedProperties xmi:id="YTQDv" isComposite="true" name="modelParameter" opposite="#fPfk3" type="#SncSN"/> |
| <ownedProperties xmi:id="iWDDR" isComposite="true" isRequired="false" name="ownedContext" type="pivot:Class ../../org.eclipse.ocl.pivot/model/Pivot.ecore.oclas#t4j6T"/> |
| <ownedProperties xmi:id="NUcXB" isComposite="true" name="ownedTag" type="#5bIlO"/> |
| <ownedProperties xmi:id="UVEee" isComposite="true" name="rule" opposite="#Img5I" type="#U1psM"/> |
| <ownedProperties xmi:id="3n7zQ" isImplicit="true" isRequired="false" name="extendedBy" opposite="#xL9bQ" type="#AjDLV"/> |
| </ownedClasses> |
| <ownedClasses xmi:id="WqJYx" name="TypedModel" superClasses="../../org.eclipse.ocl.pivot/model/Pivot.ecore.oclas#0kVqz"> |
| <ownedProperties xmi:id="cy5DZ" name="dependsOn" type="#,klFp"/> |
| <ownedProperties xmi:id="z+SD0" defaultValueString="false" name="isPrimitive" type="pivot:PrimitiveType http://www.eclipse.org/ocl/2015/Library.oclas#XEMMs"> |
| <ownedComments body="The TypedModel is for a primitive domain. It may be added automatically."/> |
| </ownedProperties> |
| <ownedProperties xmi:id="R8XrW" defaultValueString="false" name="isTrace" type="pivot:PrimitiveType http://www.eclipse.org/ocl/2015/Library.oclas#XEMMs"> |
| <ownedComments body="The TypedModel is for the execution trace. It may be added automatically."/> |
| </ownedProperties> |
| <ownedProperties xmi:id="ggm9N" isComposite="true" isRequired="false" name="ownedContext" type="pivot:Class ../../org.eclipse.ocl.pivot/model/Pivot.ecore.oclas#t4j6T"/> |
| <ownedProperties xmi:id="fPfk3" isTransient="true" name="transformation" opposite="#YTQDv" type="#AjDLV"/> |
| <ownedProperties xmi:id="fK4wq" name="usedPackage" type="#4WjM+"/> |
| <ownedProperties xmi:id="TPm6," isImplicit="true" name="Domain" opposite="#GoV0K" type="#9+o+H"/> |
| <ownedProperties xmi:id=",4oQK" isImplicit="true" isRequired="false" name="dependent" opposite="#cy5DZ" type="#WqJYx"/> |
| </ownedClasses> |
| </ownedPackages> |
| <ownedPackages xmi:id="82dOP" URI="http://www.eclipse.org/ocl/2015/Pivot" name="pivot" nsPrefix="pivot"> |
| <ownedClasses xmi:id="g7Mr0" name="Annotation"> |
| <ownedProperties xmi:id="UougY" isImplicit="true" isRequired="false" name="Transformation" opposite="#NUcXB" type="#AjDLV"/> |
| </ownedClasses> |
| <ownedClasses xmi:id="BFtK4" name="OCLExpression"> |
| <ownedProperties xmi:id="N9fOm" isImplicit="true" isRequired="false" name="Function" opposite="#r1ilM" type="#PGjqK"/> |
| <ownedProperties xmi:id="R0cad" isImplicit="true" isRequired="false" name="predicate" opposite="#h0xFs" type="#uMSmb"/> |
| </ownedClasses> |
| <ownedClasses xmi:id="3ONqN" name="Package"> |
| <ownedProperties xmi:id="xb2NR" isImplicit="true" name="TypedModel" opposite="#fK4wq" type="#gkhFp"/> |
| </ownedClasses> |
| <ownedClasses xmi:id="t4j6T" name="Variable"> |
| <ownedProperties xmi:id="YwYCh" isImplicit="true" name="Pattern" opposite="#056L0" type="#pJjNZ"/> |
| <ownedProperties xmi:id="AROTe" isImplicit="true" isRequired="false" name="Transformation" opposite="#iWDDR" type="#AjDLV"/> |
| <ownedProperties xmi:id="WYUg6" isImplicit="true" isRequired="false" name="TypedModel" opposite="#ggm9N" type="#WqJYx"/> |
| </ownedClasses> |
| </ownedPackages> |
| <ownedPackages URI="http://www.eclipse.org/ocl/2015/Orphanage" name="$$" nsPrefix="orphanage"> |
| <ownedClasses xsi:type="pivot:BagType" xmi:id="9+o+H" name="Bag" superClasses="#TaRAX"> |
| <ownedBindings> |
| <ownedSubstitutions actual="#7pR2u" formal="http://www.eclipse.org/ocl/2015/Library.oclas#k2OA6"/> |
| </ownedBindings> |
| </ownedClasses> |
| <ownedClasses xsi:type="pivot:BagType" xmi:id="pJjNZ" name="Bag" superClasses="#,kLPo"> |
| <ownedBindings> |
| <ownedSubstitutions actual="#H0dko" formal="http://www.eclipse.org/ocl/2015/Library.oclas#k2OA6"/> |
| </ownedBindings> |
| </ownedClasses> |
| <ownedClasses xsi:type="pivot:BagType" xmi:id="gkhFp" name="Bag" superClasses="#2,JH4"> |
| <ownedBindings> |
| <ownedSubstitutions actual="#WqJYx" formal="http://www.eclipse.org/ocl/2015/Library.oclas#k2OA6"/> |
| </ownedBindings> |
| </ownedClasses> |
| <ownedClasses xsi:type="pivot:CollectionType" xmi:id="w2smd" name="Collection" superClasses="http://www.eclipse.org/ocl/2015/Library.oclas#jbMkR"> |
| <ownedBindings> |
| <ownedSubstitutions actual="pivot:Class ../../org.eclipse.ocl.pivot/model/Pivot.ecore.oclas#g7Mr0" formal="http://www.eclipse.org/ocl/2015/Library.oclas#qs59R"/> |
| </ownedBindings> |
| </ownedClasses> |
| <ownedClasses xsi:type="pivot:CollectionType" xmi:id="vxHON" name="Collection" superClasses="http://www.eclipse.org/ocl/2015/Library.oclas#jbMkR"> |
| <ownedBindings> |
| <ownedSubstitutions actual="pivot:Class ../../org.eclipse.ocl.pivot/model/Pivot.ecore.oclas#3ONqN" formal="http://www.eclipse.org/ocl/2015/Library.oclas#qs59R"/> |
| </ownedBindings> |
| </ownedClasses> |
| <ownedClasses xsi:type="pivot:CollectionType" xmi:id="19n95" name="Collection" superClasses="http://www.eclipse.org/ocl/2015/Library.oclas#jbMkR"> |
| <ownedBindings> |
| <ownedSubstitutions actual="pivot:Class ../../org.eclipse.ocl.pivot/model/Pivot.ecore.oclas#t4j6T" formal="http://www.eclipse.org/ocl/2015/Library.oclas#qs59R"/> |
| </ownedBindings> |
| </ownedClasses> |
| <ownedClasses xsi:type="pivot:CollectionType" xmi:id="TaRAX" name="Collection" superClasses="http://www.eclipse.org/ocl/2015/Library.oclas#jbMkR"> |
| <ownedBindings> |
| <ownedSubstitutions actual="#7pR2u" formal="http://www.eclipse.org/ocl/2015/Library.oclas#qs59R"/> |
| </ownedBindings> |
| </ownedClasses> |
| <ownedClasses xsi:type="pivot:CollectionType" xmi:id=",kLPo" name="Collection" superClasses="http://www.eclipse.org/ocl/2015/Library.oclas#jbMkR"> |
| <ownedBindings> |
| <ownedSubstitutions actual="#H0dko" formal="http://www.eclipse.org/ocl/2015/Library.oclas#qs59R"/> |
| </ownedBindings> |
| </ownedClasses> |
| <ownedClasses xsi:type="pivot:CollectionType" xmi:id="OzBxl" name="Collection" superClasses="http://www.eclipse.org/ocl/2015/Library.oclas#jbMkR"> |
| <ownedBindings> |
| <ownedSubstitutions actual="#uMSmb" formal="http://www.eclipse.org/ocl/2015/Library.oclas#qs59R"/> |
| </ownedBindings> |
| </ownedClasses> |
| <ownedClasses xsi:type="pivot:CollectionType" xmi:id="LQOub" name="Collection" superClasses="http://www.eclipse.org/ocl/2015/Library.oclas#jbMkR"> |
| <ownedBindings> |
| <ownedSubstitutions actual="#zS2p0" formal="http://www.eclipse.org/ocl/2015/Library.oclas#qs59R"/> |
| </ownedBindings> |
| </ownedClasses> |
| <ownedClasses xsi:type="pivot:CollectionType" xmi:id="2,JH4" name="Collection" superClasses="http://www.eclipse.org/ocl/2015/Library.oclas#jbMkR"> |
| <ownedBindings> |
| <ownedSubstitutions actual="#WqJYx" formal="http://www.eclipse.org/ocl/2015/Library.oclas#qs59R"/> |
| </ownedBindings> |
| </ownedClasses> |
| <ownedClasses xsi:type="pivot:CollectionType" xmi:id="gqGXN" name="OrderedCollection" superClasses="#TaRAX"> |
| <ownedBindings> |
| <ownedSubstitutions actual="#7pR2u" formal="http://www.eclipse.org/ocl/2015/Library.oclas#feFHs"/> |
| </ownedBindings> |
| </ownedClasses> |
| <ownedClasses xsi:type="pivot:CollectionType" xmi:id="YgDFS" name="OrderedCollection" superClasses="#LQOub"> |
| <ownedBindings> |
| <ownedSubstitutions actual="#zS2p0" formal="http://www.eclipse.org/ocl/2015/Library.oclas#feFHs"/> |
| </ownedBindings> |
| </ownedClasses> |
| <ownedClasses xsi:type="pivot:CollectionType" xmi:id="DQ,du" name="OrderedCollection" superClasses="#2,JH4"> |
| <ownedBindings> |
| <ownedSubstitutions actual="#WqJYx" formal="http://www.eclipse.org/ocl/2015/Library.oclas#feFHs"/> |
| </ownedBindings> |
| </ownedClasses> |
| <ownedClasses xsi:type="pivot:OrderedSetType" xmi:id="vBkLs" isNullFree="true" name="OrderedSet" superClasses="#gqGXN #EVB8G"> |
| <ownedBindings> |
| <ownedSubstitutions actual="#7pR2u" formal="http://www.eclipse.org/ocl/2015/Library.oclas#53+C2"/> |
| </ownedBindings> |
| </ownedClasses> |
| <ownedClasses xsi:type="pivot:OrderedSetType" xmi:id="n3g5w" isNullFree="true" name="OrderedSet" superClasses="#YgDFS #8K+pL"> |
| <ownedBindings> |
| <ownedSubstitutions actual="#zS2p0" formal="http://www.eclipse.org/ocl/2015/Library.oclas#53+C2"/> |
| </ownedBindings> |
| </ownedClasses> |
| <ownedClasses xsi:type="pivot:OrderedSetType" xmi:id="SncSN" isNullFree="true" name="OrderedSet" superClasses="#DQ,du #n65Co"> |
| <ownedBindings> |
| <ownedSubstitutions actual="#WqJYx" formal="http://www.eclipse.org/ocl/2015/Library.oclas#53+C2"/> |
| </ownedBindings> |
| </ownedClasses> |
| <ownedClasses xsi:type="pivot:SetType" xmi:id="5bIlO" isNullFree="true" name="Set" superClasses="#hxciN"> |
| <ownedBindings> |
| <ownedSubstitutions actual="pivot:Class ../../org.eclipse.ocl.pivot/model/Pivot.ecore.oclas#g7Mr0" formal="http://www.eclipse.org/ocl/2015/Library.oclas#ODsm5"/> |
| </ownedBindings> |
| </ownedClasses> |
| <ownedClasses xsi:type="pivot:SetType" xmi:id="4WjM+" isNullFree="true" name="Set" superClasses="#gs3J9"> |
| <ownedBindings> |
| <ownedSubstitutions actual="pivot:Class ../../org.eclipse.ocl.pivot/model/Pivot.ecore.oclas#3ONqN" formal="http://www.eclipse.org/ocl/2015/Library.oclas#ODsm5"/> |
| </ownedBindings> |
| </ownedClasses> |
| <ownedClasses xsi:type="pivot:SetType" xmi:id="+iD8q" isNullFree="true" name="Set" superClasses="#m4X5p"> |
| <ownedBindings> |
| <ownedSubstitutions actual="pivot:Class ../../org.eclipse.ocl.pivot/model/Pivot.ecore.oclas#t4j6T" formal="http://www.eclipse.org/ocl/2015/Library.oclas#ODsm5"/> |
| </ownedBindings> |
| </ownedClasses> |
| <ownedClasses xsi:type="pivot:SetType" xmi:id="XYdvW" isNullFree="true" name="Set" superClasses="#,txsV"> |
| <ownedBindings> |
| <ownedSubstitutions actual="#uMSmb" formal="http://www.eclipse.org/ocl/2015/Library.oclas#ODsm5"/> |
| </ownedBindings> |
| </ownedClasses> |
| <ownedClasses xsi:type="pivot:SetType" xmi:id="U1psM" isNullFree="true" name="Set" superClasses="#8K+pL"> |
| <ownedBindings> |
| <ownedSubstitutions actual="#zS2p0" formal="http://www.eclipse.org/ocl/2015/Library.oclas#ODsm5"/> |
| </ownedBindings> |
| </ownedClasses> |
| <ownedClasses xsi:type="pivot:SetType" xmi:id=",klFp" isNullFree="true" name="Set" superClasses="#n65Co"> |
| <ownedBindings> |
| <ownedSubstitutions actual="#WqJYx" formal="http://www.eclipse.org/ocl/2015/Library.oclas#ODsm5"/> |
| </ownedBindings> |
| </ownedClasses> |
| <ownedClasses xsi:type="pivot:CollectionType" xmi:id="hxciN" name="UniqueCollection" superClasses="#w2smd"> |
| <ownedBindings> |
| <ownedSubstitutions actual="pivot:Class ../../org.eclipse.ocl.pivot/model/Pivot.ecore.oclas#g7Mr0" formal="http://www.eclipse.org/ocl/2015/Library.oclas#jdfjE"/> |
| </ownedBindings> |
| </ownedClasses> |
| <ownedClasses xsi:type="pivot:CollectionType" xmi:id="gs3J9" name="UniqueCollection" superClasses="#vxHON"> |
| <ownedBindings> |
| <ownedSubstitutions actual="pivot:Class ../../org.eclipse.ocl.pivot/model/Pivot.ecore.oclas#3ONqN" formal="http://www.eclipse.org/ocl/2015/Library.oclas#jdfjE"/> |
| </ownedBindings> |
| </ownedClasses> |
| <ownedClasses xsi:type="pivot:CollectionType" xmi:id="m4X5p" name="UniqueCollection" superClasses="#19n95"> |
| <ownedBindings> |
| <ownedSubstitutions actual="pivot:Class ../../org.eclipse.ocl.pivot/model/Pivot.ecore.oclas#t4j6T" formal="http://www.eclipse.org/ocl/2015/Library.oclas#jdfjE"/> |
| </ownedBindings> |
| </ownedClasses> |
| <ownedClasses xsi:type="pivot:CollectionType" xmi:id="EVB8G" name="UniqueCollection" superClasses="#TaRAX"> |
| <ownedBindings> |
| <ownedSubstitutions actual="#7pR2u" formal="http://www.eclipse.org/ocl/2015/Library.oclas#jdfjE"/> |
| </ownedBindings> |
| </ownedClasses> |
| <ownedClasses xsi:type="pivot:CollectionType" xmi:id=",txsV" name="UniqueCollection" superClasses="#OzBxl"> |
| <ownedBindings> |
| <ownedSubstitutions actual="#uMSmb" formal="http://www.eclipse.org/ocl/2015/Library.oclas#jdfjE"/> |
| </ownedBindings> |
| </ownedClasses> |
| <ownedClasses xsi:type="pivot:CollectionType" xmi:id="8K+pL" name="UniqueCollection" superClasses="#LQOub"> |
| <ownedBindings> |
| <ownedSubstitutions actual="#zS2p0" formal="http://www.eclipse.org/ocl/2015/Library.oclas#jdfjE"/> |
| </ownedBindings> |
| </ownedClasses> |
| <ownedClasses xsi:type="pivot:CollectionType" xmi:id="n65Co" name="UniqueCollection" superClasses="#2,JH4"> |
| <ownedBindings> |
| <ownedSubstitutions actual="#WqJYx" formal="http://www.eclipse.org/ocl/2015/Library.oclas#jdfjE"/> |
| </ownedBindings> |
| </ownedClasses> |
| </ownedPackages> |
| </pivot:Model> |
