From 35133604f9a06afeba0f4118d08c1d8c9327e602 Mon Sep 17 00:00:00 2001 From: Tamas Szabo Date: Wed, 27 Jan 2016 12:21:17 +0100 Subject: [PATCH 1/4] graph utilities based cycle detection --- .../models/com/mbeddr/platform/build.mps | 6 + .../languages/com.mbeddr.core.base/base.mpl | 2 + .../languageModels/behavior.mps | 673 +++++++++++++++--- .../languageModels/typesystem.mps | 93 ++- .../languageModels/typesystem.mps | 69 -- .../languageModels/behavior.mps | 264 +++++-- .../tests/ts/core/importing@tests.mps | 53 ++ 7 files changed, 938 insertions(+), 222 deletions(-) diff --git a/code/languages/com.mbeddr.build/solutions/com.mbeddr.platform/models/com/mbeddr/platform/build.mps b/code/languages/com.mbeddr.build/solutions/com.mbeddr.platform/models/com/mbeddr/platform/build.mps index c3067e25899..4396c6e25ee 100755 --- a/code/languages/com.mbeddr.build/solutions/com.mbeddr.platform/models/com/mbeddr/platform/build.mps +++ b/code/languages/com.mbeddr.build/solutions/com.mbeddr.platform/models/com/mbeddr/platform/build.mps @@ -9134,6 +9134,12 @@ + + + + + + diff --git a/code/languages/com.mbeddr.core/languages/com.mbeddr.core.base/base.mpl b/code/languages/com.mbeddr.core/languages/com.mbeddr.core.base/base.mpl index 0d51d6a6412..5ad89be5e63 100644 --- a/code/languages/com.mbeddr.core/languages/com.mbeddr.core.base/base.mpl +++ b/code/languages/com.mbeddr.core/languages/com.mbeddr.core.base/base.mpl @@ -90,6 +90,7 @@ 34e84b8f-afa8-4364-abcd-a279fddddbe7(jetbrains.mps.editor.runtime) 8865b7a8-5271-43d3-884c-6fd1d9cfdd34(MPS.OpenAPI) 9d368018-badb-4569-9884-4b463e4f6696(de.slisson.mps.conditionalEditor.runtime) + c7a315e6-1d93-4186-85bc-2dfafd1ccc21(com.mbeddr.mpsutil.common) fbc25dd2-5da4-483a-8b19-70928e1b62d7(jetbrains.mps.devkit.general-purpose) @@ -157,6 +158,7 @@ + diff --git a/code/languages/com.mbeddr.core/languages/com.mbeddr.core.base/languageModels/behavior.mps b/code/languages/com.mbeddr.core/languages/com.mbeddr.core.base/languageModels/behavior.mps index 03618f988f3..6036d493bfd 100755 --- a/code/languages/com.mbeddr.core/languages/com.mbeddr.core.base/languageModels/behavior.mps +++ b/code/languages/com.mbeddr.core/languages/com.mbeddr.core.base/languageModels/behavior.mps @@ -61,6 +61,8 @@ + + @@ -250,7 +252,7 @@ - + @@ -384,12 +386,21 @@ + + + + + + + + + @@ -578,10 +589,12 @@ - + + + @@ -627,6 +640,10 @@ + + + + @@ -5624,17 +5641,42 @@ - - + + - - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + - - + + @@ -5647,6 +5689,84 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -16757,7 +16877,7 @@ - + @@ -16766,141 +16886,500 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + - - - - - - - - - - + + + + + - - - - - - + + + + + - - - - - - - - + + + + + + + - - - - - - - - + + + + + + + + + + + + + + + + + + + + + + - - - + + + + + + + + - - + + + + + + - - - - + + + + + + + - - + + + + + + - - - - - - - - + + + + + + + - - - - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + - - - - - - + + + + + + - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + - - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + - - - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + - - - + + + + + + + + + + + - - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + - - - + + + + + + + + + + + + + + + + + + + + + diff --git a/code/languages/com.mbeddr.core/languages/com.mbeddr.core.base/languageModels/typesystem.mps b/code/languages/com.mbeddr.core/languages/com.mbeddr.core.base/languageModels/typesystem.mps index ccdaa01274d..1574508d4de 100644 --- a/code/languages/com.mbeddr.core/languages/com.mbeddr.core.base/languageModels/typesystem.mps +++ b/code/languages/com.mbeddr.core/languages/com.mbeddr.core.base/languageModels/typesystem.mps @@ -15,6 +15,7 @@ + @@ -2110,32 +2111,94 @@ - - - - - + + + + + + - - + + + + - - + + - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + - - + + + + + - + diff --git a/code/languages/com.mbeddr.core/languages/com.mbeddr.core.modules/languageModels/typesystem.mps b/code/languages/com.mbeddr.core/languages/com.mbeddr.core.modules/languageModels/typesystem.mps index d5d229b7e09..9453411f980 100644 --- a/code/languages/com.mbeddr.core/languages/com.mbeddr.core.modules/languageModels/typesystem.mps +++ b/code/languages/com.mbeddr.core/languages/com.mbeddr.core.modules/languageModels/typesystem.mps @@ -1217,75 +1217,6 @@ - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - diff --git a/code/languages/com.mbeddr.core/languages/com.mbeddr.core.udt/languageModels/behavior.mps b/code/languages/com.mbeddr.core/languages/com.mbeddr.core.udt/languageModels/behavior.mps index 1965eba9f59..81beeef15ff 100644 --- a/code/languages/com.mbeddr.core/languages/com.mbeddr.core.udt/languageModels/behavior.mps +++ b/code/languages/com.mbeddr.core/languages/com.mbeddr.core.udt/languageModels/behavior.mps @@ -372,6 +372,10 @@ + + + + @@ -4004,72 +4008,111 @@ - - + + - - - - - - - - + + + + + + + + + + + + + + + + + + + + + + + + + - - - - - - - - + + + + + + + + + + + - - - + + - + - + - - - - - - - - - - + + + + + + + + + + + + + + + + + + + + + + + + + + - - - - + + + - - - - + + + + + + + + + @@ -4078,6 +4121,145 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + diff --git a/code/languages/com.mbeddr.core/tests/test.ts.core/tests/ts/core/importing@tests.mps b/code/languages/com.mbeddr.core/tests/test.ts.core/tests/ts/core/importing@tests.mps index 68f692a983f..a84fdea9f7c 100644 --- a/code/languages/com.mbeddr.core/tests/test.ts.core/tests/ts/core/importing@tests.mps +++ b/code/languages/com.mbeddr.core/tests/test.ts.core/tests/ts/core/importing@tests.mps @@ -61,6 +61,17 @@ + + + + + + + + + + + @@ -100,6 +111,7 @@ + @@ -145,6 +157,38 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -156,6 +200,9 @@ + + + @@ -329,6 +376,9 @@ + + + @@ -389,6 +439,9 @@ + + + From 36f0776ca18c2a9613a1b4e0f5efad15f570c9da Mon Sep 17 00:00:00 2001 From: Kolja Dummann Date: Wed, 27 Jan 2016 16:20:03 +0100 Subject: [PATCH 2/4] core: update struct and union type constraints --- .../languageModels/constraints.mps | 65 +++++++++++++++++++ .../languageModels/editor.mps | 54 +++++++++++++-- .../languageModels/structure.mps | 4 +- .../languages/com.mbeddr.core.util/util.mpl | 4 +- 4 files changed, 119 insertions(+), 8 deletions(-) diff --git a/code/languages/com.mbeddr.core/languages/com.mbeddr.core.udt/languageModels/constraints.mps b/code/languages/com.mbeddr.core/languages/com.mbeddr.core.udt/languageModels/constraints.mps index e2ed681e211..699a0f373d5 100644 --- a/code/languages/com.mbeddr.core/languages/com.mbeddr.core.udt/languageModels/constraints.mps +++ b/code/languages/com.mbeddr.core/languages/com.mbeddr.core.udt/languageModels/constraints.mps @@ -35,6 +35,9 @@ + + + @@ -99,9 +102,11 @@ + + @@ -1081,10 +1086,50 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -1351,5 +1396,25 @@ + + + + + + + + + + + + + + + + + + + + diff --git a/code/languages/com.mbeddr.core/languages/com.mbeddr.core.udt/languageModels/editor.mps b/code/languages/com.mbeddr.core/languages/com.mbeddr.core.udt/languageModels/editor.mps index 43d9a35b882..7cd4fbf9c87 100644 --- a/code/languages/com.mbeddr.core/languages/com.mbeddr.core.udt/languageModels/editor.mps +++ b/code/languages/com.mbeddr.core/languages/com.mbeddr.core.udt/languageModels/editor.mps @@ -1066,10 +1066,6 @@ - - - - @@ -1111,5 +1107,55 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + diff --git a/code/languages/com.mbeddr.core/languages/com.mbeddr.core.udt/languageModels/structure.mps b/code/languages/com.mbeddr.core/languages/com.mbeddr.core.udt/languageModels/structure.mps index 0490943be3e..5f758eb39f8 100644 --- a/code/languages/com.mbeddr.core/languages/com.mbeddr.core.udt/languageModels/structure.mps +++ b/code/languages/com.mbeddr.core/languages/com.mbeddr.core.udt/languageModels/structure.mps @@ -78,7 +78,7 @@ - + @@ -279,7 +279,7 @@ - + diff --git a/code/languages/com.mbeddr.core/languages/com.mbeddr.core.util/util.mpl b/code/languages/com.mbeddr.core/languages/com.mbeddr.core.util/util.mpl index 0f851922753..88b55ff9a55 100755 --- a/code/languages/com.mbeddr.core/languages/com.mbeddr.core.util/util.mpl +++ b/code/languages/com.mbeddr.core/languages/com.mbeddr.core.util/util.mpl @@ -270,8 +270,8 @@ - - + + From 0a50c5cc0aee3a3c369a5f1385bc3e0582e0caed Mon Sep 17 00:00:00 2001 From: Tamas Szabo Date: Wed, 27 Jan 2016 17:13:20 +0100 Subject: [PATCH 3/4] su overhaul part 1 --- .../generator/template/main@generator.mps | 225 +------ .../languageModels/behavior.mps | 316 +++------ .../languageModels/constraints.mps | 275 +------- .../languageModels/editor.mps | 34 - .../languageModels/migration.mps | 2 + .../languageModels/structure.mps | 14 - .../languageModels/typesystem.mps | 30 - .../languages/com.mbeddr.core.udt/udt.mpl | 1 + .../test/ex/core/anonymous_member.mps | 443 ------------- .../test/ex/core/structsAndEnums.mps | 21 +- .../test.ex.core/test/ex/core/unions.mps | 16 +- .../test.ts.core/models/tests1@tests.mps | 604 ------------------ .../tests/ts/core/importing@tests.mps | 65 +- .../com/mbeddr/mpsutil/common/graph.mps | 22 +- 14 files changed, 136 insertions(+), 1932 deletions(-) delete mode 100644 code/languages/com.mbeddr.core/tests/test.ex.core/test/ex/core/anonymous_member.mps diff --git a/code/languages/com.mbeddr.core/languages/com.mbeddr.core.udt/generator/template/main@generator.mps b/code/languages/com.mbeddr.core/languages/com.mbeddr.core.udt/generator/template/main@generator.mps index 0396ba99a51..095d02b7235 100644 --- a/code/languages/com.mbeddr.core/languages/com.mbeddr.core.udt/generator/template/main@generator.mps +++ b/code/languages/com.mbeddr.core/languages/com.mbeddr.core.udt/generator/template/main@generator.mps @@ -17,240 +17,17 @@ - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - + - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - diff --git a/code/languages/com.mbeddr.core/languages/com.mbeddr.core.udt/languageModels/behavior.mps b/code/languages/com.mbeddr.core/languages/com.mbeddr.core.udt/languageModels/behavior.mps index 81beeef15ff..3a15b3398ff 100644 --- a/code/languages/com.mbeddr.core/languages/com.mbeddr.core.udt/languageModels/behavior.mps +++ b/code/languages/com.mbeddr.core/languages/com.mbeddr.core.udt/languageModels/behavior.mps @@ -407,7 +407,6 @@ - @@ -3655,123 +3654,9 @@ - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - + + + @@ -3830,89 +3715,118 @@ - - - - - - - - - - - + + + + + + + + + + + + + + + + + + + + - - + + + + + + + - - - - - - - - - - - - - - - + + + + + + + + - - - - - - - - - - + + + + + + + + + + + + + + + + - - - - - - - - - - - + + + + + + + + + + + + + + + - - + + - - - + + + + + + + + + + + + + + + - - + + @@ -3964,8 +3878,8 @@ - - + + @@ -3976,29 +3890,29 @@ - - - - + + + + - + - - - - - + + + + + - + - + - + @@ -6373,30 +6287,6 @@ - - - - - - - - - - - - - - - - - - - - - - - - diff --git a/code/languages/com.mbeddr.core/languages/com.mbeddr.core.udt/languageModels/constraints.mps b/code/languages/com.mbeddr.core/languages/com.mbeddr.core.udt/languageModels/constraints.mps index 699a0f373d5..2b499377596 100644 --- a/code/languages/com.mbeddr.core/languages/com.mbeddr.core.udt/languageModels/constraints.mps +++ b/code/languages/com.mbeddr.core/languages/com.mbeddr.core.udt/languageModels/constraints.mps @@ -137,9 +137,6 @@ - - - @@ -150,7 +147,6 @@ - @@ -1038,9 +1034,6 @@ - - - @@ -1052,6 +1045,9 @@ + + + @@ -1130,271 +1126,6 @@ - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - diff --git a/code/languages/com.mbeddr.core/languages/com.mbeddr.core.udt/languageModels/editor.mps b/code/languages/com.mbeddr.core/languages/com.mbeddr.core.udt/languageModels/editor.mps index 7cd4fbf9c87..1ec0b1c9023 100644 --- a/code/languages/com.mbeddr.core/languages/com.mbeddr.core.udt/languageModels/editor.mps +++ b/code/languages/com.mbeddr.core/languages/com.mbeddr.core.udt/languageModels/editor.mps @@ -112,13 +112,6 @@ - - - - - - - @@ -1014,33 +1007,6 @@ - - - - - - - - - - - - - - - - - - - - - - - - - - - diff --git a/code/languages/com.mbeddr.core/languages/com.mbeddr.core.udt/languageModels/migration.mps b/code/languages/com.mbeddr.core/languages/com.mbeddr.core.udt/languageModels/migration.mps index a7719de5279..76696c4f9a3 100644 --- a/code/languages/com.mbeddr.core/languages/com.mbeddr.core.udt/languageModels/migration.mps +++ b/code/languages/com.mbeddr.core/languages/com.mbeddr.core.udt/languageModels/migration.mps @@ -4,6 +4,8 @@ + + diff --git a/code/languages/com.mbeddr.core/languages/com.mbeddr.core.udt/languageModels/structure.mps b/code/languages/com.mbeddr.core/languages/com.mbeddr.core.udt/languageModels/structure.mps index 5f758eb39f8..98d7281bb18 100644 --- a/code/languages/com.mbeddr.core/languages/com.mbeddr.core.udt/languageModels/structure.mps +++ b/code/languages/com.mbeddr.core/languages/com.mbeddr.core.udt/languageModels/structure.mps @@ -512,20 +512,6 @@ - - - - - - - - - - - - - - diff --git a/code/languages/com.mbeddr.core/languages/com.mbeddr.core.udt/languageModels/typesystem.mps b/code/languages/com.mbeddr.core/languages/com.mbeddr.core.udt/languageModels/typesystem.mps index 69180a738fa..d6b0b0e5208 100644 --- a/code/languages/com.mbeddr.core/languages/com.mbeddr.core.udt/languageModels/typesystem.mps +++ b/code/languages/com.mbeddr.core/languages/com.mbeddr.core.udt/languageModels/typesystem.mps @@ -2950,36 +2950,6 @@ - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - diff --git a/code/languages/com.mbeddr.core/languages/com.mbeddr.core.udt/udt.mpl b/code/languages/com.mbeddr.core/languages/com.mbeddr.core.udt/udt.mpl index ed4c7e751ce..11d76b8d8f3 100644 --- a/code/languages/com.mbeddr.core/languages/com.mbeddr.core.udt/udt.mpl +++ b/code/languages/com.mbeddr.core/languages/com.mbeddr.core.udt/udt.mpl @@ -147,6 +147,7 @@ + diff --git a/code/languages/com.mbeddr.core/tests/test.ex.core/test/ex/core/anonymous_member.mps b/code/languages/com.mbeddr.core/tests/test.ex.core/test/ex/core/anonymous_member.mps deleted file mode 100644 index f6a015e22ec..00000000000 --- a/code/languages/com.mbeddr.core/tests/test.ex.core/test/ex/core/anonymous_member.mps +++ /dev/null @@ -1,443 +0,0 @@ - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - diff --git a/code/languages/com.mbeddr.core/tests/test.ex.core/test/ex/core/structsAndEnums.mps b/code/languages/com.mbeddr.core/tests/test.ex.core/test/ex/core/structsAndEnums.mps index fa7d51624ad..47439491d06 100644 --- a/code/languages/com.mbeddr.core/tests/test.ex.core/test/ex/core/structsAndEnums.mps +++ b/code/languages/com.mbeddr.core/tests/test.ex.core/test/ex/core/structsAndEnums.mps @@ -90,9 +90,6 @@ - - - @@ -2253,13 +2250,8 @@ - - - - - - - + + @@ -2273,13 +2265,8 @@ - - - - - - - + + diff --git a/code/languages/com.mbeddr.core/tests/test.ex.core/test/ex/core/unions.mps b/code/languages/com.mbeddr.core/tests/test.ex.core/test/ex/core/unions.mps index 8be985241f0..94c6672f3ec 100644 --- a/code/languages/com.mbeddr.core/tests/test.ex.core/test/ex/core/unions.mps +++ b/code/languages/com.mbeddr.core/tests/test.ex.core/test/ex/core/unions.mps @@ -70,9 +70,6 @@ - - - @@ -367,17 +364,12 @@ - - + + - - - - - - - + + diff --git a/code/languages/com.mbeddr.core/tests/test.ts.core/models/tests1@tests.mps b/code/languages/com.mbeddr.core/tests/test.ts.core/models/tests1@tests.mps index 01d95eaeafd..81e5e374581 100644 --- a/code/languages/com.mbeddr.core/tests/test.ts.core/models/tests1@tests.mps +++ b/code/languages/com.mbeddr.core/tests/test.ts.core/models/tests1@tests.mps @@ -261,9 +261,6 @@ - - - @@ -277,9 +274,6 @@ - - - @@ -24142,304 +24136,6 @@ - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - @@ -26694,306 +26390,6 @@ - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - diff --git a/code/languages/com.mbeddr.core/tests/test.ts.core/tests/ts/core/importing@tests.mps b/code/languages/com.mbeddr.core/tests/test.ts.core/tests/ts/core/importing@tests.mps index a84fdea9f7c..2c0f3a6374c 100644 --- a/code/languages/com.mbeddr.core/tests/test.ts.core/tests/ts/core/importing@tests.mps +++ b/code/languages/com.mbeddr.core/tests/test.ts.core/tests/ts/core/importing@tests.mps @@ -61,17 +61,6 @@ - - - - - - - - - - - @@ -111,7 +100,6 @@ - @@ -157,50 +145,8 @@ - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - + - - - @@ -351,9 +297,6 @@ - - - @@ -364,7 +307,7 @@ - + @@ -377,6 +320,7 @@ + @@ -439,9 +383,6 @@ - - - diff --git a/code/languages/com.mbeddr.mpsutil/solutions/com.mbeddr.mpsutil.common/models/com/mbeddr/mpsutil/common/graph.mps b/code/languages/com.mbeddr.mpsutil/solutions/com.mbeddr.mpsutil.common/models/com/mbeddr/mpsutil/common/graph.mps index 38adc399679..e82a165e3c4 100644 --- a/code/languages/com.mbeddr.mpsutil/solutions/com.mbeddr.mpsutil.common/models/com/mbeddr/mpsutil/common/graph.mps +++ b/code/languages/com.mbeddr.mpsutil/solutions/com.mbeddr.mpsutil.common/models/com/mbeddr/mpsutil/common/graph.mps @@ -2371,15 +2371,23 @@ - - - + + + + - - - - + + + + + + + + + + + From c22d98a57173959209b8b29f214c849b7b870747 Mon Sep 17 00:00:00 2001 From: Tamas Szabo Date: Thu, 28 Jan 2016 14:31:27 +0100 Subject: [PATCH 4/4] early exit SCC lookup and enhanced cycle detection --- .../languageModels/behavior.mps | 80 +- .../languageModels/typesystem.mps | 9 +- .../languageModels/behavior.mps | 24 +- .../languageModels/typesystem.mps | 94 -- .../test.ts.core/models/tests1@tests.mps | 29 +- .../com/mbeddr/mpsutil/common/graph.mps | 1412 ++++++++++------- 6 files changed, 945 insertions(+), 703 deletions(-) diff --git a/code/languages/com.mbeddr.core/languages/com.mbeddr.core.base/languageModels/behavior.mps b/code/languages/com.mbeddr.core/languages/com.mbeddr.core.base/languageModels/behavior.mps index 6036d493bfd..989e3b4a4a8 100755 --- a/code/languages/com.mbeddr.core/languages/com.mbeddr.core.base/languageModels/behavior.mps +++ b/code/languages/com.mbeddr.core/languages/com.mbeddr.core.base/languageModels/behavior.mps @@ -16937,6 +16937,20 @@ + + + + + + + + + + + + + + @@ -17212,56 +17226,20 @@ - - - - - - - - - - - - - - - - - - - - - + + - - + + - - - - - - - - - - - - - - - - - - - - - - - + + + + + + @@ -17270,7 +17248,7 @@ - + @@ -17279,7 +17257,7 @@ - + @@ -17289,7 +17267,7 @@ - + @@ -17314,7 +17292,7 @@ - + @@ -17344,7 +17322,7 @@ - + diff --git a/code/languages/com.mbeddr.core/languages/com.mbeddr.core.base/languageModels/typesystem.mps b/code/languages/com.mbeddr.core/languages/com.mbeddr.core.base/languageModels/typesystem.mps index 1574508d4de..b72ac5ec514 100644 --- a/code/languages/com.mbeddr.core/languages/com.mbeddr.core.base/languageModels/typesystem.mps +++ b/code/languages/com.mbeddr.core/languages/com.mbeddr.core.base/languageModels/typesystem.mps @@ -2163,8 +2163,13 @@ - - + + + + + + + diff --git a/code/languages/com.mbeddr.core/languages/com.mbeddr.core.udt/languageModels/behavior.mps b/code/languages/com.mbeddr.core/languages/com.mbeddr.core.udt/languageModels/behavior.mps index 3a15b3398ff..c8ff4f9d275 100644 --- a/code/languages/com.mbeddr.core/languages/com.mbeddr.core.udt/languageModels/behavior.mps +++ b/code/languages/com.mbeddr.core/languages/com.mbeddr.core.udt/languageModels/behavior.mps @@ -4124,8 +4124,13 @@ - - + + + + + + + @@ -4174,6 +4179,21 @@ + + + + + + + + + + + + + + + diff --git a/code/languages/com.mbeddr.core/languages/com.mbeddr.core.udt/languageModels/typesystem.mps b/code/languages/com.mbeddr.core/languages/com.mbeddr.core.udt/languageModels/typesystem.mps index d6b0b0e5208..d5719f96ae2 100644 --- a/code/languages/com.mbeddr.core/languages/com.mbeddr.core.udt/languageModels/typesystem.mps +++ b/code/languages/com.mbeddr.core/languages/com.mbeddr.core.udt/languageModels/typesystem.mps @@ -316,7 +316,6 @@ - @@ -2324,99 +2323,6 @@ - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - diff --git a/code/languages/com.mbeddr.core/tests/test.ts.core/models/tests1@tests.mps b/code/languages/com.mbeddr.core/tests/test.ts.core/models/tests1@tests.mps index 81e5e374581..21c81408ce7 100644 --- a/code/languages/com.mbeddr.core/tests/test.ts.core/models/tests1@tests.mps +++ b/code/languages/com.mbeddr.core/tests/test.ts.core/models/tests1@tests.mps @@ -3099,11 +3099,7 @@ - - - - - + @@ -3119,13 +3115,6 @@ - - - - - - - @@ -3138,12 +3127,8 @@ - - - - - - + + @@ -3159,12 +3144,8 @@ - - - - - - + + diff --git a/code/languages/com.mbeddr.mpsutil/solutions/com.mbeddr.mpsutil.common/models/com/mbeddr/mpsutil/common/graph.mps b/code/languages/com.mbeddr.mpsutil/solutions/com.mbeddr.mpsutil.common/models/com/mbeddr/mpsutil/common/graph.mps index e82a165e3c4..e436be15ef2 100644 --- a/code/languages/com.mbeddr.mpsutil/solutions/com.mbeddr.mpsutil.common/models/com/mbeddr/mpsutil/common/graph.mps +++ b/code/languages/com.mbeddr.mpsutil/solutions/com.mbeddr.mpsutil.common/models/com/mbeddr/mpsutil/common/graph.mps @@ -24,6 +24,7 @@ + @@ -143,6 +144,9 @@ + + + @@ -179,12 +183,33 @@ + + + + + + + + + + + + + + - + + + + + + + + @@ -202,6 +227,9 @@ + + + @@ -219,6 +247,7 @@ + @@ -236,7 +265,11 @@ + + + + @@ -247,7 +280,9 @@ + + @@ -1517,570 +1552,823 @@ + - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + - - + + - - + + - - - - + + + + - - - - - + + + + + - - + + - - + + - - + + - - - + + + - - + + - - + + - - - - + + + + - - + + - - - - - + + + + + - - + + - - + + - - - - + + + + - - + + - - - - + + + + - - - + + + - - - + + + - - + + - - - + + + - - - - + + + + - - + + - - + + - - + + - - - + + + - - - - + + + + - - - + + + - - + + - - + + - - + + - - - - + + + + - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + - - - - - + + + + + + + + - + - + - - - + + + - - + + - - - - + + + + - - - - - - - + + - - - + + + - - - - - - + + + + + + - - - + + + - - - + + + - - - - + + + + - - + + - - - + + + - + - - - + + + - - + + - - - + + + - - + + - - + + - + - - - + + + - - + + - - - + + + - - - - - - + + + + + + - - - - + + + + - - - + + + - - - - + + + + - - - - + + + + - - + + - + - - - - + + + + - - - - + + + + - - + + - + - - - - - - + + + + + + - - - + + + - - + + - - - - - - - - + + + + + + + + - - - + + + - + - - + + - - - + + + - - + + - - - - - + + + + + - + - - + + - - + + - - - - + + + + - - + + - + - - - - - - - + + + + + + + - - - - + + + + - - - + + + - - - - + + + + - + - - - + + + - - - + + + - + - - + + - - - + + + - - - - - + + + + + - - + + - - - - - - - - + + + + + + + + - + - - + - - - + + + + - + - - - - + + + + - - + + - + @@ -2088,64 +2376,64 @@ - - - - + + + + - - + + - - - + + + - - - - + + + + - - - + + + - - - - - - + + + + + + - + - + - - - + + + - + - - - - + + + + - - + + - + @@ -2158,113 +2446,113 @@ - - - - + + + + - - - - + + + + - - + + - - - - + + + + - - + + - + - - - - + + + + - - + + - - - - + + + + - - + + - + - - + + - - + + - - - - - - - + + + + + + + - - + + - - - + + + - - - - + + + + - - - + + + - - + + - - - - + + + + - - + + - + @@ -2274,195 +2562,249 @@ - - - - - + + + + + - - + + - - - - - - + + + + + + - + - - - + + + - - + + - - - + + + - - - - + + + + - - - + + + - - - - + + + + - - + + - - + + - + - - - - - - - - + + + + + + + + - + - - + + - - - - + + + + - - - + + + - - - - - + + + + + - - - - + + + + - + - - + + - - - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + - - - + + + + + + + + + + + + + + + + + + + + - - - - - + + + + + - + - - - + + + - + - - - - + + + + - - + + - - - - - + + + - + - - + + - - - - + + + + - - + + - + @@ -2470,36 +2812,46 @@ - - - - + + + + + + + + + - - - - - + + + + + - + - + + + + + + + - + - - + + -