From 3abb81718614e2917b922a67dabe894e27e81bb7 Mon Sep 17 00:00:00 2001 From: danielratiu Date: Sun, 12 Jan 2025 21:59:02 +0100 Subject: [PATCH] cleanup deprecated code; improved linters; updated dependency to mpsqa (#133) * cleanup deprecated code * req.odd: cleanup * req.odd: cleanup * repo_admin: added new linters gradle.lockfile: updated dependency to mpsqa * safety.tutorial: fixed empty line in ontology definitions * safety: cleanup code to get green linters * build: fixed dependencies * build: temporary commented out the test "test.com.fasten.safety.doc2word" --------- Co-authored-by: ratiud --- ...m.fasten.meta.linters.filesystem_level.mps | 81 +++++++- ....linters.landev_aspects.behavior_level.mps | 56 +++++- ...inters.landev_aspects.expression_level.mps | 17 +- ...linters.landev_aspects.generator_level.mps | 32 ++- .../com.fasten.meta.linters.model_level.mps | 65 +++++- .../com.fasten.meta.linters.module_level.mps | 144 +++++++++++++- .../models/com.fasten.req.odd.editor.mps | 188 ++---------------- .../models/com.fasten.req.odd.structure.mps | 151 +------------- .../com.fasten.safety.bayesian_network.mpl | 5 +- ....fasten.safety.bayesian_network.editor.mps | 1 - ...com.fasten.safety.fmea.iso26262.editor.mps | 1 - .../com.fasten.safety.fmea.mpl | 4 +- .../models/com.fasten.safety.fmea.editor.mps | 1 - ...om.fasten.safety.hiphops.arch.behavior.mps | 54 ++++- ...eddr.formal.safety.argument.modelquery.mpl | 1 - ...rmal.safety.argument.modelquery.editor.mps | 1 - ...r.formal.safety.argument.visualisation.mpl | 3 +- ...l.safety.argument.visualisation.editor.mps | 1 - ....mbeddr.formal.safety.gsn.ext.behavior.mps | 1 - .../com.mbeddr.formal.safety.iso26262.mpl | 4 +- ...m.mbeddr.formal.safety.iso26262.editor.mps | 1 - .../models/com.fasten.assurance.build.mps | 30 +-- ...sten.safety.hiphops.sandbox._010_smoke.mps | 44 ++-- .../models/com.mbeddr.formal.safety.build.mps | 38 +--- ...y.doc2word._100_gsn_documents_testdata.mps | 2 +- ...m.mpsbasics.editor.utils.notifications.mps | 3 +- ...mpsbasics.project.utils.project_finder.mps | 39 +++- ...rnecki_operational_world_model_for_ads.mps | 68 +++---- ..._odd.ontologies.phil_koopman_odd_paper.mps | 6 +- gradle.lockfile | 2 +- 30 files changed, 543 insertions(+), 501 deletions(-) diff --git a/code/languages/com.mbeddr.formal.repo_admin/solutions/com.fasten.meta.linters/models/com.fasten.meta.linters.filesystem_level.mps b/code/languages/com.mbeddr.formal.repo_admin/solutions/com.fasten.meta.linters/models/com.fasten.meta.linters.filesystem_level.mps index f80933191..0960cb680 100644 --- a/code/languages/com.mbeddr.formal.repo_admin/solutions/com.fasten.meta.linters/models/com.fasten.meta.linters.filesystem_level.mps +++ b/code/languages/com.mbeddr.formal.repo_admin/solutions/com.fasten.meta.linters/models/com.fasten.meta.linters.filesystem_level.mps @@ -12,6 +12,11 @@ + + + + + @@ -23,12 +28,18 @@ - - - + + + + + + + + + @@ -48,7 +59,7 @@ - + @@ -60,6 +71,68 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + diff --git a/code/languages/com.mbeddr.formal.repo_admin/solutions/com.fasten.meta.linters/models/com.fasten.meta.linters.landev_aspects.behavior_level.mps b/code/languages/com.mbeddr.formal.repo_admin/solutions/com.fasten.meta.linters/models/com.fasten.meta.linters.landev_aspects.behavior_level.mps index 42c803ce9..3bf3b07a0 100644 --- a/code/languages/com.mbeddr.formal.repo_admin/solutions/com.fasten.meta.linters/models/com.fasten.meta.linters.landev_aspects.behavior_level.mps +++ b/code/languages/com.mbeddr.formal.repo_admin/solutions/com.fasten.meta.linters/models/com.fasten.meta.linters.landev_aspects.behavior_level.mps @@ -12,6 +12,11 @@ + + + + + @@ -23,12 +28,12 @@ - - - + + + @@ -45,7 +50,7 @@ - + @@ -58,5 +63,48 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + diff --git a/code/languages/com.mbeddr.formal.repo_admin/solutions/com.fasten.meta.linters/models/com.fasten.meta.linters.landev_aspects.expression_level.mps b/code/languages/com.mbeddr.formal.repo_admin/solutions/com.fasten.meta.linters/models/com.fasten.meta.linters.landev_aspects.expression_level.mps index e547d9c73..2f4062b91 100644 --- a/code/languages/com.mbeddr.formal.repo_admin/solutions/com.fasten.meta.linters/models/com.fasten.meta.linters.landev_aspects.expression_level.mps +++ b/code/languages/com.mbeddr.formal.repo_admin/solutions/com.fasten.meta.linters/models/com.fasten.meta.linters.landev_aspects.expression_level.mps @@ -23,9 +23,6 @@ - - - @@ -45,7 +42,6 @@ - @@ -58,5 +54,18 @@ + + + + + + + + + + + + + diff --git a/code/languages/com.mbeddr.formal.repo_admin/solutions/com.fasten.meta.linters/models/com.fasten.meta.linters.landev_aspects.generator_level.mps b/code/languages/com.mbeddr.formal.repo_admin/solutions/com.fasten.meta.linters/models/com.fasten.meta.linters.landev_aspects.generator_level.mps index 84b2e236b..600862dea 100644 --- a/code/languages/com.mbeddr.formal.repo_admin/solutions/com.fasten.meta.linters/models/com.fasten.meta.linters.landev_aspects.generator_level.mps +++ b/code/languages/com.mbeddr.formal.repo_admin/solutions/com.fasten.meta.linters/models/com.fasten.meta.linters.landev_aspects.generator_level.mps @@ -23,12 +23,18 @@ - - - + + + + + + + + + @@ -45,7 +51,7 @@ - + @@ -57,6 +63,24 @@ + + + + + + + + + + + + + + + + + + diff --git a/code/languages/com.mbeddr.formal.repo_admin/solutions/com.fasten.meta.linters/models/com.fasten.meta.linters.model_level.mps b/code/languages/com.mbeddr.formal.repo_admin/solutions/com.fasten.meta.linters/models/com.fasten.meta.linters.model_level.mps index e3ca40220..9ca54e6c6 100644 --- a/code/languages/com.mbeddr.formal.repo_admin/solutions/com.fasten.meta.linters/models/com.fasten.meta.linters.model_level.mps +++ b/code/languages/com.mbeddr.formal.repo_admin/solutions/com.fasten.meta.linters/models/com.fasten.meta.linters.model_level.mps @@ -22,12 +22,18 @@ - - - + + + + + + + + + @@ -50,7 +56,7 @@ - + @@ -62,6 +68,57 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + diff --git a/code/languages/com.mbeddr.formal.repo_admin/solutions/com.fasten.meta.linters/models/com.fasten.meta.linters.module_level.mps b/code/languages/com.mbeddr.formal.repo_admin/solutions/com.fasten.meta.linters/models/com.fasten.meta.linters.module_level.mps index 42f8055f0..d52179ef9 100644 --- a/code/languages/com.mbeddr.formal.repo_admin/solutions/com.fasten.meta.linters/models/com.fasten.meta.linters.module_level.mps +++ b/code/languages/com.mbeddr.formal.repo_admin/solutions/com.fasten.meta.linters/models/com.fasten.meta.linters.module_level.mps @@ -11,6 +11,14 @@ + + + + + + + + @@ -22,9 +30,6 @@ - - - @@ -68,12 +73,20 @@ + + + + + + + + - + @@ -85,6 +98,129 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + diff --git a/code/languages/com.mbeddr.formal.req/languages/com.fasten.req.odd/models/com.fasten.req.odd.editor.mps b/code/languages/com.mbeddr.formal.req/languages/com.fasten.req.odd/models/com.fasten.req.odd.editor.mps index 1eb2c1a84..9d0fc6828 100644 --- a/code/languages/com.mbeddr.formal.req/languages/com.fasten.req.odd/models/com.fasten.req.odd.editor.mps +++ b/code/languages/com.mbeddr.formal.req/languages/com.fasten.req.odd/models/com.fasten.req.odd.editor.mps @@ -11,9 +11,8 @@ - - + @@ -29,7 +28,6 @@ - @@ -65,8 +63,6 @@ - - @@ -188,49 +184,6 @@ - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - @@ -241,68 +194,21 @@ + + + + + + + + + + + - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - @@ -451,76 +357,6 @@ - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - diff --git a/code/languages/com.mbeddr.formal.req/languages/com.fasten.req.odd/models/com.fasten.req.odd.structure.mps b/code/languages/com.mbeddr.formal.req/languages/com.fasten.req.odd/models/com.fasten.req.odd.structure.mps index 426c3047f..18712e985 100644 --- a/code/languages/com.mbeddr.formal.req/languages/com.fasten.req.odd/models/com.fasten.req.odd.structure.mps +++ b/code/languages/com.mbeddr.formal.req/languages/com.fasten.req.odd/models/com.fasten.req.odd.structure.mps @@ -123,92 +123,6 @@ - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - @@ -305,49 +219,6 @@ - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - @@ -361,7 +232,7 @@ - + @@ -397,9 +268,6 @@ - - - @@ -498,23 +366,6 @@ - - - - - - - - - - - - - - - - - diff --git a/code/languages/com.mbeddr.formal.safety/languages/com.fasten.safety.bayesian_network/com.fasten.safety.bayesian_network.mpl b/code/languages/com.mbeddr.formal.safety/languages/com.fasten.safety.bayesian_network/com.fasten.safety.bayesian_network.mpl index fd2f668c1..bcb7f826c 100644 --- a/code/languages/com.mbeddr.formal.safety/languages/com.fasten.safety.bayesian_network/com.fasten.safety.bayesian_network.mpl +++ b/code/languages/com.mbeddr.formal.safety/languages/com.fasten.safety.bayesian_network/com.fasten.safety.bayesian_network.mpl @@ -1,7 +1,7 @@ - + @@ -12,10 +12,10 @@ - 83ed2dfe-f724-46cc-852a-dce086daee3f(com.mbeddr.formal.base) 6354ebe7-c22a-4a0f-ac54-50b52ab9b065(JDK) 8865b7a8-5271-43d3-884c-6fd1d9cfdd34(MPS.OpenAPI) 792be022-0a7a-4b28-bfd8-b1b2d347b772(com.mpsbasics.core) + 1ed103c3-3aa6-49b7-9c21-6765ee11f224(MPS.Editor) @@ -62,7 +62,6 @@ - diff --git a/code/languages/com.mbeddr.formal.safety/languages/com.fasten.safety.bayesian_network/models/com.fasten.safety.bayesian_network.editor.mps b/code/languages/com.mbeddr.formal.safety/languages/com.fasten.safety.bayesian_network/models/com.fasten.safety.bayesian_network.editor.mps index 967c5cd7f..55388b0a5 100644 --- a/code/languages/com.mbeddr.formal.safety/languages/com.fasten.safety.bayesian_network/models/com.fasten.safety.bayesian_network.editor.mps +++ b/code/languages/com.mbeddr.formal.safety/languages/com.fasten.safety.bayesian_network/models/com.fasten.safety.bayesian_network.editor.mps @@ -9,7 +9,6 @@ - diff --git a/code/languages/com.mbeddr.formal.safety/languages/com.fasten.safety.fmea.iso26262/models/com.fasten.safety.fmea.iso26262.editor.mps b/code/languages/com.mbeddr.formal.safety/languages/com.fasten.safety.fmea.iso26262/models/com.fasten.safety.fmea.iso26262.editor.mps index 2313f41c9..6e74ce3eb 100644 --- a/code/languages/com.mbeddr.formal.safety/languages/com.fasten.safety.fmea.iso26262/models/com.fasten.safety.fmea.iso26262.editor.mps +++ b/code/languages/com.mbeddr.formal.safety/languages/com.fasten.safety.fmea.iso26262/models/com.fasten.safety.fmea.iso26262.editor.mps @@ -3,7 +3,6 @@ - diff --git a/code/languages/com.mbeddr.formal.safety/languages/com.fasten.safety.fmea/com.fasten.safety.fmea.mpl b/code/languages/com.mbeddr.formal.safety/languages/com.fasten.safety.fmea/com.fasten.safety.fmea.mpl index 4a53f517f..9d6644004 100644 --- a/code/languages/com.mbeddr.formal.safety/languages/com.fasten.safety.fmea/com.fasten.safety.fmea.mpl +++ b/code/languages/com.mbeddr.formal.safety/languages/com.fasten.safety.fmea/com.fasten.safety.fmea.mpl @@ -1,7 +1,7 @@ - + @@ -13,7 +13,6 @@ 92d2ea16-5a42-4fdf-a676-c7604efe3504(de.slisson.mps.richtext) - 83ed2dfe-f724-46cc-852a-dce086daee3f(com.mbeddr.formal.base) 792be022-0a7a-4b28-bfd8-b1b2d347b772(com.mpsbasics.core) @@ -60,7 +59,6 @@ - diff --git a/code/languages/com.mbeddr.formal.safety/languages/com.fasten.safety.fmea/models/com.fasten.safety.fmea.editor.mps b/code/languages/com.mbeddr.formal.safety/languages/com.fasten.safety.fmea/models/com.fasten.safety.fmea.editor.mps index 0e0f546e8..aacd08136 100644 --- a/code/languages/com.mbeddr.formal.safety/languages/com.fasten.safety.fmea/models/com.fasten.safety.fmea.editor.mps +++ b/code/languages/com.mbeddr.formal.safety/languages/com.fasten.safety.fmea/models/com.fasten.safety.fmea.editor.mps @@ -10,7 +10,6 @@ - diff --git a/code/languages/com.mbeddr.formal.safety/languages/com.fasten.safety.hiphops.arch/models/com.fasten.safety.hiphops.arch.behavior.mps b/code/languages/com.mbeddr.formal.safety/languages/com.fasten.safety.hiphops.arch/models/com.fasten.safety.hiphops.arch.behavior.mps index ab9a239a3..a641a250a 100644 --- a/code/languages/com.mbeddr.formal.safety/languages/com.fasten.safety.hiphops.arch/models/com.fasten.safety.hiphops.arch.behavior.mps +++ b/code/languages/com.mbeddr.formal.safety/languages/com.fasten.safety.hiphops.arch/models/com.fasten.safety.hiphops.arch.behavior.mps @@ -16,6 +16,7 @@ + @@ -41,6 +42,9 @@ + + + @@ -113,12 +117,6 @@ - - - - - - @@ -240,6 +238,50 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + diff --git a/code/languages/com.mbeddr.formal.safety/languages/com.mbeddr.formal.safety.argument.modelquery/com.mbeddr.formal.safety.argument.modelquery.mpl b/code/languages/com.mbeddr.formal.safety/languages/com.mbeddr.formal.safety.argument.modelquery/com.mbeddr.formal.safety.argument.modelquery.mpl index de09622b4..cbd97b756 100644 --- a/code/languages/com.mbeddr.formal.safety/languages/com.mbeddr.formal.safety.argument.modelquery/com.mbeddr.formal.safety.argument.modelquery.mpl +++ b/code/languages/com.mbeddr.formal.safety/languages/com.mbeddr.formal.safety.argument.modelquery/com.mbeddr.formal.safety.argument.modelquery.mpl @@ -83,7 +83,6 @@ e8a04d94-4307-4f88-95a2-25f7c4f39437(com.mbeddr.formal.safety.gsn) 6354ebe7-c22a-4a0f-ac54-50b52ab9b065(JDK) - 83ed2dfe-f724-46cc-852a-dce086daee3f(com.mbeddr.formal.base) f3061a53-9226-4cc5-a443-f952ceaf5816(jetbrains.mps.baseLanguage) 6ed54515-acc8-4d1e-a16c-9fd6cfe951ea(MPS.Core) 8865b7a8-5271-43d3-884c-6fd1d9cfdd34(MPS.OpenAPI) diff --git a/code/languages/com.mbeddr.formal.safety/languages/com.mbeddr.formal.safety.argument.modelquery/models/com.mbeddr.formal.safety.argument.modelquery.editor.mps b/code/languages/com.mbeddr.formal.safety/languages/com.mbeddr.formal.safety.argument.modelquery/models/com.mbeddr.formal.safety.argument.modelquery.editor.mps index 04c01d8a4..7e8d14e5a 100644 --- a/code/languages/com.mbeddr.formal.safety/languages/com.mbeddr.formal.safety.argument.modelquery/models/com.mbeddr.formal.safety.argument.modelquery.editor.mps +++ b/code/languages/com.mbeddr.formal.safety/languages/com.mbeddr.formal.safety.argument.modelquery/models/com.mbeddr.formal.safety.argument.modelquery.editor.mps @@ -7,7 +7,6 @@ - diff --git a/code/languages/com.mbeddr.formal.safety/languages/com.mbeddr.formal.safety.argument.visualisation/com.mbeddr.formal.safety.argument.visualisation.mpl b/code/languages/com.mbeddr.formal.safety/languages/com.mbeddr.formal.safety.argument.visualisation/com.mbeddr.formal.safety.argument.visualisation.mpl index bd2a74453..9fe23eeee 100644 --- a/code/languages/com.mbeddr.formal.safety/languages/com.mbeddr.formal.safety.argument.visualisation/com.mbeddr.formal.safety.argument.visualisation.mpl +++ b/code/languages/com.mbeddr.formal.safety/languages/com.mbeddr.formal.safety.argument.visualisation/com.mbeddr.formal.safety.argument.visualisation.mpl @@ -1,7 +1,7 @@ - + @@ -13,7 +13,6 @@ e8a04d94-4307-4f88-95a2-25f7c4f39437(com.mbeddr.formal.safety.gsn) - 83ed2dfe-f724-46cc-852a-dce086daee3f(com.mbeddr.formal.base) 6354ebe7-c22a-4a0f-ac54-50b52ab9b065(JDK) 56f134c7-a829-428d-9119-715369c69768(org.mpsqa.treemap.lib) 8865b7a8-5271-43d3-884c-6fd1d9cfdd34(MPS.OpenAPI) diff --git a/code/languages/com.mbeddr.formal.safety/languages/com.mbeddr.formal.safety.argument.visualisation/models/com.mbeddr.formal.safety.argument.visualisation.editor.mps b/code/languages/com.mbeddr.formal.safety/languages/com.mbeddr.formal.safety.argument.visualisation/models/com.mbeddr.formal.safety.argument.visualisation.editor.mps index d81636e77..23b6f8cd0 100644 --- a/code/languages/com.mbeddr.formal.safety/languages/com.mbeddr.formal.safety.argument.visualisation/models/com.mbeddr.formal.safety.argument.visualisation.editor.mps +++ b/code/languages/com.mbeddr.formal.safety/languages/com.mbeddr.formal.safety.argument.visualisation/models/com.mbeddr.formal.safety.argument.visualisation.editor.mps @@ -8,7 +8,6 @@ - diff --git a/code/languages/com.mbeddr.formal.safety/languages/com.mbeddr.formal.safety.gsn.ext/models/com.mbeddr.formal.safety.gsn.ext.behavior.mps b/code/languages/com.mbeddr.formal.safety/languages/com.mbeddr.formal.safety.gsn.ext/models/com.mbeddr.formal.safety.gsn.ext.behavior.mps index f87cc0298..9dbcff6a6 100644 --- a/code/languages/com.mbeddr.formal.safety/languages/com.mbeddr.formal.safety.gsn.ext/models/com.mbeddr.formal.safety.gsn.ext.behavior.mps +++ b/code/languages/com.mbeddr.formal.safety/languages/com.mbeddr.formal.safety.gsn.ext/models/com.mbeddr.formal.safety.gsn.ext.behavior.mps @@ -14,7 +14,6 @@ - diff --git a/code/languages/com.mbeddr.formal.safety/languages/com.mbeddr.formal.safety.iso26262/com.mbeddr.formal.safety.iso26262.mpl b/code/languages/com.mbeddr.formal.safety/languages/com.mbeddr.formal.safety.iso26262/com.mbeddr.formal.safety.iso26262.mpl index e6fd48b50..6c0cd8c60 100644 --- a/code/languages/com.mbeddr.formal.safety/languages/com.mbeddr.formal.safety.iso26262/com.mbeddr.formal.safety.iso26262.mpl +++ b/code/languages/com.mbeddr.formal.safety/languages/com.mbeddr.formal.safety.iso26262/com.mbeddr.formal.safety.iso26262.mpl @@ -1,7 +1,7 @@ - + @@ -13,7 +13,6 @@ 17da266c-02d9-4bbd-b69b-8a656b49f45c(com.mbeddr.formal.safety.hara) - 83ed2dfe-f724-46cc-852a-dce086daee3f(com.mbeddr.formal.base) c7fb639f-be78-4307-89b0-b5959c3fa8c8(jetbrains.mps.lang.text) 792be022-0a7a-4b28-bfd8-b1b2d347b772(com.mpsbasics.core) @@ -64,7 +63,6 @@ - diff --git a/code/languages/com.mbeddr.formal.safety/languages/com.mbeddr.formal.safety.iso26262/models/com.mbeddr.formal.safety.iso26262.editor.mps b/code/languages/com.mbeddr.formal.safety/languages/com.mbeddr.formal.safety.iso26262/models/com.mbeddr.formal.safety.iso26262.editor.mps index b175b3b25..f73d85480 100644 --- a/code/languages/com.mbeddr.formal.safety/languages/com.mbeddr.formal.safety.iso26262/models/com.mbeddr.formal.safety.iso26262.editor.mps +++ b/code/languages/com.mbeddr.formal.safety/languages/com.mbeddr.formal.safety.iso26262/models/com.mbeddr.formal.safety.iso26262.editor.mps @@ -9,7 +9,6 @@ - diff --git a/code/languages/com.mbeddr.formal.safety/solutions/com.fasten.assurance.build/models/com.fasten.assurance.build.mps b/code/languages/com.mbeddr.formal.safety/solutions/com.fasten.assurance.build/models/com.fasten.assurance.build.mps index 9b81faaef..4975ab54c 100644 --- a/code/languages/com.mbeddr.formal.safety/solutions/com.fasten.assurance.build/models/com.fasten.assurance.build.mps +++ b/code/languages/com.mbeddr.formal.safety/solutions/com.fasten.assurance.build/models/com.fasten.assurance.build.mps @@ -4581,11 +4581,6 @@ - - - - - @@ -4629,6 +4624,11 @@ + + + + + @@ -5804,11 +5804,6 @@ - - - - - @@ -6422,11 +6417,6 @@ - - - - - @@ -7142,11 +7132,6 @@ - - - - - @@ -7757,11 +7742,6 @@ - - - - - diff --git a/code/languages/com.mbeddr.formal.safety/solutions/com.fasten.safety.hiphops.sandbox/models/com.fasten.safety.hiphops.sandbox._010_smoke.mps b/code/languages/com.mbeddr.formal.safety/solutions/com.fasten.safety.hiphops.sandbox/models/com.fasten.safety.hiphops.sandbox._010_smoke.mps index d78d39f7f..8580ca59c 100644 --- a/code/languages/com.mbeddr.formal.safety/solutions/com.fasten.safety.hiphops.sandbox/models/com.fasten.safety.hiphops.sandbox._010_smoke.mps +++ b/code/languages/com.mbeddr.formal.safety/solutions/com.fasten.safety.hiphops.sandbox/models/com.fasten.safety.hiphops.sandbox._010_smoke.mps @@ -1125,7 +1125,7 @@ - + @@ -1143,7 +1143,7 @@ - + @@ -1161,7 +1161,7 @@ - + @@ -1178,21 +1178,13 @@ - - + + - - - - - - - - @@ -1201,7 +1193,7 @@ - + @@ -1218,21 +1210,13 @@ - - + + - - - - - - - - @@ -1261,6 +1245,18 @@ + + + + + + + + + + + + diff --git a/code/languages/com.mbeddr.formal.safety/solutions/com.mbeddr.formal.safety.build/models/com.mbeddr.formal.safety.build.mps b/code/languages/com.mbeddr.formal.safety/solutions/com.mbeddr.formal.safety.build/models/com.mbeddr.formal.safety.build.mps index c3255227e..b6e6fb84f 100644 --- a/code/languages/com.mbeddr.formal.safety/solutions/com.mbeddr.formal.safety.build/models/com.mbeddr.formal.safety.build.mps +++ b/code/languages/com.mbeddr.formal.safety/solutions/com.mbeddr.formal.safety.build/models/com.mbeddr.formal.safety.build.mps @@ -12351,11 +12351,6 @@ - - - - - @@ -12695,11 +12690,6 @@ - - - - - @@ -13124,11 +13114,6 @@ - - - - - @@ -13632,11 +13617,6 @@ - - - - - @@ -15184,11 +15164,6 @@ - - - - - @@ -15232,6 +15207,11 @@ + + + + + @@ -20271,8 +20251,12 @@ - - + + + + + + diff --git a/code/languages/com.mbeddr.formal.safety/tests/test.com.fasten.safety.doc2word/models/test.com.fasten.safety.doc2word._100_gsn_documents_testdata.mps b/code/languages/com.mbeddr.formal.safety/tests/test.com.fasten.safety.doc2word/models/test.com.fasten.safety.doc2word._100_gsn_documents_testdata.mps index 77ce281b6..d7e392700 100644 --- a/code/languages/com.mbeddr.formal.safety/tests/test.com.fasten.safety.doc2word/models/test.com.fasten.safety.doc2word._100_gsn_documents_testdata.mps +++ b/code/languages/com.mbeddr.formal.safety/tests/test.com.fasten.safety.doc2word/models/test.com.fasten.safety.doc2word._100_gsn_documents_testdata.mps @@ -221,7 +221,7 @@ - + diff --git a/code/languages/com.mpsbasics/solutions/com.mpsbasics.editor.utils/models/com.mpsbasics.editor.utils.notifications.mps b/code/languages/com.mpsbasics/solutions/com.mpsbasics.editor.utils/models/com.mpsbasics.editor.utils.notifications.mps index 85eef701e..6f192c4ed 100644 --- a/code/languages/com.mpsbasics/solutions/com.mpsbasics.editor.utils/models/com.mpsbasics.editor.utils.notifications.mps +++ b/code/languages/com.mpsbasics/solutions/com.mpsbasics.editor.utils/models/com.mpsbasics.editor.utils.notifications.mps @@ -185,7 +185,7 @@ - + @@ -203,7 +203,6 @@ - diff --git a/code/languages/com.mpsbasics/solutions/com.mpsbasics.project.utils/models/com.mpsbasics.project.utils.project_finder.mps b/code/languages/com.mpsbasics/solutions/com.mpsbasics.project.utils/models/com.mpsbasics.project.utils.project_finder.mps index 0d610ee15..63ac45c2b 100644 --- a/code/languages/com.mpsbasics/solutions/com.mpsbasics.project.utils/models/com.mpsbasics.project.utils.project_finder.mps +++ b/code/languages/com.mpsbasics/solutions/com.mpsbasics.project.utils/models/com.mpsbasics.project.utils.project_finder.mps @@ -22,6 +22,8 @@ + + @@ -128,6 +130,9 @@ + + + @@ -181,6 +186,35 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -194,9 +228,8 @@ - - - + + diff --git a/code/tutorial-safety/solutions/com.mbeddr.formal.safety.tutorial/models/_010_features._015_odd.ontologies.czarnecki_operational_world_model_for_ads.mps b/code/tutorial-safety/solutions/com.mbeddr.formal.safety.tutorial/models/_010_features._015_odd.ontologies.czarnecki_operational_world_model_for_ads.mps index 00e18023a..090686bf3 100644 --- a/code/tutorial-safety/solutions/com.mbeddr.formal.safety.tutorial/models/_010_features._015_odd.ontologies.czarnecki_operational_world_model_for_ads.mps +++ b/code/tutorial-safety/solutions/com.mbeddr.formal.safety.tutorial/models/_010_features._015_odd.ontologies.czarnecki_operational_world_model_for_ads.mps @@ -16,10 +16,8 @@ - - - + @@ -671,7 +669,7 @@ - + @@ -705,7 +703,7 @@ - + @@ -721,7 +719,7 @@ - + @@ -798,7 +796,7 @@ - + @@ -827,12 +825,12 @@ - + - + @@ -845,7 +843,7 @@ - + @@ -870,7 +868,7 @@ - + @@ -963,7 +961,7 @@ - + @@ -1032,7 +1030,7 @@ - + @@ -1053,7 +1051,7 @@ - + @@ -1346,7 +1344,7 @@ - + @@ -1359,7 +1357,7 @@ - + @@ -1816,7 +1814,7 @@ - + @@ -1861,7 +1859,7 @@ - + @@ -1894,7 +1892,7 @@ - + @@ -1935,7 +1933,7 @@ - + @@ -1963,7 +1961,7 @@ - + @@ -2016,7 +2014,7 @@ - + @@ -2066,7 +2064,7 @@ - + @@ -2087,7 +2085,7 @@ - + @@ -2108,7 +2106,7 @@ - + @@ -2192,7 +2190,7 @@ - + @@ -2236,7 +2234,7 @@ - + @@ -2389,7 +2387,7 @@ - + @@ -2540,7 +2538,7 @@ - + @@ -2835,7 +2833,7 @@ - + @@ -2851,7 +2849,7 @@ - + @@ -2875,14 +2873,6 @@ - - - - - - - - diff --git a/code/tutorial-safety/solutions/com.mbeddr.formal.safety.tutorial/models/_010_features._015_odd.ontologies.phil_koopman_odd_paper.mps b/code/tutorial-safety/solutions/com.mbeddr.formal.safety.tutorial/models/_010_features._015_odd.ontologies.phil_koopman_odd_paper.mps index a7f8023be..cdc921bcc 100644 --- a/code/tutorial-safety/solutions/com.mbeddr.formal.safety.tutorial/models/_010_features._015_odd.ontologies.phil_koopman_odd_paper.mps +++ b/code/tutorial-safety/solutions/com.mbeddr.formal.safety.tutorial/models/_010_features._015_odd.ontologies.phil_koopman_odd_paper.mps @@ -16,10 +16,8 @@ - - - + @@ -72,7 +70,7 @@ - + diff --git a/gradle.lockfile b/gradle.lockfile index 51ca10063..be9557219 100644 --- a/gradle.lockfile +++ b/gradle.lockfile @@ -29,5 +29,5 @@ org.jetbrains.kotlin:kotlin-stdlib-jdk8:1.6.21=executeBackend,generateBackend,mo org.jetbrains.kotlin:kotlin-stdlib:1.6.21=executeBackend,generateBackend,modelcheckBackend,remigrateBackend org.jetbrains.kotlin:kotlin-test:1.6.21=modelcheckBackend org.jetbrains:annotations:13.0=executeBackend,generateBackend,modelcheckBackend,remigrateBackend -org.mpsqa:all-in-one:2023.2.847.4de185f=languageLibs +org.mpsqa:all-in-one:2023.2.915.c22f22f=languageLibs empty=