Skip to content

Commit

Permalink
safety: removed deprecated nodes (concepts, properties, links)
Browse files Browse the repository at this point in the history
  • Loading branch information
@danielratiu
danielratiu committed Apr 20, 2024
1 parent f33ef7a commit d516d64
Show file tree
Hide file tree
Showing 25 changed files with 21 additions and 4,124 deletions.
48 changes: 0 additions & 48 deletions ...beddr.formal.safety/languages/com.fasten.safety.ft/models/com.fasten.safety.ft.editor.mps
View file
Original file line number Diff line number Diff line change
Expand Up @@ -3402,30 +3402,6 @@
<property role="37lx6p" value="hZ7kQ4a/CENTER" />
</node>
</node>
<node concept="3F0A7n" id="1GpuQyThJlq" role="3EZMnx">
<ref role="1NtTu8" to="spwl:5rwT_JnuRcl" resolve="probability" />
<node concept="37jFXN" id="1GpuQyTjnAd" role="3F10Kt">
<property role="37lx6p" value="hZ7kQ4a/CENTER" />
</node>
<node concept="VSNWy" id="1GpuQyTjnAi" role="3F10Kt">
<property role="1lJzqX" value="9" />
</node>
<node concept="pkWqt" id="11L6MQb4bLJ" role="pqm2j">
<node concept="3clFbS" id="11L6MQb4bLK" role="2VODD2">
<node concept="3clFbF" id="11L6MQb4dNE" role="3cqZAp">
<node concept="2OqwBi" id="11L6MQb4f1Y" role="3clFbG">
<node concept="2OqwBi" id="11L6MQb4e3W" role="2Oq$k0">
<node concept="pncrf" id="11L6MQb4dND" role="2Oq$k0" />
<node concept="3TrcHB" id="11L6MQb4elF" role="2OqNvi">
<ref role="3TsBF5" to="spwl:5rwT_JnuRcl" resolve="probability" />
</node>
</node>
<node concept="17RvpY" id="11L6MQb4frT" role="2OqNvi" />
</node>
</node>
</node>
</node>
</node>
<node concept="2iRkQZ" id="1GpuQyThJl0" role="2iSdaV" />
</node>
<node concept="2aJ2om" id="1GpuQyThJkV" role="CpUAK">
Expand Down Expand Up @@ -3688,30 +3664,6 @@
<node concept="PMmxH" id="3f8ZVRXtyns" role="3EZMnx">
<ref role="PMmxG" node="EBYTccZOox" resolve="FaultTreeElementBaseInInspectorEditorComponent" />
</node>
<node concept="3EZMnI" id="3ZjKZgVHKw4" role="3EZMnx">
<node concept="2iRfu4" id="3ZjKZgVHKw5" role="2iSdaV" />
<node concept="3F0ifn" id="3ZjKZgVHKw6" role="3EZMnx">
<property role="3F0ifm" value="FIT:" />
</node>
<node concept="3F0A7n" id="3ZjKZgVHKw7" role="3EZMnx">
<ref role="1NtTu8" to="spwl:5rwT_JnuRcl" resolve="probability" />
</node>
<node concept="pkWqt" id="3ZjKZgVHKw8" role="pqm2j">
<node concept="3clFbS" id="3ZjKZgVHKw9" role="2VODD2">
<node concept="3clFbF" id="3ZjKZgVHKwa" role="3cqZAp">
<node concept="2OqwBi" id="3ZjKZgVHKwb" role="3clFbG">
<node concept="2OqwBi" id="3ZjKZgVHKwc" role="2Oq$k0">
<node concept="pncrf" id="3ZjKZgVHKwd" role="2Oq$k0" />
<node concept="3TrcHB" id="3ZjKZgVHKwe" role="2OqNvi">
<ref role="3TsBF5" to="spwl:5rwT_JnuRcl" resolve="probability" />
</node>
</node>
<node concept="17RvpY" id="3ZjKZgVHKwf" role="2OqNvi" />
</node>
</node>
</node>
</node>
</node>
<node concept="PMmxH" id="3ZjKZgVHKwg" role="3EZMnx">
<ref role="PMmxG" node="11L6MQb4h46" resolve="EventSpecEditorComponent" />
</node>
Expand Down
260 changes: 1 addition & 259 deletions ...dr.formal.safety/languages/com.fasten.safety.ft/models/com.fasten.safety.ft.migration.mps
View file

Large diffs are not rendered by default.

24 changes: 0 additions & 24 deletions ...dr.formal.safety/languages/com.fasten.safety.ft/models/com.fasten.safety.ft.structure.mps
View file
Original file line number Diff line number Diff line change
Expand Up @@ -29,7 +29,6 @@
</concept>
</language>
<language id="c72da2b9-7cce-4447-8389-f407dc1158b7" name="jetbrains.mps.lang.structure">
<concept id="1224240836180" name="jetbrains.mps.lang.structure.structure.DeprecatedNodeAnnotation" flags="ig" index="asaX9" />
<concept id="1169125787135" name="jetbrains.mps.lang.structure.structure.AbstractConceptDeclaration" flags="ig" index="PkWjJ">
<property id="6714410169261853888" name="conceptId" index="EcuMT" />
<property id="4628067390765907488" name="conceptShortDescription" index="R4oN_" />
Expand Down Expand Up @@ -63,7 +62,6 @@
<language id="ceab5195-25ea-4f22-9b92-103b95ca8c0c" name="jetbrains.mps.lang.core">
<concept id="1133920641626" name="jetbrains.mps.lang.core.structure.BaseConcept" flags="ng" index="2VYdi">
<property id="1193676396447" name="virtualPackage" index="3GE5qa" />
<child id="5169995583184591170" name="smodelAttribute" index="lGtFl" />
</concept>
<concept id="1169194658468" name="jetbrains.mps.lang.core.structure.INamedConcept" flags="ng" index="TrEIO">
<property id="1169194664001" name="name" index="TrG5h" />
Expand All @@ -77,22 +75,6 @@
<property role="34LRSv" value="fault tree" />
<property role="R4oN_" value="fault tree" />
<ref role="1TJDcQ" to="tpck:gw2VY9q" resolve="BaseConcept" />
<node concept="1TJgyj" id="5rwT_JnuR3W" role="1TKVEi">
<property role="IQ2ns" value="6260256764176593148" />
<property role="20lmBu" value="fLJjDmT/aggregation" />
<property role="20kJfa" value="elements" />
<property role="20lbJX" value="fLJekj5/_0__n" />
<ref role="20lvS9" node="5rwT_JnuR3U" resolve="FaultTreeElementBase" />
<node concept="asaX9" id="2s9yRNfpQfn" role="lGtFl" />
</node>
<node concept="1TJgyj" id="5rwT_JnuR3Y" role="1TKVEi">
<property role="IQ2ns" value="6260256764176593150" />
<property role="20lmBu" value="fLJjDmT/aggregation" />
<property role="20kJfa" value="connections" />
<property role="20lbJX" value="fLJekj5/_0__n" />
<ref role="20lvS9" node="5rwT_JnuR3V" resolve="FaultTreeConnectionBase" />
<node concept="asaX9" id="2s9yRNfpQfx" role="lGtFl" />
</node>
<node concept="1TJgyj" id="2s9yRNfpPP4" role="1TKVEi">
<property role="IQ2ns" value="2812932810441448772" />
<property role="20lmBu" value="fLJjDmT/aggregation" />
Expand Down Expand Up @@ -220,12 +202,6 @@
<property role="20kJfa" value="spec" />
<ref role="20lvS9" node="11L6MQb45$I" resolve="EventSpecBase" />
</node>
<node concept="1TJgyi" id="5rwT_JnuRcl" role="1TKVEl">
<property role="IQ2nx" value="6260256764176593685" />
<property role="TrG5h" value="probability" />
<ref role="AX2Wp" to="tpck:fKAOsGN" resolve="string" />
<node concept="asaX9" id="11L6MQb4bLB" role="lGtFl" />
</node>
<node concept="PrWs8" id="5rwT_JnuRcj" role="PzmwI">
<ref role="PrY4T" to="tpck:h0TrEE$" resolve="INamedConcept" />
</node>
Expand Down
76 changes: 0 additions & 76 deletions ...r.formal.safety/languages/com.fasten.safety.ft/models/com.fasten.safety.ft.typesystem.mps
View file
Original file line number Diff line number Diff line change
Expand Up @@ -63,7 +63,6 @@
<concept id="1068498886294" name="jetbrains.mps.baseLanguage.structure.AssignmentExpression" flags="nn" index="37vLTI" />
<concept id="1225271177708" name="jetbrains.mps.baseLanguage.structure.StringType" flags="in" index="17QB3L" />
<concept id="1225271369338" name="jetbrains.mps.baseLanguage.structure.IsEmptyOperation" flags="nn" index="17RlXB" />
<concept id="1225271408483" name="jetbrains.mps.baseLanguage.structure.IsNotEmptyOperation" flags="nn" index="17RvpY" />
<concept id="4972933694980447171" name="jetbrains.mps.baseLanguage.structure.BaseVariableDeclaration" flags="ng" index="19Szcq">
<child id="5680397130376446158" name="type" index="1tU5fm" />
</concept>
Expand Down Expand Up @@ -130,17 +129,13 @@
<concept id="1080120340718" name="jetbrains.mps.baseLanguage.structure.AndExpression" flags="nn" index="1Wc70l" />
</language>
<language id="7a5dda62-9140-4668-ab76-d5ed1746f2b2" name="jetbrains.mps.lang.typesystem">
<concept id="1207055528241" name="jetbrains.mps.lang.typesystem.structure.WarningStatement" flags="nn" index="a7r0C">
<child id="1207055552304" name="warningText" index="a7wSD" />
</concept>
<concept id="7992060018732187438" name="jetbrains.mps.lang.typesystem.structure.ReportErrorStatementAnnotation" flags="ng" index="AMVWg" />
<concept id="1175517767210" name="jetbrains.mps.lang.typesystem.structure.ReportErrorStatement" flags="nn" index="2MkqsV">
<child id="1175517851849" name="errorString" index="2MkJ7o" />
</concept>
<concept id="1216383170661" name="jetbrains.mps.lang.typesystem.structure.TypesystemQuickFix" flags="ng" index="Q5z_Y">
<child id="1216383424566" name="executeBlock" index="Q6x$H" />
<child id="1216383476350" name="quickFixArgument" index="Q6Id_" />
<child id="1216391046856" name="descriptionBlock" index="QzAvj" />
</concept>
<concept id="1216383287005" name="jetbrains.mps.lang.typesystem.structure.QuickFixExecuteBlock" flags="in" index="Q5ZZ6" />
<concept id="1216383482742" name="jetbrains.mps.lang.typesystem.structure.QuickFixArgument" flags="ng" index="Q6JDH">
Expand All @@ -149,7 +144,6 @@
<concept id="1216390348809" name="jetbrains.mps.lang.typesystem.structure.QuickFixArgumentReference" flags="nn" index="QwW4i">
<reference id="1216390348810" name="quickFixArgument" index="QwW4h" />
</concept>
<concept id="1216390987552" name="jetbrains.mps.lang.typesystem.structure.QuickFixDescriptionBlock" flags="in" index="QznSV" />
<concept id="1195213580585" name="jetbrains.mps.lang.typesystem.structure.AbstractCheckingRule" flags="ig" index="18hYwZ">
<child id="1195213635060" name="body" index="18ibNy" />
</concept>
Expand Down Expand Up @@ -227,7 +221,6 @@
<concept id="1138056282393" name="jetbrains.mps.lang.smodel.structure.SLinkListAccess" flags="nn" index="3Tsc0h">
<reference id="1138056546658" name="link" index="3TtcxE" />
</concept>
<concept id="1215467301810" name="jetbrains.mps.lang.smodel.structure.Property_RemoveOperation" flags="nn" index="3ZvMEC" />
</language>
<language id="ceab5195-25ea-4f22-9b92-103b95ca8c0c" name="jetbrains.mps.lang.core">
<concept id="1133920641626" name="jetbrains.mps.lang.core.structure.BaseConcept" flags="ng" index="2VYdi">
Expand Down Expand Up @@ -261,39 +254,6 @@
<property role="TrG5h" value="check_EventBase" />
<property role="3GE5qa" value="events.base" />
<node concept="3clFbS" id="11L6MQb4hf7" role="18ibNy">
<node concept="3clFbJ" id="11L6MQb4hfd" role="3cqZAp">
<node concept="2OqwBi" id="11L6MQb4i0j" role="3clFbw">
<node concept="2OqwBi" id="11L6MQb4hqW" role="2Oq$k0">
<node concept="1YBJjd" id="11L6MQb4hfp" role="2Oq$k0">
<ref role="1YBMHb" node="11L6MQb4hf9" resolve="eventBase" />
</node>
<node concept="3TrcHB" id="11L6MQb4hBB" role="2OqNvi">
<ref role="3TsBF5" to="spwl:5rwT_JnuRcl" resolve="probability" />
</node>
</node>
<node concept="17RvpY" id="11L6MQb4ifr" role="2OqNvi" />
</node>
<node concept="3clFbS" id="11L6MQb4hff" role="3clFbx">
<node concept="a7r0C" id="11L6MQb4ifD" role="3cqZAp">
<node concept="Xl_RD" id="11L6MQb4ifV" role="a7wSD">
<property role="Xl_RC" value="'probability' field is deprecated - please delete this field and use events specifications in inspector" />
</node>
<node concept="1YBJjd" id="11L6MQb4ik5" role="1urrMF">
<ref role="1YBMHb" node="11L6MQb4hf9" resolve="eventBase" />
</node>
<node concept="3Cnw8n" id="11L6MQb5OAS" role="1urrFz">
<ref role="QpYPw" node="11L6MQb5NcQ" resolve="deleteProperty" />
<node concept="3CnSsL" id="11L6MQb5OBp" role="3Coj4f">
<ref role="QkamJ" node="11L6MQb5NBg" resolve="eb" />
<node concept="1YBJjd" id="11L6MQb5OBD" role="3CoRuB">
<ref role="1YBMHb" node="11L6MQb4hf9" resolve="eventBase" />
</node>
</node>
</node>
</node>
</node>
</node>
<node concept="3clFbH" id="33PksMocP7" role="3cqZAp" />
<node concept="3clFbJ" id="33PksMocPB" role="3cqZAp">
<node concept="3clFbS" id="33PksMocPD" role="3clFbx">
<node concept="2MkqsV" id="33PksMonKM" role="3cqZAp">
Expand Down Expand Up @@ -342,42 +302,6 @@
<ref role="1YaFvo" to="spwl:5rwT_JnuRci" resolve="EventBase" />
</node>
</node>
<node concept="Q5z_Y" id="11L6MQb5NcQ">
<property role="3GE5qa" value="events.base" />
<property role="TrG5h" value="deleteProperty" />
<node concept="Q6JDH" id="11L6MQb5NBg" role="Q6Id_">
<property role="TrG5h" value="eb" />
<node concept="3Tqbb2" id="11L6MQb5NBp" role="Q6QK4">
<ref role="ehGHo" to="spwl:5rwT_JnuRci" resolve="EventBase" />
</node>
</node>
<node concept="Q5ZZ6" id="11L6MQb5NcR" role="Q6x$H">
<node concept="3clFbS" id="11L6MQb5NcS" role="2VODD2">
<node concept="3clFbF" id="11L6MQb5NBK" role="3cqZAp">
<node concept="2OqwBi" id="11L6MQb5OiW" role="3clFbG">
<node concept="2OqwBi" id="11L6MQb5NLu" role="2Oq$k0">
<node concept="QwW4i" id="11L6MQb5NBJ" role="2Oq$k0">
<ref role="QwW4h" node="11L6MQb5NBg" resolve="eb" />
</node>
<node concept="3TrcHB" id="11L6MQb5NYi" role="2OqNvi">
<ref role="3TsBF5" to="spwl:5rwT_JnuRcl" resolve="probability" />
</node>
</node>
<node concept="3ZvMEC" id="11L6MQb5Oyh" role="2OqNvi" />
</node>
</node>
</node>
</node>
<node concept="QznSV" id="11L6MQb5Nd9" role="QzAvj">
<node concept="3clFbS" id="11L6MQb5Nda" role="2VODD2">
<node concept="3clFbF" id="11L6MQb5NhI" role="3cqZAp">
<node concept="Xl_RD" id="11L6MQb5NhH" role="3clFbG">
<property role="Xl_RC" value="Delete Probability Property" />
</node>
</node>
</node>
</node>
</node>
<node concept="18kY7G" id="7wRJ5ynOyOe">
<property role="TrG5h" value="check_GateBase" />
<property role="3GE5qa" value="gates" />
Expand Down
37 changes: 0 additions & 37 deletions ...ges/com.mbeddr.formal.safety.gsn.doc/models/com.mbeddr.formal.safety.gsn.doc.behavior.mps
View file
Original file line number Diff line number Diff line change
Expand Up @@ -169,43 +169,6 @@
<concept id="1160612413312" name="jetbrains.mps.baseLanguage.collections.structure.AddElementOperation" flags="nn" index="TSZUe" />
</language>
</registry>
<node concept="13h7C7" id="3d5AacfxFe9">
<ref role="13h7C2" to="wvti:4KIvh_tvCfy" resolve="TemplateWord_old" />
<node concept="13hLZK" id="3d5AacfxFea" role="13h7CW">
<node concept="3clFbS" id="3d5AacfxFeb" role="2VODD2" />
</node>
<node concept="13i0hz" id="3d5AacfxFek" role="13h7CS">
<property role="TrG5h" value="toTextString" />
<ref role="13i0hy" to="tbr6:3Q5enzfMT4t" resolve="toTextString" />
<node concept="3Tm1VV" id="3d5AacfxFel" role="1B3o_S" />
<node concept="3clFbS" id="3d5AacfxFeq" role="3clF47">
<node concept="3clFbF" id="3d5AacfxFvz" role="3cqZAp">
<node concept="3cpWs3" id="3d5AacfxHw$" role="3clFbG">
<node concept="Xl_RD" id="3d5AacfxHFF" role="3uHU7w">
<property role="Xl_RC" value=" }" />
</node>
<node concept="3cpWs3" id="3d5AacfxGgr" role="3uHU7B">
<node concept="Xl_RD" id="3d5AacfxFvy" role="3uHU7B">
<property role="Xl_RC" value="{ " />
</node>
<node concept="2OqwBi" id="3d5AacfxGR$" role="3uHU7w">
<node concept="2OqwBi" id="3d5AacfxGtV" role="2Oq$k0">
<node concept="13iPFW" id="3d5AacfxGgN" role="2Oq$k0" />
<node concept="3TrEf2" id="3d5AacfxGCz" role="2OqNvi">
<ref role="3Tt5mk" to="wvti:3GRi4m$qYoV" resolve="text_old" />
</node>
</node>
<node concept="2qgKlT" id="3d5AacfxH4h" role="2OqNvi">
<ref role="37wK5l" to="tbr6:3Q5enzfMT4l" resolve="asTextString" />
</node>
</node>
</node>
</node>
</node>
</node>
<node concept="17QB3L" id="3d5AacfxFer" role="3clF45" />
</node>
</node>
<node concept="13h7C7" id="4ziKDEnle8g">
<property role="3GE5qa" value="connections" />
<ref role="13h7C2" to="wvti:5Ac1Q93JDnH" resolve="SupportedByConnectionWord" />
Expand Down
Loading

0 comments on commit d516d64

Please sign in to comment.