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


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

<?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:State" incomingTransitions="//@regions.0/@vertices.3/@outgoingTransitions.1"/>
    <vertices xsi:type="yakindu:Entry">
      <outgoingTransitions target="//@regions.0/@vertices.3"/>
    </vertices>
    <vertices xsi:type="yakindu:Exit"/>
    <vertices xsi:type="yakindu:State" incomingTransitions="//@regions.0/@vertices.1/@outgoingTransitions.0">
      <outgoingTransitions target="//@regions.0/@vertices.4"/>
      <outgoingTransitions target="//@regions.0/@vertices.0"/>
    </vertices>
    <vertices xsi:type="yakindu:FinalState" incomingTransitions="//@regions.0/@vertices.3/@outgoingTransitions.0"/>
  </regions>
</yakindu:Statechart>