Tests/ca.mcgill.ecse.dslreasoner.standalone.test/outputs/yakindu/models/2.xmi


1
2
3
4
5
6
7
8
9
10
11
12
13
14

<?xml version="1.0" encoding="ASCII"?>
<yakindu:Statechart xmi:version="2.0" xmlns:xmi="http://www.omg.org/XMI" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xmlns:yakindu="YakinduMetamodel">
  <regions>
    <vertices xsi:type="yakindu:FinalState"/>
    <vertices xsi:type="yakindu:State"/>
    <vertices xsi:type="yakindu:State"/>
    <vertices xsi:type="yakindu:FinalState"/>
    <vertices xsi:type="yakindu:State"/>
    <vertices xsi:type="yakindu:Entry">
      <outgoingTransitions target="//@regions.0/@vertices.6"/>
    </vertices>
    <vertices xsi:type="yakindu:FinalState" incomingTransitions="//@regions.0/@vertices.5/@outgoingTransitions.0"/>
  </regions>
</yakindu:Statechart>