Avoid issues when opening root project

Only UI-specific code related to settings left in "idea" project solution,
everything else moved to MPS-managed plugins.

build.gradle

@@ -72,8 +72,7 @@ def allInitDependencies = [
   'coderules:solutions:jetbrains.mps.logic.reactor:copyDependencies',
   'coderules:solutions:jetbrains.mps.logic.test:copyDependencies',
   'coderules:solutions:jetbrains.mps.coderules.typechecking:copyDependencies',
-  'coderules:solutions:jetbrains.mps.coderules:copyDependencies',
+  'coderules:solutions:jetbrains.mps.coderules:copyDependencies' ]
-  'coderules:solutions:jetbrains.mps.coderules.ideaplugin:makeDependencies' ]
 
 task setup(dependsOn: allInitDependencies) {
   doLast {

build.xml

@@ -48,23 +48,34 @@
     <echoxml file="${build.tmp}/default/jetbrains.mps.coderules.ideaplugin.jar/META-INF/module.xml">
       <module namespace="jetbrains.mps.coderules.ideaplugin" type="solution" uuid="66887915-4d9e-4e24-bd35-19eb55fb75c2">
         <dependencies>
+          <module ref="6354ebe7-c22a-4a0f-ac54-50b52ab9b065(JDK)" kind="rt" />
+          <module ref="4c6a28d1-2c60-478d-b36e-db9b3cbb21fb(closures.runtime)" kind="rt" />
+          <module ref="9b80526e-f0bf-4992-bdf5-cee39c1833f3(collections.runtime)" kind="rt" />
+          <module ref="52b81ac7-93fd-4e9e-b972-4995882da6d4(jetbrains.mps.baseLanguage.references.runtime)" kind="rt" />
           <module ref="3f233e7f-b8a6-46d2-a57f-795d56775243(Annotations)" kind="cl" />
           <module ref="6354ebe7-c22a-4a0f-ac54-50b52ab9b065(JDK)" kind="cl" />
           <module ref="498d89d2-c2e9-11e2-ad49-6cf049e62fe5(MPS.IDEA)" kind="cl" />
         </dependencies>
-        <uses />
+        <uses>
+          <language id="l:f3061a53-9226-4cc5-a443-f952ceaf5816:jetbrains.mps.baseLanguage" />
+          <language id="l:774bf8a0-62e5-41e1-af63-f4812e60e48b:jetbrains.mps.baseLanguage.checkedDots" />
+          <language id="l:fd392034-7849-419d-9071-12563d152375:jetbrains.mps.baseLanguage.closures" />
+          <language id="l:83888646-71ce-4f1c-9c53-c54016f6ad4f:jetbrains.mps.baseLanguage.collections" />
+          <language id="l:f2801650-65d5-424e-bb1b-463a8781b786:jetbrains.mps.baseLanguage.javadoc" />
+          <language id="l:c7fb639f-be78-4307-89b0-b5959c3fa8c8:jetbrains.mps.lang.text" />
+        </uses>
         <sources jar="jetbrains.mps.coderules.ideaplugin-src.jar" descriptor="jetbrains.mps.coderules.ideaplugin.msd" />
       </module>
     </echoxml>
     <jar destfile="${build.layout}/coderules-ideaplugin/jetbrains.mps.coderules.ideaplugin.jar" duplicate="preserve">
-      <fileset dir="${mps.macro.coderules_home}/coderules/solutions/jetbrains.mps.coderules.ideaplugin/source_off" includes="**/trace.info, **/exports, **/*.mps, **/checkpoints" />
+      <fileset dir="${mps.macro.coderules_home}/coderules/solutions/jetbrains.mps.coderules.ideaplugin/source_gen" includes="**/trace.info, **/exports, **/*.mps, **/checkpoints" />
       <fileset dir="${build.tmp}/default/jetbrains.mps.coderules.ideaplugin.jar" />
     </jar>
     <copyModels todir="${build.tmp}/customProcessors/copyModels/coderules-solutions-jetbrains.mps.coderules.ideaplugin-models">
       <fileset dir="${mps.macro.coderules_home}/coderules/solutions/jetbrains.mps.coderules.ideaplugin/models" includes="**/*.mps, **/*.mpsr, **/.model" />
     </copyModels>
     <jar destfile="${build.layout}/coderules-ideaplugin/jetbrains.mps.coderules.ideaplugin-src.jar" duplicate="preserve">
-      <fileset dir="${mps.macro.coderules_home}/coderules/solutions/jetbrains.mps.coderules.ideaplugin/source_off">
+      <fileset dir="${mps.macro.coderules_home}/coderules/solutions/jetbrains.mps.coderules.ideaplugin/source_gen">
         <exclude name="**/trace.info" />
         <exclude name="**/exports" />
         <exclude name="**/checkpoints" />
@@ -833,6 +844,7 @@
           <module ref="742f6602-5a2f-4313-aa6e-ae1cd4ffdc61(MPS.Platform)" kind="cl" />
           <module ref="66887915-4d9e-4e24-bd35-19eb55fb75c2(jetbrains.mps.coderules.ideaplugin)" kind="cl" />
           <module ref="f113d56b-63e3-4120-a89c-2f5dcb8c6290(jetbrains.mps.coderules.runtime)" kind="cl" />
+          <module ref="6998f568-f0e9-473b-b4a8-9efb6499fc8d(jetbrains.mps.coderules.typechecking)" kind="cl" />
           <module ref="26e8f4ce-2a35-4f44-8065-e5ba154b18e9(jetbrains.mps.lang.coderules.runtime)" kind="cl" />
           <module ref="ceab5195-25ea-4f22-9b92-103b95ca8c0c(jetbrains.mps.lang.core)" kind="cl" />
         </dependencies>
@@ -1513,30 +1525,41 @@
     <echoxml file="${build.tmp}/default/jetbrains.mps.coderules.ideaplugin.jar1/META-INF/module.xml">
       <module namespace="jetbrains.mps.coderules.ideaplugin" type="solution" uuid="66887915-4d9e-4e24-bd35-19eb55fb75c2">
         <dependencies>
+          <module ref="6354ebe7-c22a-4a0f-ac54-50b52ab9b065(JDK)" kind="rt" />
+          <module ref="4c6a28d1-2c60-478d-b36e-db9b3cbb21fb(closures.runtime)" kind="rt" />
+          <module ref="9b80526e-f0bf-4992-bdf5-cee39c1833f3(collections.runtime)" kind="rt" />
+          <module ref="52b81ac7-93fd-4e9e-b972-4995882da6d4(jetbrains.mps.baseLanguage.references.runtime)" kind="rt" />
           <module ref="3f233e7f-b8a6-46d2-a57f-795d56775243(Annotations)" kind="cl" />
           <module ref="6354ebe7-c22a-4a0f-ac54-50b52ab9b065(JDK)" kind="cl" />
           <module ref="498d89d2-c2e9-11e2-ad49-6cf049e62fe5(MPS.IDEA)" kind="cl" />
         </dependencies>
-        <uses />
+        <uses>
+          <language id="l:f3061a53-9226-4cc5-a443-f952ceaf5816:jetbrains.mps.baseLanguage" />
+          <language id="l:774bf8a0-62e5-41e1-af63-f4812e60e48b:jetbrains.mps.baseLanguage.checkedDots" />
+          <language id="l:fd392034-7849-419d-9071-12563d152375:jetbrains.mps.baseLanguage.closures" />
+          <language id="l:83888646-71ce-4f1c-9c53-c54016f6ad4f:jetbrains.mps.baseLanguage.collections" />
+          <language id="l:f2801650-65d5-424e-bb1b-463a8781b786:jetbrains.mps.baseLanguage.javadoc" />
+          <language id="l:c7fb639f-be78-4307-89b0-b5959c3fa8c8:jetbrains.mps.lang.text" />
+        </uses>
         <library jar="../lib/jetbrains.mps.coderules.jar" />
         <sources jar="jetbrains.mps.coderules.ideaplugin-src.jar" descriptor="jetbrains.mps.coderules.ideaplugin.msd" />
       </module>
     </echoxml>
     <jar destfile="${build.layout}/jetbrains.mps.coderules/languages/jetbrains.mps.coderules.ideaplugin.jar" duplicate="preserve">
-      <fileset dir="${mps.macro.coderules_home}/coderules/solutions/jetbrains.mps.coderules.ideaplugin/source_off" includes="**/trace.info, **/exports, **/*.mps, **/checkpoints" />
+      <fileset dir="${mps.macro.coderules_home}/coderules/solutions/jetbrains.mps.coderules.ideaplugin/source_gen" includes="**/trace.info, **/exports, **/*.mps, **/checkpoints" />
       <fileset dir="${build.tmp}/default/jetbrains.mps.coderules.ideaplugin.jar1" />
     </jar>
     <copyModels todir="${build.tmp}/customProcessors/copyModels/coderules-solutions-jetbrains.mps.coderules.ideaplugin-models1">
       <fileset dir="${mps.macro.coderules_home}/coderules/solutions/jetbrains.mps.coderules.ideaplugin/models" includes="**/*.mps, **/*.mpsr, **/.model" />
     </copyModels>
     <jar destfile="${build.layout}/jetbrains.mps.coderules/languages/jetbrains.mps.coderules.ideaplugin-src.jar" duplicate="preserve">
-      <fileset dir="${mps.macro.coderules_home}/coderules/solutions/jetbrains.mps.coderules.ideaplugin/source_off">
+      <fileset dir="${mps.macro.coderules_home}/coderules/solutions/jetbrains.mps.coderules.ideaplugin/source_gen">
         <exclude name="**/trace.info" />
         <exclude name="**/exports" />
         <exclude name="**/checkpoints" />
         <exclude name="**/*.mps" />
       </fileset>
-      <fileset dir="${mps.macro.coderules_home}/coderules/solutions/jetbrains.mps.coderules.ideaplugin/source" />
+      <fileset dir="${mps.macro.coderules_home}/coderules/solutions/jetbrains.mps.coderules.ideaplugin/source_gen" />
       <zipfileset file="${basedir}/coderules/solutions/jetbrains.mps.coderules.ideaplugin/jetbrains.mps.coderules.ideaplugin.msd" prefix="module" />
       <zipfileset dir="${build.tmp}/customProcessors/copyModels/coderules-solutions-jetbrains.mps.coderules.ideaplugin-models1" prefix="module/models" />
     </jar>
@@ -1563,6 +1586,7 @@
           <module ref="49808fad-9d41-4b96-83fa-9231640f6b2b(JUnit)" kind="cl" />
           <module ref="6ed54515-acc8-4d1e-a16c-9fd6cfe951ea(MPS.Core)" kind="cl" />
           <module ref="1ed103c3-3aa6-49b7-9c21-6765ee11f224(MPS.Editor)" kind="cl" />
+          <module ref="498d89d2-c2e9-11e2-ad49-6cf049e62fe5(MPS.IDEA)" kind="cl" />
           <module ref="8865b7a8-5271-43d3-884c-6fd1d9cfdd34(MPS.OpenAPI)" kind="cl" />
           <module ref="742f6602-5a2f-4313-aa6e-ae1cd4ffdc61(MPS.Platform)" kind="cl" />
           <module ref="f97d84b2-8bad-4fdd-8ede-da17b3eacf4c(jetbrains.mps.coderules)" kind="cl" />
@@ -2334,6 +2358,7 @@
           <module ref="742f6602-5a2f-4313-aa6e-ae1cd4ffdc61(MPS.Platform)" kind="cl" />
           <module ref="66887915-4d9e-4e24-bd35-19eb55fb75c2(jetbrains.mps.coderules.ideaplugin)" kind="cl" />
           <module ref="f113d56b-63e3-4120-a89c-2f5dcb8c6290(jetbrains.mps.coderules.runtime)" kind="cl" />
+          <module ref="6998f568-f0e9-473b-b4a8-9efb6499fc8d(jetbrains.mps.coderules.typechecking)" kind="cl" />
           <module ref="26e8f4ce-2a35-4f44-8065-e5ba154b18e9(jetbrains.mps.lang.coderules.runtime)" kind="cl" />
           <module ref="ceab5195-25ea-4f22-9b92-103b95ca8c0c(jetbrains.mps.lang.core)" kind="cl" />
         </dependencies>
@@ -2713,30 +2738,41 @@
     <echoxml file="${build.tmp}/default/jetbrains.mps.coderules.ideaplugin.jar2/META-INF/module.xml">
       <module namespace="jetbrains.mps.coderules.ideaplugin" type="solution" uuid="66887915-4d9e-4e24-bd35-19eb55fb75c2">
         <dependencies>
+          <module ref="6354ebe7-c22a-4a0f-ac54-50b52ab9b065(JDK)" kind="rt" />
+          <module ref="4c6a28d1-2c60-478d-b36e-db9b3cbb21fb(closures.runtime)" kind="rt" />
+          <module ref="9b80526e-f0bf-4992-bdf5-cee39c1833f3(collections.runtime)" kind="rt" />
+          <module ref="52b81ac7-93fd-4e9e-b972-4995882da6d4(jetbrains.mps.baseLanguage.references.runtime)" kind="rt" />
           <module ref="3f233e7f-b8a6-46d2-a57f-795d56775243(Annotations)" kind="cl" />
           <module ref="6354ebe7-c22a-4a0f-ac54-50b52ab9b065(JDK)" kind="cl" />
           <module ref="498d89d2-c2e9-11e2-ad49-6cf049e62fe5(MPS.IDEA)" kind="cl" />
         </dependencies>
-        <uses />
+        <uses>
+          <language id="l:f3061a53-9226-4cc5-a443-f952ceaf5816:jetbrains.mps.baseLanguage" />
+          <language id="l:774bf8a0-62e5-41e1-af63-f4812e60e48b:jetbrains.mps.baseLanguage.checkedDots" />
+          <language id="l:fd392034-7849-419d-9071-12563d152375:jetbrains.mps.baseLanguage.closures" />
+          <language id="l:83888646-71ce-4f1c-9c53-c54016f6ad4f:jetbrains.mps.baseLanguage.collections" />
+          <language id="l:f2801650-65d5-424e-bb1b-463a8781b786:jetbrains.mps.baseLanguage.javadoc" />
+          <language id="l:c7fb639f-be78-4307-89b0-b5959c3fa8c8:jetbrains.mps.lang.text" />
+        </uses>
         <library jar="../lib/jetbrains.mps.coderules.jar" />
         <sources jar="jetbrains.mps.coderules.ideaplugin-src.jar" descriptor="jetbrains.mps.coderules.ideaplugin.msd" />
       </module>
     </echoxml>
     <jar destfile="${build.tmp}/default/jetbrains.mps.coderules-_dl__lbrace_ci.mps.release_rbrace_-0.9-b_dl__lbrace_ci.build.tag_rbrace_.zip/jetbrains.mps.coderules/languages/jetbrains.mps.coderules.ideaplugin.jar" duplicate="preserve">
-      <fileset dir="${mps.macro.coderules_home}/coderules/solutions/jetbrains.mps.coderules.ideaplugin/source_off" includes="**/trace.info, **/exports, **/*.mps, **/checkpoints" />
+      <fileset dir="${mps.macro.coderules_home}/coderules/solutions/jetbrains.mps.coderules.ideaplugin/source_gen" includes="**/trace.info, **/exports, **/*.mps, **/checkpoints" />
       <fileset dir="${build.tmp}/default/jetbrains.mps.coderules.ideaplugin.jar2" />
     </jar>
     <copyModels todir="${build.tmp}/customProcessors/copyModels/coderules-solutions-jetbrains.mps.coderules.ideaplugin-models2">
       <fileset dir="${mps.macro.coderules_home}/coderules/solutions/jetbrains.mps.coderules.ideaplugin/models" includes="**/*.mps, **/*.mpsr, **/.model" />
     </copyModels>
     <jar destfile="${build.tmp}/default/jetbrains.mps.coderules-_dl__lbrace_ci.mps.release_rbrace_-0.9-b_dl__lbrace_ci.build.tag_rbrace_.zip/jetbrains.mps.coderules/languages/jetbrains.mps.coderules.ideaplugin-src.jar" duplicate="preserve">
-      <fileset dir="${mps.macro.coderules_home}/coderules/solutions/jetbrains.mps.coderules.ideaplugin/source_off">
+      <fileset dir="${mps.macro.coderules_home}/coderules/solutions/jetbrains.mps.coderules.ideaplugin/source_gen">
         <exclude name="**/trace.info" />
         <exclude name="**/exports" />
         <exclude name="**/checkpoints" />
         <exclude name="**/*.mps" />
       </fileset>
-      <fileset dir="${mps.macro.coderules_home}/coderules/solutions/jetbrains.mps.coderules.ideaplugin/source" />
+      <fileset dir="${mps.macro.coderules_home}/coderules/solutions/jetbrains.mps.coderules.ideaplugin/source_gen" />
       <zipfileset file="${basedir}/coderules/solutions/jetbrains.mps.coderules.ideaplugin/jetbrains.mps.coderules.ideaplugin.msd" prefix="module" />
       <zipfileset dir="${build.tmp}/customProcessors/copyModels/coderules-solutions-jetbrains.mps.coderules.ideaplugin-models2" prefix="module/models" />
     </jar>
@@ -2763,6 +2799,7 @@
           <module ref="49808fad-9d41-4b96-83fa-9231640f6b2b(JUnit)" kind="cl" />
           <module ref="6ed54515-acc8-4d1e-a16c-9fd6cfe951ea(MPS.Core)" kind="cl" />
           <module ref="1ed103c3-3aa6-49b7-9c21-6765ee11f224(MPS.Editor)" kind="cl" />
+          <module ref="498d89d2-c2e9-11e2-ad49-6cf049e62fe5(MPS.IDEA)" kind="cl" />
           <module ref="8865b7a8-5271-43d3-884c-6fd1d9cfdd34(MPS.OpenAPI)" kind="cl" />
           <module ref="742f6602-5a2f-4313-aa6e-ae1cd4ffdc61(MPS.Platform)" kind="cl" />
           <module ref="f97d84b2-8bad-4fdd-8ede-da17b3eacf4c(jetbrains.mps.coderules)" kind="cl" />
@@ -3699,7 +3736,7 @@
     <delete dir="${build.layout}" />
   </target>
   
-  <target name="compileJava" depends="java.compile.coderules-ideaplugin, java.compile.jetbrains.mps.coderules.build, java.compile.java.modules.cycle.1, java.compile.jetbrains.mps.logic.runtime, java.compile.java.modules.cycle.2, java.compile.jetbrains.mps.logic, java.compile.jetbrains.mps.logic#6626732309150416985, java.compile.jetbrains.mps.logic.test, java.compile.jetbrains.mps.lang.typechecking.runtime, java.compile.java.modules.cycle.3, java.compile.jetbrains.mps.lang.types, java.compile.jetbrains.mps.lang.types.generator, java.compile.jetbrains.mps.lang.typechecking, java.compile.jetbrains.mps.lang.typechecking#01, java.compile.jetbrains.mps.coderules.typechecking, java.compile.jetbrains.mps.typechecking.annotation, java.compile.jetbrains.mps.coderules.testhelper, java.compile.jetbrains.mps.typechecking.testlang, java.compile.jetbrains.mps.typechecking.testlang#3575255234175341581, java.compile.jetbrains.mps.coderules.typechecking.testlang.sandbox, java.compile.jetbrains.mps.coderules.typechecking.test, java.compile.jetbrains.mps.lang.controlflow.runtime, java.compile.jetbrains.mps.lang.controlflow, java.compile.jetbrains.mps.lang.controlflow#01, java.compile.jetbrains.mps.controlflow, java.compile.jetbrains.mps.controlflow.ui, java.compile.jetbrains.mps.lang.coderules, java.compile.jetbrains.mps.lang.coderules#4578927328670739933, java.compile.jetbrains.mps.lang.coderules.template, java.compile.jetbrains.mps.lang.coderules.runtime, java.compile.jetbrains.mps.coderules.runtime, java.compile.jetbrains.mps.coderules, java.compile.jetbrains.mps.coderules.ui, java.compile.jetbrains.mps.coderules.test" />
+  <target name="compileJava" depends="java.compile.coderules-ideaplugin, java.compile.jetbrains.mps.coderules.build, java.compile.java.modules.cycle.1, java.compile.jetbrains.mps.logic.runtime, java.compile.java.modules.cycle.2, java.compile.jetbrains.mps.logic, java.compile.jetbrains.mps.logic#6626732309150416985, java.compile.jetbrains.mps.logic.test, java.compile.jetbrains.mps.lang.typechecking.runtime, java.compile.java.modules.cycle.3, java.compile.jetbrains.mps.lang.types, java.compile.jetbrains.mps.lang.types.generator, java.compile.jetbrains.mps.lang.typechecking, java.compile.jetbrains.mps.lang.typechecking#01, java.compile.java.modules.cycle.4, java.compile.jetbrains.mps.coderules.typechecking, java.compile.jetbrains.mps.typechecking.annotation, java.compile.jetbrains.mps.coderules.testhelper, java.compile.jetbrains.mps.typechecking.testlang, java.compile.jetbrains.mps.typechecking.testlang#3575255234175341581, java.compile.jetbrains.mps.coderules.typechecking.testlang.sandbox, java.compile.jetbrains.mps.coderules.typechecking.test, java.compile.jetbrains.mps.lang.controlflow.runtime, java.compile.jetbrains.mps.lang.controlflow, java.compile.jetbrains.mps.lang.controlflow#01, java.compile.jetbrains.mps.controlflow, java.compile.jetbrains.mps.controlflow.ui, java.compile.jetbrains.mps.lang.coderules, java.compile.jetbrains.mps.lang.coderules#4578927328670739933, java.compile.jetbrains.mps.lang.coderules.template, java.compile.jetbrains.mps.lang.coderules.runtime, java.compile.jetbrains.mps.coderules.runtime, java.compile.jetbrains.mps.coderules, java.compile.jetbrains.mps.coderules.ui, java.compile.jetbrains.mps.coderules.test" />
   
   <target name="processResources" />
   
@@ -3863,17 +3900,15 @@
         <module file="${basedir}/coderules/languages/jetbrains.mps.logic/runtime/jetbrains.mps.logic.runtime.msd" />
       </chunk>
       <chunk>
-        <module file="${basedir}/coderules/solutions/jetbrains.mps.coderules/jetbrains.mps.coderules.msd" />
-        <module file="${basedir}/coderules/solutions/jetbrains.mps.coderules.ui/jetbrains.mps.coderules.ui.msd" />
-        <module file="${basedir}/coderules/solutions/jetbrains.mps.controlflow/jetbrains.mps.controlflow.msd" />
-        <module file="${basedir}/coderules/solutions/jetbrains.mps.controlflow.ui/jetbrains.mps.controlflow.ui.msd" />
         <module file="${basedir}/coderules/languages/jetbrains.mps.lang.controlflow/jetbrains.mps.lang.controlflow.mpl" />
         <module file="${basedir}/coderules/solutions/jetbrains.mps.lang.controlflow.runtime/jetbrains.mps.lang.controlflow.runtime.msd" />
         <module file="${basedir}/coderules/solutions/jetbrains.mps.lang.typechecking.runtime/jetbrains.mps.lang.typechecking.runtime.msd" />
         <module file="${basedir}/coderules/solutions/jetbrains.mps.logic.test/jetbrains.mps.logic.test.msd" />
       </chunk>
       <chunk bootstrap="true">
+        <module file="${basedir}/coderules/solutions/jetbrains.mps.coderules/jetbrains.mps.coderules.msd" />
         <module file="${basedir}/coderules/solutions/jetbrains.mps.coderules.typechecking/jetbrains.mps.coderules.typechecking.msd" bootstrap="true" />
+        <module file="${basedir}/coderules/solutions/jetbrains.mps.coderules.ui/jetbrains.mps.coderules.ui.msd" />
         <module file="${basedir}/coderules/languages/jetbrains.mps.lang.typechecking/jetbrains.mps.lang.typechecking.mpl" />
         <module file="${basedir}/coderules/languages/jetbrains.mps.lang.types/jetbrains.mps.lang.types.mpl" />
         <module file="${basedir}/coderules/languages/jetbrains.mps.typechecking.annotation/jetbrains.mps.typechecking.annotation.mpl" bootstrap="true" />
@@ -3881,6 +3916,8 @@
       <chunk>
         <module file="${basedir}/coderules/solutions/jetbrains.mps.coderules.test/jetbrains.mps.coderules.test.msd" />
         <module file="${basedir}/coderules/solutions/jetbrains.mps.coderules.testhelper/jetbrains.mps.coderules.testhelper.msd" />
+        <module file="${basedir}/coderules/solutions/jetbrains.mps.controlflow/jetbrains.mps.controlflow.msd" />
+        <module file="${basedir}/coderules/solutions/jetbrains.mps.controlflow.ui/jetbrains.mps.controlflow.ui.msd" />
         <module file="${basedir}/coderules/devkits/jetbrains.mps.devkit.aspect.types/jetbrains.mps.devkit.aspect.types.devkit" />
         <module file="${basedir}/coderules/languages/jetbrains.mps.typechecking.testlang/jetbrains.mps.typechecking.testlang.mpl" />
       </chunk>
@@ -3908,7 +3945,7 @@
     <mkdir dir="${build.tmp}/java/out/coderules-ideaplugin" />
     <javac destdir="${build.tmp}/java/out/coderules-ideaplugin" fork="true" encoding="utf8" includeantruntime="false" debug="true">
       <compilerarg value="-Xlint:none" />
-      <src path="${mps.macro.coderules_home}/coderules/solutions/jetbrains.mps.coderules.ideaplugin/source" />
+      <src path="${mps.macro.coderules_home}/coderules/solutions/jetbrains.mps.coderules.ideaplugin/source_gen" />
       <classpath>
         <fileset file="${artifacts.mps}/lib/mps-generator.jar" />
         <fileset file="${artifacts.mps}/lib/mps-annotations.jar" />
@@ -4736,7 +4773,85 @@
     </javac>
   </target>
   
-  <target name="java.compile.jetbrains.mps.coderules.typechecking" depends="java.compile.coderules-ideaplugin, java.compile.jetbrains.mps.coderules, java.compile.jetbrains.mps.coderules.runtime, java.compile.jetbrains.mps.coderules.ui, java.compile.jetbrains.mps.lang.coderules.runtime, java.compile.jetbrains.mps.lang.coderules.template, java.compile.jetbrains.mps.lang.typechecking.runtime, java.compile.jetbrains.mps.logic.runtime, java.compile.jetbrains.mps.typechecking.annotation, fetchDependencies">
+  <target name="java.compile.java.modules.cycle.4" depends="java.compile.coderules-ideaplugin, java.compile.jetbrains.mps.coderules.runtime, java.compile.jetbrains.mps.lang.coderules.runtime, java.compile.jetbrains.mps.lang.coderules.template, java.compile.jetbrains.mps.lang.typechecking.runtime, java.compile.jetbrains.mps.logic.runtime, java.compile.jetbrains.mps.typechecking.annotation, fetchDependencies">
+    <mkdir dir="${build.tmp}/java.modules.cycle.4" />
+    <javac destdir="${build.tmp}/java.modules.cycle.4" fork="true" encoding="utf8" nowarn="true" includeantruntime="false">
+      <compilerarg value="-Xlint:none" />
+      <src>
+        <path location="${mps.macro.coderules_home}/coderules/solutions/jetbrains.mps.coderules.typechecking/source_gen" />
+        <path location="${mps.macro.coderules_home}/coderules/solutions/jetbrains.mps.coderules/source_gen" />
+        <path location="${mps.macro.coderules_home}/coderules/solutions/jetbrains.mps.coderules.ui/source_gen" />
+      </src>
+      <classpath>
+        <fileset file="${artifacts.mps}/lib/mps-core.jar" />
+        <fileset file="${artifacts.mps}/lib/mps-platform.jar" />
+        <fileset file="${artifacts.mps}/lib/mps-annotations.jar" />
+        <fileset file="${artifacts.mps}/lib/mps-behavior-api.jar" />
+        <fileset file="${artifacts.mps}/lib/mps-behavior-runtime.jar" />
+        <fileset file="${artifacts.mps}/lib/mps-closures.jar" />
+        <fileset file="${artifacts.mps}/lib/mps-collections.jar" />
+        <fileset file="${artifacts.mps}/lib/mps-openapi.jar" />
+        <fileset file="${artifacts.mps}/lib/mps-logging.jar" />
+        <fileset file="${artifacts.mps}/lib/mps-tuples.jar" />
+        <fileset file="${artifacts.mps}/lib/mps-references.jar" />
+        <fileset file="${artifacts.mps}/lib/mps-messaging.jar" />
+        <fileset file="${artifacts.mps}/lib/mps-context.jar" />
+        <fileset file="${artifacts.mps}/lib/mps-constraints-runtime.jar" />
+        <fileset file="${artifacts.mps}/lib/mps-editor.jar" />
+        <fileset file="${artifacts.mps}/lib/mps-editor-api.jar" />
+        <fileset file="${artifacts.mps}/lib/mps-editor-runtime.jar" />
+        <fileset file="${artifacts.mps}/lib/mps-persistence.jar" />
+        <fileset file="${artifacts.mps}/lib/mps-generator.jar" />
+        <fileset file="${artifacts.mps}/lib/mps-environment.jar" />
+        <fileset file="${artifacts.mps}/lib/mps-project-check.jar" />
+        <fileset file="${artifacts.mps}/lib/mps-icons.jar" />
+        <fileset file="${artifacts.mps}/lib/mps-workbench.jar" />
+        <fileset file="${artifacts.mps}/lib/mps-problem.jar" />
+        <fileset file="${artifacts.mps}/lib/mps-feedback-api.jar" />
+        <fileset file="${artifacts.mps}/lib/mps-messages-api.jar" />
+        <fileset file="${artifacts.mps}/lib/mps-messages-for-rules.jar" />
+        <fileset file="${mps.macro.coderules_home}/coderules/solutions/jetbrains.mps.coderules/lib/reactive-streams-1.0.0.final.jar" />
+        <fileset file="${mps.macro.coderules_home}/coderules/solutions/jetbrains.mps.coderules/lib/rxjava-2.2.18.jar" />
+        <fileset file="${mps.macro.coderules_home}/coderules/solutions/jetbrains.mps.coderules/lib/rxjava2-swing-0.3.7.jar" />
+        <fileset file="${mps.macro.coderules_home}/coderules/solutions/jetbrains.mps.logic.reactor/lib/collection-0.7.jar" />
+        <fileset file="${mps.macro.coderules_home}/coderules/solutions/jetbrains.mps.logic.reactor/lib/trove4j-3.0.3.jar" />
+        <fileset file="${mps.macro.coderules_home}/coderules/solutions/jetbrains.mps.logic.reactor/lib/conreactor-core-0.9.17.jar" />
+        <fileset file="${artifacts.mps}/lib/junit4.jar" />
+        <fileset file="${artifacts.mps}/lib/app.jar" />
+        <fileset file="${artifacts.mps}/lib/3rd-party-rt.jar" />
+        <fileset file="${artifacts.mps}/lib/util.jar" />
+        <fileset file="${artifacts.mps}/lib/util_rt.jar" />
+        <fileset file="${artifacts.mps}/lib/forms_rt.jar" />
+        <fileset file="${artifacts.mps}/lib/java-impl.jar" />
+        <fileset file="${artifacts.mps}/lib/jps-model.jar" />
+        <fileset file="${artifacts.mps}/lib/testFramework.jar" />
+        <fileset file="${artifacts.mps}/lib/stats.jar" />
+        <fileset file="${artifacts.mps}/lib/annotations.jar" />
+        <fileset file="${artifacts.mps}/languages/baseLanguage/jetbrains.mps.baseLanguage.jar" />
+        <fileset file="${artifacts.mps}/languages/baseLanguage/jetbrains.mps.baseLanguage.classifiers.jar" />
+        <fileset file="${artifacts.mps}/languages/baseLanguage/jetbrains.mps.baseLanguage.closures.jar" />
+        <fileset file="${artifacts.mps}/languages/baseLanguage/jetbrains.mps.baseLanguage.collections.jar" />
+        <fileset file="${artifacts.mps}/languages/baseLanguage/jetbrains.mps.baseLanguage.logging.runtime.jar" />
+        <fileset file="${artifacts.mps}/languages/baseLanguage/jetbrains.mps.baseLanguage.scopes.jar" />
+        <fileset file="${artifacts.mps}/languages/languageDesign/jetbrains.mps.lang.core.jar" />
+        <fileset file="${artifacts.mps}/languages/languageDesign/jetbrains.mps.lang.modelapi.jar" />
+        <fileset file="${artifacts.mps}/languages/languageDesign/jetbrains.mps.lang.scopes.runtime.jar" />
+        <fileset file="${artifacts.mps}/languages/languageDesign/jetbrains.mps.lang.smodel.jar" />
+        <fileset file="${artifacts.mps}/languages/languageDesign/jetbrains.mps.lang.structure.jar" />
+        <fileset file="${artifacts.mps}/languages/languageDesign/jetbrains.mps.lang.traceable.jar" />
+        <fileset file="${artifacts.mps}/languages/languageDesign/jetbrains.mps.lang.typesystem.jar" />
+        <pathelement path="${build.tmp}/java/out/coderules-ideaplugin" />
+        <pathelement path="${build.tmp}/java/out/jetbrains.mps.coderules.runtime" />
+        <pathelement path="${build.tmp}/java/out/jetbrains.mps.lang.coderules.runtime" />
+        <pathelement path="${build.tmp}/java/out/jetbrains.mps.lang.coderules.template" />
+        <pathelement path="${build.tmp}/java/out/jetbrains.mps.lang.typechecking.runtime" />
+        <pathelement path="${build.tmp}/java/out/jetbrains.mps.logic.runtime" />
+        <pathelement path="${build.tmp}/java/out/jetbrains.mps.typechecking.annotation" />
+      </classpath>
+    </javac>
+  </target>
+  
+  <target name="java.compile.jetbrains.mps.coderules.typechecking" depends="java.compile.coderules-ideaplugin, java.compile.jetbrains.mps.coderules.runtime, java.compile.jetbrains.mps.lang.coderules.runtime, java.compile.jetbrains.mps.lang.coderules.template, java.compile.jetbrains.mps.lang.typechecking.runtime, java.compile.jetbrains.mps.logic.runtime, java.compile.jetbrains.mps.typechecking.annotation, java.compile.java.modules.cycle.4, fetchDependencies">
     <mkdir dir="${mps.macro.coderules_home}/coderules/solutions/jetbrains.mps.coderules.typechecking/source_gen" />
     <mkdir dir="${build.tmp}/java/out/jetbrains.mps.coderules.typechecking" />
     <javac destdir="${build.tmp}/java/out/jetbrains.mps.coderules.typechecking" fork="true" encoding="utf8" includeantruntime="false" debug="true">
@@ -4769,9 +4884,7 @@
         <fileset file="${artifacts.mps}/lib/mps-project-check.jar" />
         <fileset file="${artifacts.mps}/lib/mps-icons.jar" />
         <fileset file="${artifacts.mps}/lib/mps-workbench.jar" />
-        <pathelement path="${build.tmp}/java/out/jetbrains.mps.coderules" />
         <pathelement path="${build.tmp}/java/out/jetbrains.mps.coderules.runtime" />
-        <pathelement path="${build.tmp}/java/out/jetbrains.mps.coderules.ui" />
         <pathelement path="${build.tmp}/java/out/jetbrains.mps.lang.coderules.runtime" />
         <pathelement path="${build.tmp}/java/out/jetbrains.mps.lang.coderules.template" />
         <pathelement path="${build.tmp}/java/out/jetbrains.mps.lang.typechecking.runtime" />
@@ -4811,6 +4924,7 @@
         <fileset file="${artifacts.mps}/languages/languageDesign/jetbrains.mps.lang.structure.jar" />
         <fileset file="${artifacts.mps}/languages/languageDesign/jetbrains.mps.lang.traceable.jar" />
         <fileset file="${artifacts.mps}/languages/languageDesign/jetbrains.mps.lang.typesystem.jar" />
+        <pathelement path="${build.tmp}/java.modules.cycle.4" />
       </classpath>
     </javac>
   </target>
@@ -5772,7 +5886,7 @@
     </javac>
   </target>
   
-  <target name="java.compile.jetbrains.mps.coderules" depends="java.compile.jetbrains.mps.coderules.runtime, java.compile.jetbrains.mps.lang.coderules.runtime, java.compile.jetbrains.mps.lang.coderules.template, java.compile.jetbrains.mps.logic.runtime, java.compile.coderules-ideaplugin, fetchDependencies">
+  <target name="java.compile.jetbrains.mps.coderules" depends="java.compile.jetbrains.mps.coderules.runtime, java.compile.coderules-ideaplugin, java.compile.jetbrains.mps.lang.coderules.runtime, java.compile.jetbrains.mps.lang.coderules.template, java.compile.jetbrains.mps.lang.typechecking.runtime, java.compile.jetbrains.mps.logic.runtime, java.compile.java.modules.cycle.4, fetchDependencies">
     <mkdir dir="${mps.macro.coderules_home}/coderules/solutions/jetbrains.mps.coderules/source_gen" />
     <mkdir dir="${build.tmp}/java/out/jetbrains.mps.coderules" />
     <javac destdir="${build.tmp}/java/out/jetbrains.mps.coderules" fork="true" encoding="utf8" includeantruntime="false" debug="true">
@@ -5797,9 +5911,6 @@
         <fileset file="${artifacts.mps}/lib/mps-persistence.jar" />
         <fileset file="${artifacts.mps}/lib/mps-project-check.jar" />
         <pathelement path="${build.tmp}/java/out/jetbrains.mps.coderules.runtime" />
-        <pathelement path="${build.tmp}/java/out/jetbrains.mps.lang.coderules.runtime" />
-        <pathelement path="${build.tmp}/java/out/jetbrains.mps.lang.coderules.template" />
-        <pathelement path="${build.tmp}/java/out/jetbrains.mps.logic.runtime" />
         <pathelement path="${build.tmp}/java/out/coderules-ideaplugin" />
         <fileset file="${artifacts.mps}/lib/mps-platform.jar" />
         <fileset file="${artifacts.mps}/lib/mps-editor.jar" />
@@ -5809,6 +5920,10 @@
         <fileset file="${artifacts.mps}/lib/mps-environment.jar" />
         <fileset file="${artifacts.mps}/lib/mps-icons.jar" />
         <fileset file="${artifacts.mps}/lib/mps-workbench.jar" />
+        <pathelement path="${build.tmp}/java/out/jetbrains.mps.lang.coderules.runtime" />
+        <pathelement path="${build.tmp}/java/out/jetbrains.mps.lang.coderules.template" />
+        <pathelement path="${build.tmp}/java/out/jetbrains.mps.lang.typechecking.runtime" />
+        <pathelement path="${build.tmp}/java/out/jetbrains.mps.logic.runtime" />
         <fileset file="${mps.macro.coderules_home}/coderules/solutions/jetbrains.mps.coderules/lib/reactive-streams-1.0.0.final.jar" />
         <fileset file="${mps.macro.coderules_home}/coderules/solutions/jetbrains.mps.coderules/lib/rxjava-2.2.18.jar" />
         <fileset file="${mps.macro.coderules_home}/coderules/solutions/jetbrains.mps.coderules/lib/rxjava2-swing-0.3.7.jar" />
@@ -5828,11 +5943,12 @@
         <fileset file="${artifacts.mps}/languages/baseLanguage/jetbrains.mps.baseLanguage.logging.runtime.jar" />
         <fileset file="${artifacts.mps}/languages/languageDesign/jetbrains.mps.lang.core.jar" />
         <fileset file="${artifacts.mps}/languages/languageDesign/jetbrains.mps.lang.scopes.runtime.jar" />
+        <pathelement path="${build.tmp}/java.modules.cycle.4" />
       </classpath>
     </javac>
   </target>
   
-  <target name="java.compile.jetbrains.mps.coderules.ui" depends="java.compile.coderules-ideaplugin, java.compile.jetbrains.mps.coderules, java.compile.jetbrains.mps.coderules.runtime, java.compile.jetbrains.mps.lang.coderules.runtime, java.compile.jetbrains.mps.lang.coderules.template, java.compile.jetbrains.mps.logic.runtime, fetchDependencies">
+  <target name="java.compile.jetbrains.mps.coderules.ui" depends="java.compile.coderules-ideaplugin, java.compile.jetbrains.mps.coderules.runtime, java.compile.jetbrains.mps.lang.coderules.runtime, java.compile.jetbrains.mps.lang.coderules.template, java.compile.jetbrains.mps.logic.runtime, java.compile.java.modules.cycle.4, fetchDependencies">
     <mkdir dir="${mps.macro.coderules_home}/coderules/solutions/jetbrains.mps.coderules.ui/source_gen" />
     <mkdir dir="${build.tmp}/java/out/jetbrains.mps.coderules.ui" />
     <javac destdir="${build.tmp}/java/out/jetbrains.mps.coderules.ui" fork="true" encoding="utf8" includeantruntime="false" debug="true">
@@ -5865,7 +5981,6 @@
         <fileset file="${artifacts.mps}/lib/mps-project-check.jar" />
         <fileset file="${artifacts.mps}/lib/mps-icons.jar" />
         <fileset file="${artifacts.mps}/lib/mps-workbench.jar" />
-        <pathelement path="${build.tmp}/java/out/jetbrains.mps.coderules" />
         <pathelement path="${build.tmp}/java/out/jetbrains.mps.coderules.runtime" />
         <pathelement path="${build.tmp}/java/out/jetbrains.mps.lang.coderules.runtime" />
         <pathelement path="${build.tmp}/java/out/jetbrains.mps.lang.coderules.template" />
@@ -5889,6 +6004,7 @@
         <fileset file="${artifacts.mps}/languages/baseLanguage/jetbrains.mps.baseLanguage.logging.runtime.jar" />
         <fileset file="${artifacts.mps}/languages/languageDesign/jetbrains.mps.lang.core.jar" />
         <fileset file="${artifacts.mps}/languages/languageDesign/jetbrains.mps.lang.scopes.runtime.jar" />
+        <pathelement path="${build.tmp}/java.modules.cycle.4" />
       </classpath>
     </javac>
   </target>
@@ -6233,12 +6349,8 @@
   
   <target name="cleanSources">
     <delete dir="${mps.macro.coderules_home}/coderules/solutions/jetbrains.mps.coderules.build/source_gen" />
-    <delete dir="${mps.macro.coderules_home}/coderules/solutions/jetbrains.mps.coderules.ideaplugin/source_off" />
+    <delete dir="${mps.macro.coderules_home}/coderules/solutions/jetbrains.mps.coderules.ideaplugin/source_gen" />
     <delete dir="${mps.macro.coderules_home}/coderules/solutions/jetbrains.mps.coderules.runtime/source_gen" />
-    <delete dir="${mps.macro.coderules_home}/coderules/solutions/jetbrains.mps.coderules/source_gen" />
-    <delete dir="${mps.macro.coderules_home}/coderules/solutions/jetbrains.mps.coderules.ui/source_gen" />
-    <delete dir="${mps.macro.coderules_home}/coderules/solutions/jetbrains.mps.controlflow/source_gen" />
-    <delete dir="${mps.macro.coderules_home}/coderules/solutions/jetbrains.mps.controlflow.ui/source_gen" />
     <delete dir="${mps.macro.coderules_home}/coderules/languages/jetbrains.mps.lang.coderules/generator/source_gen" />
     <delete dir="${mps.macro.coderules_home}/coderules/languages/jetbrains.mps.lang.controlflow/source_gen" />
     <delete dir="${mps.macro.coderules_home}/coderules/languages/jetbrains.mps.lang.controlflow/generator/source_gen" />
@@ -6248,6 +6360,8 @@
     <delete dir="${mps.macro.coderules_home}/coderules/solutions/jetbrains.mps.logic.test/source_gen" />
     <delete dir="${mps.macro.coderules_home}/coderules/solutions/jetbrains.mps.coderules.test/source_gen" />
     <delete dir="${mps.macro.coderules_home}/coderules/solutions/jetbrains.mps.coderules.testhelper/source_gen" />
+    <delete dir="${mps.macro.coderules_home}/coderules/solutions/jetbrains.mps.controlflow/source_gen" />
+    <delete dir="${mps.macro.coderules_home}/coderules/solutions/jetbrains.mps.controlflow.ui/source_gen" />
     <delete dir="${mps.macro.coderules_home}/coderules/languages/jetbrains.mps.lang.typechecking/generator/source_gen" />
     <delete dir="${mps.macro.coderules_home}/coderules/languages/jetbrains.mps.lang.types/generator/source_gen" />
     <delete dir="${mps.macro.coderules_home}/coderules/languages/jetbrains.mps.typechecking.testlang/source_gen" />

coderules/solutions/jetbrains.mps.coderules.build/models/jetbrains.mps.coderules.build.mps

@@ -456,7 +456,7 @@
       <node concept="398b2D" id="adIlSu_OUD" role="398b2p">
         <node concept="nFU4i" id="adIlSu_OXi" role="nFU4p">
           <property role="3LZaj6" value="4zlO3QTanjS/source" />
-          <property role="nFU4j" value="source" />
+          <property role="nFU4j" value="source_gen" />
         </node>
         <node concept="398BVA" id="adIlSu_OVP" role="398b2C">
           <ref role="398BVh" node="46o4wsH3mv_" resolve="mps.macro.coderules_home" />
@@ -1714,6 +1714,11 @@
             <ref role="3bR37D" to="ffeo:7Kfy9QB6Lfd" resolve="jetbrains.mps.findUsages.runtime" />
           </node>
         </node>
+        <node concept="1SiIV0" id="5u1SQ54mIWR" role="3bR37C">
+          <node concept="3bR9La" id="5u1SQ54mIWS" role="1SiIV1">
+            <ref role="3bR37D" to="ffeo:1ia2VB5guYy" resolve="MPS.IDEA" />
+          </node>
+        </node>
       </node>
     </node>
     <node concept="2G$12M" id="5pz4PwHqqGu" role="3989C9">
@@ -3379,6 +3384,11 @@
             <ref role="3bR37D" node="2CPBoDB0MbE" resolve="jetbrains.mps.coderules.ideaplugin" />
           </node>
         </node>
+        <node concept="1SiIV0" id="5u1SQ54mIZF" role="3bR37C">
+          <node concept="3bR9La" id="5u1SQ54mIZG" role="1SiIV1">
+            <ref role="3bR37D" node="2CPBoDB0Mtg" resolve="jetbrains.mps.coderules.typechecking" />
+          </node>
+        </node>
       </node>
       <node concept="1E1JtA" id="6Yb9hAqy9L2" role="2G$12L">
         <property role="BnDLt" value="true" />
@@ -3801,8 +3811,8 @@
                       <property role="2Ry0Am" value="solutions" />
                       <node concept="2Ry0Ak" id="6YTH7uEKcL0" role="2Ry0An">
                         <property role="2Ry0Am" value="jetbrains.mps.coderules.ideaplugin" />
-                        <node concept="2Ry0Ak" id="6YTH7uEKcL1" role="2Ry0An">
+                        <node concept="2Ry0Ak" id="5u1SQ54Kk9w" role="2Ry0An">
-                          <property role="2Ry0Am" value="source" />
+                          <property role="2Ry0Am" value="source_gen" />
                         </node>
                       </node>
                     </node>
@@ -4083,8 +4093,8 @@
                         <property role="2Ry0Am" value="solutions" />
                         <node concept="2Ry0Ak" id="6YTH7uEw1YJ" role="2Ry0An">
                           <property role="2Ry0Am" value="jetbrains.mps.coderules.ideaplugin" />
-                          <node concept="2Ry0Ak" id="6YTH7uEw1YO" role="2Ry0An">
+                          <node concept="2Ry0Ak" id="5u1SQ54Juu$" role="2Ry0An">
-                            <property role="2Ry0Am" value="source" />
+                            <property role="2Ry0Am" value="source_gen" />
                           </node>
                         </node>
                       </node>

coderules/solutions/jetbrains.mps.coderules.ideaplugin/build.gradle

@@ -1,12 +0,0 @@
-configurations {
-    codeRules
-}
-
-dependencies {
-}
-
-task makeDependencies (type: JavaCompile) {
-  source = fileTree(dir: 'source', include: '**/*.java')
-  destinationDirectory = file('classes')
-  classpath = fileTree(dir: '../../../MPS_HOME/lib', include: '**/*.jar')
-}

coderules/solutions/jetbrains.mps.coderules.ideaplugin/jetbrains.mps.coderules.ideaplugin.msd

@@ -1,5 +1,5 @@
 <?xml version="1.0" encoding="UTF-8"?>
-<solution name="jetbrains.mps.coderules.ideaplugin" uuid="66887915-4d9e-4e24-bd35-19eb55fb75c2" moduleVersion="0" compileInMPS="false" generatorOutputPath="${module}/source_off">
+<solution name="jetbrains.mps.coderules.ideaplugin" uuid="66887915-4d9e-4e24-bd35-19eb55fb75c2" moduleVersion="0" compileInMPS="false">
   <models>
     <modelRoot contentPath="${module}" type="default">
       <sourceRoot location="models" />
@@ -9,7 +9,7 @@
     </modelRoot>
   </models>
   <facets>
-    <facet type="java" languageLevel="JAVA_8" compile="off" classes="off" ext="no">
+    <facet type="java" languageLevel="JAVA_8" compile="mps" classes="provided" ext="no">
       <classes generated="true" path="${module}/classes_gen" />
     </facet>
   </facets>

coderules/solutions/jetbrains.mps.coderules.ideaplugin/source.caches/deps.cp

@@ -1,17 +0,0 @@
-<?xml version="1.0" encoding="UTF-8"?>
-<dependenciesRoot>
-  <uses language="l:f3061a53-9226-4cc5-a443-f952ceaf5816:jetbrains.mps.baseLanguage" />
-  <uses language="l:774bf8a0-62e5-41e1-af63-f4812e60e48b:jetbrains.mps.baseLanguage.checkedDots" />
-  <uses language="l:fd392034-7849-419d-9071-12563d152375:jetbrains.mps.baseLanguage.closures" />
-  <uses language="l:83888646-71ce-4f1c-9c53-c54016f6ad4f:jetbrains.mps.baseLanguage.collections" />
-  <uses language="l:f2801650-65d5-424e-bb1b-463a8781b786:jetbrains.mps.baseLanguage.javadoc" />
-  <uses language="l:df345b11-b8c7-4213-ac66-48d2a9b75d88:jetbrains.mps.baseLanguageInternal" />
-  <uses language="l:c7fb639f-be78-4307-89b0-b5959c3fa8c8:jetbrains.mps.lang.text" />
-  <uses module="3f233e7f-b8a6-46d2-a57f-795d56775243(Annotations)" kind="dp" />
-  <uses module="6354ebe7-c22a-4a0f-ac54-50b52ab9b065(JDK)" kind="rt+dp" />
-  <uses module="498d89d2-c2e9-11e2-ad49-6cf049e62fe5(MPS.IDEA)" kind="dp" />
-  <uses module="4c6a28d1-2c60-478d-b36e-db9b3cbb21fb(closures.runtime)" kind="rt" />
-  <uses module="9b80526e-f0bf-4992-bdf5-cee39c1833f3(collections.runtime)" kind="rt+dp" />
-  <uses module="52b81ac7-93fd-4e9e-b972-4995882da6d4(jetbrains.mps.baseLanguage.references.runtime)" kind="rt" />
-</dependenciesRoot>
-

coderules/solutions/jetbrains.mps.coderules.ideaplugin/source.caches/jetbrains/mps/coderules/ideaplugin/dependencies

@@ -1,17 +0,0 @@
-<?xml version="1.0" encoding="UTF-8"?>
-<dependenciesRoot>
-  <uses language="l:f3061a53-9226-4cc5-a443-f952ceaf5816:jetbrains.mps.baseLanguage" />
-  <uses language="l:774bf8a0-62e5-41e1-af63-f4812e60e48b:jetbrains.mps.baseLanguage.checkedDots" />
-  <uses language="l:fd392034-7849-419d-9071-12563d152375:jetbrains.mps.baseLanguage.closures" />
-  <uses language="l:83888646-71ce-4f1c-9c53-c54016f6ad4f:jetbrains.mps.baseLanguage.collections" />
-  <uses language="l:f2801650-65d5-424e-bb1b-463a8781b786:jetbrains.mps.baseLanguage.javadoc" />
-  <uses language="l:df345b11-b8c7-4213-ac66-48d2a9b75d88:jetbrains.mps.baseLanguageInternal" />
-  <uses language="l:c7fb639f-be78-4307-89b0-b5959c3fa8c8:jetbrains.mps.lang.text" />
-  <uses module="3f233e7f-b8a6-46d2-a57f-795d56775243(Annotations)" kind="dp" />
-  <uses module="6354ebe7-c22a-4a0f-ac54-50b52ab9b065(JDK)" kind="rt+dp" />
-  <uses module="498d89d2-c2e9-11e2-ad49-6cf049e62fe5(MPS.IDEA)" kind="dp" />
-  <uses module="4c6a28d1-2c60-478d-b36e-db9b3cbb21fb(closures.runtime)" kind="rt" />
-  <uses module="9b80526e-f0bf-4992-bdf5-cee39c1833f3(collections.runtime)" kind="rt+dp" />
-  <uses module="52b81ac7-93fd-4e9e-b972-4995882da6d4(jetbrains.mps.baseLanguage.references.runtime)" kind="rt" />
-</dependenciesRoot>
-

coderules/solutions/jetbrains.mps.coderules.ideaplugin/source.caches/jetbrains/mps/coderules/ideaplugin/generated

@@ -1,5 +0,0 @@
-<?xml version="1.0" encoding="UTF-8"?>
-<product version="3" modelHash="czt7bk2d2tvh5ds9gndimi0d11rtoi3" parametersHash="-7tds95dbq8eaoslqxf76114940s486g">
-  <files names="CoderulesOptions.java:Config.java:TypecheckingOptions.java:TypecheckingSettings.java:TypecheckingSettingsPage.java" />
-</product>
-

coderules/solutions/jetbrains.mps.coderules.ideaplugin/source/jetbrains/mps/coderules/ideaplugin/CoderulesOptions.java

@@ -1,32 +0,0 @@
-package jetbrains.mps.coderules.ideaplugin;
-
-/*Generated by MPS */
-
-import jetbrains.mps.annotations.GeneratedClass;
-
-@GeneratedClass(node = "r:835f8ea3-a800-4588-a80b-1de6d47c2098(jetbrains.mps.coderules.ideaplugin)/3625063056952761380", model = "r:835f8ea3-a800-4588-a80b-1de6d47c2098(jetbrains.mps.coderules.ideaplugin)")
-public class CoderulesOptions {
-  public static final String PREFIX = "mps.coderules.";
-
-  public static final String OPTION_PROFILING_ENABLED = PREFIX + "profiling";
-
-  public static final Config.Option<Boolean> PROFILING_ENABLED = new Config.Option<Boolean>() {
-    @Override
-    public Boolean get(Config config) {
-      return (Boolean) config.getOption(OPTION_PROFILING_ENABLED);
-    }
-  };
-
-  public static void registerDefaultProviders(Config config) {
-    config.registerProvider(Config.Level.USER, PREFIX, (String key) -> {
-
-      if (OPTION_PROFILING_ENABLED.equals(key)) {
-        return Boolean.valueOf(System.getProperty(OPTION_PROFILING_ENABLED, "false"));
-
-      }
-
-      return null;
-    });
-  }
-
-}

coderules/solutions/jetbrains.mps.coderules.ideaplugin/source/jetbrains/mps/coderules/ideaplugin/Config.java

@@ -1,249 +0,0 @@
-package jetbrains.mps.coderules.ideaplugin;
-
-/*Generated by MPS */
-
-import jetbrains.mps.annotations.GeneratedClass;
-import java.util.HashMap;
-import java.util.List;
-import java.util.Map;
-import jetbrains.mps.internal.collections.runtime.MapSequence;
-import jetbrains.mps.internal.collections.runtime.ListSequence;
-import java.util.ArrayList;
-
-/**
- * Represents options as key-value pairs. Supports traditional levels of overrides: default/system/user/ui.
- * Every level allows any number of providers, each responsible for a specific key prefix.
- */
-@GeneratedClass(node = "r:835f8ea3-a800-4588-a80b-1de6d47c2098(jetbrains.mps.coderules.ideaplugin)/8406119028231319109", model = "r:835f8ea3-a800-4588-a80b-1de6d47c2098(jetbrains.mps.coderules.ideaplugin)")
-public class Config {
-
-  /**
-   * DEFAULT - options built in into code 
-   * SYSTEM - options delivered with the app
-   * USER - options overridden by user
-   * UI - options overridden in the UI
-   */
-  public enum Level {
-    DEFAULT(),
-    SYSTEM(),
-    USER(),
-    UI(),
-    TEST()
-  }
-
-  public interface OptionsProvider {
-
-    Object getOption(String key);
-
-  }
-
-  public interface Option<T> {
-
-    T get(Config config);
-
-  }
-
-  private static Config INSTANCE = null;
-
-  public static void init() {
-    if (INSTANCE == null) {
-      INSTANCE = new Config(new EffectiveOptions());
-    }
-  }
-
-  public static void dispose() {
-    INSTANCE.clearAll();
-    INSTANCE = null;
-  }
-
-  /**
-   * Returns the instance to share the default (hardcoded) options.
-   * 
-   * @deprecated 
-   */
-  @Deprecated
-  public static Config getInstance() {
-    return INSTANCE;
-  }
-
-  /**
-   * Returns a copy of this instance with the state that is not shared. All updates to either this or the
-   * returned instance will not reflect in the other one. 
-   */
-  public Config copy() {
-    return new Config(effectiveOptions);
-  }
-
-  /**
-   * Creates new instance with hardcoded default options. 
-   * Used from tests.
-   */
-  public static Config create() {
-    return new Config(new EffectiveOptions());
-  }
-
-  /**
-   * Used from tests.
-   */
-  public void reset(Level lvl) {
-    this.effectiveOptions = effectiveOptions.reset(lvl);
-  }
-
-  /**
-   * A prefix is defined as a string matching the following RE: "([a-zA-Z0-9]*\.)+" .
-   */
-  public void registerProvider(Level level, String prefix, OptionsProvider provider) {
-    this.effectiveOptions = effectiveOptions.registerProvider(level, prefix, provider);
-  }
-
-  public void clearProvider(Level lvl, String prefix) {
-    this.effectiveOptions = effectiveOptions.clearProvider(lvl, prefix);
-  }
-
-  public final Object getOption(String key) {
-    return effectiveOptions.getOption(key);
-  }
-
-  protected void clearAll() {
-    if (effectiveOptions != null) {
-      effectiveOptions.clearAll();
-    }
-  }
-
-  private Config(EffectiveOptions options) {
-    this.effectiveOptions = options;
-  }
-
-  private static class Options {
-
-    protected Options() {
-      this.prefix2provider = new HashMap<>();
-    }
-
-    private Options(Options copyFrom) {
-      this.prefix2provider = new HashMap<String, OptionsProvider>(copyFrom.prefix2provider);
-    }
-
-    protected final Object primGetOption(String key, List<String> allPrefixes) {
-      OptionsProvider lookupProvider = lookupProvider(allPrefixes);
-      if (lookupProvider != null) {
-        Object option = lookupProvider.getOption(key);
-        if (option != null) {
-          return option;
-        }
-      }
-      return null;
-    }
-
-    protected Options putProvider(String prefix, OptionsProvider provider) {
-      Options newOptions = new Options(this);
-      newOptions.prefix2provider.put(prefix, provider);
-      return newOptions;
-    }
-
-    protected Options clearProvider(String prefix) {
-      Options newOptions = new Options(this);
-      newOptions.prefix2provider.remove(prefix);
-      return newOptions;
-    }
-
-    protected OptionsProvider lookupProvider(List<String> prefixes) {
-      for (String p : prefixes) {
-        if (prefix2provider.containsKey(p)) {
-          return prefix2provider.get(p);
-        }
-      }
-      return null;
-    }
-
-    private Map<String, OptionsProvider> prefix2provider;
-
-  }
-
-  private static class EffectiveOptions {
-
-    protected EffectiveOptions() {
-      this.allOptions = MapSequence.fromMap(new HashMap<Config.Level, Options>());
-      for (Config.Level lvl : Config.Level.values()) {
-        MapSequence.fromMap(allOptions).put(lvl, new Options());
-      }
-    }
-
-    private EffectiveOptions(EffectiveOptions copyFrom) {
-      this.allOptions = new HashMap<Config.Level, Options>(copyFrom.allOptions);
-    }
-
-    protected Object getOption(String key) {
-      List<String> allPrefixes = allPrefixes(key);
-      for (int i = Config.Level.values().length - 1; i >= 0; i--) {
-        Config.Level level = Config.Level.values()[i];
-        Object option = check_gqj4j5_a0b0b0f33(MapSequence.fromMap(allOptions).get(level), key, allPrefixes);
-        if (option != null) {
-          return option;
-        }
-      }
-      return null;
-    }
-
-    protected final EffectiveOptions reset(Config.Level startFrom) {
-      EffectiveOptions newEffOptions = new EffectiveOptions(this);
-      for (Config.Level lvl : Config.Level.values()) {
-        if (lvl.ordinal() >= startFrom.ordinal()) {
-          MapSequence.fromMap(newEffOptions.allOptions).put(lvl, new Options());
-        }
-      }
-      return newEffOptions;
-    }
-
-    protected EffectiveOptions registerProvider(Config.Level level, String prefix, OptionsProvider provider) {
-      EffectiveOptions newEffOptions = new EffectiveOptions(this);
-      MapSequence.fromMap(newEffOptions.allOptions).put(level, check_gqj4j5_a0b0j33(MapSequence.fromMap(newEffOptions.allOptions).get(level), prefix, provider));
-      return newEffOptions;
-    }
-
-    protected EffectiveOptions clearProvider(Config.Level level, String prefix) {
-      EffectiveOptions newEffOptions = new EffectiveOptions(this);
-      MapSequence.fromMap(newEffOptions.allOptions).put(level, check_gqj4j5_a0b0l33(MapSequence.fromMap(newEffOptions.allOptions).get(level), prefix));
-      return newEffOptions;
-    }
-
-    protected void clearAll() {
-      MapSequence.fromMap(allOptions).clear();
-    }
-
-    private List<String> allPrefixes(String key) {
-      List<String> result = ListSequence.fromList(new ArrayList<String>());
-      while (key.length() > 0) {
-        int lastDot = key.lastIndexOf(".");
-        if (lastDot < 0) {
-          break;
-        }
-        ListSequence.fromList(result).addElement(key.substring(0, lastDot + 1));
-        key = key.substring(0, lastDot);
-      }
-      return result;
-    }
-
-    private Map<Config.Level, Options> allOptions;
-    private static Object check_gqj4j5_a0b0b0f33(Options checkedDotOperand, String key, List<String> allPrefixes) {
-      if (null != checkedDotOperand) {
-        return checkedDotOperand.primGetOption(key, allPrefixes);
-      }
-      return null;
-    }
-    private static Options check_gqj4j5_a0b0j33(Options checkedDotOperand, String prefix, OptionsProvider provider) {
-      if (null != checkedDotOperand) {
-        return checkedDotOperand.putProvider(prefix, provider);
-      }
-      return null;
-    }
-    private static Options check_gqj4j5_a0b0l33(Options checkedDotOperand, String prefix) {
-      if (null != checkedDotOperand) {
-        return checkedDotOperand.clearProvider(prefix);
-      }
-      return null;
-    }
-  }
-
-  private EffectiveOptions effectiveOptions;
-}

coderules/solutions/jetbrains.mps.coderules.ideaplugin/source/jetbrains/mps/coderules/ideaplugin/TypecheckingOptions.java

@@ -1,133 +0,0 @@
-package jetbrains.mps.coderules.ideaplugin;
-
-/*Generated by MPS */
-
-import jetbrains.mps.annotations.GeneratedClass;
-
-@GeneratedClass(node = "r:835f8ea3-a800-4588-a80b-1de6d47c2098(jetbrains.mps.coderules.ideaplugin)/8406119028234017931", model = "r:835f8ea3-a800-4588-a80b-1de6d47c2098(jetbrains.mps.coderules.ideaplugin)")
-public class TypecheckingOptions {
-  public static final String PREFIX = "mps.coderules.typechecking.";
-
-  public static final String OPTION_TYPECHECKING_ENABLED = PREFIX + "enabled";
-  public static final String OPTION_TYPECHECKING_WATCHING = PREFIX + "watching";
-  public static final String OPTION_TYPECHECKING_REPORTING = PREFIX + "report";
-  public static final String OPTION_TYPECHECKING_TRACE = PREFIX + "trace";
-
-  public static final Config.Option<Boolean> TYPECHECKING_ENABLED = new Config.Option<Boolean>() {
-    @Override
-    public Boolean get(Config config) {
-      return (Boolean) config.getOption(OPTION_TYPECHECKING_ENABLED);
-    }
-  };
-  public static final Config.Option<Boolean> TYPECHECKING_WATCHING = new Config.Option<Boolean>() {
-    @Override
-    public Boolean get(Config config) {
-      return (Boolean) config.getOption(OPTION_TYPECHECKING_WATCHING);
-    }
-  };
-  public static final Config.Option<Boolean> TYPECHECKING_REPORTING = new Config.Option<Boolean>() {
-    @Override
-    public Boolean get(Config config) {
-      return (Boolean) config.getOption(OPTION_TYPECHECKING_REPORTING);
-    }
-  };
-  public static final Config.Option<Boolean> TYPECHECKING_TRACE = new Config.Option<Boolean>() {
-    @Override
-    public Boolean get(Config config) {
-      return (Boolean) config.getOption(OPTION_TYPECHECKING_TRACE);
-    }
-  };
-  public static final Config.Option<Boolean> COLLECT_TRACES = new Config.Option<Boolean>() {
-    @Override
-    public Boolean get(Config config) {
-      if (Boolean.TRUE != config.getOption(OPTION_TYPECHECKING_REPORTING)) {
-        return Boolean.FALSE;
-      }
-      return (Boolean) config.getOption(OPTION_TYPECHECKING_TRACE);
-    }
-  };
-
-  private static Config USER_CONFIG;
-
-  private TypecheckingOptions() {
-  }
-
-  public static Config getUserConfig() {
-    if (USER_CONFIG == null) {
-      USER_CONFIG = Config.create();
-      registerDefaultProviders(USER_CONFIG);
-    }
-    return USER_CONFIG;
-  }
-
-  public static Config getUiConfig() {
-    Config config = TypecheckingOptions.getUserConfig().copy();
-    registerUiProvider(config);
-    return config;
-  }
-
-  private static void registerUiProvider(Config config) {
-
-    config.registerProvider(Config.Level.UI, PREFIX, (String key) -> {
-
-      TypecheckingSettings settings = TypecheckingSettings.getInstace();
-      if (OPTION_TYPECHECKING_ENABLED.equals(key)) {
-        return settings.isTypecheckingEnabled();
-      }
-
-      if (OPTION_TYPECHECKING_WATCHING.equals(key)) {
-        return settings.isWatchingEnabled();
-      }
-
-      if (OPTION_TYPECHECKING_REPORTING.equals(key)) {
-        return settings.isReportingEnabled();
-      }
-
-      if (OPTION_TYPECHECKING_TRACE.equals(key)) {
-        return settings.isTracingEnabled();
-      }
-
-      return null;
-    });
-
-    config.registerProvider(Config.Level.USER, CoderulesOptions.PREFIX, (String key) -> {
-      TypecheckingSettings settings = TypecheckingSettings.getInstace();
-      if (CoderulesOptions.OPTION_PROFILING_ENABLED.equals(key)) {
-        return settings.isProfilingEnabled();
-      }
-
-      return null;
-    });
-
-  }
-
-  private static void registerDefaultProviders(Config config) {
-    CoderulesOptions.registerDefaultProviders(config);
-
-    config.registerProvider(Config.Level.USER, PREFIX, (String key) -> {
-
-      if (OPTION_TYPECHECKING_ENABLED.equals(key)) {
-        return Boolean.valueOf(System.getProperty(OPTION_TYPECHECKING_ENABLED, "false"));
-
-      }
-
-      if (OPTION_TYPECHECKING_WATCHING.equals(key)) {
-        return Boolean.valueOf(System.getProperty(OPTION_TYPECHECKING_WATCHING, "false"));
-
-      }
-
-      if (OPTION_TYPECHECKING_REPORTING.equals(key)) {
-        return Boolean.valueOf(System.getProperty(OPTION_TYPECHECKING_REPORTING, "false"));
-
-      }
-
-      if (OPTION_TYPECHECKING_TRACE.equals(key)) {
-        return Boolean.valueOf(System.getProperty(OPTION_TYPECHECKING_TRACE, "false"));
-
-      }
-
-      return null;
-    });
-  }
-
-}

coderules/solutions/jetbrains.mps.coderules.ideaplugin/source/jetbrains/mps/coderules/ideaplugin/TypecheckingSettings.java

@@ -1,94 +0,0 @@
-package jetbrains.mps.coderules.ideaplugin;
-
-/*Generated by MPS */
-
-import com.intellij.openapi.components.Storage;
-import jetbrains.mps.annotations.GeneratedClass;
-import com.intellij.openapi.components.PersistentStateComponent;
-import com.intellij.openapi.application.ApplicationManager;
-import org.jetbrains.annotations.Nullable;
-import org.jetbrains.annotations.NotNull;
-
-@com.intellij.openapi.components.State(name = "TypecheckingSettings", storages = @Storage(value = "typecheckingSettings.xml")
-)
-@GeneratedClass(node = "r:835f8ea3-a800-4588-a80b-1de6d47c2098(jetbrains.mps.coderules.ideaplugin)/3041510341143971994", model = "r:835f8ea3-a800-4588-a80b-1de6d47c2098(jetbrains.mps.coderules.ideaplugin)")
-public class TypecheckingSettings implements PersistentStateComponent<TypecheckingSettings.State> {
-
-  public static class State {
-    public boolean myIsEnabled;
-    public boolean myIsWatching;
-    public boolean myIsReporting;
-    public boolean myIsTracing;
-    public boolean myIsProfiling;
-  }
-
-  /**
-   * Only available in case the plugin is not loaded, that is when the code is loaded from source module
-   */
-  private static TypecheckingSettings SINGLETON_INSTANCE = new TypecheckingSettings();
-
-  private State myState = new State();
-
-  public TypecheckingSettings() {
-  }
-
-  public static TypecheckingSettings getInstace() {
-    TypecheckingSettings service = ApplicationManager.getApplication().getService(TypecheckingSettings.class);
-    if (service == null) {
-      // workaround for running from sources
-      return SINGLETON_INSTANCE;
-    }
-    return service;
-  }
-
-  @Nullable
-  @Override
-  public State getState() {
-    return myState;
-  }
-
-  @Override
-  public void loadState(@NotNull State state) {
-    this.myState = state;
-  }
-
-  public boolean isTypecheckingEnabled() {
-    return myState.myIsEnabled;
-  }
-
-  public boolean setTypecheckingEnabled(boolean yes) {
-    return myState.myIsEnabled = yes;
-  }
-
-  public boolean isWatchingEnabled() {
-    return myState.myIsWatching;
-  }
-
-  public boolean setWatchingEnabled(boolean yes) {
-    return myState.myIsWatching = yes;
-  }
-
-  public boolean isReportingEnabled() {
-    return myState.myIsReporting;
-  }
-
-  public boolean setReportingEnabled(boolean yes) {
-    return myState.myIsReporting = yes;
-  }
-
-  public boolean isTracingEnabled() {
-    return myState.myIsTracing;
-  }
-
-  public boolean setTracingEnabled(boolean yes) {
-    return myState.myIsTracing = yes;
-  }
-
-  public boolean isProfilingEnabled() {
-    return myState.myIsProfiling;
-  }
-
-  public boolean setProfilingEnabled(boolean yes) {
-    return myState.myIsProfiling = yes;
-  }
-}

coderules/solutions/jetbrains.mps.coderules.ideaplugin/source/jetbrains/mps/coderules/ideaplugin/TypecheckingSettingsPage.java

@@ -1,246 +0,0 @@
-package jetbrains.mps.coderules.ideaplugin;
-
-/*Generated by MPS */
-
-import jetbrains.mps.annotations.GeneratedClass;
-import javax.swing.JPanel;
-import com.intellij.openapi.options.SearchableConfigurable;
-import org.jetbrains.annotations.NotNull;
-import org.jetbrains.annotations.NonNls;
-import com.intellij.openapi.util.NlsContexts;
-import org.jetbrains.annotations.Contract;
-import org.jetbrains.annotations.Nullable;
-import javax.swing.JComponent;
-import com.intellij.openapi.options.ConfigurationException;
-import javax.swing.BoxLayout;
-import com.intellij.ui.components.JBCheckBox;
-import java.awt.event.ItemListener;
-import java.awt.event.ItemEvent;
-import javax.swing.Box;
-import com.intellij.ui.IdeBorderFactory;
-import com.intellij.util.ui.JBUI;
-import javax.swing.JLabel;
-import java.awt.Font;
-import javax.swing.JCheckBox;
-
-@GeneratedClass(node = "r:835f8ea3-a800-4588-a80b-1de6d47c2098(jetbrains.mps.coderules.ideaplugin)/551453226825312425", model = "r:835f8ea3-a800-4588-a80b-1de6d47c2098(jetbrains.mps.coderules.ideaplugin)")
-public class TypecheckingSettingsPage extends JPanel implements SearchableConfigurable {
-
-  public TypecheckingSettingsPage() {
-    TypecheckingSettings settings = TypecheckingSettings.getInstace();
-    init();
-  }
-
-  @NotNull
-  @NonNls
-  @Override
-  public String getId() {
-    return "preferences.typecheckingSettings";
-  }
-  @NlsContexts.ConfigurableName
-  @Contract(pure = true)
-  @Override
-  public String getDisplayName() {
-    return "Typechecking";
-  }
-  @Nullable
-  @Override
-  public JComponent createComponent() {
-    return this;
-  }
-  @Override
-  public boolean isModified() {
-    TypecheckingSettings settings = TypecheckingSettings.getInstace();
-    boolean modified = false;
-    modified |= settings.isTypecheckingEnabled() != this.isTypecheckingEnabled();
-    modified |= settings.isWatchingEnabled() != this.isWatchingEnabled();
-    modified |= settings.isReportingEnabled() != this.isReportingEnabled();
-    modified |= settings.isTracingEnabled() != this.isTracingEnabled();
-    modified |= settings.isProfilingEnabled() != this.isProfilingEnabled();
-    return modified;
-  }
-  @Override
-  public void apply() throws ConfigurationException {
-    TypecheckingSettings settings = TypecheckingSettings.getInstace();
-    settings.setTypecheckingEnabled(this.isTypecheckingEnabled());
-    settings.setWatchingEnabled(this.isWatchingEnabled());
-    settings.setReportingEnabled(this.isReportingEnabled());
-    settings.setTracingEnabled(this.isTracingEnabled());
-    settings.setProfilingEnabled(this.isProfilingEnabled());
-  }
-  @Override
-  public void reset() {
-    TypecheckingSettings settings = TypecheckingSettings.getInstace();
-    this.setTypecheckingEnabled(settings.isTypecheckingEnabled());
-    this.setWatchingEnabled(settings.isWatchingEnabled());
-    this.setReportingEnabled(settings.isReportingEnabled());
-    this.setTracingEnabled(settings.isTracingEnabled());
-    this.setProfilingEnabled(settings.isProfilingEnabled());
-  }
-  private void init() {
-    setLayout(new BoxLayout(this, BoxLayout.Y_AXIS));
-
-    this.enableTypecheckingCheckbox = new JBCheckBox("Enable experimental typechecking with Coderules");
-    this.enableWatchingCheckbox = new JBCheckBox("Watch model changes and collect updates");
-    this.enableReportingCheckbox = new JBCheckBox("Report evaluation results");
-    this.enableTraceCheckbox = new JBCheckBox("Collect trace events");
-    this.enableProfilingCheckbox = new JBCheckBox("Collect profiling data");
-
-    ItemListener updater = new ItemListener() {
-      @Override
-      public void itemStateChanged(ItemEvent e) {
-        updateEnabledState();
-      }
-    };
-    enableTypecheckingCheckbox.addItemListener(updater);
-    enableWatchingCheckbox.addItemListener(updater);
-    enableReportingCheckbox.addItemListener(updater);
-
-    {
-      JPanel mainPanel = new JPanel();
-      mainPanel.setLayout(new BoxLayout(mainPanel, BoxLayout.Y_AXIS));
-      mainPanel.add(Box.createHorizontalGlue());
-      mainPanel.setBorder(IdeBorderFactory.createTitledBorder("Typechecking", false));
-
-      {
-        JPanel subpanel = new JPanel();
-        subpanel.setLayout(new BoxLayout(subpanel, BoxLayout.Y_AXIS));
-        subpanel.add(Box.createVerticalStrut(0));
-        subpanel.setBorder(JBUI.Borders.emptyLeft(20));
-
-        subpanel.add(this.enableTypecheckingCheckbox);
-
-        mainPanel.add(subpanel);
-      }
-
-      add(mainPanel);
-
-      // ----------
-
-      JPanel editorPanel = new JPanel();
-      editorPanel.setLayout(new BoxLayout(editorPanel, BoxLayout.Y_AXIS));
-      editorPanel.add(Box.createHorizontalGlue());
-      editorPanel.setBorder(IdeBorderFactory.createTitledBorder("Editor integration", false));
-
-      {
-        JPanel subpanel = new JPanel();
-        subpanel.setLayout(new BoxLayout(subpanel, BoxLayout.Y_AXIS));
-        subpanel.add(Box.createVerticalStrut(0));
-        subpanel.setBorder(JBUI.Borders.emptyLeft(20));
-
-        subpanel.add(this.enableWatchingCheckbox);
-
-        editorPanel.add(subpanel);
-      }
-
-      add(editorPanel);
-
-      // ---------
-
-      JPanel advancedPanel = new JPanel();
-      advancedPanel.setLayout(new BoxLayout(advancedPanel, BoxLayout.Y_AXIS));
-      advancedPanel.add(Box.createHorizontalGlue());
-      advancedPanel.setBorder(IdeBorderFactory.createTitledBorder("Advanced", false));
-
-      {
-        JPanel subpanel = new JPanel();
-        subpanel.setLayout(new BoxLayout(subpanel, BoxLayout.Y_AXIS));
-        subpanel.add(Box.createVerticalStrut(0));
-        subpanel.setBorder(JBUI.Borders.emptyLeft(20));
-
-        subpanel.add(new JLabel("When evaluating Coderules program:"));
-
-        {
-          JPanel subsubpanel = new JPanel();
-          subsubpanel.setLayout(new BoxLayout(subsubpanel, BoxLayout.Y_AXIS));
-          subsubpanel.add(Box.createVerticalStrut(0));
-          subsubpanel.setBorder(JBUI.Borders.emptyLeft(20));
-
-          subsubpanel.add(this.enableReportingCheckbox);
-
-          subsubpanel.add(this.enableTraceCheckbox);
-
-          JPanel warnPanel = new JPanel();
-          warnPanel.setLayout(new BoxLayout(warnPanel, BoxLayout.Y_AXIS));
-          warnPanel.add(Box.createVerticalStrut(5));
-          warnPanel.setBorder(JBUI.Borders.emptyLeft(25));
-
-          {
-            JLabel warnLabel = new JLabel("Using this option may result in excessive memory consumption");
-            Font font = warnLabel.getFont();
-            warnLabel.setFont(font.deriveFont(font.getSize2D() * 0.9f));
-            warnLabel.setEnabled(false);
-
-            warnPanel.add(warnLabel);
-          }
-
-          subsubpanel.add(warnPanel);
-
-          subsubpanel.add(this.enableProfilingCheckbox);
-
-          subpanel.add(subsubpanel);
-        }
-
-        advancedPanel.add(subpanel);
-      }
-
-      add(advancedPanel);
-    }
-  }
-
-  public boolean isTypecheckingEnabled() {
-    return enableTypecheckingCheckbox.isSelected();
-  }
-
-  public boolean isWatchingEnabled() {
-    return enableWatchingCheckbox.isSelected();
-  }
-
-  public boolean isTracingEnabled() {
-    return enableTraceCheckbox.isSelected();
-  }
-
-  public boolean isProfilingEnabled() {
-    return enableProfilingCheckbox.isSelected();
-  }
-
-  public boolean isReportingEnabled() {
-    return enableReportingCheckbox.isSelected();
-  }
-
-  public void setTypecheckingEnabled(boolean yes) {
-    this.enableTypecheckingCheckbox.setSelected(yes);
-    updateEnabledState();
-  }
-
-  public void setWatchingEnabled(boolean yes) {
-    this.enableWatchingCheckbox.setSelected(yes);
-    updateEnabledState();
-  }
-
-  public void setReportingEnabled(boolean yes) {
-    this.enableReportingCheckbox.setSelected(yes);
-  }
-
-  public void setTracingEnabled(boolean yes) {
-    this.enableTraceCheckbox.setSelected(yes);
-  }
-
-  public void setProfilingEnabled(boolean yes) {
-    this.enableProfilingCheckbox.setSelected(yes);
-  }
-
-  private void updateEnabledState() {
-    this.enableWatchingCheckbox.setEnabled(this.enableTypecheckingCheckbox.isSelected());
-    this.enableReportingCheckbox.setEnabled(this.enableTypecheckingCheckbox.isSelected());
-    this.enableTraceCheckbox.setEnabled(this.enableTypecheckingCheckbox.isSelected() && this.enableReportingCheckbox.isSelected());
-    this.enableProfilingCheckbox.setEnabled(this.enableTypecheckingCheckbox.isSelected() && this.enableReportingCheckbox.isSelected());
-  }
-
-  private JCheckBox enableTypecheckingCheckbox;
-  private JCheckBox enableWatchingCheckbox;
-  private JCheckBox enableReportingCheckbox;
-  private JCheckBox enableTraceCheckbox;
-  private JCheckBox enableProfilingCheckbox;
-
-}

coderules/solutions/jetbrains.mps.coderules.ideaplugin/source/jetbrains/mps/coderules/ideaplugin/trace.info

@@ -1,816 +0,0 @@
-<?xml version="1.0" encoding="UTF-8"?>
-<debug-info version="2">
-  <concept fqn="c:f3061a53-9226-4cc5-a443-f952ceaf5816/1082485599095:jetbrains.mps.baseLanguage.structure.BlockStatement" />
-  <concept fqn="c:f3061a53-9226-4cc5-a443-f952ceaf5816/1081855346303:jetbrains.mps.baseLanguage.structure.BreakStatement" />
-  <concept fqn="c:f3061a53-9226-4cc5-a443-f952ceaf5816/1068580123140:jetbrains.mps.baseLanguage.structure.ConstructorDeclaration" />
-  <concept fqn="c:f3061a53-9226-4cc5-a443-f952ceaf5816/1068580123155:jetbrains.mps.baseLanguage.structure.ExpressionStatement" />
-  <concept fqn="c:f3061a53-9226-4cc5-a443-f952ceaf5816/1068390468200:jetbrains.mps.baseLanguage.structure.FieldDeclaration" />
-  <concept fqn="c:f3061a53-9226-4cc5-a443-f952ceaf5816/1144231330558:jetbrains.mps.baseLanguage.structure.ForStatement" />
-  <concept fqn="c:f3061a53-9226-4cc5-a443-f952ceaf5816/1144226303539:jetbrains.mps.baseLanguage.structure.ForeachStatement" />
-  <concept fqn="c:f3061a53-9226-4cc5-a443-f952ceaf5816/1068580123159:jetbrains.mps.baseLanguage.structure.IfStatement" />
-  <concept fqn="c:f3061a53-9226-4cc5-a443-f952ceaf5816/1068580123165:jetbrains.mps.baseLanguage.structure.InstanceMethodDeclaration" />
-  <concept fqn="c:f3061a53-9226-4cc5-a443-f952ceaf5816/1068581242864:jetbrains.mps.baseLanguage.structure.LocalVariableDeclarationStatement" />
-  <concept fqn="c:f3061a53-9226-4cc5-a443-f952ceaf5816/1068581242878:jetbrains.mps.baseLanguage.structure.ReturnStatement" />
-  <concept fqn="c:f3061a53-9226-4cc5-a443-f952ceaf5816/6329021646629104954:jetbrains.mps.baseLanguage.structure.SingleLineComment" />
-  <concept fqn="c:f3061a53-9226-4cc5-a443-f952ceaf5816/1068580123157:jetbrains.mps.baseLanguage.structure.Statement" />
-  <concept fqn="c:f3061a53-9226-4cc5-a443-f952ceaf5816/1070462154015:jetbrains.mps.baseLanguage.structure.StaticFieldDeclaration" />
-  <concept fqn="c:f3061a53-9226-4cc5-a443-f952ceaf5816/1081236700938:jetbrains.mps.baseLanguage.structure.StaticMethodDeclaration" />
-  <concept fqn="c:f3061a53-9226-4cc5-a443-f952ceaf5816/1076505808687:jetbrains.mps.baseLanguage.structure.WhileStatement" />
-  <root nodeRef="r:835f8ea3-a800-4588-a80b-1de6d47c2098(jetbrains.mps.coderules.ideaplugin)/3041510341143971994">
-    <file name="TypecheckingSettings.java">
-      <node id="3041510341144143529" at="18,0,19,0" concept="4" trace="myIsEnabled" />
-      <node id="3041510341144304978" at="19,0,20,0" concept="4" trace="myIsWatching" />
-      <node id="3041510341144320471" at="20,0,21,0" concept="4" trace="myIsReporting" />
-      <node id="3041510341144345683" at="21,0,22,0" concept="4" trace="myIsTracing" />
-      <node id="2372597338790134977" at="22,0,23,0" concept="4" trace="myIsProfiling" />
-      <node id="184006973686788385" at="28,0,29,0" concept="13" trace="SINGLETON_INSTANCE" />
-      <node id="3041510341144011736" at="30,0,31,0" concept="4" trace="myState" />
-      <node id="184006973686674574" at="35,51,36,110" concept="9" />
-      <node id="184006973686700316" at="37,26,38,44" concept="11" />
-      <node id="184006973686924583" at="38,44,39,32" concept="10" />
-      <node id="3041510341144018724" at="40,5,41,19" concept="10" />
-      <node id="3041510341144012725" at="46,27,47,19" concept="10" />
-      <node id="3041510341144012997" at="51,47,52,25" concept="3" />
-      <node id="3041510341144142385" at="55,42,56,31" concept="10" />
-      <node id="3041510341144144996" at="59,54,60,37" concept="10" />
-      <node id="3041510341144300070" at="63,38,64,32" concept="10" />
-      <node id="3041510341144300059" at="67,50,68,38" concept="10" />
-      <node id="3041510341144314472" at="71,39,72,33" concept="10" />
-      <node id="3041510341144314461" at="75,51,76,39" concept="10" />
-      <node id="3041510341144333263" at="79,37,80,31" concept="10" />
-      <node id="3041510341144333252" at="83,49,84,37" concept="10" />
-      <node id="2372597338790139256" at="87,39,88,33" concept="10" />
-      <node id="2372597338790139245" at="91,51,92,39" concept="10" />
-      <node id="5788453937373688827" at="32,0,34,0" concept="2" trace="TypecheckingSettings#()V" />
-      <node id="3041510341144138177" at="55,0,58,0" concept="8" trace="isTypecheckingEnabled#()Z" />
-      <node id="3041510341144144992" at="59,0,62,0" concept="8" trace="setTypecheckingEnabled#(Z)Z" />
-      <node id="3041510341144300066" at="63,0,66,0" concept="8" trace="isWatchingEnabled#()Z" />
-      <node id="3041510341144300053" at="67,0,70,0" concept="8" trace="setWatchingEnabled#(Z)Z" />
-      <node id="3041510341144314468" at="71,0,74,0" concept="8" trace="isReportingEnabled#()Z" />
-      <node id="3041510341144314455" at="75,0,78,0" concept="8" trace="setReportingEnabled#(Z)Z" />
-      <node id="3041510341144333259" at="79,0,82,0" concept="8" trace="isTracingEnabled#()Z" />
-      <node id="3041510341144333246" at="83,0,86,0" concept="8" trace="setTracingEnabled#(Z)Z" />
-      <node id="2372597338790139252" at="87,0,90,0" concept="8" trace="isProfilingEnabled#()Z" />
-      <node id="2372597338790139239" at="91,0,94,0" concept="8" trace="setProfilingEnabled#(Z)Z" />
-      <node id="184006973686692518" at="36,110,40,5" concept="7" />
-      <node id="3041510341143972938" at="50,0,54,0" concept="8" trace="loadState#(Ljetbrains/mps/coderules/ideaplugin/TypecheckingSettings/State;)V" />
-      <node id="3041510341143972930" at="44,0,49,0" concept="8" trace="getState#()Ljetbrains/mps/coderules/ideaplugin/TypecheckingSettings/State;" />
-      <node id="3041510341144017550" at="35,0,43,0" concept="14" trace="getInstace#()Ljetbrains/mps/coderules/ideaplugin/TypecheckingSettings;" />
-      <scope id="5788453937373688831" at="32,33,32,33" />
-      <scope id="3041510341143972936" at="46,27,47,19" />
-      <scope id="3041510341143972946" at="51,47,52,25" />
-      <scope id="3041510341144138181" at="55,42,56,31" />
-      <scope id="3041510341144144995" at="59,54,60,37" />
-      <scope id="3041510341144300069" at="63,38,64,32" />
-      <scope id="3041510341144300058" at="67,50,68,38" />
-      <scope id="3041510341144314471" at="71,39,72,33" />
-      <scope id="3041510341144314460" at="75,51,76,39" />
-      <scope id="3041510341144333262" at="79,37,80,31" />
-      <scope id="3041510341144333251" at="83,49,84,37" />
-      <scope id="2372597338790139255" at="87,39,88,33" />
-      <scope id="2372597338790139244" at="91,51,92,39" />
-      <scope id="5788453937373688827" at="32,0,34,0" />
-      <scope id="184006973686692520" at="37,26,39,32" />
-      <scope id="3041510341144138177" at="55,0,58,0" />
-      <scope id="3041510341144144992" at="59,0,62,0">
-        <var name="yes" id="3041510341144159103" />
-      </scope>
-      <scope id="3041510341144300066" at="63,0,66,0" />
-      <scope id="3041510341144300053" at="67,0,70,0">
-        <var name="yes" id="3041510341144300054" />
-      </scope>
-      <scope id="3041510341144314468" at="71,0,74,0" />
-      <scope id="3041510341144314455" at="75,0,78,0">
-        <var name="yes" id="3041510341144314456" />
-      </scope>
-      <scope id="3041510341144333259" at="79,0,82,0" />
-      <scope id="3041510341144333246" at="83,0,86,0">
-        <var name="yes" id="3041510341144333247" />
-      </scope>
-      <scope id="2372597338790139252" at="87,0,90,0" />
-      <scope id="2372597338790139239" at="91,0,94,0">
-        <var name="yes" id="2372597338790139240" />
-      </scope>
-      <scope id="3041510341143972938" at="50,0,54,0">
-        <var name="state" id="3041510341143972942" />
-      </scope>
-      <scope id="3041510341143972930" at="44,0,49,0" />
-      <scope id="3041510341144017554" at="35,51,41,19">
-        <var name="service" id="184006973686674575" />
-      </scope>
-      <scope id="3041510341144017550" at="35,0,43,0" />
-      <unit id="3041510341143972636" at="17,0,24,0" name="jetbrains.mps.coderules.ideaplugin.TypecheckingSettings$State" />
-      <unit id="3041510341143971994" at="12,0,95,0" name="jetbrains.mps.coderules.ideaplugin.TypecheckingSettings" />
-    </file>
-  </root>
-  <root nodeRef="r:835f8ea3-a800-4588-a80b-1de6d47c2098(jetbrains.mps.coderules.ideaplugin)/3625063056952761380">
-    <file name="CoderulesOptions.java">
-      <node id="1830252428089511482" at="9,0,10,0" concept="13" trace="PREFIX" />
-      <node id="2372597338789995598" at="11,0,12,0" concept="13" trace="OPTION_PROFILING_ENABLED" />
-      <node id="2372597338790002527" at="15,39,16,66" concept="10" />
-      <node id="2372597338790027573" at="21,72,22,0" concept="12" />
-      <node id="2372597338790027576" at="23,49,24,86" concept="10" />
-      <node id="2372597338790088396" at="24,86,25,0" concept="12" />
-      <node id="2372597338790105492" at="26,7,27,0" concept="12" />
-      <node id="2372597338790027618" at="27,0,28,18" concept="10" />
-      <node id="2372597338790002521" at="14,0,18,0" concept="8" trace="get#(Ljetbrains/mps/coderules/ideaplugin/Config;)Ljava/lang/Boolean;" />
-      <node id="2372597338790027574" at="22,0,26,7" concept="7" />
-      <node id="2372597338790002513" at="13,0,19,0" concept="13" trace="PROFILING_ENABLED" />
-      <node id="1830252428089445304" at="20,62,29,7" concept="3" />
-      <node id="1830252428089478230" at="20,0,31,0" concept="14" trace="registerDefaultProviders#(Ljetbrains/mps/coderules/ideaplugin/Config;)V" />
-      <scope id="2372597338790002526" at="15,39,16,66" />
-      <scope id="2372597338790027575" at="23,49,25,0" />
-      <scope id="2372597338790002521" at="14,0,18,0">
-        <var name="config" id="2372597338790002522" />
-      </scope>
-      <scope id="1830252428089486565" at="21,72,28,18" />
-      <scope id="1830252428089478233" at="20,62,29,7" />
-      <scope id="1830252428089478230" at="20,0,31,0">
-        <var name="config" id="1830252428089483865" />
-      </scope>
-      <unit id="2372597338790002519" at="13,69,18,3" name="jetbrains.mps.coderules.ideaplugin.CoderulesOptions$1" />
-      <unit id="3625063056952761380" at="7,0,33,0" name="jetbrains.mps.coderules.ideaplugin.CoderulesOptions" />
-    </file>
-  </root>
-  <root nodeRef="r:835f8ea3-a800-4588-a80b-1de6d47c2098(jetbrains.mps.coderules.ideaplugin)/551453226825312425">
-    <file name="TypecheckingSettingsPage.java">
-      <node id="5788453937374087895" at="29,37,30,70" concept="9" />
-      <node id="1232231925396085749" at="30,70,31,11" concept="3" />
-      <node id="3041510341144573678" at="37,25,38,46" concept="10" />
-      <node id="3041510341144573698" at="43,34,44,26" concept="10" />
-      <node id="3041510341144573720" at="48,39,49,16" concept="10" />
-      <node id="184006973684561508" at="52,31,53,70" concept="9" />
-      <node id="184006973684623989" at="53,70,54,29" concept="9" />
-      <node id="184006973684710761" at="54,29,55,81" concept="3" />
-      <node id="184006973684939935" at="55,81,56,73" concept="3" />
-      <node id="184006973684998969" at="56,73,57,75" concept="3" />
-      <node id="184006973685061678" at="57,75,58,71" concept="3" />
-      <node id="2372597338790913345" at="58,71,59,75" concept="3" />
-      <node id="3041510341144573741" at="59,75,60,20" concept="10" />
-      <node id="184006973685175822" at="63,53,64,70" concept="9" />
-      <node id="184006973685228258" at="64,70,65,66" concept="3" />
-      <node id="184006973685891748" at="65,66,66,58" concept="3" />
-      <node id="184006973685953962" at="66,58,67,60" concept="3" />
-      <node id="184006973686015567" at="67,60,68,56" concept="3" />
-      <node id="2372597338790660249" at="68,56,69,60" concept="3" />
-      <node id="184006973686162687" at="72,23,73,70" concept="9" />
-      <node id="184006973686162691" at="73,70,74,66" concept="3" />
-      <node id="184006973686162720" at="74,66,75,58" concept="3" />
-      <node id="184006973686162749" at="75,58,76,60" concept="3" />
-      <node id="184006973686162778" at="76,60,77,56" concept="3" />
-      <node id="2372597338790807757" at="77,56,78,60" concept="3" />
-      <node id="1232231925396100777" at="80,23,81,53" concept="3" />
-      <node id="1232231925396065691" at="81,53,82,0" concept="12" />
-      <node id="1232231925396155952" at="82,0,83,104" concept="3" />
-      <node id="6746702654209086267" at="83,104,84,92" concept="3" />
-      <node id="1784710035577702173" at="84,92,85,79" concept="3" />
-      <node id="8406119028230943980" at="85,79,86,70" concept="3" />
-      <node id="2372597338790493424" at="86,70,87,76" concept="3" />
-      <node id="8406119028230372776" at="87,76,88,0" concept="12" />
-      <node id="1784710035577742793" at="91,49,92,29" concept="3" />
-      <node id="8406119028230696242" at="94,6,95,56" concept="3" />
-      <node id="6746702654209454016" at="95,56,96,52" concept="3" />
-      <node id="1784710035578097756" at="96,52,97,53" concept="3" />
-      <node id="1784710035577763608" at="97,53,98,0" concept="12" />
-      <node id="8406119028230026734" at="99,5,100,38" concept="9" />
-      <node id="8406119028230016037" at="100,38,101,70" concept="3" />
-      <node id="8406119028230070981" at="101,70,102,48" concept="3" />
-      <node id="8406119028230092533" at="102,48,103,86" concept="3" />
-      <node id="8406119028230067322" at="103,86,104,0" concept="12" />
-      <node id="8406119028230279735" at="105,7,106,39" concept="9" />
-      <node id="8406119028230279740" at="106,39,107,70" concept="3" />
-      <node id="8406119028230403239" at="107,70,108,49" concept="3" />
-      <node id="8406119028230283279" at="108,49,109,55" concept="3" />
-      <node id="8406119028230275897" at="109,55,110,0" concept="12" />
-      <node id="1238016554238052603" at="110,0,111,54" concept="3" />
-      <node id="8406119028230449604" at="111,54,112,0" concept="12" />
-      <node id="8406119028230298887" at="112,0,113,32" concept="3" />
-      <node id="8406119028230329693" at="114,7,115,0" concept="12" />
-      <node id="8406119028230248198" at="115,0,116,21" concept="3" />
-      <node id="1784710035576921969" at="116,21,117,0" concept="12" />
-      <node id="1784710035576954309" at="117,0,118,19" concept="11" />
-      <node id="1784710035576964854" at="118,19,119,0" concept="12" />
-      <node id="1784710035576932866" at="119,0,120,40" concept="9" />
-      <node id="1784710035576932871" at="120,40,121,74" concept="3" />
-      <node id="1784710035576932880" at="121,74,122,50" concept="3" />
-      <node id="1784710035576976108" at="122,50,123,94" concept="3" />
-      <node id="1784710035576922150" at="123,94,124,0" concept="12" />
-      <node id="1784710035579013946" at="125,7,126,39" concept="9" />
-      <node id="1784710035579013951" at="126,39,127,70" concept="3" />
-      <node id="1784710035579013959" at="127,70,128,49" concept="3" />
-      <node id="1784710035579013965" at="128,49,129,55" concept="3" />
-      <node id="1784710035579013971" at="129,55,130,0" concept="12" />
-      <node id="1784710035577169823" at="130,0,131,50" concept="3" />
-      <node id="1784710035579013979" at="131,50,132,0" concept="12" />
-      <node id="1784710035579013980" at="132,0,133,34" concept="3" />
-      <node id="1784710035577389087" at="134,7,135,0" concept="12" />
-      <node id="1784710035577001644" at="135,0,136,23" concept="3" />
-      <node id="1784710035577001430" at="136,23,137,0" concept="12" />
-      <node id="1784710035577032244" at="137,0,138,18" concept="11" />
-      <node id="1784710035577051377" at="138,18,139,0" concept="12" />
-      <node id="1784710035577051378" at="139,0,140,42" concept="9" />
-      <node id="1784710035577051383" at="140,42,141,78" concept="3" />
-      <node id="1784710035577051392" at="141,78,142,52" concept="3" />
-      <node id="1784710035577051397" at="142,52,143,86" concept="3" />
-      <node id="1784710035578021156" at="143,86,144,0" concept="12" />
-      <node id="1784710035577483043" at="145,7,146,39" concept="9" />
-      <node id="1784710035577483048" at="146,39,147,70" concept="3" />
-      <node id="1784710035577483056" at="147,70,148,49" concept="3" />
-      <node id="1784710035577483062" at="148,49,149,55" concept="3" />
-      <node id="1784710035578483823" at="149,55,150,0" concept="12" />
-      <node id="1784710035578304236" at="150,0,151,71" concept="3" />
-      <node id="1784710035578498791" at="151,71,152,0" concept="12" />
-      <node id="1784710035578526643" at="153,9,154,44" concept="9" />
-      <node id="1784710035578526648" at="154,44,155,78" concept="3" />
-      <node id="1784710035578526656" at="155,78,156,54" concept="3" />
-      <node id="1784710035578526662" at="156,54,157,60" concept="3" />
-      <node id="1784710035578526668" at="157,60,158,0" concept="12" />
-      <node id="1784710035577556474" at="158,0,159,56" concept="3" />
-      <node id="1784710035579172257" at="159,56,160,0" concept="12" />
-      <node id="1784710035577978892" at="160,0,161,52" concept="3" />
-      <node id="7477773085134558103" at="161,52,162,0" concept="12" />
-      <node id="7477773085135854741" at="162,0,163,42" concept="9" />
-      <node id="7477773085135905084" at="163,42,164,74" concept="3" />
-      <node id="7477773085135905093" at="164,74,165,52" concept="3" />
-      <node id="7477773085135905099" at="165,52,166,58" concept="3" />
-      <node id="7477773085135802242" at="166,58,167,0" concept="12" />
-      <node id="7477773085134606553" at="168,11,169,106" concept="9" />
-      <node id="7477773085135300952" at="169,106,170,44" concept="9" />
-      <node id="7477773085134900675" at="170,44,171,72" concept="3" />
-      <node id="7477773085134990998" at="171,72,172,40" concept="3" />
-      <node id="7477773085134957769" at="172,40,173,0" concept="12" />
-      <node id="7477773085135645869" at="173,0,174,37" concept="3" />
-      <node id="7477773085136304148" at="175,11,176,0" concept="12" />
-      <node id="7477773085136053727" at="176,0,177,37" concept="3" />
-      <node id="2372597338790592071" at="177,37,178,0" concept="12" />
-      <node id="2372597338790568264" at="178,0,179,56" concept="3" />
-      <node id="7477773085135596777" at="179,56,180,0" concept="12" />
-      <node id="1784710035578526677" at="180,0,181,36" concept="3" />
-      <node id="1784710035579339284" at="182,9,183,0" concept="12" />
-      <node id="1784710035577483174" at="183,0,184,36" concept="3" />
-      <node id="1784710035578289438" at="185,7,186,0" concept="12" />
-      <node id="1784710035577051406" at="186,0,187,25" concept="3" />
-      <node id="1232231925396194720" at="191,42,192,51" concept="10" />
-      <node id="6746702654208969362" at="195,38,196,47" concept="10" />
-      <node id="8406119028230993057" at="199,37,200,44" concept="10" />
-      <node id="2372597338790402986" at="203,39,204,48" concept="10" />
-      <node id="1784710035577889081" at="207,39,208,48" concept="10" />
-      <node id="1232231925396160461" at="211,51,212,53" concept="3" />
-      <node id="8406119028230830962" at="212,53,213,25" concept="3" />
-      <node id="6746702654209013775" at="216,47,217,49" concept="3" />
-      <node id="6746702654209125340" at="217,49,218,25" concept="3" />
-      <node id="1784710035577794295" at="221,48,222,50" concept="3" />
-      <node id="8406119028231007960" at="225,46,226,46" concept="3" />
-      <node id="2372597338790308140" at="229,48,230,50" concept="3" />
-      <node id="6746702654209051034" at="233,37,234,89" concept="3" />
-      <node id="1784710035577775299" at="234,89,235,90" concept="3" />
-      <node id="8406119028230951541" at="235,90,236,131" concept="3" />
-      <node id="2372597338790273371" at="236,131,237,135" concept="3" />
-      <node id="1232231925396155943" at="240,0,241,0" concept="4" trace="enableTypecheckingCheckbox" />
-      <node id="6746702654208944976" at="241,0,242,0" concept="4" trace="enableWatchingCheckbox" />
-      <node id="1784710035577672038" at="242,0,243,0" concept="4" trace="enableReportingCheckbox" />
-      <node id="8406119028230936302" at="243,0,244,0" concept="4" trace="enableTraceCheckbox" />
-      <node id="2372597338790219705" at="244,0,245,0" concept="4" trace="enableProfilingCheckbox" />
-      <node id="1232231925396184473" at="191,0,194,0" concept="8" trace="isTypecheckingEnabled#()Z" />
-      <node id="6746702654208969358" at="195,0,198,0" concept="8" trace="isWatchingEnabled#()Z" />
-      <node id="8406119028230993053" at="199,0,202,0" concept="8" trace="isTracingEnabled#()Z" />
-      <node id="2372597338790402982" at="203,0,206,0" concept="8" trace="isProfilingEnabled#()Z" />
-      <node id="1784710035577889077" at="207,0,210,0" concept="8" trace="isReportingEnabled#()Z" />
-      <node id="1784710035577794289" at="221,0,224,0" concept="8" trace="setReportingEnabled#(Z)V" />
-      <node id="8406119028231007954" at="225,0,228,0" concept="8" trace="setTracingEnabled#(Z)V" />
-      <node id="2372597338790308134" at="229,0,232,0" concept="8" trace="setProfilingEnabled#(Z)V" />
-      <node id="551453226825313621" at="29,0,33,0" concept="2" trace="TypecheckingSettingsPage#()V" />
-      <node id="1784710035577742787" at="90,0,94,0" concept="8" trace="itemStateChanged#(Ljava/awt/event/ItemEvent;)V" />
-      <node id="1232231925396149144" at="211,0,215,0" concept="8" trace="setTypecheckingEnabled#(Z)V" />
-      <node id="6746702654209013769" at="216,0,220,0" concept="8" trace="setWatchingEnabled#(Z)V" />
-      <node id="3041510341144573699" at="46,0,51,0" concept="8" trace="createComponent#()Ljavax/swing/JComponent;" />
-      <node id="3041510341144573663" at="34,0,40,0" concept="8" trace="getId#()Ljava/lang/String;" />
-      <node id="3041510341144573679" at="40,0,46,0" concept="8" trace="getDisplayName#()Ljava/lang/String;" />
-      <node id="1784710035577742781" at="88,0,94,6" concept="9" />
-      <node id="8406119028230830957" at="233,0,239,0" concept="8" trace="updateEnabledState#()V" />
-      <node id="7477773085135996434" at="167,0,175,11" concept="0" />
-      <node id="3041510341144573742" at="62,0,71,0" concept="8" trace="apply#()V" />
-      <node id="184006973686114684" at="71,0,80,0" concept="8" trace="reset#()V" />
-      <node id="8406119028230342977" at="104,0,114,7" concept="0" />
-      <node id="1784710035579013944" at="124,0,134,7" concept="0" />
-      <node id="3041510341144573721" at="51,0,62,0" concept="8" trace="isModified#()Z" />
-      <node id="1784710035578526641" at="152,0,182,9" concept="0" />
-      <node id="1784710035577483041" at="144,0,185,7" concept="0" />
-      <node id="8406119028230359825" at="98,0,188,5" concept="0" />
-      <node id="1232231925396065551" at="80,0,190,0" concept="8" trace="init#()V" />
-      <scope id="3041510341144573675" at="37,25,38,46" />
-      <scope id="3041510341144573695" at="43,34,44,26" />
-      <scope id="3041510341144573717" at="48,39,49,16" />
-      <scope id="1784710035577742792" at="91,49,92,29" />
-      <scope id="1232231925396184477" at="191,42,192,51" />
-      <scope id="6746702654208969361" at="195,38,196,47" />
-      <scope id="8406119028230993056" at="199,37,200,44" />
-      <scope id="2372597338790402985" at="203,39,204,48" />
-      <scope id="1784710035577889080" at="207,39,208,48" />
-      <scope id="1784710035577794294" at="221,48,222,50" />
-      <scope id="8406119028231007959" at="225,46,226,46" />
-      <scope id="2372597338790308139" at="229,48,230,50" />
-      <scope id="551453226825313625" at="29,37,31,11">
-        <var name="settings" id="5788453937374087896" />
-      </scope>
-      <scope id="1232231925396149148" at="211,51,213,25" />
-      <scope id="6746702654209013774" at="216,47,218,25" />
-      <scope id="1232231925396184473" at="191,0,194,0" />
-      <scope id="6746702654208969358" at="195,0,198,0" />
-      <scope id="8406119028230993053" at="199,0,202,0" />
-      <scope id="2372597338790402982" at="203,0,206,0" />
-      <scope id="1784710035577889077" at="207,0,210,0" />
-      <scope id="1784710035577794289" at="221,0,224,0">
-        <var name="yes" id="1784710035577794290" />
-      </scope>
-      <scope id="8406119028231007954" at="225,0,228,0">
-        <var name="yes" id="8406119028231007955" />
-      </scope>
-      <scope id="2372597338790308134" at="229,0,232,0">
-        <var name="yes" id="2372597338790308135" />
-      </scope>
-      <scope id="551453226825313621" at="29,0,33,0" />
-      <scope id="1784710035577742787" at="90,0,94,0">
-        <var name="e" id="1784710035577742790" />
-      </scope>
-      <scope id="1232231925396149144" at="211,0,215,0">
-        <var name="yes" id="1232231925396149718" />
-      </scope>
-      <scope id="6746702654209013769" at="216,0,220,0">
-        <var name="yes" id="6746702654209013770" />
-      </scope>
-      <scope id="8406119028230830944" at="233,37,237,135" />
-      <scope id="3041510341144573699" at="46,0,51,0" />
-      <scope id="3041510341144573663" at="34,0,40,0" />
-      <scope id="3041510341144573679" at="40,0,46,0" />
-      <scope id="3041510341144573760" at="63,53,69,60">
-        <var name="settings" id="184006973685175823" />
-      </scope>
-      <scope id="184006973686114702" at="72,23,78,60">
-        <var name="settings" id="184006973686162688" />
-      </scope>
-      <scope id="7477773085135996436" at="168,11,174,37">
-        <var name="font" id="7477773085135300953" />
-        <var name="warnLabel" id="7477773085134606554" />
-      </scope>
-      <scope id="8406119028230830957" at="233,0,239,0" />
-      <scope id="3041510341144573738" at="52,31,60,20">
-        <var name="modified" id="184006973684623992" />
-        <var name="settings" id="184006973684561509" />
-      </scope>
-      <scope id="8406119028230342979" at="105,7,113,32">
-        <var name="subpanel" id="8406119028230279736" />
-      </scope>
-      <scope id="1784710035579013945" at="125,7,133,34">
-        <var name="subpanel" id="1784710035579013947" />
-      </scope>
-      <scope id="3041510341144573742" at="62,0,71,0" />
-      <scope id="184006973686114684" at="71,0,80,0" />
-      <scope id="3041510341144573721" at="51,0,62,0" />
-      <scope id="1784710035578526642" at="153,9,181,36">
-        <var name="subsubpanel" id="1784710035578526644" />
-        <var name="warnPanel" id="7477773085135854742" />
-      </scope>
-      <scope id="1784710035577483042" at="145,7,184,36">
-        <var name="subpanel" id="1784710035577483044" />
-      </scope>
-      <scope id="8406119028230359827" at="99,5,187,25">
-        <var name="advancedPanel" id="1784710035577051379" />
-        <var name="editorPanel" id="1784710035576932867" />
-        <var name="mainPanel" id="8406119028230026735" />
-      </scope>
-      <scope id="1232231925396065555" at="80,23,188,5">
-        <var name="updater" id="1784710035577742782" />
-      </scope>
-      <scope id="1232231925396065551" at="80,0,190,0" />
-      <unit id="1784710035577742785" at="89,31,94,5" name="jetbrains.mps.coderules.ideaplugin.TypecheckingSettingsPage$1" />
-      <unit id="551453226825312425" at="26,0,247,0" name="jetbrains.mps.coderules.ideaplugin.TypecheckingSettingsPage" />
-    </file>
-  </root>
-  <root nodeRef="r:835f8ea3-a800-4588-a80b-1de6d47c2098(jetbrains.mps.coderules.ideaplugin)/8406119028231319109">
-    <file name="Config.java">
-      <node id="8406119028231458112" at="36,0,37,0" concept="8" trace="getOption#(Ljava/lang/String;)Ljava/lang/Object;" />
-      <node id="8406119028234546394" at="42,0,43,0" concept="8" trace="get#(Ljetbrains/mps/coderules/ideaplugin/Config;)null" />
-      <node id="8406119028232333626" at="46,0,47,0" concept="13" trace="INSTANCE" />
-      <node id="6069570438590706746" at="49,27,50,52" concept="3" />
-      <node id="2840545816390800363" at="54,32,55,24" concept="3" />
-      <node id="2840545816390806877" at="55,24,56,20" concept="3" />
-      <node id="8406119028232564729" at="65,38,66,20" concept="10" />
-      <node id="8332795209402023975" at="73,24,74,40" concept="10" />
-      <node id="7230953716624954438" at="81,33,82,46" concept="10" />
-      <node id="2870491890557776697" at="88,32,89,56" concept="3" />
-      <node id="8406119028233127370" at="95,86,96,87" concept="3" />
-      <node id="8528504758535072150" at="99,55,100,72" concept="3" />
-      <node id="6003204171433107333" at="103,45,104,43" concept="10" />
-      <node id="2840545816390921595" at="108,35,109,34" concept="3" />
-      <node id="8406119028232536055" at="113,44,114,36" concept="3" />
-      <node id="5052211242505497546" at="119,25,120,45" concept="3" />
-      <node id="5052211242505169762" at="123,39,124,92" concept="3" />
-      <node id="8406119028231966176" at="127,80,128,67" concept="9" />
-      <node id="8406119028231966183" at="129,35,130,54" concept="9" />
-      <node id="8406119028231966192" at="131,29,132,24" concept="10" />
-      <node id="5052211242503455735" at="134,7,135,18" concept="10" />
-      <node id="5052211242505568738" at="138,76,139,45" concept="9" />
-      <node id="5052211242505544536" at="139,45,140,55" concept="3" />
-      <node id="5052211242505636454" at="140,55,141,24" concept="10" />
-      <node id="5052211242505644059" at="144,52,145,45" concept="9" />
-      <node id="8528504758535159513" at="145,45,146,48" concept="3" />
-      <node id="5052211242505725194" at="146,48,147,24" concept="10" />
-      <node id="8406119028231642602" at="152,45,153,40" concept="10" />
-      <node id="8406119028231670512" at="155,7,156,18" concept="10" />
-      <node id="8406119028231477060" at="159,0,160,0" concept="4" trace="prefix2provider" />
-      <node id="5052211242506159539" at="165,34,166,82" concept="3" />
-      <node id="8332795209401645740" at="167,54,168,64" concept="3" />
-      <node id="5052211242506122936" at="172,57,173,80" concept="3" />
-      <node id="5052211242504581948" at="176,44,177,50" concept="9" />
-      <node id="5052211242504485877" at="178,67,179,54" concept="9" />
-      <node id="5052211242504599267" at="179,54,180,109" concept="9" />
-      <node id="5052211242504626106" at="181,29,182,24" concept="10" />
-      <node id="5052211242504648033" at="184,7,185,18" concept="10" />
-      <node id="5052211242506210033" at="188,68,189,66" concept="9" />
-      <node id="2870491890557634749" at="191,51,192,80" concept="3" />
-      <node id="5052211242506186517" at="194,7,195,27" concept="10" />
-      <node id="5052211242506293984" at="198,110,199,66" concept="9" />
-      <node id="8406119028232727229" at="199,66,200,161" concept="3" />
-      <node id="5052211242506272427" at="200,161,201,27" concept="10" />
-      <node id="5052211242506380665" at="204,81,205,66" concept="9" />
-      <node id="8528504758535128436" at="205,66,206,151" concept="3" />
-      <node id="5052211242506357133" at="206,151,207,27" concept="10" />
-      <node id="2840545816390840787" at="210,31,211,46" concept="3" />
-      <node id="8406119028231556933" at="214,50,215,75" concept="9" />
-      <node id="8406119028231608644" at="216,32,217,43" concept="9" />
-      <node id="8406119028231614580" at="218,26,219,16" concept="1" />
-      <node id="8406119028231614698" at="220,9,221,80" concept="3" />
-      <node id="8406119028231614709" at="221,80,222,40" concept="3" />
-      <node id="8406119028231625449" at="223,7,224,20" concept="10" />
-      <node id="8406119028232345512" at="227,0,228,0" concept="4" trace="allOptions" />
-      <node id="5052211242506835140" at="229,38,230,65" concept="10" />
-      <node id="5052211242506835140" at="231,7,232,18" concept="10" />
-      <node id="5052211242505742368" at="235,38,236,63" concept="10" />
-      <node id="5052211242505742368" at="237,7,238,18" concept="10" />
-      <node id="8916583785532062584" at="241,38,242,55" concept="10" />
-      <node id="8916583785532062584" at="243,7,244,18" concept="10" />
-      <node id="8406119028232536051" at="248,0,249,0" concept="4" trace="effectiveOptions" />
-      <node id="4412010763629446951" at="48,29,51,5" concept="7" />
-      <node id="8332795209401954499" at="73,0,76,0" concept="8" trace="copy#()Ljetbrains/mps/coderules/ideaplugin/Config;" />
-      <node id="7230953716624910018" at="81,0,84,0" concept="14" trace="create#()Ljetbrains/mps/coderules/ideaplugin/Config;" />
-      <node id="601842918140012768" at="88,0,91,0" concept="8" trace="reset#(Ljetbrains/mps/coderules/ideaplugin/Config/Level;)V" />
-      <node id="8406119028232434953" at="95,0,98,0" concept="8" trace="registerProvider#(Ljetbrains/mps/coderules/ideaplugin/Config/Level;Ljava/lang/String;Ljetbrains/mps/coderules/ideaplugin/Config/OptionsProvider;)V" />
-      <node id="8528504758535040537" at="99,0,102,0" concept="8" trace="clearProvider#(Ljetbrains/mps/coderules/ideaplugin/Config/Level;Ljava/lang/String;)V" />
-      <node id="8406119028231319355" at="103,0,106,0" concept="8" trace="getOption#(Ljava/lang/String;)Ljava/lang/Object;" />
-      <node id="7230953716625154489" at="107,29,110,5" concept="7" />
-      <node id="8406119028232314053" at="113,0,116,0" concept="2" trace="Config#(Ljetbrains/mps/coderules/ideaplugin/Config/EffectiveOptions;)V" />
-      <node id="5052211242505481851" at="119,0,122,0" concept="2" trace="Options#()V" />
-      <node id="5052211242505117583" at="123,0,126,0" concept="2" trace="Options#(Ljetbrains/mps/coderules/ideaplugin/Config/Options;)V" />
-      <node id="8406119028231966190" at="130,54,133,9" concept="7" />
-      <node id="8406119028231634354" at="151,33,154,9" concept="7" />
-      <node id="8332795209401645736" at="166,82,169,7" concept="6" />
-      <node id="5052211242506114025" at="172,0,175,0" concept="2" trace="EffectiveOptions#(Ljetbrains/mps/coderules/ideaplugin/Config/EffectiveOptions;)V" />
-      <node id="5052211242504619027" at="180,109,183,9" concept="7" />
-      <node id="2870491890557551742" at="190,54,193,9" concept="7" />
-      <node id="2840545816390818504" at="210,0,213,0" concept="8" trace="clearAll#()V" />
-      <node id="8406119028231609306" at="217,43,220,9" concept="7" />
-      <node id="5052211242506835140" at="228,115,231,7" concept="7" />
-      <node id="5052211242505742368" at="234,117,237,7" concept="7" />
-      <node id="8916583785532062584" at="240,91,243,7" concept="7" />
-      <node id="2840545816390783020" at="54,0,58,0" concept="14" trace="dispose#()V" />
-      <node id="8406119028232303982" at="64,0,68,0" concept="14" trace="getInstance#()Ljetbrains/mps/coderules/ideaplugin/Config;" />
-      <node id="2840545816390762787" at="48,0,53,0" concept="14" trace="init#()V" />
-      <node id="2840545816390912106" at="107,0,112,0" concept="8" trace="clearAll#()V" />
-      <node id="8406119028231504445" at="138,0,143,0" concept="8" trace="putProvider#(Ljava/lang/String;Ljetbrains/mps/coderules/ideaplugin/Config/OptionsProvider;)Ljetbrains/mps/coderules/ideaplugin/Config/Options;" />
-      <node id="8528504758535159505" at="144,0,149,0" concept="8" trace="clearProvider#(Ljava/lang/String;)Ljetbrains/mps/coderules/ideaplugin/Config/Options;" />
-      <node id="8406119028231629147" at="150,69,155,7" concept="6" />
-      <node id="2870491890557542489" at="189,66,194,7" concept="6" />
-      <node id="8406119028232714442" at="198,0,203,0" concept="8" trace="registerProvider#(Ljetbrains/mps/coderules/ideaplugin/Config/Level;Ljava/lang/String;Ljetbrains/mps/coderules/ideaplugin/Config/OptionsProvider;)Ljetbrains/mps/coderules/ideaplugin/Config/EffectiveOptions;" />
-      <node id="8528504758535128426" at="204,0,209,0" concept="8" trace="clearProvider#(Ljetbrains/mps/coderules/ideaplugin/Config/Level;Ljava/lang/String;)Ljetbrains/mps/coderules/ideaplugin/Config/EffectiveOptions;" />
-      <node id="8406119028231966181" at="128,67,134,7" concept="7" />
-      <node id="8406119028232345480" at="165,0,171,0" concept="2" trace="EffectiveOptions#()V" />
-      <node id="5052211242506835140" at="228,0,234,0" concept="14" trace="check_gqj4j5_a0b0b0f33#(Ljetbrains/mps/coderules/ideaplugin/Config/Options;Ljava/lang/String;Ljava/util/List;)Ljava/lang/Object;" />
-      <node id="5052211242505742368" at="234,0,240,0" concept="14" trace="check_gqj4j5_a0b0j33#(Ljetbrains/mps/coderules/ideaplugin/Config/Options;Ljava/lang/String;Ljetbrains/mps/coderules/ideaplugin/Config/OptionsProvider;)Ljetbrains/mps/coderules/ideaplugin/Config/Options;" />
-      <node id="8916583785532062584" at="240,0,246,0" concept="14" trace="check_gqj4j5_a0b0l33#(Ljetbrains/mps/coderules/ideaplugin/Config/Options;Ljava/lang/String;)Ljetbrains/mps/coderules/ideaplugin/Config/Options;" />
-      <node id="5052211242504391365" at="177,50,184,7" concept="5" />
-      <node id="8406119028231493108" at="150,0,158,0" concept="8" trace="lookupProvider#(Ljava/util/List;)Ljetbrains/mps/coderules/ideaplugin/Config/OptionsProvider;" />
-      <node id="8406119028231607273" at="215,75,223,7" concept="15" />
-      <node id="2870491890557513928" at="188,0,197,0" concept="8" trace="reset#(Ljetbrains/mps/coderules/ideaplugin/Config/Level;)Ljetbrains/mps/coderules/ideaplugin/Config/EffectiveOptions;" />
-      <node id="8406119028231934740" at="127,0,137,0" concept="8" trace="primGetOption#(Ljava/lang/String;Ljava/util/List;)Ljava/lang/Object;" />
-      <node id="5052211242503477046" at="176,0,187,0" concept="8" trace="getOption#(Ljava/lang/String;)Ljava/lang/Object;" />
-      <node id="5052211242503727104" at="214,0,226,0" concept="8" trace="allPrefixes#(Ljava/lang/String;)Ljava/util/List;" />
-      <scope id="8406119028231458112" at="36,0,37,0">
-        <var name="key" id="8406119028231465262" />
-      </scope>
-      <scope id="8406119028234546394" at="42,0,43,0">
-        <var name="config" id="8406119028234550313" />
-      </scope>
-      <scope id="4412010763629446953" at="49,27,50,52" />
-      <scope id="8406119028232303986" at="65,38,66,20" />
-      <scope id="8332795209401954503" at="73,24,74,40" />
-      <scope id="7230953716624889690" at="81,33,82,46" />
-      <scope id="8406119028232842307" at="88,32,89,56" />
-      <scope id="8406119028231442736" at="95,86,96,87" />
-      <scope id="8528504758535040541" at="99,55,100,72" />
-      <scope id="8406119028231319359" at="103,45,104,43" />
-      <scope id="7230953716625154491" at="108,35,109,34" />
-      <scope id="8406119028232314057" at="113,44,114,36" />
-      <scope id="5052211242505481855" at="119,25,120,45" />
-      <scope id="5052211242505117588" at="123,39,124,92" />
-      <scope id="8406119028231966191" at="131,29,132,24" />
-      <scope id="8406119028231634356" at="152,45,153,40" />
-      <scope id="8332795209401645737" at="167,54,168,64" />
-      <scope id="5052211242506114029" at="172,57,173,80" />
-      <scope id="5052211242504619045" at="181,29,182,24" />
-      <scope id="2870491890557551744" at="191,51,192,80" />
-      <scope id="2840545816390818508" at="210,31,211,46" />
-      <scope id="8406119028231609308" at="218,26,219,16" />
-      <scope id="5052211242506835140" at="229,38,230,65" />
-      <scope id="5052211242505742368" at="235,38,236,63" />
-      <scope id="8916583785532062584" at="241,38,242,55" />
-      <scope id="2840545816390783021" at="54,32,56,20" />
-      <scope id="2840545816390754249" at="48,29,51,5" />
-      <scope id="8332795209401954499" at="73,0,76,0" />
-      <scope id="7230953716624910018" at="81,0,84,0" />
-      <scope id="601842918140012768" at="88,0,91,0">
-        <var name="lvl" id="2870491890557773564" />
-      </scope>
-      <scope id="8406119028232434953" at="95,0,98,0">
-        <var name="level" id="8406119028231445040" />
-        <var name="prefix" id="8406119028231456307" />
-        <var name="provider" id="8406119028231446250" />
-      </scope>
-      <scope id="8528504758535040537" at="99,0,102,0">
-        <var name="lvl" id="8528504758535057956" />
-        <var name="prefix" id="8528504758535059278" />
-      </scope>
-      <scope id="8406119028231319355" at="103,0,106,0">
-        <var name="key" id="8406119028231325262" />
-      </scope>
-      <scope id="2840545816390900814" at="107,29,110,5" />
-      <scope id="8406119028232314053" at="113,0,116,0">
-        <var name="options" id="8406119028232534361" />
-      </scope>
-      <scope id="5052211242505481851" at="119,0,122,0" />
-      <scope id="5052211242505117583" at="123,0,126,0">
-        <var name="copyFrom" id="5052211242505214255" />
-      </scope>
-      <scope id="8406119028231504449" at="138,76,141,24">
-        <var name="newOptions" id="5052211242505568739" />
-      </scope>
-      <scope id="8528504758535159512" at="144,52,147,24">
-        <var name="newOptions" id="5052211242505644060" />
-      </scope>
-      <scope id="8406119028231629150" at="151,33,154,9" />
-      <scope id="8332795209401645736" at="166,82,169,7">
-        <var name="lvl" id="8332795209401645755" />
-      </scope>
-      <scope id="5052211242506114025" at="172,0,175,0">
-        <var name="copyFrom" id="5052211242506119320" />
-      </scope>
-      <scope id="2870491890557542491" at="190,54,193,9" />
-      <scope id="8406119028232714446" at="198,110,201,27">
-        <var name="newEffOptions" id="5052211242506293985" />
-      </scope>
-      <scope id="8528504758535128435" at="204,81,207,27">
-        <var name="newEffOptions" id="5052211242506380666" />
-      </scope>
-      <scope id="2840545816390818504" at="210,0,213,0" />
-      <scope id="2840545816390783020" at="54,0,58,0" />
-      <scope id="8406119028232303982" at="64,0,68,0" />
-      <scope id="8406119028231966182" at="129,35,133,9">
-        <var name="option" id="8406119028231966184" />
-      </scope>
-      <scope id="8406119028232345485" at="165,34,169,7" />
-      <scope id="5052211242506835140" at="228,115,232,18" />
-      <scope id="5052211242505742368" at="234,117,238,18" />
-      <scope id="8916583785532062584" at="240,91,244,18" />
-      <scope id="2840545816390762787" at="48,0,53,0" />
-      <scope id="2840545816390912106" at="107,0,112,0" />
-      <scope id="8406119028231504445" at="138,0,143,0">
-        <var name="prefix" id="8406119028231508396" />
-        <var name="provider" id="8406119028231509949" />
-      </scope>
-      <scope id="8528504758535159505" at="144,0,149,0">
-        <var name="prefix" id="8528504758535159506" />
-      </scope>
-      <scope id="8406119028231629147" at="150,69,155,7">
-        <var name="p" id="8406119028231629148" />
-      </scope>
-      <scope id="5052211242504391367" at="178,67,183,9">
-        <var name="level" id="5052211242504485878" />
-        <var name="option" id="5052211242504599268" />
-      </scope>
-      <scope id="2870491890557542489" at="189,66,194,7">
-        <var name="lvl" id="2870491890557542492" />
-      </scope>
-      <scope id="8406119028232714442" at="198,0,203,0">
-        <var name="level" id="8406119028232719748" />
-        <var name="prefix" id="8406119028232739721" />
-        <var name="provider" id="8406119028232723718" />
-      </scope>
-      <scope id="8528504758535128426" at="204,0,209,0">
-        <var name="level" id="8528504758535128427" />
-        <var name="prefix" id="8528504758535128429" />
-      </scope>
-      <scope id="8406119028231493112" at="150,69,156,18" />
-      <scope id="8406119028232345480" at="165,0,171,0" />
-      <scope id="8406119028231607275" at="216,32,222,40">
-        <var name="lastDot" id="8406119028231608647" />
-      </scope>
-      <scope id="5052211242506835140" at="228,0,234,0">
-        <var name="allPrefixes" id="5052211242504599275" />
-        <var name="checkedDotOperand" id="5052211242506835140" />
-        <var name="key" id="5052211242504599274" />
-      </scope>
-      <scope id="5052211242505742368" at="234,0,240,0">
-        <var name="checkedDotOperand" id="5052211242505742368" />
-        <var name="prefix" id="8406119028232745561" />
-        <var name="provider" id="8406119028232738876" />
-      </scope>
-      <scope id="8916583785532062584" at="240,0,246,0">
-        <var name="checkedDotOperand" id="8916583785532062584" />
-        <var name="prefix" id="8528504758535128442" />
-      </scope>
-      <scope id="5052211242504391365" at="177,50,184,7">
-        <var name="i" id="5052211242504391368" />
-      </scope>
-      <scope id="2870491890557513932" at="188,68,195,27">
-        <var name="newEffOptions" id="5052211242506210034" />
-      </scope>
-      <scope id="8406119028231934744" at="127,80,135,18">
-        <var name="lookupProvider" id="8406119028231966177" />
-      </scope>
-      <scope id="8406119028231493108" at="150,0,158,0">
-        <var name="prefixes" id="8406119028231497187" />
-      </scope>
-      <scope id="5052211242503477050" at="176,44,185,18">
-        <var name="allPrefixes" id="5052211242504581949" />
-      </scope>
-      <scope id="2870491890557513928" at="188,0,197,0">
-        <var name="startFrom" id="2870491890557531634" />
-      </scope>
-      <scope id="8406119028231934740" at="127,0,137,0">
-        <var name="allPrefixes" id="8406119028231958003" />
-        <var name="key" id="8406119028231958001" />
-      </scope>
-      <scope id="8406119028231524609" at="214,50,224,20">
-        <var name="result" id="8406119028231556934" />
-      </scope>
-      <scope id="5052211242503477046" at="176,0,187,0">
-        <var name="key" id="5052211242503514561" />
-      </scope>
-      <scope id="5052211242503727104" at="214,0,226,0">
-        <var name="key" id="8406119028231531161" />
-      </scope>
-      <unit id="8406119028231448204" at="34,0,39,0" name="jetbrains.mps.coderules.ideaplugin.Config$OptionsProvider" />
-      <unit id="8406119028234538499" at="40,0,45,0" name="jetbrains.mps.coderules.ideaplugin.Config$Option" />
-      <unit id="8406119028231409919" at="26,0,33,0" name="jetbrains.mps.coderules.ideaplugin.Config$Level" />
-      <unit id="8406119028232446665" at="117,0,162,0" name="jetbrains.mps.coderules.ideaplugin.Config$Options" />
-      <unit id="8406119028232345478" at="163,0,247,0" name="jetbrains.mps.coderules.ideaplugin.Config$EffectiveOptions" />
-      <unit id="8406119028231319109" at="17,0,250,0" name="jetbrains.mps.coderules.ideaplugin.Config" />
-    </file>
-  </root>
-  <root nodeRef="r:835f8ea3-a800-4588-a80b-1de6d47c2098(jetbrains.mps.coderules.ideaplugin)/8406119028234017931">
-    <file name="TypecheckingOptions.java">
-      <node id="8406119028234320671" at="9,0,10,0" concept="13" trace="PREFIX" />
-      <node id="8406119028234104476" at="11,0,12,0" concept="13" trace="OPTION_TYPECHECKING_ENABLED" />
-      <node id="6746702654208878442" at="12,0,13,0" concept="13" trace="OPTION_TYPECHECKING_WATCHING" />
-      <node id="1784710035579896189" at="13,0,14,0" concept="13" trace="OPTION_TYPECHECKING_REPORTING" />
-      <node id="8406119028234110493" at="14,0,15,0" concept="13" trace="OPTION_TYPECHECKING_TRACE" />
-      <node id="6003204171433302878" at="18,39,19,69" concept="10" />
-      <node id="6746702654208893308" at="24,39,25,70" concept="10" />
-      <node id="1784710035579971678" at="30,39,31,71" concept="10" />
-      <node id="6003204171433314039" at="36,39,37,67" concept="10" />
-      <node id="2181372126273438040" at="43,76,44,29" concept="10" />
-      <node id="2181372126273401909" at="45,7,46,67" concept="10" />
-      <node id="8332795209404278475" at="50,0,51,0" concept="13" trace="USER_CONFIG" />
-      <node id="8332795209404307471" at="56,30,57,36" concept="3" />
-      <node id="8332795209404322620" at="57,36,58,44" concept="3" />
-      <node id="8332795209404328774" at="59,5,60,23" concept="10" />
-      <node id="8332795209404560504" at="63,38,64,63" concept="9" />
-      <node id="3221112544308912047" at="64,63,65,31" concept="3" />
-      <node id="8332795209404558107" at="65,31,66,18" concept="10" />
-      <node id="8332795209405894821" at="69,57,70,0" concept="12" />
-      <node id="8406119028234025888" at="71,70,72,0" concept="12" />
-      <node id="3041510341144265954" at="72,0,73,72" concept="9" />
-      <node id="3041510341144282454" at="74,52,75,48" concept="10" />
-      <node id="8406119028234043530" at="76,7,77,0" concept="12" />
-      <node id="3041510341144294753" at="78,53,79,44" concept="10" />
-      <node id="2005451104887652999" at="80,7,81,0" concept="12" />
-      <node id="3041510341144311803" at="82,54,83,45" concept="10" />
-      <node id="1784710035580030736" at="84,7,85,0" concept="12" />
-      <node id="3041510341144327963" at="86,50,87,43" concept="10" />
-      <node id="8406119028234026095" at="88,7,89,0" concept="12" />
-      <node id="8406119028234219139" at="89,0,90,18" concept="10" />
-      <node id="2372597338790114336" at="91,7,92,0" concept="12" />
-      <node id="2372597338790125012" at="93,89,94,72" concept="9" />
-      <node id="2372597338790157865" at="95,66,96,45" concept="10" />
-      <node id="2372597338790109054" at="97,7,98,0" concept="12" />
-      <node id="2372597338790109055" at="98,0,99,18" concept="10" />
-      <node id="2372597338790107724" at="100,7,101,0" concept="12" />
-      <node id="1830252428089553468" at="104,63,105,54" concept="3" />
-      <node id="1830252428089557385" at="105,54,106,0" concept="12" />
-      <node id="8815279552157196282" at="107,72,108,0" concept="12" />
-      <node id="8815279552157196285" at="109,52,110,89" concept="10" />
-      <node id="6746702654209256862" at="110,89,111,0" concept="12" />
-      <node id="6746702654208928431" at="112,7,113,0" concept="12" />
-      <node id="6746702654208928421" at="114,53,115,90" concept="10" />
-      <node id="6746702654208928426" at="115,90,116,0" concept="12" />
-      <node id="8815279552157196304" at="117,7,118,0" concept="12" />
-      <node id="1784710035580018973" at="119,54,120,91" concept="10" />
-      <node id="1784710035580018978" at="120,91,121,0" concept="12" />
-      <node id="1784710035580018970" at="122,7,123,0" concept="12" />
-      <node id="8815279552157196307" at="124,50,125,87" concept="10" />
-      <node id="8815279552157196311" at="125,87,126,0" concept="12" />
-      <node id="8815279552157196315" at="127,7,128,0" concept="12" />
-      <node id="8815279552157196316" at="128,0,129,18" concept="10" />
-      <node id="8332795209404643304" at="52,0,54,0" concept="2" trace="TypecheckingOptions#()V" />
-      <node id="2181372126273426449" at="42,39,45,7" concept="7" />
-      <node id="8406119028234026680" at="73,72,76,7" concept="7" />
-      <node id="6746702654208934031" at="77,0,80,7" concept="7" />
-      <node id="1784710035580025335" at="81,0,84,7" concept="7" />
-      <node id="8406119028234045832" at="85,0,88,7" concept="7" />
-      <node id="2372597338790109044" at="94,72,97,7" concept="7" />
-      <node id="8406119028234584334" at="17,0,21,0" concept="8" trace="get#(Ljetbrains/mps/coderules/ideaplugin/Config;)Ljava/lang/Boolean;" />
-      <node id="6746702654208893302" at="23,0,27,0" concept="8" trace="get#(Ljetbrains/mps/coderules/ideaplugin/Config;)Ljava/lang/Boolean;" />
-      <node id="1784710035579971672" at="29,0,33,0" concept="8" trace="get#(Ljetbrains/mps/coderules/ideaplugin/Config;)Ljava/lang/Boolean;" />
-      <node id="8406119028234719986" at="35,0,39,0" concept="8" trace="get#(Ljetbrains/mps/coderules/ideaplugin/Config;)Ljava/lang/Boolean;" />
-      <node id="8332795209404297941" at="55,40,59,5" concept="7" />
-      <node id="8815279552157196283" at="108,0,112,7" concept="7" />
-      <node id="6746702654208928419" at="113,0,117,7" concept="7" />
-      <node id="1784710035580018971" at="118,0,122,7" concept="7" />
-      <node id="8815279552157196305" at="123,0,127,7" concept="7" />
-      <node id="3221112544308755735" at="63,0,68,0" concept="14" trace="getUiConfig#()Ljetbrains/mps/coderules/ideaplugin/Config;" />
-      <node id="8406119028234567449" at="16,0,22,0" concept="13" trace="TYPECHECKING_ENABLED" />
-      <node id="6746702654208893294" at="22,0,28,0" concept="13" trace="TYPECHECKING_WATCHING" />
-      <node id="1784710035579971664" at="28,0,34,0" concept="13" trace="TYPECHECKING_REPORTING" />
-      <node id="8406119028234719978" at="34,0,40,0" concept="13" trace="TYPECHECKING_TRACE" />
-      <node id="2181372126273401903" at="41,0,48,0" concept="8" trace="get#(Ljetbrains/mps/coderules/ideaplugin/Config;)Ljava/lang/Boolean;" />
-      <node id="8332795209403923211" at="55,0,62,0" concept="14" trace="getUserConfig#()Ljetbrains/mps/coderules/ideaplugin/Config;" />
-      <node id="2372597338790109034" at="92,0,100,7" concept="3" />
-      <node id="2181372126273401895" at="40,0,49,0" concept="13" trace="COLLECT_TRACES" />
-      <node id="8406119028234019940" at="70,0,91,7" concept="3" />
-      <node id="8815279552157196273" at="106,0,130,7" concept="3" />
-      <node id="8815279552157190252" at="104,0,132,0" concept="14" trace="registerDefaultProviders#(Ljetbrains/mps/coderules/ideaplugin/Config;)V" />
-      <node id="8332795209404348642" at="69,0,103,0" concept="14" trace="registerUiProvider#(Ljetbrains/mps/coderules/ideaplugin/Config;)V" />
-      <scope id="8332795209404643308" at="52,33,52,33" />
-      <scope id="8406119028234584340" at="18,39,19,69" />
-      <scope id="6746702654208893307" at="24,39,25,70" />
-      <scope id="1784710035579971677" at="30,39,31,71" />
-      <scope id="8406119028234719991" at="36,39,37,67" />
-      <scope id="2181372126273426451" at="43,76,44,29" />
-      <scope id="8406119028234026682" at="74,52,75,48" />
-      <scope id="6746702654208934032" at="78,53,79,44" />
-      <scope id="1784710035580025336" at="82,54,83,45" />
-      <scope id="8406119028234045833" at="86,50,87,43" />
-      <scope id="2372597338790109045" at="95,66,96,45" />
-      <scope id="8332795209404643304" at="52,0,54,0" />
-      <scope id="8332795209404297943" at="56,30,58,44" />
-      <scope id="8815279552157196284" at="109,52,111,0" />
-      <scope id="6746702654208928420" at="114,53,116,0" />
-      <scope id="1784710035580018972" at="119,54,121,0" />
-      <scope id="8815279552157196306" at="124,50,126,0" />
-      <scope id="3221112544308755738" at="63,38,66,18">
-        <var name="config" id="8332795209404560505" />
-      </scope>
-      <scope id="8406119028234584334" at="17,0,21,0">
-        <var name="config" id="8406119028234584335" />
-      </scope>
-      <scope id="6746702654208893302" at="23,0,27,0">
-        <var name="config" id="6746702654208893303" />
-      </scope>
-      <scope id="1784710035579971672" at="29,0,33,0">
-        <var name="config" id="1784710035579971673" />
-      </scope>
-      <scope id="8406119028234719986" at="35,0,39,0">
-        <var name="config" id="8406119028234719987" />
-      </scope>
-      <scope id="2181372126273401908" at="42,39,46,67" />
-      <scope id="8332795209403923215" at="55,40,60,23" />
-      <scope id="3221112544308755735" at="63,0,68,0" />
-      <scope id="2372597338790109042" at="93,89,99,18">
-        <var name="settings" id="2372597338790125013" />
-      </scope>
-      <scope id="2181372126273401903" at="41,0,48,0">
-        <var name="config" id="2181372126273401904" />
-      </scope>
-      <scope id="8332795209403923211" at="55,0,62,0" />
-      <scope id="8406119028234024760" at="71,70,90,18">
-        <var name="settings" id="3041510341144265955" />
-      </scope>
-      <scope id="8815279552157196281" at="107,72,129,18" />
-      <scope id="8815279552157190256" at="104,63,130,7" />
-      <scope id="8815279552157190252" at="104,0,132,0">
-        <var name="config" id="2840545816391182683" />
-      </scope>
-      <scope id="8406119028234037159" at="69,57,101,0" />
-      <scope id="8332795209404348642" at="69,0,103,0">
-        <var name="config" id="7230953716619828900" />
-      </scope>
-      <unit id="8406119028234584328" at="16,72,21,3" name="jetbrains.mps.coderules.ideaplugin.TypecheckingOptions$1" />
-      <unit id="6746702654208893300" at="22,73,27,3" name="jetbrains.mps.coderules.ideaplugin.TypecheckingOptions$2" />
-      <unit id="1784710035579971670" at="28,74,33,3" name="jetbrains.mps.coderules.ideaplugin.TypecheckingOptions$3" />
-      <unit id="8406119028234719984" at="34,70,39,3" name="jetbrains.mps.coderules.ideaplugin.TypecheckingOptions$4" />
-      <unit id="2181372126273401901" at="40,66,48,3" name="jetbrains.mps.coderules.ideaplugin.TypecheckingOptions$5" />
-      <unit id="8406119028234017931" at="7,0,134,0" name="jetbrains.mps.coderules.ideaplugin.TypecheckingOptions" />
-    </file>
-  </root>
-</debug-info>
-

coderules/solutions/jetbrains.mps.coderules.ideaplugin/source_off/.keep

@@ -1 +0,0 @@
-

coderules/solutions/jetbrains.mps.coderules.test/models/jetbrains.mps.coderules.plugin@tests.mps

@@ -11,6 +11,7 @@
     <import index="wyt6" ref="6354ebe7-c22a-4a0f-ac54-50b52ab9b065/java:java.lang(JDK/)" />
     <import index="31yc" ref="r:0c18ff61-1cb9-4ff0-a899-c949ad03f97c(jetbrains.mps.coderules.plugin)" />
     <import index="m7o5" ref="r:835f8ea3-a800-4588-a80b-1de6d47c2098(jetbrains.mps.coderules.ideaplugin)" />
+    <import index="tj24" ref="r:0fbbb63a-fd15-46e1-8136-78049f6d6e63(jetbrains.mps.coderules.typechecking.service)" />
   </imports>
   <registry>
     <language id="f3061a53-9226-4cc5-a443-f952ceaf5816" name="jetbrains.mps.baseLanguage">
@@ -129,11 +130,11 @@
       <property role="TrG5h" value="config" />
       <node concept="3Tm6S6" id="6hpwxwiHN83" role="1B3o_S" />
       <node concept="3uibUv" id="6hpwxwiHNaT" role="1tU5fm">
-        <ref role="3uigEE" to="m7o5:7iCybvToiT5" resolve="Config" />
+        <ref role="3uigEE" to="tj24:7iCybvToiT5" resolve="Config" />
       </node>
-      <node concept="2YIFZM" id="2CPBoDBWNuY" role="33vP2m">
+      <node concept="2YIFZM" id="1QxYy7KdHPV" role="33vP2m">
-        <ref role="37wK5l" to="m7o5:6hpwxwiHYr2" resolve="create" />
+        <ref role="37wK5l" to="tj24:6hpwxwiHYr2" resolve="create" />
-        <ref role="1Pybhc" to="m7o5:7iCybvToiT5" resolve="Config" />
+        <ref role="1Pybhc" to="tj24:7iCybvToiT5" resolve="Config" />
       </node>
     </node>
     <node concept="3Tm1VV" id="7iCybvTtZhS" role="1B3o_S" />
@@ -149,10 +150,10 @@
                 <ref role="3cqZAo" node="6hpwxwiHN82" resolve="config" />
               </node>
               <node concept="liA8E" id="7iCybvTuNei" role="2OqNvi">
-                <ref role="37wK5l" to="m7o5:7iCybvTszk9" resolve="registerProvider" />
+                <ref role="37wK5l" to="tj24:7iCybvTszk9" resolve="registerProvider" />
                 <node concept="Rm8GO" id="7iCybvTuNiA" role="37wK5m">
-                  <ref role="Rm8GQ" to="m7o5:7iCybvToDv4" resolve="DEFAULT" />
+                  <ref role="Rm8GQ" to="tj24:7iCybvToDv4" resolve="DEFAULT" />
-                  <ref role="1Px2BO" to="m7o5:7iCybvToD3Z" resolve="Config.Level" />
+                  <ref role="1Px2BO" to="tj24:7iCybvToD3Z" resolve="Config.Level" />
                 </node>
                 <node concept="Xl_RD" id="7iCybvTuNA8" role="37wK5m">
                   <property role="Xl_RC" value="a.b." />
@@ -198,7 +199,7 @@
                 <ref role="3cqZAo" node="6hpwxwiHN82" resolve="config" />
               </node>
               <node concept="liA8E" id="7iCybvTwvqY" role="2OqNvi">
-                <ref role="37wK5l" to="m7o5:7iCybvToiWV" resolve="getOption" />
+                <ref role="37wK5l" to="tj24:7iCybvToiWV" resolve="getOption" />
                 <node concept="Xl_RD" id="7iCybvTwvqZ" role="37wK5m">
                   <property role="Xl_RC" value="a.b.c" />
                 </node>
@@ -211,7 +212,7 @@
                 <ref role="3cqZAo" node="6hpwxwiHN82" resolve="config" />
               </node>
               <node concept="liA8E" id="7iCybvTu0uZ" role="2OqNvi">
-                <ref role="37wK5l" to="m7o5:7iCybvToiWV" resolve="getOption" />
+                <ref role="37wK5l" to="tj24:7iCybvToiWV" resolve="getOption" />
                 <node concept="Xl_RD" id="7iCybvTuQrv" role="37wK5m">
                   <property role="Xl_RC" value="a.b.d" />
                 </node>
@@ -224,7 +225,7 @@
                 <ref role="3cqZAo" node="6hpwxwiHN82" resolve="config" />
               </node>
               <node concept="liA8E" id="7iCybvTwyqH" role="2OqNvi">
-                <ref role="37wK5l" to="m7o5:7iCybvToiWV" resolve="getOption" />
+                <ref role="37wK5l" to="tj24:7iCybvToiWV" resolve="getOption" />
                 <node concept="Xl_RD" id="7iCybvTwyqI" role="37wK5m">
                   <property role="Xl_RC" value="a.e" />
                 </node>
@@ -244,10 +245,10 @@
                 <ref role="3cqZAo" node="6hpwxwiHN82" resolve="config" />
               </node>
               <node concept="liA8E" id="7iCybvTw$7L" role="2OqNvi">
-                <ref role="37wK5l" to="m7o5:7iCybvTszk9" resolve="registerProvider" />
+                <ref role="37wK5l" to="tj24:7iCybvTszk9" resolve="registerProvider" />
                 <node concept="Rm8GO" id="7iCybvTw$7M" role="37wK5m">
-                  <ref role="Rm8GQ" to="m7o5:7iCybvToDv4" resolve="DEFAULT" />
+                  <ref role="Rm8GQ" to="tj24:7iCybvToDv4" resolve="DEFAULT" />
-                  <ref role="1Px2BO" to="m7o5:7iCybvToD3Z" resolve="Config.Level" />
+                  <ref role="1Px2BO" to="tj24:7iCybvToD3Z" resolve="Config.Level" />
                 </node>
                 <node concept="Xl_RD" id="7iCybvTw$7N" role="37wK5m">
                   <property role="Xl_RC" value="a.b." />
@@ -290,7 +291,7 @@
                 <ref role="3cqZAo" node="6hpwxwiHN82" resolve="config" />
               </node>
               <node concept="liA8E" id="7iCybvTwCSD" role="2OqNvi">
-                <ref role="37wK5l" to="m7o5:7iCybvToiWV" resolve="getOption" />
+                <ref role="37wK5l" to="tj24:7iCybvToiWV" resolve="getOption" />
                 <node concept="Xl_RD" id="7iCybvTwCSE" role="37wK5m">
                   <property role="Xl_RC" value="a.b.d.e" />
                 </node>
@@ -304,10 +305,10 @@
                 <ref role="3cqZAo" node="6hpwxwiHN82" resolve="config" />
               </node>
               <node concept="liA8E" id="7iCybvTw$yT" role="2OqNvi">
-                <ref role="37wK5l" to="m7o5:7iCybvTszk9" resolve="registerProvider" />
+                <ref role="37wK5l" to="tj24:7iCybvTszk9" resolve="registerProvider" />
                 <node concept="Rm8GO" id="7iCybvTw$Ko" role="37wK5m">
-                  <ref role="Rm8GQ" to="m7o5:7iCybvToFr9" resolve="SYSTEM" />
+                  <ref role="Rm8GQ" to="tj24:7iCybvToFr9" resolve="SYSTEM" />
-                  <ref role="1Px2BO" to="m7o5:7iCybvToD3Z" resolve="Config.Level" />
+                  <ref role="1Px2BO" to="tj24:7iCybvToD3Z" resolve="Config.Level" />
                 </node>
                 <node concept="Xl_RD" id="7iCybvTw$yV" role="37wK5m">
                   <property role="Xl_RC" value="a.b.d." />
@@ -353,7 +354,7 @@
                 <ref role="3cqZAo" node="6hpwxwiHN82" resolve="config" />
               </node>
               <node concept="liA8E" id="7iCybvTw$86" role="2OqNvi">
-                <ref role="37wK5l" to="m7o5:7iCybvToiWV" resolve="getOption" />
+                <ref role="37wK5l" to="tj24:7iCybvToiWV" resolve="getOption" />
                 <node concept="Xl_RD" id="7iCybvTw$87" role="37wK5m">
                   <property role="Xl_RC" value="a.b.c" />
                 </node>
@@ -366,7 +367,7 @@
                 <ref role="3cqZAo" node="6hpwxwiHN82" resolve="config" />
               </node>
               <node concept="liA8E" id="7iCybvTw$8b" role="2OqNvi">
-                <ref role="37wK5l" to="m7o5:7iCybvToiWV" resolve="getOption" />
+                <ref role="37wK5l" to="tj24:7iCybvToiWV" resolve="getOption" />
                 <node concept="Xl_RD" id="7iCybvTw$8c" role="37wK5m">
                   <property role="Xl_RC" value="a.b.d" />
                 </node>
@@ -382,7 +383,7 @@
                 <ref role="3cqZAo" node="6hpwxwiHN82" resolve="config" />
               </node>
               <node concept="liA8E" id="7iCybvTw_jy" role="2OqNvi">
-                <ref role="37wK5l" to="m7o5:7iCybvToiWV" resolve="getOption" />
+                <ref role="37wK5l" to="tj24:7iCybvToiWV" resolve="getOption" />
                 <node concept="Xl_RD" id="7iCybvTw_jz" role="37wK5m">
                   <property role="Xl_RC" value="a.b.d.e" />
                 </node>
@@ -402,10 +403,10 @@
                 <ref role="3cqZAo" node="6hpwxwiHN82" resolve="config" />
               </node>
               <node concept="liA8E" id="7iCybvTwFnt" role="2OqNvi">
-                <ref role="37wK5l" to="m7o5:7iCybvTszk9" resolve="registerProvider" />
+                <ref role="37wK5l" to="tj24:7iCybvTszk9" resolve="registerProvider" />
                 <node concept="Rm8GO" id="7iCybvTwFnu" role="37wK5m">
-                  <ref role="1Px2BO" to="m7o5:7iCybvToD3Z" resolve="Config.Level" />
+                  <ref role="1Px2BO" to="tj24:7iCybvToD3Z" resolve="Config.Level" />
-                  <ref role="Rm8GQ" to="m7o5:7iCybvToDv4" resolve="DEFAULT" />
+                  <ref role="Rm8GQ" to="tj24:7iCybvToDv4" resolve="DEFAULT" />
                 </node>
                 <node concept="Xl_RD" id="7iCybvTwFnv" role="37wK5m">
                   <property role="Xl_RC" value="a.b." />
@@ -451,7 +452,7 @@
                 <ref role="3cqZAo" node="6hpwxwiHN82" resolve="config" />
               </node>
               <node concept="liA8E" id="7iCybvTwFnM" role="2OqNvi">
-                <ref role="37wK5l" to="m7o5:7iCybvToiWV" resolve="getOption" />
+                <ref role="37wK5l" to="tj24:7iCybvToiWV" resolve="getOption" />
                 <node concept="Xl_RD" id="7iCybvTwFnN" role="37wK5m">
                   <property role="Xl_RC" value="a.b.c" />
                 </node>
@@ -465,10 +466,10 @@
                 <ref role="3cqZAo" node="6hpwxwiHN82" resolve="config" />
               </node>
               <node concept="liA8E" id="7iCybvTwFyy" role="2OqNvi">
-                <ref role="37wK5l" to="m7o5:7iCybvTszk9" resolve="registerProvider" />
+                <ref role="37wK5l" to="tj24:7iCybvTszk9" resolve="registerProvider" />
                 <node concept="Rm8GO" id="7iCybvTwFFT" role="37wK5m">
-                  <ref role="Rm8GQ" to="m7o5:7iCybvToHsq" resolve="USER" />
+                  <ref role="Rm8GQ" to="tj24:7iCybvToHsq" resolve="USER" />
-                  <ref role="1Px2BO" to="m7o5:7iCybvToD3Z" resolve="Config.Level" />
+                  <ref role="1Px2BO" to="tj24:7iCybvToD3Z" resolve="Config.Level" />
                 </node>
                 <node concept="Xl_RD" id="7iCybvTwFy$" role="37wK5m">
                   <property role="Xl_RC" value="a.b." />
@@ -514,7 +515,7 @@
                 <ref role="3cqZAo" node="6hpwxwiHN82" resolve="config" />
               </node>
               <node concept="liA8E" id="7iCybvTwFys" role="2OqNvi">
-                <ref role="37wK5l" to="m7o5:7iCybvToiWV" resolve="getOption" />
+                <ref role="37wK5l" to="tj24:7iCybvToiWV" resolve="getOption" />
                 <node concept="Xl_RD" id="7iCybvTwFyt" role="37wK5m">
                   <property role="Xl_RC" value="a.b.c" />
                 </node>
@@ -533,10 +534,10 @@
               <ref role="3cqZAo" node="6hpwxwiHN82" resolve="config" />
             </node>
             <node concept="liA8E" id="xqbf82kUJC" role="2OqNvi">
-              <ref role="37wK5l" to="m7o5:xqbf82kuzw" resolve="reset" />
+              <ref role="37wK5l" to="tj24:xqbf82kuzw" resolve="reset" />
               <node concept="Rm8GO" id="2vm2iDVlIfV" role="37wK5m">
-                <ref role="Rm8GQ" to="m7o5:7iCybvToDv4" resolve="DEFAULT" />
+                <ref role="Rm8GQ" to="tj24:7iCybvToDv4" resolve="DEFAULT" />
-                <ref role="1Px2BO" to="m7o5:7iCybvToD3Z" resolve="Config.Level" />
+                <ref role="1Px2BO" to="tj24:7iCybvToD3Z" resolve="Config.Level" />
               </node>
             </node>
           </node>
@@ -551,10 +552,10 @@
               <ref role="3cqZAo" node="6hpwxwiHN82" resolve="config" />
             </node>
             <node concept="liA8E" id="xqbf82kUXu" role="2OqNvi">
-              <ref role="37wK5l" to="m7o5:xqbf82kuzw" resolve="reset" />
+              <ref role="37wK5l" to="tj24:xqbf82kuzw" resolve="reset" />
               <node concept="Rm8GO" id="xqbf82kUXv" role="37wK5m">
-                <ref role="Rm8GQ" to="m7o5:7iCybvToDv4" resolve="DEFAULT" />
+                <ref role="Rm8GQ" to="tj24:7iCybvToDv4" resolve="DEFAULT" />
-                <ref role="1Px2BO" to="m7o5:7iCybvToD3Z" resolve="Config.Level" />
+                <ref role="1Px2BO" to="tj24:7iCybvToD3Z" resolve="Config.Level" />
               </node>
             </node>
           </node>

coderules/solutions/jetbrains.mps.coderules.test/models/modelcheck@tests.mps

@@ -40,6 +40,7 @@
     <import index="31yc" ref="r:0c18ff61-1cb9-4ff0-a899-c949ad03f97c(jetbrains.mps.coderules.plugin)" />
     <import index="fczk" ref="49808fad-9d41-4b96-83fa-9231640f6b2b/java:org.hamcrest.core(JUnit/)" />
     <import index="m7o5" ref="r:835f8ea3-a800-4588-a80b-1de6d47c2098(jetbrains.mps.coderules.ideaplugin)" />
+    <import index="tj24" ref="r:0fbbb63a-fd15-46e1-8136-78049f6d6e63(jetbrains.mps.coderules.typechecking.service)" />
   </imports>
   <registry>
     <language id="8585453e-6bfb-4d80-98de-b16074f1d86c" name="jetbrains.mps.lang.test">
@@ -956,19 +957,19 @@
       <node concept="3clFbS" id="xqbf82oxMc" role="2VODD2">
         <node concept="3clFbF" id="1a$$29AvYGM" role="3cqZAp">
           <node concept="2OqwBi" id="1a$$29AvYN5" role="3clFbG">
-            <node concept="2YIFZM" id="2CPBoDBWNuU" role="2Oq$k0">
+            <node concept="2YIFZM" id="1QxYy7KdHPS" role="2Oq$k0">
-              <ref role="37wK5l" to="m7o5:7iCybvTs3lI" resolve="getInstance" />
+              <ref role="37wK5l" to="tj24:7iCybvTs3lI" resolve="getInstance" />
-              <ref role="1Pybhc" to="m7o5:7iCybvToiT5" resolve="Config" />
+              <ref role="1Pybhc" to="tj24:7iCybvToiT5" resolve="Config" />
             </node>
             <node concept="liA8E" id="1a$$29AvYUx" role="2OqNvi">
-              <ref role="37wK5l" to="m7o5:7iCybvTszk9" resolve="registerProvider" />
+              <ref role="37wK5l" to="tj24:7iCybvTszk9" resolve="registerProvider" />
               <node concept="Rm8GO" id="1a$$29AvYXx" role="37wK5m">
-                <ref role="1Px2BO" to="m7o5:7iCybvToD3Z" resolve="Config.Level" />
+                <ref role="1Px2BO" to="tj24:7iCybvToD3Z" resolve="Config.Level" />
-                <ref role="Rm8GQ" to="m7o5:5Ul706LbJYK" resolve="TEST" />
+                <ref role="Rm8GQ" to="tj24:5Ul706LbJYK" resolve="TEST" />
               </node>
-              <node concept="10M0yZ" id="2CPBoDAVq9Y" role="37wK5m">
+              <node concept="10M0yZ" id="3zz62D5cwaF" role="37wK5m">
-                <ref role="3cqZAo" to="m7o5:7iCybvTzJGv" resolve="PREFIX" />
+                <ref role="3cqZAo" to="tj24:7iCybvTzJGv" resolve="PREFIX" />
-                <ref role="1PxDUh" to="m7o5:7iCybvTy_Mb" resolve="TypecheckingOptions" />
+                <ref role="1PxDUh" to="tj24:7iCybvTy_Mb" resolve="TypecheckingOptions" />
               </node>
               <node concept="1bVj0M" id="1a$$29Aw4Um" role="37wK5m">
                 <node concept="3clFbS" id="1a$$29Aw4Uo" role="1bW5cS">
@@ -980,9 +981,9 @@
                       </node>
                     </node>
                     <node concept="2OqwBi" id="1a$$29Aw6Dj" role="3clFbw">
-                      <node concept="10M0yZ" id="2CPBoDAVqa0" role="2Oq$k0">
+                      <node concept="10M0yZ" id="3zz62D5cwaH" role="2Oq$k0">
-                        <ref role="3cqZAo" to="m7o5:7iCybvTyUUs" resolve="OPTION_TYPECHECKING_ENABLED" />
+                        <ref role="3cqZAo" to="tj24:7iCybvTyUUs" resolve="OPTION_TYPECHECKING_ENABLED" />
-                        <ref role="1PxDUh" to="m7o5:7iCybvTy_Mb" resolve="TypecheckingOptions" />
+                        <ref role="1PxDUh" to="tj24:7iCybvTy_Mb" resolve="TypecheckingOptions" />
                       </node>
                       <node concept="liA8E" id="1a$$29Aw72L" role="2OqNvi">
                         <ref role="37wK5l" to="wyt6:~String.equals(java.lang.Object)" resolve="equals" />
@@ -1011,15 +1012,15 @@
       <node concept="3clFbS" id="xqbf82oyCQ" role="2VODD2">
         <node concept="3clFbF" id="xqbf82l6BV" role="3cqZAp">
           <node concept="2OqwBi" id="xqbf82l6Qn" role="3clFbG">
-            <node concept="2YIFZM" id="2CPBoDBWNuV" role="2Oq$k0">
+            <node concept="2YIFZM" id="1QxYy7KdHPT" role="2Oq$k0">
-              <ref role="37wK5l" to="m7o5:7iCybvTs3lI" resolve="getInstance" />
+              <ref role="37wK5l" to="tj24:7iCybvTs3lI" resolve="getInstance" />
-              <ref role="1Pybhc" to="m7o5:7iCybvToiT5" resolve="Config" />
+              <ref role="1Pybhc" to="tj24:7iCybvToiT5" resolve="Config" />
             </node>
             <node concept="liA8E" id="xqbf82l6Yd" role="2OqNvi">
-              <ref role="37wK5l" to="m7o5:xqbf82kuzw" resolve="reset" />
+              <ref role="37wK5l" to="tj24:xqbf82kuzw" resolve="reset" />
               <node concept="Rm8GO" id="1a$$29Aw7Pu" role="37wK5m">
-                <ref role="1Px2BO" to="m7o5:7iCybvToD3Z" resolve="Config.Level" />
+                <ref role="1Px2BO" to="tj24:7iCybvToD3Z" resolve="Config.Level" />
-                <ref role="Rm8GQ" to="m7o5:5Ul706LbJYK" resolve="TEST" />
+                <ref role="Rm8GQ" to="tj24:5Ul706LbJYK" resolve="TEST" />
               </node>
             </node>
           </node>

coderules/solutions/jetbrains.mps.coderules.typechecking.test/models/jetbrains.mps.coderules.typechecking@tests.mps

@@ -4324,9 +4324,9 @@
                         <ref role="37wK5l" to="z1c3:~Project.getRepository()" resolve="getRepository" />
                       </node>
                     </node>
-                    <node concept="2YIFZM" id="2MNGcFT5QlU" role="37wK5m">
+                    <node concept="2YIFZM" id="3zz62D5cwaT" role="37wK5m">
-                      <ref role="1Pybhc" to="m7o5:7iCybvTy_Mb" resolve="TypecheckingOptions" />
+                      <ref role="37wK5l" to="tj24:2MNGcFT4ZOn" resolve="getEffectiveConfig" />
-                      <ref role="37wK5l" to="m7o5:2MNGcFT4ZOn" resolve="getUiConfig" />
+                      <ref role="1Pybhc" to="tj24:7iCybvTy_Mb" resolve="TypecheckingOptions" />
                     </node>
                     <node concept="37vLTw" id="9UUIHNe9hG" role="37wK5m">
                       <ref role="3cqZAo" node="9UUIHNe9hD" resolve="messageCollector" />
@@ -4656,11 +4656,11 @@
           <node concept="3cpWsn" id="7e$2hwayN77" role="3cpWs9">
             <property role="TrG5h" value="config" />
             <node concept="3uibUv" id="7e$2hwaxbQr" role="1tU5fm">
-              <ref role="3uigEE" to="m7o5:7iCybvToiT5" resolve="Config" />
+              <ref role="3uigEE" to="tj24:7iCybvToiT5" resolve="Config" />
             </node>
-            <node concept="2YIFZM" id="3kmGNCnqvlt" role="33vP2m">
+            <node concept="2YIFZM" id="3zz62D5cwaR" role="33vP2m">
-              <ref role="37wK5l" to="m7o5:7e$2hwaAfGb" resolve="getUserConfig" />
+              <ref role="37wK5l" to="tj24:7e$2hwaAfGb" resolve="getUserConfig" />
-              <ref role="1Pybhc" to="m7o5:7iCybvTy_Mb" resolve="TypecheckingOptions" />
+              <ref role="1Pybhc" to="tj24:7iCybvTy_Mb" resolve="TypecheckingOptions" />
             </node>
           </node>
         </node>
@@ -4670,14 +4670,14 @@
               <ref role="3cqZAo" node="7e$2hwayN77" resolve="config" />
             </node>
             <node concept="liA8E" id="7e$2hwayR6r" role="2OqNvi">
-              <ref role="37wK5l" to="m7o5:7iCybvTszk9" resolve="registerProvider" />
+              <ref role="37wK5l" to="tj24:7iCybvTszk9" resolve="registerProvider" />
               <node concept="Rm8GO" id="7e$2hwayR6s" role="37wK5m">
-                <ref role="1Px2BO" to="m7o5:7iCybvToD3Z" resolve="Config.Level" />
+                <ref role="1Px2BO" to="tj24:7iCybvToD3Z" resolve="Config.Level" />
-                <ref role="Rm8GQ" to="m7o5:5Ul706LbJYK" resolve="TEST" />
+                <ref role="Rm8GQ" to="tj24:5Ul706LbJYK" resolve="TEST" />
               </node>
-              <node concept="10M0yZ" id="2CPBoDAVq9X" role="37wK5m">
+              <node concept="10M0yZ" id="3zz62D5cwaD" role="37wK5m">
-                <ref role="3cqZAo" to="m7o5:7iCybvTzJGv" resolve="PREFIX" />
+                <ref role="3cqZAo" to="tj24:7iCybvTzJGv" resolve="PREFIX" />
-                <ref role="1PxDUh" to="m7o5:7iCybvTy_Mb" resolve="TypecheckingOptions" />
+                <ref role="1PxDUh" to="tj24:7iCybvTy_Mb" resolve="TypecheckingOptions" />
               </node>
               <node concept="1bVj0M" id="7e$2hwayR6u" role="37wK5m">
                 <node concept="3clFbS" id="7e$2hwayR6v" role="1bW5cS">
@@ -4690,9 +4690,9 @@
                       </node>
                     </node>
                     <node concept="2OqwBi" id="7e$2hwayR6$" role="3clFbw">
-                      <node concept="10M0yZ" id="2CPBoDAVq9Z" role="2Oq$k0">
+                      <node concept="10M0yZ" id="3zz62D5cwaG" role="2Oq$k0">
-                        <ref role="3cqZAo" to="m7o5:7iCybvTyUUs" resolve="OPTION_TYPECHECKING_ENABLED" />
+                        <ref role="3cqZAo" to="tj24:7iCybvTyUUs" resolve="OPTION_TYPECHECKING_ENABLED" />
-                        <ref role="1PxDUh" to="m7o5:7iCybvTy_Mb" resolve="TypecheckingOptions" />
+                        <ref role="1PxDUh" to="tj24:7iCybvTy_Mb" resolve="TypecheckingOptions" />
                       </node>
                       <node concept="liA8E" id="7e$2hwayR6A" role="2OqNvi">
                         <ref role="37wK5l" to="wyt6:~String.equals(java.lang.Object)" resolve="equals" />
@@ -4711,9 +4711,9 @@
                       </node>
                     </node>
                     <node concept="2OqwBi" id="7e$2hwayR6G" role="3clFbw">
-                      <node concept="10M0yZ" id="2CPBoDAVqa2" role="2Oq$k0">
+                      <node concept="10M0yZ" id="3zz62D5cwaI" role="2Oq$k0">
-                        <ref role="3cqZAo" to="m7o5:5Qx6_65jytE" resolve="OPTION_TYPECHECKING_WATCHING" />
+                        <ref role="3cqZAo" to="tj24:5Qx6_65jytE" resolve="OPTION_TYPECHECKING_WATCHING" />
-                        <ref role="1PxDUh" to="m7o5:7iCybvTy_Mb" resolve="TypecheckingOptions" />
+                        <ref role="1PxDUh" to="tj24:7iCybvTy_Mb" resolve="TypecheckingOptions" />
                       </node>
                       <node concept="liA8E" id="7e$2hwayR6I" role="2OqNvi">
                         <ref role="37wK5l" to="wyt6:~String.equals(java.lang.Object)" resolve="equals" />

coderules/solutions/jetbrains.mps.coderules.typechecking/jetbrains.mps.coderules.typechecking.msd

@@ -32,6 +32,7 @@
     <dependency reexport="false">019b622b-0aef-4dd3-86d0-4eef01f3f6bb(jetbrains.mps.ide)</dependency>
     <dependency reexport="true">1ed103c3-3aa6-49b7-9c21-6765ee11f224(MPS.Editor)</dependency>
     <dependency reexport="true">bfbdd672-7ff5-403f-af4f-16da5226f34c(jetbrains.mps.findUsages.runtime)</dependency>
+    <dependency reexport="false">498d89d2-c2e9-11e2-ad49-6cf049e62fe5(MPS.IDEA)</dependency>
   </dependencies>
   <languageVersions>
     <language slang="l:f3061a53-9226-4cc5-a443-f952ceaf5816:jetbrains.mps.baseLanguage" version="12" />

coderules/solutions/jetbrains.mps.coderules.typechecking/models/jetbrains.mps.coderules.typechecking.plugin.mps

@@ -102,6 +102,8 @@
     <import index="4b2m" ref="498d89d2-c2e9-11e2-ad49-6cf049e62fe5/java:com.intellij.util.messages(MPS.IDEA/)" />
     <import index="9w4s" ref="498d89d2-c2e9-11e2-ad49-6cf049e62fe5/java:com.intellij.util(MPS.IDEA/)" />
     <import index="tprs" ref="r:00000000-0000-4000-0000-011c895904a4(jetbrains.mps.ide.actions)" />
+    <import index="ctgy" ref="498d89d2-c2e9-11e2-ad49-6cf049e62fe5/java:com.intellij.ide.plugins(MPS.IDEA/)" />
+    <import index="9ti4" ref="498d89d2-c2e9-11e2-ad49-6cf049e62fe5/java:com.intellij.openapi.extensions(MPS.IDEA/)" />
     <import index="tpee" ref="r:00000000-0000-4000-0000-011c895902ca(jetbrains.mps.baseLanguage.structure)" implicit="true" />
   </imports>
   <registry>
@@ -820,11 +822,11 @@
           <node concept="3cpWsn" id="7e$2hwaRm5D" role="3cpWs9">
             <property role="TrG5h" value="config" />
             <node concept="3uibUv" id="7e$2hwaRjR3" role="1tU5fm">
-              <ref role="3uigEE" to="m7o5:7iCybvToiT5" resolve="Config" />
+              <ref role="3uigEE" to="tj24:7iCybvToiT5" resolve="Config" />
             </node>
-            <node concept="2YIFZM" id="67v_dotGrhO" role="33vP2m">
+            <node concept="2YIFZM" id="3zz62D5cwaU" role="33vP2m">
-              <ref role="37wK5l" to="m7o5:2MNGcFT4ZOn" resolve="getUiConfig" />
+              <ref role="37wK5l" to="tj24:2MNGcFT4ZOn" resolve="getEffectiveConfig" />
-              <ref role="1Pybhc" to="m7o5:7iCybvTy_Mb" resolve="TypecheckingOptions" />
+              <ref role="1Pybhc" to="tj24:7iCybvTy_Mb" resolve="TypecheckingOptions" />
             </node>
           </node>
         </node>
@@ -844,12 +846,12 @@
             </node>
             <node concept="3fqX7Q" id="6AP7iI4IxSj" role="3uHU7w">
               <node concept="2OqwBi" id="1z4$59ipyOG" role="3fr31v">
-                <node concept="10M0yZ" id="2CPBoDAVqa3" role="2Oq$k0">
+                <node concept="10M0yZ" id="3zz62D5cwaK" role="2Oq$k0">
-                  <ref role="3cqZAo" to="m7o5:7iCybvT$FWp" resolve="TYPECHECKING_ENABLED" />
+                  <ref role="3cqZAo" to="tj24:7iCybvT$FWp" resolve="TYPECHECKING_ENABLED" />
-                  <ref role="1PxDUh" to="m7o5:7iCybvTy_Mb" resolve="TypecheckingOptions" />
+                  <ref role="1PxDUh" to="tj24:7iCybvTy_Mb" resolve="TypecheckingOptions" />
                 </node>
                 <node concept="liA8E" id="1z4$59ipyOI" role="2OqNvi">
-                  <ref role="37wK5l" to="m7o5:7iCybvT$ANq" resolve="get" />
+                  <ref role="37wK5l" to="tj24:7iCybvT$ANq" resolve="get" />
                   <node concept="37vLTw" id="1z4$59ipyOJ" role="37wK5m">
                     <ref role="3cqZAo" node="7e$2hwaRm5D" resolve="config" />
                   </node>
@@ -1261,11 +1263,11 @@
           <node concept="3cpWsn" id="7e$2hwaS6F5" role="3cpWs9">
             <property role="TrG5h" value="config" />
             <node concept="3uibUv" id="7e$2hwaS6F6" role="1tU5fm">
-              <ref role="3uigEE" to="m7o5:7iCybvToiT5" resolve="Config" />
+              <ref role="3uigEE" to="tj24:7iCybvToiT5" resolve="Config" />
             </node>
-            <node concept="2YIFZM" id="67v_dotGJg3" role="33vP2m">
+            <node concept="2YIFZM" id="3zz62D5cwaV" role="33vP2m">
-              <ref role="37wK5l" to="m7o5:2MNGcFT4ZOn" resolve="getUiConfig" />
+              <ref role="37wK5l" to="tj24:2MNGcFT4ZOn" resolve="getEffectiveConfig" />
-              <ref role="1Pybhc" to="m7o5:7iCybvTy_Mb" resolve="TypecheckingOptions" />
+              <ref role="1Pybhc" to="tj24:7iCybvTy_Mb" resolve="TypecheckingOptions" />
             </node>
           </node>
         </node>
@@ -4270,7 +4272,7 @@
       <property role="TrG5h" value="typecheckingOptions" />
       <node concept="3Tm1VV" id="6YTH7uERTqc" role="1B3o_S" />
       <node concept="3uibUv" id="6YTH7uERTFl" role="1tU5fm">
-        <ref role="3uigEE" to="m7o5:7iCybvTy_Mb" resolve="TypecheckingOptions" />
+        <ref role="3uigEE" to="tj24:7iCybvTy_Mb" resolve="TypecheckingOptions" />
       </node>
     </node>
     <node concept="2uRRBj" id="vVsDu9byG8" role="2uRRBE">
@@ -4301,9 +4303,9 @@
             </node>
             <node concept="liA8E" id="6gnqipLypT7" role="2OqNvi">
               <ref role="37wK5l" node="6gnqipLxUdr" resolve="init" />
-              <node concept="2YIFZM" id="6YTH7uESnl$" role="37wK5m">
+              <node concept="2YIFZM" id="3zz62D5cwaW" role="37wK5m">
-                <ref role="37wK5l" to="m7o5:2MNGcFT4ZOn" resolve="getUiConfig" />
+                <ref role="37wK5l" to="tj24:2MNGcFT4ZOn" resolve="getEffectiveConfig" />
-                <ref role="1Pybhc" to="m7o5:7iCybvTy_Mb" resolve="TypecheckingOptions" />
+                <ref role="1Pybhc" to="tj24:7iCybvTy_Mb" resolve="TypecheckingOptions" />
               </node>
             </node>
           </node>
@@ -4635,7 +4637,7 @@
       <node concept="37vLTG" id="6YTH7uES0AH" role="3clF46">
         <property role="TrG5h" value="config" />
         <node concept="3uibUv" id="6YTH7uES25c" role="1tU5fm">
-          <ref role="3uigEE" to="m7o5:7iCybvToiT5" resolve="Config" />
+          <ref role="3uigEE" to="tj24:7iCybvToiT5" resolve="Config" />
         </node>
       </node>
       <node concept="3cqZAl" id="6gnqipLxUdt" role="3clF45" />
@@ -4755,7 +4757,7 @@
       <node concept="37vLTG" id="6YTH7uES3yX" role="3clF46">
         <property role="TrG5h" value="config" />
         <node concept="3uibUv" id="6YTH7uES4xt" role="1tU5fm">
-          <ref role="3uigEE" to="m7o5:7iCybvToiT5" resolve="Config" />
+          <ref role="3uigEE" to="tj24:7iCybvToiT5" resolve="Config" />
         </node>
       </node>
       <node concept="3cqZAl" id="6gnqipLysv0" role="3clF45" />
@@ -5351,18 +5353,21 @@
       <node concept="10P_77" id="6TxWhgAwS3s" role="3clF45" />
       <node concept="3Tm1VV" id="6TxWhgAwRgS" role="1B3o_S" />
       <node concept="3clFbS" id="6TxWhgAwRgT" role="3clF47">
-        <node concept="3clFbF" id="2CPBoDC$F2e" role="3cqZAp">
+        <node concept="3clFbF" id="DJOr6Ej$L3" role="3cqZAp">
-          <node concept="2OqwBi" id="2CPBoDC$G98" role="3clFbG">
+          <node concept="2OqwBi" id="DJOr6Ej__j" role="3clFbG">
-            <node concept="2YIFZM" id="2CPBoDC$FPd" role="2Oq$k0">
+            <node concept="10M0yZ" id="DJOr6Ej_dd" role="2Oq$k0">
-              <ref role="37wK5l" to="m7o5:2CPBoDC$fEe" resolve="getInstace" />
+              <ref role="3cqZAo" to="tj24:7iCybvT$FWp" resolve="TYPECHECKING_ENABLED" />
-              <ref role="1Pybhc" to="m7o5:2CPBoDC$4yq" resolve="TypecheckingSettings" />
+              <ref role="1PxDUh" to="tj24:7iCybvTy_Mb" resolve="TypecheckingOptions" />
             </node>
-            <node concept="liA8E" id="2CPBoDC$NiH" role="2OqNvi">
+            <node concept="liA8E" id="DJOr6Ej_PO" role="2OqNvi">
-              <ref role="37wK5l" to="m7o5:2CPBoDC$H71" resolve="isTypecheckingEnabled" />
+              <ref role="37wK5l" to="tj24:7iCybvT$ANq" resolve="get" />
+              <node concept="2YIFZM" id="DJOr6Ej_Um" role="37wK5m">
+                <ref role="37wK5l" to="tj24:2MNGcFT4ZOn" resolve="getEffectiveConfig" />
+                <ref role="1Pybhc" to="tj24:7iCybvTy_Mb" resolve="TypecheckingOptions" />
+              </node>
             </node>
           </node>
         </node>
-        <node concept="3clFbH" id="6TxWhgAx2wg" role="3cqZAp" />
       </node>
     </node>
     <node concept="2tJIrI" id="6TxWhgAx5gX" role="jymVt" />
@@ -5375,56 +5380,64 @@
       <node concept="3cqZAl" id="6TxWhgAx4YZ" role="3clF45" />
       <node concept="3Tm1VV" id="6TxWhgAx2bh" role="1B3o_S" />
       <node concept="3clFbS" id="6TxWhgAx2bi" role="3clF47">
-        <node concept="3cpWs8" id="4ot3PHR2CoE" role="3cqZAp">
+        <node concept="3clFbJ" id="4ncXOjKS5yu" role="3cqZAp">
-          <node concept="3cpWsn" id="4ot3PHR2CoF" role="3cpWs9">
+          <node concept="3clFbS" id="4ncXOjKS5yw" role="3clFbx">
-            <property role="TrG5h" value="changed" />
+            <node concept="3cpWs8" id="4ot3PHR2CoE" role="3cqZAp">
-            <node concept="10P_77" id="4ot3PHR2Cl$" role="1tU5fm" />
+              <node concept="3cpWsn" id="4ot3PHR2CoF" role="3cpWs9">
-            <node concept="3y3z36" id="4ot3PHR2CoG" role="33vP2m">
+                <property role="TrG5h" value="changed" />
-              <node concept="37vLTw" id="4ot3PHR2CoK" role="3uHU7w">
+                <node concept="10P_77" id="4ot3PHR2Cl$" role="1tU5fm" />
-                <ref role="3cqZAo" node="6TxWhgAx2CQ" resolve="enabled" />
+                <node concept="3y3z36" id="4ot3PHR2CoG" role="33vP2m">
+                  <node concept="37vLTw" id="4ot3PHR2CoK" role="3uHU7w">
+                    <ref role="3cqZAo" node="6TxWhgAx2CQ" resolve="enabled" />
+                  </node>
+                  <node concept="2OqwBi" id="2CPBoDC$O1L" role="3uHU7B">
+                    <node concept="2YIFZM" id="2CPBoDC$O1M" role="2Oq$k0">
+                      <ref role="1Pybhc" to="m7o5:2CPBoDC$4yq" resolve="TypecheckingSettings" />
+                      <ref role="37wK5l" to="m7o5:2CPBoDC$fEe" resolve="getInstace" />
+                    </node>
+                    <node concept="liA8E" id="2CPBoDC$O1N" role="2OqNvi">
+                      <ref role="37wK5l" to="m7o5:2CPBoDC$H71" resolve="isTypecheckingEnabled" />
+                    </node>
+                  </node>
+                </node>
               </node>
-              <node concept="2OqwBi" id="2CPBoDC$O1L" role="3uHU7B">
+            </node>
-                <node concept="2YIFZM" id="2CPBoDC$O1M" role="2Oq$k0">
+            <node concept="3clFbF" id="2CPBoDC$OfZ" role="3cqZAp">
-                  <ref role="1Pybhc" to="m7o5:2CPBoDC$4yq" resolve="TypecheckingSettings" />
+              <node concept="2OqwBi" id="2CPBoDC$Og1" role="3clFbG">
+                <node concept="2YIFZM" id="2CPBoDC$Og2" role="2Oq$k0">
                   <ref role="37wK5l" to="m7o5:2CPBoDC$fEe" resolve="getInstace" />
+                  <ref role="1Pybhc" to="m7o5:2CPBoDC$4yq" resolve="TypecheckingSettings" />
                 </node>
-                <node concept="liA8E" id="2CPBoDC$O1N" role="2OqNvi">
+                <node concept="liA8E" id="2CPBoDC$Og3" role="2OqNvi">
-                  <ref role="37wK5l" to="m7o5:2CPBoDC$H71" resolve="isTypecheckingEnabled" />
+                  <ref role="37wK5l" to="m7o5:2CPBoDC$ILw" resolve="setTypecheckingEnabled" />
+                  <node concept="37vLTw" id="2CPBoDC$OZb" role="37wK5m">
+                    <ref role="3cqZAo" node="6TxWhgAx2CQ" resolve="enabled" />
+                  </node>
                 </node>
               </node>
             </node>
-          </node>
+            <node concept="3clFbJ" id="4ot3PHR2CCp" role="3cqZAp">
-        </node>
+              <node concept="3clFbS" id="4ot3PHR2CCA" role="3clFbx">
-        <node concept="3clFbF" id="2CPBoDC$OfZ" role="3cqZAp">
+                <node concept="3clFbF" id="4ot3PHR2EYW" role="3cqZAp">
-          <node concept="2OqwBi" id="2CPBoDC$Og1" role="3clFbG">
+                  <node concept="2OqwBi" id="4ot3PHR2FFZ" role="3clFbG">
-            <node concept="2YIFZM" id="2CPBoDC$Og2" role="2Oq$k0">
+                    <node concept="2YIFZM" id="4ot3PHR2Ffr" role="2Oq$k0">
-              <ref role="37wK5l" to="m7o5:2CPBoDC$fEe" resolve="getInstace" />
+                      <ref role="37wK5l" to="j936:~UISettings.getInstance()" resolve="getInstance" />
-              <ref role="1Pybhc" to="m7o5:2CPBoDC$4yq" resolve="TypecheckingSettings" />
+                      <ref role="1Pybhc" to="j936:~UISettings" resolve="UISettings" />
-            </node>
+                    </node>
-            <node concept="liA8E" id="2CPBoDC$Og3" role="2OqNvi">
+                    <node concept="liA8E" id="4ot3PHR2Gox" role="2OqNvi">
-              <ref role="37wK5l" to="m7o5:2CPBoDC$ILw" resolve="setTypecheckingEnabled" />
+                      <ref role="37wK5l" to="j936:~UISettings.fireUISettingsChanged()" resolve="fireUISettingsChanged" />
-              <node concept="37vLTw" id="2CPBoDC$OZb" role="37wK5m">
+                    </node>
-                <ref role="3cqZAo" node="6TxWhgAx2CQ" resolve="enabled" />
+                  </node>
+                </node>
+              </node>
+              <node concept="37vLTw" id="4ot3PHR2CoL" role="3clFbw">
+                <ref role="3cqZAo" node="4ot3PHR2CoF" resolve="changed" />
               </node>
             </node>
           </node>
-        </node>
+          <node concept="2YIFZM" id="4ncXOjKS6jm" role="3clFbw">
-        <node concept="3clFbJ" id="4ot3PHR2CCp" role="3cqZAp">
+            <ref role="37wK5l" node="4ncXOjKRZI$" resolve="isLoaded" />
-          <node concept="3clFbS" id="4ot3PHR2CCA" role="3clFbx">
+            <ref role="1Pybhc" node="4ncXOjKRu7g" resolve="CoderulesIdeaPlugin" />
-            <node concept="3clFbF" id="4ot3PHR2EYW" role="3cqZAp">
-              <node concept="2OqwBi" id="4ot3PHR2FFZ" role="3clFbG">
-                <node concept="2YIFZM" id="4ot3PHR2Ffr" role="2Oq$k0">
-                  <ref role="37wK5l" to="j936:~UISettings.getInstance()" resolve="getInstance" />
-                  <ref role="1Pybhc" to="j936:~UISettings" resolve="UISettings" />
-                </node>
-                <node concept="liA8E" id="4ot3PHR2Gox" role="2OqNvi">
-                  <ref role="37wK5l" to="j936:~UISettings.fireUISettingsChanged()" resolve="fireUISettingsChanged" />
-                </node>
-              </node>
-            </node>
-          </node>
-          <node concept="37vLTw" id="4ot3PHR2CoL" role="3clFbw">
-            <ref role="3cqZAo" node="4ot3PHR2CoF" resolve="changed" />
           </node>
         </node>
       </node>
@@ -6020,12 +6033,9 @@
               </node>
             </node>
           </node>
-          <node concept="3y3z36" id="51kI2ZZQmnY" role="3clFbw">
+          <node concept="2YIFZM" id="4ncXOjKS3aK" role="3clFbw">
-            <node concept="2YIFZM" id="51kI2ZZQlyq" role="3uHU7B">
+            <ref role="37wK5l" node="4ncXOjKRZI$" resolve="isLoaded" />
-              <ref role="37wK5l" to="m7o5:2CPBoDC$fEe" resolve="getInstace" />
+            <ref role="1Pybhc" node="4ncXOjKRu7g" resolve="CoderulesIdeaPlugin" />
-              <ref role="1Pybhc" to="m7o5:2CPBoDC$4yq" resolve="TypecheckingSettings" />
-            </node>
-            <node concept="10Nm6u" id="51kI2ZZQm3D" role="3uHU7w" />
           </node>
         </node>
       </node>
@@ -6752,9 +6762,9 @@
                       <node concept="37vLTw" id="1z4$59iLRGo" role="37wK5m">
                         <ref role="3cqZAo" node="2cnGCY$rO2g" resolve="repository" />
                       </node>
-                      <node concept="2YIFZM" id="2MNGcFT5KYw" role="37wK5m">
+                      <node concept="2YIFZM" id="3zz62D5cwaX" role="37wK5m">
-                        <ref role="1Pybhc" to="m7o5:7iCybvTy_Mb" resolve="TypecheckingOptions" />
+                        <ref role="37wK5l" to="tj24:2MNGcFT4ZOn" resolve="getEffectiveConfig" />
-                        <ref role="37wK5l" to="m7o5:2MNGcFT4ZOn" resolve="getUiConfig" />
+                        <ref role="1Pybhc" to="tj24:7iCybvTy_Mb" resolve="TypecheckingOptions" />
                       </node>
                       <node concept="2YIFZM" id="1z4$59iLPYY" role="37wK5m">
                         <ref role="1Pybhc" to="31yc:4MaHsBDdlvx" resolve="MessageLog" />
@@ -9017,9 +9027,9 @@
               <node concept="37vLTw" id="4XsNDZYjiYF" role="37wK5m">
                 <ref role="3cqZAo" node="6nFpYlun1LV" resolve="repository" />
               </node>
-              <node concept="2YIFZM" id="2MNGcFT5IT5" role="37wK5m">
+              <node concept="2YIFZM" id="3zz62D5cwaY" role="37wK5m">
-                <ref role="37wK5l" to="m7o5:2MNGcFT4ZOn" resolve="getUiConfig" />
+                <ref role="37wK5l" to="tj24:2MNGcFT4ZOn" resolve="getEffectiveConfig" />
-                <ref role="1Pybhc" to="m7o5:7iCybvTy_Mb" resolve="TypecheckingOptions" />
+                <ref role="1Pybhc" to="tj24:7iCybvTy_Mb" resolve="TypecheckingOptions" />
               </node>
               <node concept="2YIFZM" id="4XsNDZYjiYH" role="37wK5m">
                 <ref role="1Pybhc" to="31yc:4MaHsBDdlvx" resolve="MessageLog" />
@@ -10408,5 +10418,31 @@
       <ref role="2f8Tey" to="tprs:6f0maSpvK1u" resolve="types" />
     </node>
   </node>
+  <node concept="312cEu" id="4ncXOjKRu7g">
+    <property role="TrG5h" value="CoderulesIdeaPlugin" />
+    <node concept="2tJIrI" id="4ncXOjKRu86" role="jymVt" />
+    <node concept="2YIFZL" id="4ncXOjKRZI$" role="jymVt">
+      <property role="TrG5h" value="isInstalled" />
+      <node concept="10P_77" id="4ncXOjKS0k$" role="3clF45" />
+      <node concept="3Tm1VV" id="4ncXOjKRZIB" role="1B3o_S" />
+      <node concept="3clFbS" id="4ncXOjKRZIC" role="3clF47">
+        <node concept="3clFbF" id="sn3u4sB5RG" role="3cqZAp">
+          <node concept="2YIFZM" id="sn3u4sB5Ll" role="3clFbG">
+            <ref role="37wK5l" to="ctgy:~PluginManagerCore.isPluginInstalled(com.intellij.openapi.extensions.PluginId)" resolve="isPluginInstalled" />
+            <ref role="1Pybhc" to="ctgy:~PluginManagerCore" resolve="PluginManagerCore" />
+            <node concept="2YIFZM" id="sn3u4sB5Lm" role="37wK5m">
+              <ref role="37wK5l" to="9ti4:~PluginId.getId(java.lang.String)" resolve="getId" />
+              <ref role="1Pybhc" to="9ti4:~PluginId" resolve="PluginId" />
+              <node concept="Xl_RD" id="sn3u4sB5Ln" role="37wK5m">
+                <property role="Xl_RC" value="jetbrains.mps.coderules" />
+              </node>
+            </node>
+          </node>
+        </node>
+      </node>
+    </node>
+    <node concept="2tJIrI" id="4ncXOjKRu8b" role="jymVt" />
+    <node concept="3Tm1VV" id="4ncXOjKRu7h" role="1B3o_S" />
+  </node>
 </model>
 

coderules/solutions/jetbrains.mps.coderules/jetbrains.mps.coderules.msd

@@ -30,6 +30,7 @@
     <dependency reexport="false">742f6602-5a2f-4313-aa6e-ae1cd4ffdc61(MPS.Platform)</dependency>
     <dependency reexport="true">f113d56b-63e3-4120-a89c-2f5dcb8c6290(jetbrains.mps.coderules.runtime)</dependency>
     <dependency reexport="false">66887915-4d9e-4e24-bd35-19eb55fb75c2(jetbrains.mps.coderules.ideaplugin)</dependency>
+    <dependency reexport="false">6998f568-f0e9-473b-b4a8-9efb6499fc8d(jetbrains.mps.coderules.typechecking)</dependency>
   </dependencies>
   <languageVersions>
     <language slang="l:f3061a53-9226-4cc5-a443-f952ceaf5816:jetbrains.mps.baseLanguage" version="12" />
@@ -60,9 +61,12 @@
     <module reference="f97d84b2-8bad-4fdd-8ede-da17b3eacf4c(jetbrains.mps.coderules)" version="0" />
     <module reference="66887915-4d9e-4e24-bd35-19eb55fb75c2(jetbrains.mps.coderules.ideaplugin)" version="0" />
     <module reference="f113d56b-63e3-4120-a89c-2f5dcb8c6290(jetbrains.mps.coderules.runtime)" version="0" />
+    <module reference="6998f568-f0e9-473b-b4a8-9efb6499fc8d(jetbrains.mps.coderules.typechecking)" version="0" />
+    <module reference="bfbdd672-7ff5-403f-af4f-16da5226f34c(jetbrains.mps.findUsages.runtime)" version="0" />
     <module reference="26e8f4ce-2a35-4f44-8065-e5ba154b18e9(jetbrains.mps.lang.coderules.runtime)" version="0" />
     <module reference="ff6372a2-2f45-4ec3-952b-02581666015f(jetbrains.mps.lang.coderules.template)" version="0" />
     <module reference="ceab5195-25ea-4f22-9b92-103b95ca8c0c(jetbrains.mps.lang.core)" version="0" />
+    <module reference="f486b8aa-5b2d-4ec0-8ef5-8f45d773fb84(jetbrains.mps.lang.typechecking.runtime)" version="0" />
     <module reference="bbf5c548-7111-4a53-a117-cdefc664cf34(jetbrains.mps.logic.reactor)" version="0" />
     <module reference="a5478664-6b44-4c62-a9f7-434f8aa57eee(jetbrains.mps.logic.runtime)" version="0" />
     <module reference="da80355b-a098-4248-9ec8-70d10dd7e9af(jetbrains.mps.reporting.runtime)" version="0" />

coderules/solutions/jetbrains.mps.coderules/models/plugin.mps

@@ -37,6 +37,7 @@
     <import index="i5cy" ref="6354ebe7-c22a-4a0f-ac54-50b52ab9b065/java:java.util.concurrent.atomic(JDK/)" />
     <import index="fqlx" ref="r:2cc226a9-8a78-4010-b962-823343fd28ff(jetbrains.mps.lang.coderules.aspect)" />
     <import index="m7o5" ref="r:835f8ea3-a800-4588-a80b-1de6d47c2098(jetbrains.mps.coderules.ideaplugin)" />
+    <import index="tj24" ref="r:0fbbb63a-fd15-46e1-8136-78049f6d6e63(jetbrains.mps.coderules.typechecking.service)" />
     <import index="unkn" ref="f97d84b2-8bad-4fdd-8ede-da17b3eacf4c/java:io.reactivex(jetbrains.mps.coderules/)" implicit="true" />
   </imports>
   <registry>
@@ -7257,9 +7258,9 @@
     <node concept="2uRRBj" id="2tFDlV2cifr" role="2uRRBE">
       <node concept="3clFbS" id="2tFDlV2cifs" role="2VODD2">
         <node concept="3clFbF" id="2tFDlV2dcFL" role="3cqZAp">
-          <node concept="2YIFZM" id="2CPBoDBWNuS" role="3clFbG">
+          <node concept="2YIFZM" id="1QxYy7KdHPQ" role="3clFbG">
-            <ref role="37wK5l" to="m7o5:2tFDlV2co4z" resolve="init" />
+            <ref role="37wK5l" to="tj24:2tFDlV2co4z" resolve="init" />
-            <ref role="1Pybhc" to="m7o5:7iCybvToiT5" resolve="Config" />
+            <ref role="1Pybhc" to="tj24:7iCybvToiT5" resolve="Config" />
           </node>
         </node>
       </node>
@@ -7267,9 +7268,9 @@
     <node concept="2uRRBI" id="2tFDlV2cifL" role="2uRRBF">
       <node concept="3clFbS" id="2tFDlV2cifM" role="2VODD2">
         <node concept="3clFbF" id="2tFDlV2deiY" role="3cqZAp">
-          <node concept="2YIFZM" id="2CPBoDBWNuT" role="3clFbG">
+          <node concept="2YIFZM" id="1QxYy7KdHPR" role="3clFbG">
-            <ref role="37wK5l" to="m7o5:2tFDlV2ct0G" resolve="dispose" />
+            <ref role="37wK5l" to="tj24:2tFDlV2ct0G" resolve="dispose" />
-            <ref role="1Pybhc" to="m7o5:7iCybvToiT5" resolve="Config" />
+            <ref role="1Pybhc" to="tj24:7iCybvToiT5" resolve="Config" />
           </node>
         </node>
       </node>

coderules/solutions/jetbrains.mps.coderules/models/service.mps

@@ -43,6 +43,7 @@
     <import index="bj13" ref="bbf5c548-7111-4a53-a117-cdefc664cf34/java:jetbrains.mps.logic.reactor.logical(jetbrains.mps.logic.reactor/)" />
     <import index="m7o5" ref="r:835f8ea3-a800-4588-a80b-1de6d47c2098(jetbrains.mps.coderules.ideaplugin)" />
     <import index="bid0" ref="bbf5c548-7111-4a53-a117-cdefc664cf34/java:jetbrains.mps.logic.reactor.util(jetbrains.mps.logic.reactor/)" />
+    <import index="tj24" ref="r:0fbbb63a-fd15-46e1-8136-78049f6d6e63(jetbrains.mps.coderules.typechecking.service)" />
   </imports>
   <registry>
     <language id="f3061a53-9226-4cc5-a443-f952ceaf5816" name="jetbrains.mps.baseLanguage">
@@ -1252,7 +1253,7 @@
       <node concept="3uibUv" id="2j1FRbwXqde" role="1tU5fm">
         <ref role="3uigEE" node="2daneBOX7Tv" resolve="Effect.ValueKey" />
         <node concept="3uibUv" id="4Wn$Hm2h_mT" role="11_B2D">
-          <ref role="3uigEE" to="m7o5:7iCybvToiT5" resolve="Config" />
+          <ref role="3uigEE" to="tj24:7iCybvToiT5" resolve="Config" />
         </node>
       </node>
       <node concept="2YIFZM" id="2j1FRbwXrqI" role="33vP2m">
@@ -1262,7 +1263,7 @@
           <property role="Xl_RC" value="config" />
         </node>
         <node concept="3uibUv" id="4Wn$Hm2h_Sg" role="3PaCim">
-          <ref role="3uigEE" to="m7o5:7iCybvToiT5" resolve="Config" />
+          <ref role="3uigEE" to="tj24:7iCybvToiT5" resolve="Config" />
         </node>
       </node>
     </node>
@@ -4318,7 +4319,7 @@
       <node concept="37vLTG" id="MFuM6R00U7" role="3clF46">
         <property role="TrG5h" value="config" />
         <node concept="3uibUv" id="4Wn$Hm2hUiS" role="1tU5fm">
-          <ref role="3uigEE" to="m7o5:7iCybvToiT5" resolve="Config" />
+          <ref role="3uigEE" to="tj24:7iCybvToiT5" resolve="Config" />
         </node>
       </node>
       <node concept="3uibUv" id="MFuM6R00U9" role="3clF45">
@@ -4714,12 +4715,12 @@
             </node>
             <node concept="3K4zz7" id="23Habm5FSDD" role="33vP2m">
               <node concept="2OqwBi" id="23Habm5FSDH" role="3K4Cdx">
-                <node concept="10M0yZ" id="23Habm5FSDI" role="2Oq$k0">
+                <node concept="10M0yZ" id="1QxYy7KdHPO" role="2Oq$k0">
-                  <ref role="3cqZAo" to="m7o5:23Habm5BnXh" resolve="PROFILING_ENABLED" />
+                  <ref role="3cqZAo" to="tj24:23Habm5BnXh" resolve="PROFILING_ENABLED" />
-                  <ref role="1PxDUh" to="m7o5:39eNUjm3TK$" resolve="CoderulesOptions" />
+                  <ref role="1PxDUh" to="tj24:39eNUjm3TK$" resolve="CoderulesOptions" />
                 </node>
                 <node concept="liA8E" id="23Habm5FSDJ" role="2OqNvi">
-                  <ref role="37wK5l" to="m7o5:7iCybvT$ANq" resolve="get" />
+                  <ref role="37wK5l" to="tj24:7iCybvT$ANq" resolve="get" />
                   <node concept="37vLTw" id="23Habm5FSDK" role="37wK5m">
                     <ref role="3cqZAo" node="MFuM6R0ncG" resolve="config" />
                   </node>
@@ -5378,7 +5379,7 @@
       <property role="TrG5h" value="config" />
       <node concept="3Tm6S6" id="MFuM6R0ncH" role="1B3o_S" />
       <node concept="3uibUv" id="4Wn$Hm2hROv" role="1tU5fm">
-        <ref role="3uigEE" to="m7o5:7iCybvToiT5" resolve="Config" />
+        <ref role="3uigEE" to="tj24:7iCybvToiT5" resolve="Config" />
       </node>
     </node>
     <node concept="3Tm1VV" id="1pPth$l_TFW" role="1B3o_S" />

settings.gradle

@@ -2,7 +2,6 @@ include 'coderules:solutions:jetbrains.mps.logic.reactor'
 include 'coderules:solutions:jetbrains.mps.logic.test'
 include 'coderules:solutions:jetbrains.mps.coderules.typechecking'
 include 'coderules:solutions:jetbrains.mps.coderules'
-include 'coderules:solutions:jetbrains.mps.coderules.ideaplugin'
 include 'samples:mpscore'
 include 'samples:lambdacalc'
 include 'samples:fitch'