From fda586c45cce2a41eac4773fbdbe9b1560dd8762 Mon Sep 17 00:00:00 2001 From: Fedor Isakov Date: Wed, 13 Jun 2018 14:34:41 +0200 Subject: [PATCH] Extract generic support for launching code rules into a separate plugin solution. --- .gitignore | 1 + .mps/modules.xml | 1 + build.gradle | 3 +- build.xml | 290 +- .../jetbrains.mps.coderules/build.gradle | 14 + .../jetbrains.mps.coderules/gradle.properties | 3 + .../jetbrains.mps.coderules.msd | 58 + .../jetbrains.mps.coderules/models/plugin.mps | 608 +++ .../models/service.mps | 3599 +++++++++++++++ settings.gradle | 1 + .../jetbrains.mps.typechecking.build.mps | 325 +- .../jetbrains.mps.typechecking.test.msd | 1 + .../models/jetbrains.mps.scheduling@tests.mps | 32 +- .../jetbrains.mps.typechecking.ui.msd | 2 + .../models/ui.plugin.mps | 87 +- .../jetbrains.mps.typechecking/build.gradle | 3 - .../jetbrains.mps.typechecking.msd | 12 +- .../models/jetbrains.mps.typechecking.mps | 44 +- .../models/plugin.mps | 444 -- .../models/service.mps | 3964 ++--------------- 20 files changed, 5115 insertions(+), 4377 deletions(-) create mode 100644 coderules/solutions/jetbrains.mps.coderules/build.gradle create mode 100644 coderules/solutions/jetbrains.mps.coderules/gradle.properties create mode 100644 coderules/solutions/jetbrains.mps.coderules/jetbrains.mps.coderules.msd create mode 100644 coderules/solutions/jetbrains.mps.coderules/models/plugin.mps create mode 100644 coderules/solutions/jetbrains.mps.coderules/models/service.mps diff --git a/.gitignore b/.gitignore index 62bbc6c7..4048d360 100644 --- a/.gitignore +++ b/.gitignore @@ -15,5 +15,6 @@ system/* logic/solutions/jetbrains.mps.logic.reactor/lib/* logic/solutions/jetbrains.mps.logic.test/lib/* typechecking/solutions/jetbrains.mps.typechecking/lib/* +coderules/solutions/jetbrains.mps.coderules/lib/* MPS_HOME TEST-* diff --git a/.mps/modules.xml b/.mps/modules.xml index d3a26240..b45e5d7d 100644 --- a/.mps/modules.xml +++ b/.mps/modules.xml @@ -4,6 +4,7 @@ + diff --git a/build.gradle b/build.gradle index 5bd3cde3..a4fc2025 100644 --- a/build.gradle +++ b/build.gradle @@ -66,7 +66,8 @@ def allInitDependencies = [ 'installMps', 'logic/solutions/jetbrains.mps.logic.reactor:copyDependencies', 'logic/solutions/jetbrains.mps.logic.test:copyDependencies', - 'typechecking/solutions/jetbrains.mps.typechecking:copyDependencies' ] + 'typechecking/solutions/jetbrains.mps.typechecking:copyDependencies', + 'coderules/solutions/jetbrains.mps.coderules:copyDependencies' ] task init(dependsOn: allInitDependencies) { doLast { diff --git a/build.xml b/build.xml index 48b6f92e..b245ca73 100644 --- a/build.xml +++ b/build.xml @@ -493,9 +493,6 @@ - - - @@ -949,10 +946,10 @@ - - - - + + + + jetbrains.mps.typechecking Typechecking with Constraint Rules @@ -965,7 +962,7 @@ - + @@ -996,7 +993,7 @@ - + @@ -1024,7 +1021,7 @@ - + @@ -1034,7 +1031,7 @@ - + @@ -1074,7 +1071,7 @@ - + @@ -1102,7 +1099,7 @@ - + @@ -1112,7 +1109,7 @@ - + @@ -1146,11 +1143,11 @@ - + - + @@ -1175,7 +1172,7 @@ - + @@ -1184,7 +1181,7 @@ - + @@ -1194,6 +1191,51 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -1225,7 +1267,7 @@ - + @@ -1256,7 +1298,7 @@ - + @@ -1266,7 +1308,7 @@ - + @@ -1307,7 +1349,7 @@ - + @@ -1316,7 +1358,7 @@ - + @@ -1349,7 +1391,7 @@ - + @@ -1358,7 +1400,7 @@ - + @@ -1387,16 +1429,13 @@ - - - - + @@ -1405,7 +1444,7 @@ - + @@ -1435,7 +1474,7 @@ - + @@ -1443,7 +1482,7 @@ - + @@ -1478,7 +1517,7 @@ - + @@ -1487,7 +1526,7 @@ - + @@ -1523,7 +1562,7 @@ - + @@ -1551,7 +1590,7 @@ - + @@ -1561,7 +1600,7 @@ - + @@ -1578,17 +1617,20 @@ - + - + typechecking-plugin.ci.build.num=${ci.build.num}${line.separator}mps.build.number=${mps.build.number}${line.separator}mps.date=${mps.date}${line.separator}mps.build.vcs.number=${mps.build.vcs.number}${line.separator}mps.teamcity.buildConfName=${mps.teamcity.buildConfName}${line.separator}mps.idea.platform.build.number=${mps.idea.platform.build.number}${line.separator}mps.mps.build.counter=${mps.mps.build.counter}${line.separator}mpsBootstrapCore.version=${mpsBootstrapCore.version} - + + + + @@ -1597,7 +1639,7 @@ - + @@ -1708,6 +1750,7 @@ + @@ -2017,7 +2060,59 @@ - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -2042,25 +2137,26 @@ + + + - - + + + - - - @@ -2092,7 +2188,7 @@ - + @@ -2117,6 +2213,9 @@ + + + @@ -2124,19 +2223,17 @@ - - + + + - - - @@ -2243,7 +2340,7 @@ - + @@ -2256,17 +2353,13 @@ - + - - - - @@ -2274,15 +2367,20 @@ + + + + + + + + - - - @@ -2422,7 +2520,7 @@ - + @@ -2435,16 +2533,13 @@ - + - - - @@ -2452,17 +2547,21 @@ + + + + + + + - - - @@ -2525,7 +2624,7 @@ - + @@ -2538,16 +2637,13 @@ - + - - - @@ -2555,17 +2651,21 @@ + + + + + + + - - - @@ -2594,7 +2694,7 @@ - + @@ -2608,16 +2708,13 @@ - + - - - @@ -2625,19 +2722,23 @@ + + + + + + + - - - @@ -2721,7 +2822,7 @@ - + @@ -2735,15 +2836,13 @@ - + - - @@ -2751,20 +2850,23 @@ + + + + + + - - - @@ -2874,6 +2976,7 @@ + @@ -2946,6 +3049,7 @@ + diff --git a/coderules/solutions/jetbrains.mps.coderules/build.gradle b/coderules/solutions/jetbrains.mps.coderules/build.gradle new file mode 100644 index 00000000..8f3b0e73 --- /dev/null +++ b/coderules/solutions/jetbrains.mps.coderules/build.gradle @@ -0,0 +1,14 @@ +configurations { + codeRules +} + +dependencies { + codeRules "io.reactivex.rxjava2:rxjava:${rxjavaRevision}@jar" + codeRules "com.github.akarnokd:rxjava2-swing:${rxjavaswingRevision}@jar" + codeRules "org.reactivestreams:reactive-streams:${reactivestreamsRevision}@jar" +} + +task copyDependencies (type: Copy) { + from configurations.codeRules + into 'lib' +} diff --git a/coderules/solutions/jetbrains.mps.coderules/gradle.properties b/coderules/solutions/jetbrains.mps.coderules/gradle.properties new file mode 100644 index 00000000..f5213d03 --- /dev/null +++ b/coderules/solutions/jetbrains.mps.coderules/gradle.properties @@ -0,0 +1,3 @@ +rxjavaRevision = 2.1.1 +rxjavaswingRevision = 0.2.1 +reactivestreamsRevision = 1.0.0.final diff --git a/coderules/solutions/jetbrains.mps.coderules/jetbrains.mps.coderules.msd b/coderules/solutions/jetbrains.mps.coderules/jetbrains.mps.coderules.msd new file mode 100644 index 00000000..7f6a61fb --- /dev/null +++ b/coderules/solutions/jetbrains.mps.coderules/jetbrains.mps.coderules.msd @@ -0,0 +1,58 @@ + + + + + + + + + + + + + + + + + + + + 6ed54515-acc8-4d1e-a16c-9fd6cfe951ea(MPS.Core) + 26e8f4ce-2a35-4f44-8065-e5ba154b18e9(jetbrains.mps.lang.coderules.runtime) + ceab5195-25ea-4f22-9b92-103b95ca8c0c(jetbrains.mps.lang.core) + a5478664-6b44-4c62-a9f7-434f8aa57eee(jetbrains.mps.logic.runtime) + 498d89d2-c2e9-11e2-ad49-6cf049e62fe5(MPS.IDEA) + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + diff --git a/coderules/solutions/jetbrains.mps.coderules/models/plugin.mps b/coderules/solutions/jetbrains.mps.coderules/models/plugin.mps new file mode 100644 index 00000000..c8ba7a20 --- /dev/null +++ b/coderules/solutions/jetbrains.mps.coderules/models/plugin.mps @@ -0,0 +1,608 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + diff --git a/coderules/solutions/jetbrains.mps.coderules/models/service.mps b/coderules/solutions/jetbrains.mps.coderules/models/service.mps new file mode 100644 index 00000000..7e4c30d1 --- /dev/null +++ b/coderules/solutions/jetbrains.mps.coderules/models/service.mps @@ -0,0 +1,3599 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + diff --git a/settings.gradle b/settings.gradle index fbc5af46..a864df5c 100644 --- a/settings.gradle +++ b/settings.gradle @@ -1,3 +1,4 @@ include 'logic/solutions/jetbrains.mps.logic.reactor' include 'logic/solutions/jetbrains.mps.logic.test' include 'typechecking/solutions/jetbrains.mps.typechecking' +include 'coderules/solutions/jetbrains.mps.coderules' diff --git a/typechecking/solutions/jetbrains.mps.typechecking.build/models/jetbrains.mps.typechecking.build.mps b/typechecking/solutions/jetbrains.mps.typechecking.build/models/jetbrains.mps.typechecking.build.mps index 23acd102..1d51587d 100644 --- a/typechecking/solutions/jetbrains.mps.typechecking.build/models/jetbrains.mps.typechecking.build.mps +++ b/typechecking/solutions/jetbrains.mps.typechecking.build/models/jetbrains.mps.typechecking.build.mps @@ -758,6 +758,122 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -1231,72 +1347,6 @@ - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - @@ -1333,6 +1383,12 @@ + + + + + + @@ -1535,6 +1591,12 @@ + + + + + + @@ -2097,7 +2159,7 @@ - + @@ -2226,6 +2288,72 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -2237,69 +2365,6 @@ - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - diff --git a/typechecking/solutions/jetbrains.mps.typechecking.test/jetbrains.mps.typechecking.test.msd b/typechecking/solutions/jetbrains.mps.typechecking.test/jetbrains.mps.typechecking.test.msd index 463d2330..13ef5598 100644 --- a/typechecking/solutions/jetbrains.mps.typechecking.test/jetbrains.mps.typechecking.test.msd +++ b/typechecking/solutions/jetbrains.mps.typechecking.test/jetbrains.mps.typechecking.test.msd @@ -45,6 +45,7 @@ + diff --git a/typechecking/solutions/jetbrains.mps.typechecking.test/models/jetbrains.mps.scheduling@tests.mps b/typechecking/solutions/jetbrains.mps.typechecking.test/models/jetbrains.mps.scheduling@tests.mps index 826505c7..84dc91f0 100644 --- a/typechecking/solutions/jetbrains.mps.typechecking.test/models/jetbrains.mps.scheduling@tests.mps +++ b/typechecking/solutions/jetbrains.mps.typechecking.test/models/jetbrains.mps.scheduling@tests.mps @@ -7,16 +7,18 @@ + - - - + + + + @@ -533,9 +535,9 @@ - - - + + + @@ -554,9 +556,9 @@ - - - + + + @@ -764,9 +766,9 @@ - - - + + + @@ -785,9 +787,9 @@ - - - + + + diff --git a/typechecking/solutions/jetbrains.mps.typechecking.ui/jetbrains.mps.typechecking.ui.msd b/typechecking/solutions/jetbrains.mps.typechecking.ui/jetbrains.mps.typechecking.ui.msd index fe466ffb..a6a90932 100644 --- a/typechecking/solutions/jetbrains.mps.typechecking.ui/jetbrains.mps.typechecking.ui.msd +++ b/typechecking/solutions/jetbrains.mps.typechecking.ui/jetbrains.mps.typechecking.ui.msd @@ -21,6 +21,7 @@ bfbdd672-7ff5-403f-af4f-16da5226f34c(jetbrains.mps.findUsages.runtime) 6998f568-f0e9-473b-b4a8-9efb6499fc8d(jetbrains.mps.typechecking) ceab5195-25ea-4f22-9b92-103b95ca8c0c(jetbrains.mps.lang.core) + f97d84b2-8bad-4fdd-8ede-da17b3eacf4c(jetbrains.mps.coderules) @@ -48,6 +49,7 @@ + diff --git a/typechecking/solutions/jetbrains.mps.typechecking.ui/models/ui.plugin.mps b/typechecking/solutions/jetbrains.mps.typechecking.ui/models/ui.plugin.mps index 96773390..5a252a96 100644 --- a/typechecking/solutions/jetbrains.mps.typechecking.ui/models/ui.plugin.mps +++ b/typechecking/solutions/jetbrains.mps.typechecking.ui/models/ui.plugin.mps @@ -82,17 +82,11 @@ - - - - - - @@ -103,6 +97,13 @@ + + + + + + + @@ -16873,7 +16874,7 @@ - + @@ -26241,11 +26242,11 @@ - + - + @@ -26308,7 +26309,7 @@ - + @@ -29065,7 +29066,7 @@ - + @@ -29087,7 +29088,7 @@ - + @@ -29106,7 +29107,7 @@ - + @@ -29175,7 +29176,7 @@ - + @@ -29188,7 +29189,7 @@ - + @@ -29200,7 +29201,7 @@ - + @@ -29226,7 +29227,7 @@ - + @@ -29239,7 +29240,7 @@ - + @@ -29367,7 +29368,7 @@ - + @@ -29396,7 +29397,7 @@ - + @@ -29571,8 +29572,8 @@ - - + + @@ -29610,8 +29611,8 @@ - - + + @@ -29625,7 +29626,7 @@ - + @@ -29647,8 +29648,8 @@ - - + + @@ -29662,7 +29663,7 @@ - + @@ -29678,7 +29679,7 @@ - + @@ -30768,11 +30769,11 @@ - + - + @@ -30793,8 +30794,8 @@ - - + + @@ -30802,7 +30803,7 @@ - + @@ -30810,7 +30811,7 @@ - + @@ -31131,13 +31132,13 @@ - + - + @@ -31151,7 +31152,7 @@ - + @@ -31181,7 +31182,7 @@ - + @@ -31189,7 +31190,7 @@ - + @@ -32115,7 +32116,7 @@ - + @@ -32150,7 +32151,7 @@ - + @@ -32522,7 +32523,7 @@ - + diff --git a/typechecking/solutions/jetbrains.mps.typechecking/build.gradle b/typechecking/solutions/jetbrains.mps.typechecking/build.gradle index 7debfbf3..8fb508e3 100644 --- a/typechecking/solutions/jetbrains.mps.typechecking/build.gradle +++ b/typechecking/solutions/jetbrains.mps.typechecking/build.gradle @@ -3,9 +3,6 @@ configurations { } dependencies { - typeChecking "io.reactivex.rxjava2:rxjava:${rxjavaRevision}@jar" - typeChecking "com.github.akarnokd:rxjava2-swing:${rxjavaswingRevision}@jar" - typeChecking "org.reactivestreams:reactive-streams:${reactivestreamsRevision}@jar" } task copyDependencies (type: Copy) { diff --git a/typechecking/solutions/jetbrains.mps.typechecking/jetbrains.mps.typechecking.msd b/typechecking/solutions/jetbrains.mps.typechecking/jetbrains.mps.typechecking.msd index fe06b7de..2d0fbb92 100644 --- a/typechecking/solutions/jetbrains.mps.typechecking/jetbrains.mps.typechecking.msd +++ b/typechecking/solutions/jetbrains.mps.typechecking/jetbrains.mps.typechecking.msd @@ -4,17 +4,7 @@ - - - - - - - - - - 8865b7a8-5271-43d3-884c-6fd1d9cfdd34(MPS.OpenAPI) @@ -26,6 +16,7 @@ ceab5195-25ea-4f22-9b92-103b95ca8c0c(jetbrains.mps.lang.core) 742f6602-5a2f-4313-aa6e-ae1cd4ffdc61(MPS.Platform) 6354ebe7-c22a-4a0f-ac54-50b52ab9b065(JDK) + f97d84b2-8bad-4fdd-8ede-da17b3eacf4c(jetbrains.mps.coderules) @@ -53,6 +44,7 @@ + diff --git a/typechecking/solutions/jetbrains.mps.typechecking/models/jetbrains.mps.typechecking.mps b/typechecking/solutions/jetbrains.mps.typechecking/models/jetbrains.mps.typechecking.mps index 44659078..ebd6baa7 100644 --- a/typechecking/solutions/jetbrains.mps.typechecking/models/jetbrains.mps.typechecking.mps +++ b/typechecking/solutions/jetbrains.mps.typechecking/models/jetbrains.mps.typechecking.mps @@ -16,10 +16,12 @@ - + + + @@ -735,11 +737,11 @@ - + - + @@ -764,12 +766,12 @@ - - + + - - + + @@ -807,7 +809,7 @@ - + @@ -817,9 +819,9 @@ - - - + + + @@ -933,11 +935,11 @@ - + - + @@ -955,12 +957,12 @@ - - + + - - + + @@ -1013,7 +1015,7 @@ - + @@ -1023,9 +1025,9 @@ - - - + + + diff --git a/typechecking/solutions/jetbrains.mps.typechecking/models/plugin.mps b/typechecking/solutions/jetbrains.mps.typechecking/models/plugin.mps index 30c8e924..41bfef59 100644 --- a/typechecking/solutions/jetbrains.mps.typechecking/models/plugin.mps +++ b/typechecking/solutions/jetbrains.mps.typechecking/models/plugin.mps @@ -88,9 +88,6 @@ - - - @@ -2871,446 +2868,5 @@ - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - diff --git a/typechecking/solutions/jetbrains.mps.typechecking/models/service.mps b/typechecking/solutions/jetbrains.mps.typechecking/models/service.mps index 50548e0b..2b2f2095 100644 --- a/typechecking/solutions/jetbrains.mps.typechecking/models/service.mps +++ b/typechecking/solutions/jetbrains.mps.typechecking/models/service.mps @@ -31,35 +31,25 @@ - - - - + + + + + + - - - - - - - - - - - - @@ -74,13 +64,6 @@ - - - - - - - @@ -88,10 +71,6 @@ - - - - @@ -142,11 +121,7 @@ - - - - @@ -164,16 +139,6 @@ - - - - - - - - - - @@ -214,9 +179,6 @@ - - - @@ -231,8 +193,6 @@ - - @@ -260,19 +220,11 @@ - - - - - - - - @@ -282,7 +234,6 @@ - @@ -292,7 +243,6 @@ - @@ -306,9 +256,6 @@ - - - @@ -349,31 +296,16 @@ - - - - - - - - - - - - - - - @@ -391,9 +323,6 @@ - - - @@ -418,9 +347,7 @@ - - @@ -513,7 +440,7 @@ - + @@ -591,7 +518,7 @@ - + @@ -626,7 +553,7 @@ - + @@ -670,7 +597,7 @@ - + @@ -690,7 +617,7 @@ - + @@ -719,7 +646,7 @@ - + @@ -728,9 +655,9 @@ - - - + + + @@ -748,7 +675,7 @@ - + @@ -760,7 +687,7 @@ - + @@ -769,7 +696,7 @@ - + @@ -781,7 +708,7 @@ - + @@ -802,7 +729,7 @@ - + @@ -814,13 +741,14 @@ + - + @@ -849,7 +777,7 @@ - + @@ -933,7 +861,7 @@ - + @@ -941,7 +869,7 @@ - + @@ -972,7 +900,7 @@ - + @@ -990,7 +918,7 @@ - + @@ -998,7 +926,7 @@ - + @@ -1019,12 +947,12 @@ - + - + @@ -1161,11 +1089,11 @@ - + - + @@ -1201,7 +1129,7 @@ - + @@ -1412,7 +1340,7 @@ - + @@ -1431,7 +1359,7 @@ - + @@ -1462,7 +1390,7 @@ - + @@ -1510,7 +1438,7 @@ - + @@ -1585,7 +1513,7 @@ - + @@ -1678,3381 +1606,6 @@ - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - @@ -5206,7 +1759,7 @@ - + @@ -5216,9 +1769,9 @@ - - - + + + @@ -5368,7 +1921,7 @@ - + @@ -5384,9 +1937,9 @@ - - - + + + @@ -5692,11 +2245,11 @@ - + - + @@ -5714,12 +2267,12 @@ - - + + - - + + @@ -5805,7 +2358,7 @@ - + @@ -5825,8 +2378,8 @@ - - + + @@ -5840,7 +2393,7 @@ - + @@ -5857,8 +2410,8 @@ - - + + @@ -6082,7 +2635,7 @@ - + @@ -6208,9 +2761,9 @@ - - - + + + @@ -6502,108 +3055,6 @@ - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - @@ -6655,7 +3106,7 @@ - + @@ -6676,7 +3127,7 @@ - + @@ -6691,7 +3142,7 @@ - + @@ -6709,7 +3160,7 @@ - + @@ -6782,9 +3233,9 @@ - + - + @@ -6801,5 +3252,284 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + +