From 7379cc66fc3cc3b635df45072afc3dec42997c76 Mon Sep 17 00:00:00 2001 From: ArenBabikian Date: Mon, 21 Oct 2019 17:14:25 -0400 Subject: mid-measurement push --- .../model/Statechart.xmi | 4 + .../model/Statechart1.xmi | 10 + .../model/yakindu_simplified.aird | 448 ++++++++++++--------- .../model/yakindu_simplified.ecore | 5 + .../model/yakindummTPTP.png | Bin 0 -> 1085629 bytes 5 files changed, 276 insertions(+), 191 deletions(-) create mode 100644 Domains/hu.bme.mit.inf.dslreasoner.domains.yakindu.sgraph/model/Statechart.xmi create mode 100644 Domains/hu.bme.mit.inf.dslreasoner.domains.yakindu.sgraph/model/Statechart1.xmi create mode 100644 Domains/hu.bme.mit.inf.dslreasoner.domains.yakindu.sgraph/model/yakindummTPTP.png (limited to 'Domains/hu.bme.mit.inf.dslreasoner.domains.yakindu.sgraph/model') diff --git a/Domains/hu.bme.mit.inf.dslreasoner.domains.yakindu.sgraph/model/Statechart.xmi b/Domains/hu.bme.mit.inf.dslreasoner.domains.yakindu.sgraph/model/Statechart.xmi new file mode 100644 index 00000000..d76b3929 --- /dev/null +++ b/Domains/hu.bme.mit.inf.dslreasoner.domains.yakindu.sgraph/model/Statechart.xmi @@ -0,0 +1,4 @@ + + diff --git a/Domains/hu.bme.mit.inf.dslreasoner.domains.yakindu.sgraph/model/Statechart1.xmi b/Domains/hu.bme.mit.inf.dslreasoner.domains.yakindu.sgraph/model/Statechart1.xmi new file mode 100644 index 00000000..6368cea9 --- /dev/null +++ b/Domains/hu.bme.mit.inf.dslreasoner.domains.yakindu.sgraph/model/Statechart1.xmi @@ -0,0 +1,10 @@ + + + + + diff --git a/Domains/hu.bme.mit.inf.dslreasoner.domains.yakindu.sgraph/model/yakindu_simplified.aird b/Domains/hu.bme.mit.inf.dslreasoner.domains.yakindu.sgraph/model/yakindu_simplified.aird index 12aa0f9e..b2216e24 100644 --- a/Domains/hu.bme.mit.inf.dslreasoner.domains.yakindu.sgraph/model/yakindu_simplified.aird +++ b/Domains/hu.bme.mit.inf.dslreasoner.domains.yakindu.sgraph/model/yakindu_simplified.aird @@ -1,31 +1,31 @@ - + yakindu_simplified.ecore - + - + - + - + - + - + - - - + + + @@ -46,7 +46,7 @@ - + @@ -55,7 +55,7 @@ - + @@ -64,7 +64,7 @@ - + @@ -73,7 +73,7 @@ - + @@ -82,7 +82,7 @@ - + @@ -91,16 +91,20 @@ - + + + + + - + @@ -109,7 +113,7 @@ - + @@ -118,7 +122,7 @@ - + @@ -127,7 +131,7 @@ - + @@ -136,7 +140,7 @@ - + @@ -145,7 +149,7 @@ - + @@ -154,7 +158,28 @@ - + + + + + + + + + + + + + + + + + + + + + + @@ -217,8 +242,8 @@ - - + + @@ -234,7 +259,7 @@ - + @@ -287,17 +312,17 @@ - + - + - + - + @@ -330,7 +355,7 @@ - + @@ -346,7 +371,7 @@ - + @@ -361,31 +386,31 @@ - - + + - + KEEP_LOCATION KEEP_SIZE KEEP_RATIO - + italic - + KEEP_LOCATION KEEP_SIZE KEEP_RATIO - + labelFormat backgroundColor italic @@ -393,26 +418,26 @@ - + KEEP_LOCATION KEEP_SIZE KEEP_RATIO - + backgroundColor foregroundColor - + KEEP_LOCATION KEEP_SIZE KEEP_RATIO - + labelFormat backgroundColor foregroundColor @@ -420,290 +445,331 @@ - + KEEP_LOCATION KEEP_SIZE KEEP_RATIO - + backgroundColor foregroundColor - + KEEP_LOCATION KEEP_SIZE KEEP_RATIO - + backgroundColor foregroundColor + + + + + + + + - + KEEP_LOCATION KEEP_SIZE KEEP_RATIO - + backgroundColor foregroundColor - + KEEP_LOCATION KEEP_SIZE KEEP_RATIO - + italic - + KEEP_LOCATION KEEP_SIZE KEEP_RATIO - + italic - + - - + + labelSize - + labelSize - + - - + + labelSize - + labelSize - + - - + + - + italic - + - + - - + + routingStyle - + italic - + - + - - + + - + italic - + - + - - - + + - + italic - + - + - - - + + - + italic - + - + - - + + - + italic - + - + - + strokeColor size - + labelFormat - + labelFormat - + - + strokeColor size - + labelFormat - + labelFormat - + KEEP_LOCATION KEEP_SIZE KEEP_RATIO - + backgroundColor foregroundColor - + KEEP_LOCATION KEEP_SIZE KEEP_RATIO - + backgroundColor foregroundColor - + - - + + - + italic - + - + - - + + - + italic - + - + KEEP_LOCATION KEEP_SIZE KEEP_RATIO - + backgroundColor foregroundColor - + - - + + routingStyle - + italic - + + + + + KEEP_LOCATION + KEEP_SIZE + KEEP_RATIO + + + + + + + + + + + + + + + + + + + + + + + + + + + + + - + - - - + + + @@ -724,7 +790,7 @@ - + @@ -995,25 +1061,25 @@ - + KEEP_LOCATION KEEP_SIZE KEEP_RATIO - + italic - + KEEP_LOCATION KEEP_SIZE KEEP_RATIO - + labelFormat backgroundColor foregroundColor @@ -1022,26 +1088,26 @@ - + KEEP_LOCATION KEEP_SIZE KEEP_RATIO - + backgroundColor foregroundColor - + KEEP_LOCATION KEEP_SIZE KEEP_RATIO - + labelFormat backgroundColor foregroundColor @@ -1049,39 +1115,39 @@ - + KEEP_LOCATION KEEP_SIZE KEEP_RATIO - + backgroundColor foregroundColor - + KEEP_LOCATION KEEP_SIZE KEEP_RATIO - + backgroundColor foregroundColor - + KEEP_LOCATION KEEP_SIZE KEEP_RATIO - + labelFormat backgroundColor foregroundColor @@ -1089,190 +1155,190 @@ - + KEEP_LOCATION KEEP_SIZE KEEP_RATIO - + backgroundColor foregroundColor - + KEEP_LOCATION KEEP_SIZE KEEP_RATIO - + italic - + KEEP_LOCATION KEEP_SIZE KEEP_RATIO - + italic - + - - + + labelSize - + labelSize - + - - + + labelSize - + labelSize - + - + - + italic - + - + - + - + italic - + - + - + - + italic - + - + - + - + italic - + - + - + - + italic - + - + - + - + italic - + - + - + - + italic - + - + - + strokeColor size - + labelFormat - + labelFormat - + - + strokeColor size - + labelFormat - + labelFormat - + diff --git a/Domains/hu.bme.mit.inf.dslreasoner.domains.yakindu.sgraph/model/yakindu_simplified.ecore b/Domains/hu.bme.mit.inf.dslreasoner.domains.yakindu.sgraph/model/yakindu_simplified.ecore index 51b0ca5b..5999c4c7 100644 --- a/Domains/hu.bme.mit.inf.dslreasoner.domains.yakindu.sgraph/model/yakindu_simplified.ecore +++ b/Domains/hu.bme.mit.inf.dslreasoner.domains.yakindu.sgraph/model/yakindu_simplified.ecore @@ -37,4 +37,9 @@ + + + + + diff --git a/Domains/hu.bme.mit.inf.dslreasoner.domains.yakindu.sgraph/model/yakindummTPTP.png b/Domains/hu.bme.mit.inf.dslreasoner.domains.yakindu.sgraph/model/yakindummTPTP.png new file mode 100644 index 00000000..cfa34e77 Binary files /dev/null and b/Domains/hu.bme.mit.inf.dslreasoner.domains.yakindu.sgraph/model/yakindummTPTP.png differ -- cgit v1.2.3-54-g00ecf