Skip to content

Commit

Permalink
safety: mini cleanup
Browse files Browse the repository at this point in the history
  • Loading branch information
danielratiu committed Jul 26, 2024
1 parent c3a107c commit 81c5612
Show file tree
Hide file tree
Showing 102 changed files with 175 additions and 206 deletions.
Original file line number Diff line number Diff line change
Expand Up @@ -11,49 +11,6 @@
</facet>
</facets>
<accessoryModels />
<generators>
<generator alias="main" namespace="com.mbeddr.formal.safety.argument.visualisation.generator" uuid="06e5f4e2-b387-4832-b299-6a5dcb5a7370">
<models>
<modelRoot contentPath="${module}/generator" type="default">
<sourceRoot location="templates" />
</modelRoot>
</models>
<facets>
<facet type="java" compile="mps" classes="mps" ext="no">
<classes generated="true" path="${module}/generator/classes_gen" />
</facet>
</facets>
<external-templates />
<languageVersions>
<language slang="l:f3061a53-9226-4cc5-a443-f952ceaf5816:jetbrains.mps.baseLanguage" version="12" />
<language slang="l:fd392034-7849-419d-9071-12563d152375:jetbrains.mps.baseLanguage.closures" version="0" />
<language slang="l:83888646-71ce-4f1c-9c53-c54016f6ad4f:jetbrains.mps.baseLanguage.collections" version="1" />
<language slang="l:f2801650-65d5-424e-bb1b-463a8781b786:jetbrains.mps.baseLanguage.javadoc" version="2" />
<language slang="l:760a0a8c-eabb-4521-8bfd-65db761a9ba3:jetbrains.mps.baseLanguage.logging" version="0" />
<language slang="l:a247e09e-2435-45ba-b8d2-07e93feba96a:jetbrains.mps.baseLanguage.tuples" version="0" />
<language slang="l:ceab5195-25ea-4f22-9b92-103b95ca8c0c:jetbrains.mps.lang.core" version="2" />
<language slang="l:b401a680-8325-4110-8fd3-84331ff25bef:jetbrains.mps.lang.generator" version="4" />
<language slang="l:d7706f63-9be2-479c-a3da-ae92af1e64d5:jetbrains.mps.lang.generator.generationContext" version="2" />
<language slang="l:289fcc83-6543-41e8-a5ca-768235715ce4:jetbrains.mps.lang.generator.generationParameters" version="0" />
<language slang="l:446c26eb-2b7b-4bf0-9b35-f83fa582753e:jetbrains.mps.lang.modelapi" version="0" />
<language slang="l:3a13115c-633c-4c5c-bbcc-75c4219e9555:jetbrains.mps.lang.quotation" version="5" />
<language slang="l:13744753-c81f-424a-9c1b-cf8943bf4e86:jetbrains.mps.lang.sharedConcepts" version="0" />
<language slang="l:7866978e-a0f0-4cc7-81bc-4d213d9375e1:jetbrains.mps.lang.smodel" version="19" />
<language slang="l:c7fb639f-be78-4307-89b0-b5959c3fa8c8:jetbrains.mps.lang.text" version="0" />
<language slang="l:9ded098b-ad6a-4657-bfd9-48636cfe8bc3:jetbrains.mps.lang.traceable" version="0" />
</languageVersions>
<dependencyVersions>
<module reference="3f233e7f-b8a6-46d2-a57f-795d56775243(Annotations)" version="0" />
<module reference="6354ebe7-c22a-4a0f-ac54-50b52ab9b065(JDK)" version="0" />
<module reference="6ed54515-acc8-4d1e-a16c-9fd6cfe951ea(MPS.Core)" version="0" />
<module reference="8865b7a8-5271-43d3-884c-6fd1d9cfdd34(MPS.OpenAPI)" version="0" />
<module reference="04d81d12-7048-4552-9a53-86a271c0f094(com.mbeddr.formal.safety.argument.visualisation)" version="0" />
<module reference="06e5f4e2-b387-4832-b299-6a5dcb5a7370(com.mbeddr.formal.safety.argument.visualisation.generator)" version="0" />
<module reference="ceab5195-25ea-4f22-9b92-103b95ca8c0c(jetbrains.mps.lang.core)" version="0" />
</dependencyVersions>
<mapping-priorities />
</generator>
</generators>
<sourcePath />
<dependencies>
<dependency reexport="false">e8a04d94-4307-4f88-95a2-25f7c4f39437(com.mbeddr.formal.safety.gsn)</dependency>
Expand Down

This file was deleted.

Original file line number Diff line number Diff line change
Expand Up @@ -21,7 +21,6 @@
<dependency reexport="false">56f134c7-a829-428d-9119-715369c69768(org.mpsqa.treemap.lib)</dependency>
<dependency reexport="false">fde86f49-830f-414f-9c22-2a9e300eaba6(com.mpsbasics.jira)</dependency>
<dependency reexport="false">ceab5195-25ea-4f22-9b92-103b95ca8c0c(jetbrains.mps.lang.core)</dependency>
<dependency reexport="false">e6e482a5-282a-4c6d-862a-311affd0586b(com.mbeddr.formal.safety.argument.jira_integration)</dependency>
</dependencies>
<languageVersions>
<language slang="l:3b22dedc-d6cf-4626-9445-6e9909b3e04a:com.fasten.base.arch.msc" version="0" />
Expand Down Expand Up @@ -104,7 +103,6 @@
<language slang="l:f3061a53-9226-4cc5-a443-f952ceaf5816:jetbrains.mps.baseLanguage" version="12" />
<language slang="l:fd392034-7849-419d-9071-12563d152375:jetbrains.mps.baseLanguage.closures" version="0" />
<language slang="l:83888646-71ce-4f1c-9c53-c54016f6ad4f:jetbrains.mps.baseLanguage.collections" version="1" />
<language slang="l:760a0a8c-eabb-4521-8bfd-65db761a9ba3:jetbrains.mps.baseLanguage.logging" version="0" />
<language slang="l:479c7a8c-02f9-43b5-9139-d910cb22f298:jetbrains.mps.core.xml" version="0" />
<language slang="l:ceab5195-25ea-4f22-9b92-103b95ca8c0c:jetbrains.mps.lang.core" version="2" />
<language slang="l:1839bec5-cea6-41df-b9e0-c405ff35c41e:jetbrains.mps.lang.editor.imageGen" version="0" />
Expand All @@ -121,8 +119,6 @@
<module reference="8865b7a8-5271-43d3-884c-6fd1d9cfdd34(MPS.OpenAPI)" version="0" />
<module reference="742f6602-5a2f-4313-aa6e-ae1cd4ffdc61(MPS.Platform)" version="0" />
<module reference="e1b41d7d-269e-4a91-a7d8-91bd657028d7(com.fasten.safety.doc2word)" version="0" />
<module reference="4dc47fba-0f4f-4162-820b-d2e1e306482d(com.fasten.safety.ft.pluginSolution)" version="0" />
<module reference="54912f5b-43b5-48a6-b710-8bbe3bcf9649(com.fasten.safety.ft.xfta.pluginSolution)" version="0" />
<module reference="83ed2dfe-f724-46cc-852a-dce086daee3f(com.mbeddr.formal.base)" version="0" />
<module reference="e6e482a5-282a-4c6d-862a-311affd0586b(com.mbeddr.formal.safety.argument.jira_integration)" version="0" />
<module reference="04d81d12-7048-4552-9a53-86a271c0f094(com.mbeddr.formal.safety.argument.visualisation)" version="0" />
Expand Down
Original file line number Diff line number Diff line change
Expand Up @@ -29,7 +29,7 @@
<property id="6720495385597071502" name="bounds_y" index="gqqTW" />
<property id="6720495385597071503" name="bounds_width" index="gqqTX" />
<property id="6720495385597071501" name="bounds_x" index="gqqTZ" />
<property id="4583510071007917016" name="transform" index="TgtnS" />
<property id="4583510071007917016" name="portTransform" index="TgtnS" />
<child id="738815095926774816" name="portLayouts" index="1pap1a" />
</concept>
<concept id="8963411245960991886" name="de.itemis.mps.editor.diagram.layout.structure.LayoutMap" flags="ng" index="37mRI7">
Expand Down
Original file line number Diff line number Diff line change
Expand Up @@ -153,7 +153,7 @@
<property id="6720495385597071502" name="bounds_y" index="gqqTW" />
<property id="6720495385597071503" name="bounds_width" index="gqqTX" />
<property id="6720495385597071501" name="bounds_x" index="gqqTZ" />
<property id="4583510071007917016" name="transform" index="TgtnS" />
<property id="4583510071007917016" name="portTransform" index="TgtnS" />
</concept>
<concept id="2319506556913310852" name="de.itemis.mps.editor.diagram.layout.structure.Layout_Connection" flags="ng" index="2VclpC">
<child id="2319506556913311101" name="anchors" index="2Vcluh" />
Expand Down
Original file line number Diff line number Diff line change
Expand Up @@ -44,7 +44,7 @@
<property id="6720495385597071502" name="bounds_y" index="gqqTW" />
<property id="6720495385597071503" name="bounds_width" index="gqqTX" />
<property id="6720495385597071501" name="bounds_x" index="gqqTZ" />
<property id="4583510071007917016" name="transform" index="TgtnS" />
<property id="4583510071007917016" name="portTransform" index="TgtnS" />
</concept>
<concept id="2319506556913310852" name="de.itemis.mps.editor.diagram.layout.structure.Layout_Connection" flags="ng" index="2VclpC">
<child id="2319506556913311101" name="anchors" index="2Vcluh" />
Expand Down
Original file line number Diff line number Diff line change
Expand Up @@ -45,7 +45,7 @@
<property id="6720495385597071502" name="bounds_y" index="gqqTW" />
<property id="6720495385597071503" name="bounds_width" index="gqqTX" />
<property id="6720495385597071501" name="bounds_x" index="gqqTZ" />
<property id="4583510071007917016" name="transform" index="TgtnS" />
<property id="4583510071007917016" name="portTransform" index="TgtnS" />
<child id="738815095926774816" name="portLayouts" index="1pap1a" />
</concept>
<concept id="8963411245960991886" name="de.itemis.mps.editor.diagram.layout.structure.LayoutMap" flags="ng" index="37mRI7">
Expand Down
Original file line number Diff line number Diff line change
Expand Up @@ -43,7 +43,7 @@
<property id="6720495385597071502" name="bounds_y" index="gqqTW" />
<property id="6720495385597071503" name="bounds_width" index="gqqTX" />
<property id="6720495385597071501" name="bounds_x" index="gqqTZ" />
<property id="4583510071007917016" name="transform" index="TgtnS" />
<property id="4583510071007917016" name="portTransform" index="TgtnS" />
<child id="738815095926774816" name="portLayouts" index="1pap1a" />
</concept>
<concept id="2319506556913310852" name="de.itemis.mps.editor.diagram.layout.structure.Layout_Connection" flags="ng" index="2VclpC">
Expand Down
Original file line number Diff line number Diff line change
Expand Up @@ -37,7 +37,7 @@
<property id="6720495385597071502" name="bounds_y" index="gqqTW" />
<property id="6720495385597071503" name="bounds_width" index="gqqTX" />
<property id="6720495385597071501" name="bounds_x" index="gqqTZ" />
<property id="4583510071007917016" name="transform" index="TgtnS" />
<property id="4583510071007917016" name="portTransform" index="TgtnS" />
<child id="738815095926774816" name="portLayouts" index="1pap1a" />
</concept>
<concept id="2319506556913310852" name="de.itemis.mps.editor.diagram.layout.structure.Layout_Connection" flags="ng" index="2VclpC">
Expand Down
Original file line number Diff line number Diff line change
Expand Up @@ -72,7 +72,7 @@
<property id="6720495385597071502" name="bounds_y" index="gqqTW" />
<property id="6720495385597071503" name="bounds_width" index="gqqTX" />
<property id="6720495385597071501" name="bounds_x" index="gqqTZ" />
<property id="4583510071007917016" name="transform" index="TgtnS" />
<property id="4583510071007917016" name="portTransform" index="TgtnS" />
<child id="738815095926774816" name="portLayouts" index="1pap1a" />
</concept>
<concept id="2319506556913310852" name="de.itemis.mps.editor.diagram.layout.structure.Layout_Connection" flags="ng" index="2VclpC">
Expand Down
Original file line number Diff line number Diff line change
Expand Up @@ -31,7 +31,7 @@
<property id="6720495385597071502" name="bounds_y" index="gqqTW" />
<property id="6720495385597071503" name="bounds_width" index="gqqTX" />
<property id="6720495385597071501" name="bounds_x" index="gqqTZ" />
<property id="4583510071007917016" name="transform" index="TgtnS" />
<property id="4583510071007917016" name="portTransform" index="TgtnS" />
<child id="738815095926774816" name="portLayouts" index="1pap1a" />
</concept>
<concept id="2319506556913310852" name="de.itemis.mps.editor.diagram.layout.structure.Layout_Connection" flags="ng" index="2VclpC">
Expand Down
Original file line number Diff line number Diff line change
Expand Up @@ -34,7 +34,7 @@
<property id="6720495385597071502" name="bounds_y" index="gqqTW" />
<property id="6720495385597071503" name="bounds_width" index="gqqTX" />
<property id="6720495385597071501" name="bounds_x" index="gqqTZ" />
<property id="4583510071007917016" name="transform" index="TgtnS" />
<property id="4583510071007917016" name="portTransform" index="TgtnS" />
</concept>
<concept id="2319506556913310852" name="de.itemis.mps.editor.diagram.layout.structure.Layout_Connection" flags="ng" index="2VclpC">
<child id="2319506556913311101" name="anchors" index="2Vcluh" />
Expand Down
Original file line number Diff line number Diff line change
Expand Up @@ -25,7 +25,7 @@
<property id="6720495385597071502" name="bounds_y" index="gqqTW" />
<property id="6720495385597071503" name="bounds_width" index="gqqTX" />
<property id="6720495385597071501" name="bounds_x" index="gqqTZ" />
<property id="4583510071007917016" name="transform" index="TgtnS" />
<property id="4583510071007917016" name="portTransform" index="TgtnS" />
</concept>
<concept id="2319506556913310852" name="de.itemis.mps.editor.diagram.layout.structure.Layout_Connection" flags="ng" index="2VclpC">
<child id="2319506556913311101" name="anchors" index="2Vcluh" />
Expand Down
Original file line number Diff line number Diff line change
Expand Up @@ -34,7 +34,7 @@
<property id="6720495385597071502" name="bounds_y" index="gqqTW" />
<property id="6720495385597071503" name="bounds_width" index="gqqTX" />
<property id="6720495385597071501" name="bounds_x" index="gqqTZ" />
<property id="4583510071007917016" name="transform" index="TgtnS" />
<property id="4583510071007917016" name="portTransform" index="TgtnS" />
</concept>
<concept id="2319506556913310852" name="de.itemis.mps.editor.diagram.layout.structure.Layout_Connection" flags="ng" index="2VclpC">
<child id="2319506556913311101" name="anchors" index="2Vcluh" />
Expand Down
Original file line number Diff line number Diff line change
Expand Up @@ -40,7 +40,7 @@
<property id="6720495385597071502" name="bounds_y" index="gqqTW" />
<property id="6720495385597071503" name="bounds_width" index="gqqTX" />
<property id="6720495385597071501" name="bounds_x" index="gqqTZ" />
<property id="4583510071007917016" name="transform" index="TgtnS" />
<property id="4583510071007917016" name="portTransform" index="TgtnS" />
</concept>
<concept id="2319506556913310852" name="de.itemis.mps.editor.diagram.layout.structure.Layout_Connection" flags="ng" index="2VclpC">
<child id="2319506556913311101" name="anchors" index="2Vcluh" />
Expand Down
Original file line number Diff line number Diff line change
Expand Up @@ -34,7 +34,7 @@
<property id="6720495385597071502" name="bounds_y" index="gqqTW" />
<property id="6720495385597071503" name="bounds_width" index="gqqTX" />
<property id="6720495385597071501" name="bounds_x" index="gqqTZ" />
<property id="4583510071007917016" name="transform" index="TgtnS" />
<property id="4583510071007917016" name="portTransform" index="TgtnS" />
</concept>
<concept id="2319506556913310852" name="de.itemis.mps.editor.diagram.layout.structure.Layout_Connection" flags="ng" index="2VclpC">
<child id="4767615435799372763" name="labels" index="3ul5Gx" />
Expand Down
Original file line number Diff line number Diff line change
Expand Up @@ -31,7 +31,7 @@
<property id="6720495385597071502" name="bounds_y" index="gqqTW" />
<property id="6720495385597071503" name="bounds_width" index="gqqTX" />
<property id="6720495385597071501" name="bounds_x" index="gqqTZ" />
<property id="4583510071007917016" name="transform" index="TgtnS" />
<property id="4583510071007917016" name="portTransform" index="TgtnS" />
</concept>
<concept id="2319506556913310852" name="de.itemis.mps.editor.diagram.layout.structure.Layout_Connection" flags="ng" index="2VclpC">
<child id="2319506556913311101" name="anchors" index="2Vcluh" />
Expand Down
Original file line number Diff line number Diff line change
Expand Up @@ -30,7 +30,7 @@
<property id="6720495385597071502" name="bounds_y" index="gqqTW" />
<property id="6720495385597071503" name="bounds_width" index="gqqTX" />
<property id="6720495385597071501" name="bounds_x" index="gqqTZ" />
<property id="4583510071007917016" name="transform" index="TgtnS" />
<property id="4583510071007917016" name="portTransform" index="TgtnS" />
</concept>
<concept id="2319506556913310852" name="de.itemis.mps.editor.diagram.layout.structure.Layout_Connection" flags="ng" index="2VclpC">
<child id="4767615435799372763" name="labels" index="3ul5Gx" />
Expand Down
Original file line number Diff line number Diff line change
Expand Up @@ -41,7 +41,7 @@
<property id="6720495385597071502" name="bounds_y" index="gqqTW" />
<property id="6720495385597071503" name="bounds_width" index="gqqTX" />
<property id="6720495385597071501" name="bounds_x" index="gqqTZ" />
<property id="4583510071007917016" name="transform" index="TgtnS" />
<property id="4583510071007917016" name="portTransform" index="TgtnS" />
</concept>
<concept id="2319506556913310852" name="de.itemis.mps.editor.diagram.layout.structure.Layout_Connection" flags="ng" index="2VclpC">
<child id="4767615435799372763" name="labels" index="3ul5Gx" />
Expand Down
Original file line number Diff line number Diff line change
Expand Up @@ -54,7 +54,7 @@
<property id="6720495385597071502" name="bounds_y" index="gqqTW" />
<property id="6720495385597071503" name="bounds_width" index="gqqTX" />
<property id="6720495385597071501" name="bounds_x" index="gqqTZ" />
<property id="4583510071007917016" name="transform" index="TgtnS" />
<property id="4583510071007917016" name="portTransform" index="TgtnS" />
</concept>
<concept id="2319506556913310852" name="de.itemis.mps.editor.diagram.layout.structure.Layout_Connection" flags="ng" index="2VclpC">
<child id="2319506556913311101" name="anchors" index="2Vcluh" />
Expand Down
Original file line number Diff line number Diff line change
Expand Up @@ -38,7 +38,7 @@
<property id="6720495385597071502" name="bounds_y" index="gqqTW" />
<property id="6720495385597071503" name="bounds_width" index="gqqTX" />
<property id="6720495385597071501" name="bounds_x" index="gqqTZ" />
<property id="4583510071007917016" name="transform" index="TgtnS" />
<property id="4583510071007917016" name="portTransform" index="TgtnS" />
</concept>
<concept id="2319506556913310852" name="de.itemis.mps.editor.diagram.layout.structure.Layout_Connection" flags="ng" index="2VclpC">
<child id="4767615435799372763" name="labels" index="3ul5Gx" />
Expand Down
Original file line number Diff line number Diff line change
Expand Up @@ -36,7 +36,7 @@
<property id="6720495385597071502" name="bounds_y" index="gqqTW" />
<property id="6720495385597071503" name="bounds_width" index="gqqTX" />
<property id="6720495385597071501" name="bounds_x" index="gqqTZ" />
<property id="4583510071007917016" name="transform" index="TgtnS" />
<property id="4583510071007917016" name="portTransform" index="TgtnS" />
</concept>
<concept id="2319506556913310852" name="de.itemis.mps.editor.diagram.layout.structure.Layout_Connection" flags="ng" index="2VclpC">
<child id="2319506556913311101" name="anchors" index="2Vcluh" />
Expand Down
Original file line number Diff line number Diff line change
Expand Up @@ -33,7 +33,7 @@
<property id="6720495385597071502" name="bounds_y" index="gqqTW" />
<property id="6720495385597071503" name="bounds_width" index="gqqTX" />
<property id="6720495385597071501" name="bounds_x" index="gqqTZ" />
<property id="4583510071007917016" name="transform" index="TgtnS" />
<property id="4583510071007917016" name="portTransform" index="TgtnS" />
</concept>
<concept id="2319506556913310852" name="de.itemis.mps.editor.diagram.layout.structure.Layout_Connection" flags="ng" index="2VclpC">
<child id="2319506556913311101" name="anchors" index="2Vcluh" />
Expand Down
Loading

0 comments on commit 81c5612

Please sign in to comment.