MMUnit - Testing Metamodels Code

136 lines (135 with data), 8.5 kB

<?xml version="1.0" encoding="ASCII"?>
<mmunit:TestModel xmi:version="2.0" xmlns:xmi="http://www.omg.org/XMI" xmlns:mmunit="http://informatik.hu-berlin.de/mmunit">
  <instances className="Net">
    <attributes name="running" value="false"/>
  </instances>
  <instances className="Place">
    <attributes name="token" value="2"/>
  </instances>
  <instances className="Place">
    <attributes name="name" value="event1occured"/>
    <attributes name="token" value="0"/>
  </instances>
  <instances className="Place">
    <attributes name="name" value="event2occured"/>
    <attributes name="token" value="0"/>
  </instances>
  <instances className="Transition">
    <attributes name="name" value="event1"/>
    <attributes name="selected" value="true"/>
  </instances>
  <instances className="Transition">
    <attributes name="name" value="event2"/>
    <attributes name="selected" value="true"/>
  </instances>
  <instances className="PlaceBP" objectName="">
    <attributes name="isEnabled" value="true"/>
    <attributes name="onToken" value="0"/>
  </instances>
  <references end1="//@instances.0" end2="//@instances.1" end2Name="places"/>
  <references end1="//@instances.0" end2="//@instances.2" end2Name="places"/>
  <references end1="//@instances.0" end2="//@instances.3" end2Name="places"/>
  <references end1="//@instances.0" end2="//@instances.4" end2Name="transitions"/>
  <references end1="//@instances.0" end2="//@instances.5" end2Name="transitions"/>
  <references end1="//@instances.1" end2="//@instances.5" end1Name="snk" end2Name="src"/>
  <references end1="//@instances.1" end2="//@instances.4" end1Name="src" end2Name="snk"/>
  <references end1="//@instances.1" end2="//@instances.5" end1Name="src" end2Name="snk"/>
  <references end1="//@instances.2" end2="//@instances.4" end1Name="snk" end2Name="src"/>
  <references end1="//@instances.3" end2="//@instances.5" end1Name="snk" end2Name="src"/>
  <references end1="//@instances.4" end2="//@instances.1" end1Name="snk" end2Name="src"/>
  <references end1="//@instances.4" end2="//@instances.2" end1Name="src" end2Name="snk"/>
  <references end1="//@instances.5" end2="//@instances.1" end1Name="snk" end2Name="src"/>
  <references end1="//@instances.5" end2="//@instances.3" end1Name="src" end2Name="snk"/>
  <references end1="//@instances.5" end2="//@instances.1" end1Name="src" end2Name="snk"/>
  <references end1="//@instances.0" end2="//@instances.6" end2Name="breakpoints"/>
  <references existence="enforced" end1="//@instances.6" end2="//@instances.3" end2Name="place"/>
  <derivations>
    <instances className="Net">
      <attributes name="running" value="false"/>
    </instances>
    <instances className="Place">
      <attributes name="token" value="2"/>
    </instances>
    <instances className="Place">
      <attributes name="name" value="event1occured"/>
      <attributes name="token" value="0"/>
    </instances>
    <instances className="Place">
      <attributes name="name" value="event2occured"/>
      <attributes name="token" value="0"/>
    </instances>
    <instances className="Transition">
      <attributes name="name" value="event1"/>
      <attributes name="selected" value="true"/>
    </instances>
    <instances className="Transition">
      <attributes name="name" value="event2"/>
      <attributes name="selected" value="true"/>
    </instances>
    <instances className="PlaceBP" objectName="">
      <attributes name="isEnabled" value="true"/>
      <attributes name="onToken" value="0"/>
    </instances>
    <references end1="//@derivations.0/@instances.0" end2="//@derivations.0/@instances.1" end2Name="places"/>
    <references end1="//@derivations.0/@instances.0" end2="//@derivations.0/@instances.2" end2Name="places"/>
    <references end1="//@derivations.0/@instances.0" end2="//@derivations.0/@instances.3" end2Name="places"/>
    <references end1="//@derivations.0/@instances.0" end2="//@derivations.0/@instances.4" end2Name="transitions"/>
    <references end1="//@derivations.0/@instances.0" end2="//@derivations.0/@instances.5" end2Name="transitions"/>
    <references end1="//@derivations.0/@instances.1" end2="//@derivations.0/@instances.5" end1Name="snk" end2Name="src"/>
    <references end1="//@derivations.0/@instances.1" end2="//@derivations.0/@instances.4" end1Name="src" end2Name="snk"/>
    <references end1="//@derivations.0/@instances.1" end2="//@derivations.0/@instances.5" end1Name="src" end2Name="snk"/>
    <references end1="//@derivations.0/@instances.2" end2="//@derivations.0/@instances.4" end1Name="snk" end2Name="src"/>
    <references end1="//@derivations.0/@instances.3" end2="//@derivations.0/@instances.5" end1Name="snk" end2Name="src"/>
    <references end1="//@derivations.0/@instances.4" end2="//@derivations.0/@instances.1" end1Name="snk" end2Name="src"/>
    <references end1="//@derivations.0/@instances.4" end2="//@derivations.0/@instances.2" end1Name="src" end2Name="snk"/>
    <references end1="//@derivations.0/@instances.5" end2="//@derivations.0/@instances.1" end1Name="snk" end2Name="src"/>
    <references end1="//@derivations.0/@instances.5" end2="//@derivations.0/@instances.3" end1Name="src" end2Name="snk"/>
    <references end1="//@derivations.0/@instances.5" end2="//@derivations.0/@instances.1" end1Name="src" end2Name="snk"/>
    <references end1="//@derivations.0/@instances.0" end2="//@derivations.0/@instances.6" end2Name="breakpoints"/>
    <references existence="enforced" end1="//@derivations.0/@instances.6" end2="//@derivations.0/@instances.3" end2Name="place"/>
  </derivations>
  <derivations positive="false" derivationElement="//@references.16">
    <instances className="Net">
      <attributes name="running" value="false"/>
    </instances>
    <instances className="Place">
      <attributes name="token" value="2"/>
    </instances>
    <instances className="Place">
      <attributes name="name" value="event1occured"/>
      <attributes name="token" value="0"/>
    </instances>
    <instances className="Place">
      <attributes name="name" value="event2occured"/>
      <attributes name="token" value="0"/>
    </instances>
    <instances className="Transition">
      <attributes name="name" value="event1"/>
      <attributes name="selected" value="true"/>
    </instances>
    <instances className="Transition">
      <attributes name="name" value="event2"/>
      <attributes name="selected" value="true"/>
    </instances>
    <instances className="PlaceBP" objectName="">
      <attributes name="isEnabled" value="true"/>
      <attributes name="onToken" value="0"/>
    </instances>
    <references end1="//@derivations.1/@instances.0" end2="//@derivations.1/@instances.1" end2Name="places"/>
    <references end1="//@derivations.1/@instances.0" end2="//@derivations.1/@instances.2" end2Name="places"/>
    <references end1="//@derivations.1/@instances.0" end2="//@derivations.1/@instances.3" end2Name="places"/>
    <references end1="//@derivations.1/@instances.0" end2="//@derivations.1/@instances.4" end2Name="transitions"/>
    <references end1="//@derivations.1/@instances.0" end2="//@derivations.1/@instances.5" end2Name="transitions"/>
    <references end1="//@derivations.1/@instances.1" end2="//@derivations.1/@instances.5" end1Name="snk" end2Name="src"/>
    <references end1="//@derivations.1/@instances.1" end2="//@derivations.1/@instances.4" end1Name="src" end2Name="snk"/>
    <references end1="//@derivations.1/@instances.1" end2="//@derivations.1/@instances.5" end1Name="src" end2Name="snk"/>
    <references end1="//@derivations.1/@instances.2" end2="//@derivations.1/@instances.4" end1Name="snk" end2Name="src"/>
    <references end1="//@derivations.1/@instances.3" end2="//@derivations.1/@instances.5" end1Name="snk" end2Name="src"/>
    <references end1="//@derivations.1/@instances.4" end2="//@derivations.1/@instances.1" end1Name="snk" end2Name="src"/>
    <references end1="//@derivations.1/@instances.4" end2="//@derivations.1/@instances.2" end1Name="src" end2Name="snk"/>
    <references end1="//@derivations.1/@instances.5" end2="//@derivations.1/@instances.1" end1Name="snk" end2Name="src"/>
    <references end1="//@derivations.1/@instances.5" end2="//@derivations.1/@instances.3" end1Name="src" end2Name="snk"/>
    <references end1="//@derivations.1/@instances.5" end2="//@derivations.1/@instances.1" end1Name="src" end2Name="snk"/>
    <references end1="//@derivations.1/@instances.0" end2="//@derivations.1/@instances.6" end2Name="breakpoints"/>
  </derivations>
</mmunit:TestModel>