From cc4b335286d04de0c97a31b0514a9af1cc1a6c5b Mon Sep 17 00:00:00 2001 From: Fedor Isakov Date: Fri, 4 Jan 2019 17:47:44 +0100 Subject: [PATCH] Introduce checking for instances of RuntimeErrorType during tests. Refactor test typechecking launcher. --- build.xml | 9 + .../jetbrains.mps.typechecking.build.mps | 5 + .../jetbrains.mps.typechecking@tests.mps | 27 +- .../jetbrains.mps.typechecking.msd | 12 + .../models/service.mps | 1600 +++++++++-------- .../models/firstOrderLogic@tests.mps | 141 +- .../models/herbrandLogic@tests.mps | 36 +- .../models/propositionalLogic@tests.mps | 421 +++-- .../models/samples.lambdacalc.demo@tests.mps | 245 ++- .../models/bounds.bad@tests.mps | 58 +- .../models/bounds@tests.mps | 116 +- .../models/codeAnal@tests.mps | 29 +- .../models/features@tests.mps | 219 ++- .../models/helloWorld@tests.mps | 195 +- .../models/simpleGenerics@tests.mps | 58 +- .../models/slice@tests.mps | 58 +- 16 files changed, 1863 insertions(+), 1366 deletions(-) diff --git a/build.xml b/build.xml index 780b405f..d3ebfead 100644 --- a/build.xml +++ b/build.xml @@ -3134,9 +3134,18 @@ + + + + + + + + + diff --git a/coderules/solutions/jetbrains.mps.typechecking.build/models/jetbrains.mps.typechecking.build.mps b/coderules/solutions/jetbrains.mps.typechecking.build/models/jetbrains.mps.typechecking.build.mps index 82d2f972..c8ce0397 100644 --- a/coderules/solutions/jetbrains.mps.typechecking.build/models/jetbrains.mps.typechecking.build.mps +++ b/coderules/solutions/jetbrains.mps.typechecking.build/models/jetbrains.mps.typechecking.build.mps @@ -931,6 +931,11 @@ + + + + + diff --git a/coderules/solutions/jetbrains.mps.typechecking.test/models/jetbrains.mps.typechecking@tests.mps b/coderules/solutions/jetbrains.mps.typechecking.test/models/jetbrains.mps.typechecking@tests.mps index 634a0b54..5c279d8c 100644 --- a/coderules/solutions/jetbrains.mps.typechecking.test/models/jetbrains.mps.typechecking@tests.mps +++ b/coderules/solutions/jetbrains.mps.typechecking.test/models/jetbrains.mps.typechecking@tests.mps @@ -1977,19 +1977,24 @@ - - + + - + - - - - - + + + + + + + + + + + - @@ -2003,7 +2008,7 @@ - + @@ -2025,7 +2030,7 @@ - + diff --git a/coderules/solutions/jetbrains.mps.typechecking/jetbrains.mps.typechecking.msd b/coderules/solutions/jetbrains.mps.typechecking/jetbrains.mps.typechecking.msd index 9f97cc1a..0f1e58b1 100644 --- a/coderules/solutions/jetbrains.mps.typechecking/jetbrains.mps.typechecking.msd +++ b/coderules/solutions/jetbrains.mps.typechecking/jetbrains.mps.typechecking.msd @@ -16,6 +16,7 @@ f97d84b2-8bad-4fdd-8ede-da17b3eacf4c(jetbrains.mps.coderules) f486b8aa-5b2d-4ec0-8ef5-8f45d773fb84(jetbrains.mps.lang.typechecking.runtime) 0b80a2e8-f9f1-47b3-823f-56eb115bca42(jetbrains.mps.typechecking.annotation) + 7a5dda62-9140-4668-ab76-d5ed1746f2b2(jetbrains.mps.lang.typesystem) @@ -45,11 +46,22 @@ + + + + + + + + + + + diff --git a/coderules/solutions/jetbrains.mps.typechecking/models/service.mps b/coderules/solutions/jetbrains.mps.typechecking/models/service.mps index e3e29ccd..0a405416 100644 --- a/coderules/solutions/jetbrains.mps.typechecking/models/service.mps +++ b/coderules/solutions/jetbrains.mps.typechecking/models/service.mps @@ -51,6 +51,7 @@ + @@ -140,7 +141,6 @@ - @@ -227,6 +227,7 @@ + @@ -280,6 +281,9 @@ + + + @@ -322,9 +326,6 @@ - - - @@ -377,843 +378,982 @@ - - - - - - - + + + - + - + - + - - + + - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - + + + + + + + + - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - + + + - - - - - + + - - - - - - - + + + + + + + + + + + + + + - - - - - - - - - - - - - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + - - - - - - - - - - - - - + + - - - - - - - - - - - - + + + + + + + + + + + + + + + + + + + + + + + + - - - - - - - - - - - - - - + + + + + + + + + + + + + + - - - - - + + + + - - - - - - - - - - - - + + + + + + + - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - + + - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - + + + + - - - - - - - - - - - - - - - - - - - - - - + + + + + - - - - - - - - - - - - - - - - + + + + - - - - - - - - - + + + + + + + + + + + + - + - - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + - - - - - - - - - - - - - - - - - - - - - - + + + + + + + + + + + + - - - - - - - - - - - - - - - - - - - - + + + + + + + + - - - - + + + + - - - - - - - - - - - - - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + - - - - - - - - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + - + - - - + + + - + - - - + + + - + - - + + - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - + + + + + + + + + + + - - - - - - + + + + + + + + + - - - - - - - - - - - - - - - - - - - - - + + + + + + + - + + + + + + + + + + + + + + - - + + + + + - - - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + diff --git a/samples/fitch/solutions/samples.fitch.demo/models/firstOrderLogic@tests.mps b/samples/fitch/solutions/samples.fitch.demo/models/firstOrderLogic@tests.mps index 3fb56577..669b3a6c 100644 --- a/samples/fitch/solutions/samples.fitch.demo/models/firstOrderLogic@tests.mps +++ b/samples/fitch/solutions/samples.fitch.demo/models/firstOrderLogic@tests.mps @@ -57,7 +57,6 @@ - @@ -141,23 +140,32 @@ - - - - - - - - - - - + + + + + + + + + + + + + + + + + + + - - + + + @@ -166,23 +174,32 @@ - - - - - - - - - - - + + + + + + + + + + + + + + + + + + + - - + + + @@ -191,23 +208,32 @@ - - - - - - - - - - - + + + + + + + + + + + + + + + + + + + - - + + + @@ -216,23 +242,32 @@ - - - - - - - - - - - + + + + + + + + + + + + + + + + + + + - - + + + diff --git a/samples/fitch/solutions/samples.fitch.demo/models/herbrandLogic@tests.mps b/samples/fitch/solutions/samples.fitch.demo/models/herbrandLogic@tests.mps index 49d1f67c..c428af03 100644 --- a/samples/fitch/solutions/samples.fitch.demo/models/herbrandLogic@tests.mps +++ b/samples/fitch/solutions/samples.fitch.demo/models/herbrandLogic@tests.mps @@ -57,7 +57,6 @@ - @@ -138,23 +137,32 @@ - - - - - - - - - - - + + + + + + + + + + + + + + + + + + + - - + + + diff --git a/samples/fitch/solutions/samples.fitch.demo/models/propositionalLogic@tests.mps b/samples/fitch/solutions/samples.fitch.demo/models/propositionalLogic@tests.mps index efecf958..8a42dda5 100644 --- a/samples/fitch/solutions/samples.fitch.demo/models/propositionalLogic@tests.mps +++ b/samples/fitch/solutions/samples.fitch.demo/models/propositionalLogic@tests.mps @@ -57,7 +57,6 @@ - @@ -138,23 +137,32 @@ - - - - - - - - - - - + + + + + + + + + + + + + + + + + + + - - + + + @@ -163,23 +171,32 @@ - - - - - - - - - - - + + + + + + + + + + + + + + + + + + + - - + + + @@ -188,23 +205,32 @@ - - - - - - - - - - - + + + + + + + + + + + + + + + + + + + - - + + + @@ -213,23 +239,32 @@ - - - - - - - - - - - + + + + + + + + + + + + + + + + + + + - - + + + @@ -238,23 +273,32 @@ - - - - - - - - - - - + + + + + + + + + + + + + + + + + + + - - + + + @@ -263,23 +307,32 @@ - - - - - - - - - - - + + + + + + + + + + + + + + + + + + + - - + + + @@ -288,23 +341,32 @@ - - - - - - - - - - - + + + + + + + + + + + + + + + + + + + - - + + + @@ -313,23 +375,32 @@ - - - - - - - - - - - + + + + + + + + + + + + + + + + + + + - - + + + @@ -338,23 +409,32 @@ - - - - - - - - - - - + + + + + + + + + + + + + + + + + + + - - + + + @@ -363,23 +443,32 @@ - - - - - - - - - - - + + + + + + + + + + + + + + + + + + + - - + + + @@ -388,23 +477,32 @@ - - - - - - - - - - - + + + + + + + + + + + + + + + + + + + - - + + + @@ -413,23 +511,32 @@ - - - - - - - - - - - + + + + + + + + + + + + + + + + + + + - - + + + diff --git a/samples/lambdacalc/solutions/samples.lambdacalc.demo/models/samples.lambdacalc.demo@tests.mps b/samples/lambdacalc/solutions/samples.lambdacalc.demo/models/samples.lambdacalc.demo@tests.mps index 7461e2dc..5d0bb414 100644 --- a/samples/lambdacalc/solutions/samples.lambdacalc.demo/models/samples.lambdacalc.demo@tests.mps +++ b/samples/lambdacalc/solutions/samples.lambdacalc.demo/models/samples.lambdacalc.demo@tests.mps @@ -57,7 +57,6 @@ - @@ -141,23 +140,32 @@ - - - - - - - - - - - + + + + + + + + + + + + + + + + + + + - - + + + @@ -166,23 +174,32 @@ - - - - - - - - - - - + + + + + + + + + + + + + + + + + + + - - + + + @@ -191,22 +208,32 @@ - - - - - - - - - - - + + + + + + + + + + + + + + + + + + + - + + + @@ -215,23 +242,32 @@ - - - - - - - - - - - + + + + + + + + + + + + + + + + + + + - - + + + @@ -240,23 +276,32 @@ - - - - - - - - - - - + + + + + + + + + + + + + + + + + + + - - + + + @@ -265,23 +310,32 @@ - - - - - - - - - - - + + + + + + + + + + + + + + + + + + + - - + + + @@ -290,23 +344,32 @@ - - - - - - - - - - - + + + + + + + + + + + + + + + + + + + - - + + + diff --git a/samples/mpscore/solutions/typechecking.samples.baseLanguage/models/bounds.bad@tests.mps b/samples/mpscore/solutions/typechecking.samples.baseLanguage/models/bounds.bad@tests.mps index 3e26a8a2..91a08475 100644 --- a/samples/mpscore/solutions/typechecking.samples.baseLanguage/models/bounds.bad@tests.mps +++ b/samples/mpscore/solutions/typechecking.samples.baseLanguage/models/bounds.bad@tests.mps @@ -208,22 +208,27 @@ - - - - - - - - - - - + + + + + + + + + + + + + + + + + - @@ -235,22 +240,27 @@ - - - - - - - - - - - + + + + + + + + + + + + + + + + + - diff --git a/samples/mpscore/solutions/typechecking.samples.baseLanguage/models/bounds@tests.mps b/samples/mpscore/solutions/typechecking.samples.baseLanguage/models/bounds@tests.mps index 887358bf..0c38e665 100644 --- a/samples/mpscore/solutions/typechecking.samples.baseLanguage/models/bounds@tests.mps +++ b/samples/mpscore/solutions/typechecking.samples.baseLanguage/models/bounds@tests.mps @@ -211,22 +211,27 @@ - - - - - - - - - - - + + + + + + + + + + + + + + + + + - @@ -238,22 +243,27 @@ - - - - - - - - - - - + + + + + + + + + + + + + + + + + - @@ -265,22 +275,27 @@ - - - - - - - - - - - + + + + + + + + + + + + + + + + + - @@ -292,22 +307,27 @@ - - - - - - - - - - - + + + + + + + + + + + + + + + + + - diff --git a/samples/mpscore/solutions/typechecking.samples.baseLanguage/models/codeAnal@tests.mps b/samples/mpscore/solutions/typechecking.samples.baseLanguage/models/codeAnal@tests.mps index c0f5516f..564ff242 100644 --- a/samples/mpscore/solutions/typechecking.samples.baseLanguage/models/codeAnal@tests.mps +++ b/samples/mpscore/solutions/typechecking.samples.baseLanguage/models/codeAnal@tests.mps @@ -241,22 +241,27 @@ - - - - - - - - - - - + + + + + + + + + + + + + + + + + - diff --git a/samples/mpscore/solutions/typechecking.samples.baseLanguage/models/features@tests.mps b/samples/mpscore/solutions/typechecking.samples.baseLanguage/models/features@tests.mps index 1f1e1358..c257a758 100644 --- a/samples/mpscore/solutions/typechecking.samples.baseLanguage/models/features@tests.mps +++ b/samples/mpscore/solutions/typechecking.samples.baseLanguage/models/features@tests.mps @@ -70,6 +70,12 @@ + + + + + + @@ -205,22 +211,27 @@ - - - - - - - - - - - + + + + + + + + + + + + + + + + + - @@ -229,22 +240,27 @@ - - - - - - - - - - - + + + + + + + + + + + + + + + + + - @@ -253,22 +269,27 @@ - - - - - - - - - - - + + + + + + + + + + + + + + + + + - @@ -277,22 +298,37 @@ - - - - - - - - - - - + + + + + + + + + + + + + + + + + + + + + + + + - + + + @@ -301,22 +337,27 @@ - - - - - - - - - - - + + + + + + + + + + + + + + + + + - @@ -325,22 +366,27 @@ - - - - - - - - - - - + + + + + + + + + + + + + + + + + - @@ -349,22 +395,27 @@ - - - - - - - - - - - + + + + + + + + + + + + + + + + + - diff --git a/samples/mpscore/solutions/typechecking.samples.baseLanguage/models/helloWorld@tests.mps b/samples/mpscore/solutions/typechecking.samples.baseLanguage/models/helloWorld@tests.mps index 550c7fd0..35631959 100644 --- a/samples/mpscore/solutions/typechecking.samples.baseLanguage/models/helloWorld@tests.mps +++ b/samples/mpscore/solutions/typechecking.samples.baseLanguage/models/helloWorld@tests.mps @@ -11,7 +11,6 @@ - @@ -23,6 +22,7 @@ + @@ -43,6 +43,7 @@ + @@ -50,6 +51,7 @@ + @@ -70,6 +72,10 @@ + + + + @@ -84,6 +90,16 @@ + + + + + + + + + + @@ -98,16 +114,18 @@ + + + + - - - + @@ -125,68 +143,94 @@ - - - - - - + + + + + + + + + + + + - + - - - - - - - + + + + + + + - - - - - - - + + + - - - - - + + + + - - + + - - - + + + - - - - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + - @@ -198,66 +242,29 @@ - - - - - - - - - - - - - - - - + + + + + + + + + + + + - - - - - - - - - - - - - - - - - - - - - + - - - - - + + - - - - - - - - - - diff --git a/samples/mpscore/solutions/typechecking.samples.baseLanguage/models/simpleGenerics@tests.mps b/samples/mpscore/solutions/typechecking.samples.baseLanguage/models/simpleGenerics@tests.mps index 72199351..08465533 100644 --- a/samples/mpscore/solutions/typechecking.samples.baseLanguage/models/simpleGenerics@tests.mps +++ b/samples/mpscore/solutions/typechecking.samples.baseLanguage/models/simpleGenerics@tests.mps @@ -210,22 +210,27 @@ - - - - - - - - - - - + + + + + + + + + + + + + + + + + - @@ -237,22 +242,27 @@ - - - - - - - - - - - + + + + + + + + + + + + + + + + + - diff --git a/samples/mpscore/solutions/typechecking.samples.baseLanguage/models/slice@tests.mps b/samples/mpscore/solutions/typechecking.samples.baseLanguage/models/slice@tests.mps index c447ae03..a42f829b 100644 --- a/samples/mpscore/solutions/typechecking.samples.baseLanguage/models/slice@tests.mps +++ b/samples/mpscore/solutions/typechecking.samples.baseLanguage/models/slice@tests.mps @@ -210,22 +210,27 @@ - - - - - - - - - - - + + + + + + + + + + + + + + + + + - @@ -237,22 +242,27 @@ - - - - - - - - - - - + + + + + + + + + + + + + + + + + -