Skip to main content
summaryrefslogtreecommitdiffstats
blob: 64da96d867e1583e6999cc2722676564df9ffa1a (plain) (blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
<?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" externalURI="platform:/resource/org.eclipse.qvtd.xtext.qvtrelation.tests/src/org/eclipse/qvtd/xtext/qvtrelation/tests/seq2stm/MiniSeqToStm2.qvtr"
    name="MiniSeqToStm2.qvtr">
  <ownedPackages xmi:id="P.$$" URI="http://www.eclipse.org/ocl/2015/Orphanage" name="$$">
    <ownedClasses xsi:type="pivot:CollectionType" elementType="pivot:Class SeqMM.ecore.oclas#T.SeqMM.LifeLine" name="Collection" superClasses="http://www.eclipse.org/ocl/2015/Library.oclas#T.ocl.OclAny">
      <ownedBindings>
        <ownedSubstitutions actual="pivot:Class SeqMM.ecore.oclas#T.SeqMM.LifeLine" formal="http://www.eclipse.org/ocl/2015/Library.oclas#t.ocl..CollectionT"/>
      </ownedBindings>
    </ownedClasses>
    <ownedClasses xsi:type="pivot:SetType" elementType="pivot:Class SeqMM.ecore.oclas#T.SeqMM.LifeLine" name="Set" superClasses="#//@ownedPackages.0/@ownedClasses.2">
      <ownedBindings>
        <ownedSubstitutions actual="pivot:Class SeqMM.ecore.oclas#T.SeqMM.LifeLine" formal="http://www.eclipse.org/ocl/2015/Library.oclas#t.ocl..SetT"/>
      </ownedBindings>
    </ownedClasses>
    <ownedClasses xsi:type="pivot:CollectionType" elementType="pivot:Class SeqMM.ecore.oclas#T.SeqMM.LifeLine" name="UniqueCollection"
        superClasses="#//@ownedPackages.0/@ownedClasses.0">
      <ownedBindings>
        <ownedSubstitutions actual="pivot:Class SeqMM.ecore.oclas#T.SeqMM.LifeLine" formal="http://www.eclipse.org/ocl/2015/Library.oclas#t.ocl..UniqueCollectionT"/>
      </ownedBindings>
    </ownedClasses>
  </ownedPackages>
  <ownedPackages xmi:id="P." name="">
    <ownedPackages xmi:id="P..TSeqToStm" name="TSeqToStm">
      <ownedClasses xmi:id="T..TSeqToStm.TInteractionToStateMachine" name="TInteractionToStateMachine">
        <ownedProperties xmi:id="p..TSeqToStm.TInteractionToStateMachine.s" name="s" type="pivot:Class StmcMM.ecore.oclas#T.StmcMM.StateMachine"/>
        <ownedProperties xmi:id="p..TSeqToStm.TInteractionToStateMachine.i" name="i" type="pivot:Class SeqMM.ecore.oclas#T.SeqMM.Interaction"/>
      </ownedClasses>
      <ownedClasses xmi:id="T..TSeqToStm.TStateToState" name="TStateToState">
        <ownedProperties xmi:id="p..TSeqToStm.TStateToState.s" name="s" type="pivot:Class StmcMM.ecore.oclas#T.StmcMM.StateMachine"/>
        <ownedProperties xmi:id="p..TSeqToStm.TStateToState.set" name="set" type="#//@ownedPackages.0/@ownedClasses.1"/>
        <ownedProperties xmi:id="p..TSeqToStm.TStateToState.st1" name="st1" type="pivot:Class SeqMM.ecore.oclas#T.SeqMM.State"/>
        <ownedProperties xmi:id="p..TSeqToStm.TStateToState.st2" name="st2" type="pivot:Class StmcMM.ecore.oclas#T.StmcMM.State"/>
      </ownedClasses>
    </ownedPackages>
  </ownedPackages>
</pivot:Model>

Back to the top