From e86447b4d74677d86271336727e0bbff9f4c54b5 Mon Sep 17 00:00:00 2001 From: Kristóf Marussy Date: Mon, 1 Aug 2022 01:44:06 +0200 Subject: refactor: direct predicates * Remove the direct keyword because it can be inferred * Use may/must/current instead of value literals * Transformation rule changes --- subprojects/language-model/problem.aird | 2028 ++++++++++++++----------------- 1 file changed, 934 insertions(+), 1094 deletions(-) (limited to 'subprojects/language-model/problem.aird') diff --git a/subprojects/language-model/problem.aird b/subprojects/language-model/problem.aird index 027070bf..35d8b873 100644 --- a/subprojects/language-model/problem.aird +++ b/subprojects/language-model/problem.aird @@ -1,13 +1,13 @@ - + src/main/resources/model/problem.ecore src/main/resources/model/problem.genmodel build/resources/main/model/problem.ecore build/resources/main/model/problem.genmodel - + @@ -80,10 +80,6 @@ - - - - @@ -120,6 +116,10 @@ + + + + @@ -137,7 +137,7 @@ - + @@ -155,7 +155,7 @@ - + @@ -455,10 +455,6 @@ - - - - @@ -527,72 +523,96 @@ - - - - - - - - - - - - - - - + + + + + + - - - - - - - - - - - - - - - - - - - - - - - - - + + + - - - + + + - - - - - - - - - - - - + + + - - + + - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -625,54 +645,6 @@ - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - @@ -689,118 +661,6 @@ - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - @@ -819,7 +679,7 @@ - + @@ -833,53 +693,85 @@ - - - + + + - - + + - - + + - - - - - - - - - + + + + + + + + + - - + + - - + + - - - - - + + + + + - - - + + + - - + + - - + + - - - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -897,21 +789,21 @@ - - - + + + - - + + - - + + - - - - - + + + + + @@ -929,69 +821,21 @@ - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - + + + - - + + - - + + - - - - - + + + + + @@ -1009,133 +853,420 @@ - - - + + + - - + + - - + + - - - - - + + + + + - - - + + + - - + + - - + + - - - - - + + + + + - - - + + + - - + + - - + + - - - - - + + + + + - - - - - - + + + - - + + - - - - - + + + + + + + + - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + - - + + - - + + - - - - - + + + + + - - - + + + - - + + - - + + - - - - - + + + + + - - - + + + - - + + - - + + - - - - - + + + + + - - - + + + - - + + - - + + - - - - - + + + + + @@ -1153,85 +1284,164 @@ - - - + + + - - + + - - + + - - - - - + + + + + - - - + + + - - + + - - + + - - - - - + + + + + - - - + + + - - + + - - + + - - - - - + + + + - - - + + + - - + + - - + + - - - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + - - - + + + - - + + - - + + - - - - - + + + + + @@ -1281,102 +1491,6 @@ - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - @@ -1389,7 +1503,7 @@ - + @@ -1409,54 +1523,6 @@ - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - @@ -1473,37 +1539,53 @@ - - - + + + - - + + - - + + - - - - - + + + + + - - - + + + - - + + - - + + - - - - - + + + + + + + + + + + + + + + + + + + + + @@ -1521,22 +1603,6 @@ - - - - - - - - - - - - - - - - @@ -1547,15 +1613,31 @@ - - - - - + + + + + + + + + + + + + + + + + + + + + - + @@ -1614,7 +1696,7 @@ - + @@ -1633,211 +1715,53 @@ - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - + + + - - + + - - + + - - - - - + + + + + - - - + + + - - + + - - + + - - - - + + + + + - - - + + + - - + + - - + + - - - - - + + + + + @@ -2032,7 +1956,7 @@ KEEP_LOCATION KEEP_SIZE KEEP_RATIO - + @@ -2044,24 +1968,16 @@ - - - - - - - - - + - + italic - + @@ -2162,6 +2078,14 @@ + + + + + + + + @@ -2169,7 +2093,7 @@ KEEP_LOCATION KEEP_SIZE KEEP_RATIO - + @@ -2218,7 +2142,7 @@ - + KEEP_LOCATION @@ -2278,9 +2202,9 @@ - - - + + + @@ -2293,12 +2217,12 @@ - + - + italic - + @@ -2554,9 +2478,9 @@ - - - + + + labelSize @@ -2818,7 +2742,7 @@ - + KEEP_LOCATION @@ -3256,46 +3180,38 @@ KEEP_LOCATION KEEP_SIZE KEEP_RATIO - + - - - - - - - - - + - + italic - + - + - + italic - + - - - + + + KEEP_LOCATION KEEP_SIZE KEEP_RATIO @@ -3304,9 +3220,9 @@ - - - + + + KEEP_LOCATION KEEP_SIZE KEEP_RATIO @@ -3316,9 +3232,9 @@ - - - + + + labelSize @@ -3329,9 +3245,9 @@ - - - + + + KEEP_LOCATION KEEP_SIZE KEEP_RATIO @@ -3340,25 +3256,25 @@ - - + + - - - + + + - - - + + + KEEP_LOCATION KEEP_SIZE KEEP_RATIO @@ -3367,9 +3283,9 @@ - - - + + + KEEP_LOCATION KEEP_SIZE KEEP_RATIO @@ -3390,8 +3306,8 @@ - - + + @@ -3402,8 +3318,8 @@ - - + + @@ -3414,8 +3330,8 @@ - - + + @@ -3426,8 +3342,8 @@ - - + + labelSize @@ -3438,64 +3354,9 @@ - - - - KEEP_LOCATION - KEEP_SIZE - KEEP_RATIO - - italic - - - - - - - - KEEP_LOCATION - KEEP_SIZE - KEEP_RATIO - - - - - - - - - - - - - - - - - - - - italic - - - - - - - - - - - - italic - - - - - - - + + labelSize @@ -3507,8 +3368,8 @@ - - + + @@ -3520,117 +3381,96 @@ - - - - KEEP_LOCATION - KEEP_SIZE - KEEP_RATIO - - + + + + + + + italic + + - - - - - - - - - + + + + + + + routingStyle + + + italic + + + + - - - - - + + + + + labelSize - + labelSize - - - + + + KEEP_LOCATION KEEP_SIZE KEEP_RATIO - + - - - - + + + + - - - - + + + + - - - - - KEEP_LOCATION - KEEP_SIZE - KEEP_RATIO - - - - - - - - + + + + + + + + + + + + - - - - - - - italic - - - - - - - - - - routingStyle - - - italic - - - - - - - - - - + + + + + + labelSize - + labelSize -- cgit v1.2.3-70-g09d2