diff options
author | 2019-11-24 07:51:31 -0500 | |
---|---|---|
committer | 2020-06-07 19:43:57 -0400 | |
commit | 7d44e20d1a2085a9fa686580a96f4f37214b3875 (patch) | |
tree | 3a6a4240ee5ce928c51ad6afa99e8e03e8bb3162 /Tests/ca.mcgill.ecse.dslreasoner.yakindu.test/output/model5.xmi | |
parent | VAMPIRE: post-submission push (diff) | |
download | VIATRA-Generator-7d44e20d1a2085a9fa686580a96f4f37214b3875.tar.gz VIATRA-Generator-7d44e20d1a2085a9fa686580a96f4f37214b3875.tar.zst VIATRA-Generator-7d44e20d1a2085a9fa686580a96f4f37214b3875.zip |
VAMPIRE: Further Post-submission updates
Diffstat (limited to 'Tests/ca.mcgill.ecse.dslreasoner.yakindu.test/output/model5.xmi')
-rw-r--r-- | Tests/ca.mcgill.ecse.dslreasoner.yakindu.test/output/model5.xmi | 14 |
1 files changed, 14 insertions, 0 deletions
diff --git a/Tests/ca.mcgill.ecse.dslreasoner.yakindu.test/output/model5.xmi b/Tests/ca.mcgill.ecse.dslreasoner.yakindu.test/output/model5.xmi new file mode 100644 index 00000000..3b601704 --- /dev/null +++ b/Tests/ca.mcgill.ecse.dslreasoner.yakindu.test/output/model5.xmi | |||
@@ -0,0 +1,14 @@ | |||
1 | <?xml version="1.0" encoding="ASCII"?> | ||
2 | <hu.bme.mit.inf.yakindumm:Statechart xmi:version="2.0" xmlns:xmi="http://www.omg.org/XMI" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xmlns:hu.bme.mit.inf.yakindumm="hu.bme.mit.inf.yakindumm"> | ||
3 | <regions> | ||
4 | <vertices xsi:type="hu.bme.mit.inf.yakindumm:Entry"/> | ||
5 | <vertices xsi:type="hu.bme.mit.inf.yakindumm:Synchronization"/> | ||
6 | <vertices xsi:type="hu.bme.mit.inf.yakindumm:Entry"/> | ||
7 | <vertices xsi:type="hu.bme.mit.inf.yakindumm:Choice"/> | ||
8 | </regions> | ||
9 | <regions> | ||
10 | <vertices xsi:type="hu.bme.mit.inf.yakindumm:State"/> | ||
11 | <vertices xsi:type="hu.bme.mit.inf.yakindumm:State"/> | ||
12 | <vertices xsi:type="hu.bme.mit.inf.yakindumm:FinalState"/> | ||
13 | </regions> | ||
14 | </hu.bme.mit.inf.yakindumm:Statechart> | ||