From c7a8a226063f19957c04bc35907a56bb1a7a5c28 Mon Sep 17 00:00:00 2001 From: Sebastian Erdweg Date: Sun, 10 Nov 2019 16:25:13 +0100 Subject: [PATCH] hand-coding more transformatin steps for STLCN --- .../languages/NewLanguage/models/editor.mps | 7 +- .../languages/TypeLang/TypeLang.mpl | 22 +- .../template/TypeLang.generator.util.mps | 2 +- .../generator/template/main@generator.mps | 4 +- .../languages/TypeLang/models/behavior.mps | 278 +- .../languages/TypeLang/models/editor.mps | 49 +- .../languages/TypeLang/models/structure.mps | 70 +- .../languages/TypeLang/models/typesystem.mps | 40 +- .../solutions/TypeLangTest/TypeLangTest.msd | 12 + .../solutions/TypeLangTest/models/test.mps | 3741 ++++++++++++++++- 10 files changed, 4033 insertions(+), 192 deletions(-) diff --git a/inca-translation/languages/NewLanguage/models/editor.mps b/inca-translation/languages/NewLanguage/models/editor.mps index 1441ce0..79a1967 100644 --- a/inca-translation/languages/NewLanguage/models/editor.mps +++ b/inca-translation/languages/NewLanguage/models/editor.mps @@ -61,10 +61,6 @@ - - - - @@ -305,9 +301,8 @@ - + - diff --git a/inca-translation/languages/TypeLang/TypeLang.mpl b/inca-translation/languages/TypeLang/TypeLang.mpl index 08e0ded..5d32909 100644 --- a/inca-translation/languages/TypeLang/TypeLang.mpl +++ b/inca-translation/languages/TypeLang/TypeLang.mpl @@ -40,10 +40,25 @@ + + + + + + + + + + + + + + + @@ -52,13 +67,13 @@ c72da2b9-7cce-4447-8389-f407dc1158b7(jetbrains.mps.lang.structure) f3061a53-9226-4cc5-a443-f952ceaf5816(jetbrains.mps.baseLanguage) - b802a056-92a2-4fbc-902e-f8e5004c331f(org.inca.core) 80e42679-e00d-400f-8714-aee80946d2f9(org.inca.styles) 8865b7a8-5271-43d3-884c-6fd1d9cfdd34(MPS.OpenAPI) 2d3c70e9-aab2-4870-8d8d-6036800e4103(jetbrains.mps.kernel) 3a1c1f85-c745-4d04-a210-f97a7e31f9cc(org.inca.extensions) ab9b5480-36a1-4fc2-9c9d-f0faa4fc1b71(TypeLang) 6354ebe7-c22a-4a0f-ac54-50b52ab9b065(JDK) + e6d2ffd5-9c56-41f8-99ac-9d1ceb13daa2(org.inca.data) @@ -109,11 +124,14 @@ + - + + b802a056-92a2-4fbc-902e-f8e5004c331f(org.inca.core) + diff --git a/inca-translation/languages/TypeLang/generator/template/TypeLang.generator.util.mps b/inca-translation/languages/TypeLang/generator/template/TypeLang.generator.util.mps index 9fbfcb6..a954f8f 100644 --- a/inca-translation/languages/TypeLang/generator/template/TypeLang.generator.util.mps +++ b/inca-translation/languages/TypeLang/generator/template/TypeLang.generator.util.mps @@ -528,7 +528,7 @@ - + diff --git a/inca-translation/languages/TypeLang/generator/template/main@generator.mps b/inca-translation/languages/TypeLang/generator/template/main@generator.mps index cf0efc8..9467c4c 100644 --- a/inca-translation/languages/TypeLang/generator/template/main@generator.mps +++ b/inca-translation/languages/TypeLang/generator/template/main@generator.mps @@ -311,7 +311,7 @@ - + @@ -538,7 +538,7 @@ - + diff --git a/inca-translation/languages/TypeLang/models/behavior.mps b/inca-translation/languages/TypeLang/models/behavior.mps index 57d2590..cd04e13 100644 --- a/inca-translation/languages/TypeLang/models/behavior.mps +++ b/inca-translation/languages/TypeLang/models/behavior.mps @@ -201,9 +201,6 @@ - - - @@ -226,7 +223,6 @@ - @@ -241,9 +237,6 @@ - - - @@ -285,7 +278,6 @@ - @@ -303,47 +295,6 @@ - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - @@ -466,7 +417,7 @@ - + @@ -810,38 +761,28 @@ - - - - - - - - + + + + + + + + + + - - - + + + - - - - - - - - - - - - - + @@ -857,43 +798,7 @@ - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - + @@ -916,8 +821,8 @@ - - + + @@ -934,7 +839,7 @@ - + @@ -983,7 +888,7 @@ - + @@ -1024,12 +929,12 @@ - + - + @@ -1057,7 +962,7 @@ - + @@ -1194,7 +1099,7 @@ - + @@ -1263,12 +1168,12 @@ - + - + @@ -1311,7 +1216,7 @@ - + @@ -1591,7 +1496,7 @@ - + @@ -1675,12 +1580,12 @@ - + - + @@ -1738,7 +1643,7 @@ - + @@ -2069,7 +1974,7 @@ - + @@ -3548,5 +3453,124 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + diff --git a/inca-translation/languages/TypeLang/models/editor.mps b/inca-translation/languages/TypeLang/models/editor.mps index 90605af..0d07170 100644 --- a/inca-translation/languages/TypeLang/models/editor.mps +++ b/inca-translation/languages/TypeLang/models/editor.mps @@ -379,7 +379,7 @@ - + @@ -1356,5 +1356,52 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + diff --git a/inca-translation/languages/TypeLang/models/structure.mps b/inca-translation/languages/TypeLang/models/structure.mps index fbf9c89..234fdd3 100644 --- a/inca-translation/languages/TypeLang/models/structure.mps +++ b/inca-translation/languages/TypeLang/models/structure.mps @@ -7,6 +7,7 @@ + @@ -52,16 +53,9 @@ - + - - - - - - - @@ -69,6 +63,9 @@ + + + @@ -202,7 +199,7 @@ - + @@ -243,7 +240,7 @@ - + @@ -257,7 +254,7 @@ - + @@ -287,7 +284,7 @@ - + @@ -301,7 +298,7 @@ - + @@ -315,7 +312,7 @@ - + @@ -623,5 +620,50 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + diff --git a/inca-translation/languages/TypeLang/models/typesystem.mps b/inca-translation/languages/TypeLang/models/typesystem.mps index 08c79fb..09da2ed 100644 --- a/inca-translation/languages/TypeLang/models/typesystem.mps +++ b/inca-translation/languages/TypeLang/models/typesystem.mps @@ -67,29 +67,49 @@ - - - - - - - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + - + diff --git a/inca-translation/solutions/TypeLangTest/TypeLangTest.msd b/inca-translation/solutions/TypeLangTest/TypeLangTest.msd index 830fb71..9b6ceb6 100644 --- a/inca-translation/solutions/TypeLangTest/TypeLangTest.msd +++ b/inca-translation/solutions/TypeLangTest/TypeLangTest.msd @@ -12,7 +12,19 @@ + + + + + + + + + + + + diff --git a/inca-translation/solutions/TypeLangTest/models/test.mps b/inca-translation/solutions/TypeLangTest/models/test.mps index fe5f448..362e7d2 100644 --- a/inca-translation/solutions/TypeLangTest/models/test.mps +++ b/inca-translation/solutions/TypeLangTest/models/test.mps @@ -3,12 +3,103 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -32,9 +123,8 @@ - + - @@ -65,6 +155,11 @@ + + + + + @@ -76,6 +171,19 @@ + + + + + + + + + + + + + @@ -88,28 +196,28 @@ - + - + - + - + @@ -118,14 +226,14 @@ - + - + @@ -138,19 +246,19 @@ - + - + - + @@ -161,7 +269,7 @@ - + @@ -172,11 +280,11 @@ - + - + @@ -184,21 +292,21 @@ - + - + - + @@ -889,21 +997,21 @@ - + - + - + @@ -912,21 +1020,21 @@ - + - + - + @@ -937,7 +1045,7 @@ - + @@ -948,11 +1056,11 @@ - + - + @@ -960,21 +1068,21 @@ - + - + - + @@ -1427,5 +1535,3580 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + -- GitLab