From 7f20db92a64c3d0c8e828a7616d870a8b23bd618 Mon Sep 17 00:00:00 2001 From: Fedor Isakov Date: Thu, 26 Nov 2015 18:22:08 +0100 Subject: [PATCH] Finishing refactoring the constraints API: extracted JCHR launcher --- .../lang/typesystem2/samplechecker/runner.mps | 971 ++-------- .../lang/typesystem2/sampleplugin/plugin.mps | 1460 ++++++-------- .../jchr/jetbrains.mps.logic.jchr.msd | 15 + .../jetbrains/mps/logic/jchr/program.mps | 1683 ++++++++++++++--- .../mps/logic/reactor/constraint.mps | 42 +- .../jetbrains/mps/logic/reactor/program.mps | 251 ++- .../models/jetbrains/mps/logic/builtin.mps | 16 +- .../jetbrains/mps/logic/builtin/java.mps | 18 +- .../mps/logic/builtin/unification.mps | 9 - .../jetbrains/mps/logic/builtin/var.mps | 5 +- .../mps/typechecking/handler/producer.mps | 21 +- 11 files changed, 2315 insertions(+), 2176 deletions(-) diff --git a/languages/jetbrains.mps.lang.typesystem2/sandbox/jetbrains.mps.lang.typesystem2.samplechecker.runner/models/jetbrains/mps/lang/typesystem2/samplechecker/runner.mps b/languages/jetbrains.mps.lang.typesystem2/sandbox/jetbrains.mps.lang.typesystem2.samplechecker.runner/models/jetbrains/mps/lang/typesystem2/samplechecker/runner.mps index 9aa64630..7ed3486c 100644 --- a/languages/jetbrains.mps.lang.typesystem2/sandbox/jetbrains.mps.lang.typesystem2.samplechecker.runner/models/jetbrains/mps/lang/typesystem2/samplechecker/runner.mps +++ b/languages/jetbrains.mps.lang.typesystem2/sandbox/jetbrains.mps.lang.typesystem2.samplechecker.runner/models/jetbrains/mps/lang/typesystem2/samplechecker/runner.mps @@ -22,6 +22,7 @@ + @@ -59,15 +60,11 @@ - - - - @@ -79,7 +76,10 @@ - + + + + @@ -91,9 +91,6 @@ - - - @@ -103,7 +100,6 @@ - @@ -111,11 +107,11 @@ - + @@ -130,7 +126,6 @@ - @@ -152,9 +147,6 @@ - - - @@ -176,6 +168,10 @@ + + + + @@ -198,16 +194,6 @@ - - - - - - - - - - @@ -226,25 +212,9 @@ - - - - - - - - - - - - - - - - @@ -275,10 +245,45 @@ - - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -435,55 +440,45 @@ - - - - - + + + + + - - - - - + + + + + + + + + + + + + + + + + + + + + + - - - - - - - - - - - - - - - - - - + + - - - - - - - - - - - - - - + + + @@ -495,52 +490,26 @@ - - - - - - - + + - - - - - - - - - - - - - - - - - - - - - - - - - + + + + - - - + + + - - + + @@ -636,699 +605,6 @@ - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - @@ -1400,9 +676,9 @@ - - - + + + @@ -1426,13 +702,18 @@ - - - - + + + + + + + + + - - + + @@ -1446,20 +727,21 @@ - - + + - - + + + - - - + + + - - + + @@ -1488,12 +770,15 @@ - - - + + + - - + + + + + @@ -1862,10 +1147,12 @@ - - + + + + + - diff --git a/languages/jetbrains.mps.lang.typesystem2/sandbox/jetbrains.mps.lang.typesystem2.sampleplugin/models/jetbrains/mps/lang/typesystem2/sampleplugin/plugin.mps b/languages/jetbrains.mps.lang.typesystem2/sandbox/jetbrains.mps.lang.typesystem2.sampleplugin/models/jetbrains/mps/lang/typesystem2/sampleplugin/plugin.mps index 6e9997fc..a2c3ef3c 100644 --- a/languages/jetbrains.mps.lang.typesystem2/sandbox/jetbrains.mps.lang.typesystem2.sampleplugin/models/jetbrains/mps/lang/typesystem2/sampleplugin/plugin.mps +++ b/languages/jetbrains.mps.lang.typesystem2/sandbox/jetbrains.mps.lang.typesystem2.sampleplugin/models/jetbrains/mps/lang/typesystem2/sampleplugin/plugin.mps @@ -68,6 +68,7 @@ + @@ -122,7 +123,6 @@ - @@ -143,10 +143,6 @@ - - - - @@ -169,7 +165,6 @@ - @@ -200,7 +195,10 @@ - + + + + @@ -273,7 +271,6 @@ - @@ -316,10 +313,13 @@ - + + + + @@ -343,16 +343,6 @@ - - - - - - - - - - @@ -362,19 +352,12 @@ - - - - - - - - + @@ -388,10 +371,6 @@ - - - - @@ -1775,6 +1754,46 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -1930,22 +1949,6 @@ - - - - - - - - - - - - - - - - @@ -1963,110 +1966,102 @@ - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - + + + + + + + + - - - - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + - - - - - - - - - + + + - - - - - - - - - - - - - - + + - - - - - - - - - + + + + + + + + - - + + + + + + + + + + + + + + + + + + + @@ -2074,11 +2069,11 @@ - - + + - + @@ -2091,12 +2086,13 @@ - - + + + @@ -2107,93 +2103,105 @@ - - + + + + + + + + + + + + - - - - + + + + - - - - - - - - - - + + + - - - - - - + + + + - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + - - - - + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -2233,650 +2241,150 @@ - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - + + + + + + + - - - - - - - - - - + + + + - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + - - - - - - - - - + + + + + + + + + - - - - + + + + @@ -2890,20 +2398,21 @@ - - + + - - + + + - - - + + + - - + + @@ -2918,12 +2427,15 @@ - - - + + + - - + + + + + @@ -2947,12 +2459,15 @@ - - - + + + - - + + + + + @@ -2966,12 +2481,22 @@ - - - + + + + + + + + + + + + + - - + + @@ -2979,20 +2504,21 @@ - - + + - - + + + - - - + + + - - + + @@ -3007,12 +2533,15 @@ - - - + + + - - + + + + + @@ -3028,12 +2557,15 @@ - - - + + + - - + + + + + @@ -3072,12 +2604,22 @@ - - - + + + + + + + + + + + + + - - + + @@ -3085,13 +2627,18 @@ - - - + + + - - + + + + + + + @@ -3130,16 +2677,19 @@ - - - - - + + - + - - + + + + + + + + @@ -3316,16 +2866,19 @@ - - - - - + + - + - - + + + + + + + + @@ -3379,12 +2932,22 @@ - - - + + + + + + + + + + + + + - - + + @@ -3392,13 +2955,18 @@ - - - + + + - - + + + + + + + @@ -3820,6 +3388,60 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -4946,8 +4568,8 @@ - - + + @@ -4983,8 +4605,8 @@ - - + + diff --git a/languages/jetbrains.mps.logic/jchr/jetbrains.mps.logic.jchr.msd b/languages/jetbrains.mps.logic/jchr/jetbrains.mps.logic.jchr.msd index 59afd2ea..cf6af69c 100644 --- a/languages/jetbrains.mps.logic/jchr/jetbrains.mps.logic.jchr.msd +++ b/languages/jetbrains.mps.logic/jchr/jetbrains.mps.logic.jchr.msd @@ -11,17 +11,32 @@ a5478664-6b44-4c62-a9f7-434f8aa57eee(jetbrains.mps.logic.runtime) b984ee52-f34d-4b6d-8812-866c1d3eae31(jetbrains.mps.jchr.runtime) bbf5c548-7111-4a53-a117-cdefc664cf34(jetbrains.mps.logic.reactor) + 35e2a720-13d8-4eda-88d3-ff9d78d5a3ae(jetbrains.mps.lang.typesystem2.sampleplugin) + 7526e0cf-1ce7-46f8-a555-9eca1e06c23b(jetbrains.mps.logic.atom) + 26e8f4ce-2a35-4f44-8065-e5ba154b18e9(jetbrains.mps.lang.typesystem2.runtime) + c246f30f-e11c-4dc1-80c6-154d0aebc8b3(jetbrains.mps.lang.typesystem2.samplechecker.runner) + + + + + + + + + + + diff --git a/languages/jetbrains.mps.logic/jchr/models/jetbrains/mps/logic/jchr/program.mps b/languages/jetbrains.mps.logic/jchr/models/jetbrains/mps/logic/jchr/program.mps index edea7f56..76e2f48b 100644 --- a/languages/jetbrains.mps.logic/jchr/models/jetbrains/mps/logic/jchr/program.mps +++ b/languages/jetbrains.mps.logic/jchr/models/jetbrains/mps/logic/jchr/program.mps @@ -5,6 +5,8 @@ + + @@ -14,18 +16,39 @@ + + + + + + + + + + + + + + + + + + + + + @@ -35,6 +58,13 @@ + + + + + + + @@ -42,11 +72,20 @@ + + + + + + + + + @@ -61,6 +100,10 @@ + + + + @@ -78,10 +121,14 @@ + + + + @@ -95,6 +142,7 @@ + @@ -103,6 +151,13 @@ + + + + + + + @@ -112,6 +167,7 @@ + @@ -123,6 +179,7 @@ + @@ -132,19 +189,53 @@ + + + + + + + + + + + - - + + - - + + + + + + + + + + + + + + + + + + + + + + + + + @@ -178,8 +269,8 @@ - - + + @@ -202,7 +293,7 @@ - + @@ -212,6 +303,63 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -219,6 +367,27 @@ + + + + + + + + + + + + + + + + + + + + + @@ -232,6 +401,12 @@ + + + + + + @@ -248,9 +423,21 @@ + + + + + + + + + + + + + - @@ -380,19 +567,72 @@ - - - - - - - - - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -401,6 +641,77 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -418,19 +729,83 @@ - - - - - - - - - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -439,94 +814,199 @@ - - - - - - + + + + + + + + - - - - - - - - - - - - - - - - - - - + + + + + + + - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - + @@ -606,87 +1086,19 @@ - + - - - - - - + + + - - - - - - - - - - + + + + + + - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - @@ -698,14 +1110,53 @@ - - - - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -713,7 +1164,7 @@ - + @@ -721,10 +1172,10 @@ - + - + @@ -736,21 +1187,11 @@ - - - - - - - + + - - - - - - - + + @@ -788,10 +1229,10 @@ - + - + @@ -803,13 +1244,8 @@ - - - - - - - + + @@ -836,10 +1272,10 @@ - + - + @@ -876,10 +1312,10 @@ - + - + @@ -916,10 +1352,10 @@ - + - + @@ -939,12 +1375,135 @@ + + + + + + + + + + + + + + + + + + + - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + - + + + + + + + + + + + + + + + + @@ -958,6 +1517,674 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + diff --git a/languages/jetbrains.mps.logic/reactor/models/jetbrains/mps/logic/reactor/constraint.mps b/languages/jetbrains.mps.logic/reactor/models/jetbrains/mps/logic/reactor/constraint.mps index 08c5feea..842a5fea 100644 --- a/languages/jetbrains.mps.logic/reactor/models/jetbrains/mps/logic/reactor/constraint.mps +++ b/languages/jetbrains.mps.logic/reactor/models/jetbrains/mps/logic/reactor/constraint.mps @@ -2333,7 +2333,7 @@ - + @@ -2405,42 +2405,6 @@ - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - @@ -2476,7 +2440,7 @@ - + @@ -2496,7 +2460,7 @@ - + diff --git a/languages/jetbrains.mps.logic/reactor/models/jetbrains/mps/logic/reactor/program.mps b/languages/jetbrains.mps.logic/reactor/models/jetbrains/mps/logic/reactor/program.mps index b261c611..91bf40dc 100644 --- a/languages/jetbrains.mps.logic/reactor/models/jetbrains/mps/logic/reactor/program.mps +++ b/languages/jetbrains.mps.logic/reactor/models/jetbrains/mps/logic/reactor/program.mps @@ -40,9 +40,6 @@ - - - @@ -54,11 +51,15 @@ + + + + @@ -87,7 +88,9 @@ - + + + @@ -228,10 +231,33 @@ - - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -241,10 +267,11 @@ + - + @@ -284,61 +311,122 @@ + + + + + + + + + + + + + + + + + + + - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + - - - - - - - - - + - - - - - - - - - - - - - - - - - - + - + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -421,12 +509,6 @@ - - - - - - @@ -436,57 +518,26 @@ - - - - - - - - + + + + + + + + - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - + + + + + + - + @@ -501,22 +552,16 @@ - + - - - - - - + + + - - - - - + + - + diff --git a/languages/jetbrains.mps.logic/runtime/models/jetbrains/mps/logic/builtin.mps b/languages/jetbrains.mps.logic/runtime/models/jetbrains/mps/logic/builtin.mps index 5cbd1f36..74d9c85b 100644 --- a/languages/jetbrains.mps.logic/runtime/models/jetbrains/mps/logic/builtin.mps +++ b/languages/jetbrains.mps.logic/runtime/models/jetbrains/mps/logic/builtin.mps @@ -1200,8 +1200,8 @@ - - + + @@ -1214,8 +1214,8 @@ - - + + @@ -1281,8 +1281,8 @@ - - + + @@ -1294,8 +1294,8 @@ - - + + diff --git a/languages/jetbrains.mps.logic/runtime/models/jetbrains/mps/logic/builtin/java.mps b/languages/jetbrains.mps.logic/runtime/models/jetbrains/mps/logic/builtin/java.mps index fa5de0f6..fcffd999 100644 --- a/languages/jetbrains.mps.logic/runtime/models/jetbrains/mps/logic/builtin/java.mps +++ b/languages/jetbrains.mps.logic/runtime/models/jetbrains/mps/logic/builtin/java.mps @@ -40,12 +40,7 @@ - - - - - - + @@ -189,15 +184,8 @@ - - - - - - - - - + + diff --git a/languages/jetbrains.mps.logic/runtime/models/jetbrains/mps/logic/builtin/unification.mps b/languages/jetbrains.mps.logic/runtime/models/jetbrains/mps/logic/builtin/unification.mps index a98d4ad7..a25e4b58 100644 --- a/languages/jetbrains.mps.logic/runtime/models/jetbrains/mps/logic/builtin/unification.mps +++ b/languages/jetbrains.mps.logic/runtime/models/jetbrains/mps/logic/builtin/unification.mps @@ -1167,9 +1167,6 @@ - - - @@ -1936,9 +1933,6 @@ - - - @@ -2054,9 +2048,6 @@ - - - diff --git a/languages/jetbrains.mps.logic/runtime/models/jetbrains/mps/logic/builtin/var.mps b/languages/jetbrains.mps.logic/runtime/models/jetbrains/mps/logic/builtin/var.mps index 93dce6de..0e9ba170 100644 --- a/languages/jetbrains.mps.logic/runtime/models/jetbrains/mps/logic/builtin/var.mps +++ b/languages/jetbrains.mps.logic/runtime/models/jetbrains/mps/logic/builtin/var.mps @@ -144,7 +144,6 @@ - @@ -157,7 +156,7 @@ - + @@ -177,7 +176,7 @@ - + diff --git a/solutions/jetbrains.mps.typechecking.handling/models/jetbrains/mps/typechecking/handler/producer.mps b/solutions/jetbrains.mps.typechecking.handling/models/jetbrains/mps/typechecking/handler/producer.mps index 9ab0f583..4960f9be 100644 --- a/solutions/jetbrains.mps.typechecking.handling/models/jetbrains/mps/typechecking/handler/producer.mps +++ b/solutions/jetbrains.mps.typechecking.handling/models/jetbrains/mps/typechecking/handler/producer.mps @@ -726,13 +726,6 @@ - - - - - - - @@ -741,6 +734,14 @@ + + + + + + + + @@ -2988,7 +2989,7 @@ - + @@ -2997,8 +2998,8 @@ - - + +