Skip to content

Commit

Permalink
overall: ran gradlew migrate remigrate
Browse files Browse the repository at this point in the history
  • Loading branch information
@danielratiu
danielratiu committed Aug 11, 2024
1 parent d6bc443 commit 0f69baf
Show file tree
Hide file tree
Showing 138 changed files with 7,012 additions and 7,041 deletions.
8 changes: 4 additions & 4 deletions .../languages/com.mbeddr.formal.nusmv/languages/com.mbeddr.formal.base/models/typesystem.mps
View file
Original file line number Diff line number Diff line change
Expand Up @@ -598,7 +598,7 @@
<ref role="3cqZAo" node="84ljAGCXdv" resolve="nodeUsingPrefix" />
</node>
<node concept="3Cnw8n" id="3f8ZVRYf_jS" role="1urrFz">
<ref role="QpYPw" node="3f8ZVRYftjp" resolve="fix_GoalStructureElementsNames_basedOnPrefix" />
<ref role="QpYPw" node="3f8ZVRYftjp" resolve="fix_EntitiesNames_basedOnPrefix" />
<node concept="3CnSsL" id="3f8ZVRYf_oM" role="3Coj4f">
<ref role="QkamJ" node="3f8ZVRYftxu" resolve="nodeWithPrefixedName" />
<node concept="37vLTw" id="84ljAGDg3E" role="3CoRuB">
Expand Down Expand Up @@ -672,7 +672,7 @@
<node concept="3clFbS" id="3f8ZVRYdTFI" role="3eOfB_">
<node concept="2MkqsV" id="3f8ZVRYdVlx" role="3cqZAp">
<node concept="3Cnw8n" id="3f8ZVRYfC5W" role="1urrFz">
<ref role="QpYPw" node="3f8ZVRYftjp" resolve="fix_GoalStructureElementsNames_basedOnPrefix" />
<ref role="QpYPw" node="3f8ZVRYftjp" resolve="fix_EntitiesNames_basedOnPrefix" />
<node concept="3CnSsL" id="3f8ZVRYfC5X" role="3Coj4f">
<ref role="QkamJ" node="3f8ZVRYftxu" resolve="nodeWithPrefixedName" />
<node concept="37vLTw" id="84ljAGDg6L" role="3CoRuB">
Expand Down Expand Up @@ -719,7 +719,7 @@
<node concept="3clFbS" id="3f8ZVRYe6LF" role="1zc67A">
<node concept="2MkqsV" id="3f8ZVRYe6X3" role="3cqZAp">
<node concept="3Cnw8n" id="3f8ZVRYfCbF" role="1urrFz">
<ref role="QpYPw" node="3f8ZVRYftjp" resolve="fix_GoalStructureElementsNames_basedOnPrefix" />
<ref role="QpYPw" node="3f8ZVRYftjp" resolve="fix_EntitiesNames_basedOnPrefix" />
<node concept="3CnSsL" id="3f8ZVRYfCbG" role="3Coj4f">
<ref role="QkamJ" node="3f8ZVRYftxu" resolve="nodeWithPrefixedName" />
<node concept="37vLTw" id="84ljAGDg9S" role="3CoRuB">
Expand Down Expand Up @@ -798,7 +798,7 @@
</node>
<node concept="2Mj0R9" id="3f8ZVRYe7X$" role="3cqZAp">
<node concept="3Cnw8n" id="3f8ZVRYfD01" role="1urrFz">
<ref role="QpYPw" node="3f8ZVRYftjp" resolve="fix_GoalStructureElementsNames_basedOnPrefix" />
<ref role="QpYPw" node="3f8ZVRYftjp" resolve="fix_EntitiesNames_basedOnPrefix" />
<node concept="3CnSsL" id="3f8ZVRYfD02" role="3Coj4f">
<ref role="QkamJ" node="3f8ZVRYftxu" resolve="nodeWithPrefixedName" />
<node concept="37vLTw" id="84ljAGDgbq" role="3CoRuB">
Expand Down
10 changes: 5 additions & 5 deletions ...formal.nusmv/languages/com.mbeddr.formal.nusmv.arch/generator/template/[email protected]
View file
Original file line number Diff line number Diff line change
Expand Up @@ -233,7 +233,7 @@
<property role="TrG5h" value="d" />
<node concept="1ziNjN" id="3XpENP20nnf" role="1zoetD">
<node concept="1zjgSo" id="3XpENP20nnD" role="1ziNjJ">
<ref role="skqaw" node="7Z6$Wo5WeBz" resolve="d" />
<ref role="skqaw" node="7Z6$Wo5WeBz" />
<node concept="raruj" id="3XpENP20nnM" role="lGtFl" />
<node concept="1ZhdrF" id="3XpENP20nnN" role="lGtFl">
<property role="P3scX" value="001b2375-3bd5-4d5e-9958-6b3f62dc8548/2707707741266384759/2707707741266384760" />
Expand All @@ -259,7 +259,7 @@
</node>
</node>
<node concept="2He$iJ" id="3XpENP20nn4" role="1ziNjM">
<ref role="2He$iI" node="3XpENP20ne0" resolve="m1" />
<ref role="2He$iI" node="3XpENP20ne0" />
</node>
</node>
</node>
Expand All @@ -268,7 +268,7 @@
<node concept="2Hdskp" id="3XpENP20ne0" role="2Hfkx9">
<property role="TrG5h" value="m1" />
<node concept="1zigX2" id="3XpENP20nek" role="2HdssA">
<ref role="1zigX1" node="7Z6$Wo5WeBx" resolve="m" />
<ref role="1zigX1" node="7Z6$Wo5WeBx" />
</node>
</node>
</node>
Expand All @@ -284,7 +284,7 @@
<node concept="2Hdskp" id="4mkOaIyMClG" role="2Hfkx9">
<property role="TrG5h" value="m1" />
<node concept="1zigX2" id="4mkOaIyMClH" role="2HdssA">
<ref role="1zigX1" node="7Z6$Wo5WeBx" resolve="m" />
<ref role="1zigX1" node="7Z6$Wo5WeBx" />
</node>
<node concept="2b32R4" id="4mkOaIyMCvr" role="lGtFl">
<node concept="3JmXsc" id="4mkOaIyMCvu" role="2P8S$">
Expand Down Expand Up @@ -363,7 +363,7 @@
<node concept="3Xm4H6" id="7U4LEptdJE$" role="HhM43">
<node concept="HhFhQ" id="7U4LEptdJEL" role="3Xm4Hd">
<node concept="1U3pFY" id="7U4LEptdJE_" role="HhFhR">
<ref role="1U3pFZ" node="7U4LEptdJEz" resolve="a" />
<ref role="1U3pFZ" node="7U4LEptdJEz" />
<node concept="raruj" id="7U4LEptdJEA" role="lGtFl" />
<node concept="1ZhdrF" id="7U4LEptdJEB" role="lGtFl">
<property role="P3scX" value="450c81f1-1811-41ac-a9c8-8fda59f778ca/9207208966915557688/9207208966915557689" />
Expand Down
16 changes: 8 additions & 8 deletions ....formal.nusmv/languages/com.mbeddr.formal.nusmv.cbd/generator/template/[email protected]
View file
Original file line number Diff line number Diff line change
Expand Up @@ -423,7 +423,7 @@
<node concept="1yBDGz" id="1NcemxVvT$l" role="2HcbjO">
<node concept="dheZm" id="1NcemxVvT$_" role="1yBDGv">
<node concept="32Ogvo" id="1NcemxVvT$v" role="2H9Iav">
<ref role="32Ogvr" node="1NcemxVvT$5" resolve="par" />
<ref role="32Ogvr" node="1NcemxVvT$5" />
<node concept="raruj" id="1NcemxVvT_9" role="lGtFl" />
<node concept="1ZhdrF" id="1NcemxVvT_b" role="lGtFl">
<property role="P3scX" value="001b2375-3bd5-4d5e-9958-6b3f62dc8548/1989356068341979925/1989356068341979926" />
Expand Down Expand Up @@ -459,7 +459,7 @@
<ref role="30HIoZ" to="vzqj:4lva0NgJarB" resolve="AnalyzeArchitecture" />
<node concept="gft3U" id="16k3j00_Mua" role="1lVwrX">
<node concept="1nOERi" id="16k3j00_MP5" role="gfFT$">
<ref role="1nOEKr" node="7RhjhI7iPN7" resolve="flattened_system" />
<ref role="1nOEKr" node="7RhjhI7iPN7" />
<node concept="1ZhdrF" id="16k3j00_MP7" role="lGtFl">
<property role="2qtEX8" value="system" />
<property role="P3scX" value="bf72618c-958a-47f5-9aac-3eff98d79ffd/7211928790174746324/7211928790174746397" />
Expand Down Expand Up @@ -496,7 +496,7 @@
<node concept="b5Tf3" id="2l5A0OFasBf" role="1lVwrX" />
</node>
<node concept="3lhOvk" id="7RhjhI7hJ_9" role="3lj3bC">
<ref role="3lhOvi" node="7RhjhI7iPN7" resolve="flattened_system" />
<ref role="3lhOvi" node="7RhjhI7iPN7" />
<ref role="30HIoZ" to="vzqj:3Cd5_MRERys" resolve="ComponentAssemblySMV" />
<node concept="30G5F_" id="1NcemxVvsoT" role="30HLyM">
<node concept="3clFbS" id="1NcemxVvsoU" role="2VODD2">
Expand Down Expand Up @@ -543,7 +543,7 @@
</node>
<node concept="3lhOvk" id="2l5A0OFaqEs" role="3lj3bC">
<ref role="30HIoZ" to="vzqj:2l5A0OF7cwg" resolve="Refine" />
<ref role="3lhOvi" node="2l5A0OF7eAG" resolve="module_with_interface_semantics" />
<ref role="3lhOvi" node="2l5A0OF7eAG" />
</node>
<node concept="1puMqW" id="74lc1eArmXn" role="1pvy6N">
<ref role="1puQsG" node="74lc1eAoLxX" resolve="reduceContractsToSpecs" />
Expand Down Expand Up @@ -840,9 +840,9 @@
<node concept="2Hdskp" id="7RhjhI7iS6b" role="2Hfkx9">
<property role="TrG5h" value="flattened" />
<node concept="1zigX2" id="7RhjhI7iS6c" role="2HdssA">
<ref role="1zigX1" node="7RhjhI7iS5e" resolve="Flattened" />
<ref role="1zigX1" node="7RhjhI7iS5e" />
<node concept="2He$iJ" id="7RhjhI7iS6d" role="1zigYY">
<ref role="2He$iI" node="7RhjhI7iS5T" resolve="input" />
<ref role="2He$iI" node="7RhjhI7iS5T" />
<node concept="3ejVUv" id="7RhjhI7iS6e" role="lGtFl">
<node concept="3JmXsc" id="7RhjhI7iS6f" role="3_Rtg">
<node concept="3clFbS" id="7RhjhI7iS6g" role="2VODD2">
Expand Down Expand Up @@ -1028,9 +1028,9 @@
<node concept="2Hdskp" id="2l5A0OF7eCI" role="2Hfkx9">
<property role="TrG5h" value="module" />
<node concept="1zigX2" id="2l5A0OF7eCJ" role="2HdssA">
<ref role="1zigX1" node="2l5A0OF7eAH" resolve="Module" />
<ref role="1zigX1" node="2l5A0OF7eAH" />
<node concept="2He$iJ" id="2l5A0OF7eCK" role="1zigYY">
<ref role="2He$iI" node="2l5A0OF7eCl" resolve="input" />
<ref role="2He$iI" node="2l5A0OF7eCl" />
<node concept="3ejVUv" id="2l5A0OF7eCL" role="lGtFl">
<node concept="3JmXsc" id="2l5A0OF7eCM" role="3_Rtg">
<node concept="3clFbS" id="2l5A0OF7eCN" role="2VODD2">
Expand Down
10 changes: 5 additions & 5 deletions ....formal.nusmv/languages/com.mbeddr.formal.nusmv.ext/generator/template/[email protected]
View file
Original file line number Diff line number Diff line change
Expand Up @@ -972,7 +972,7 @@
<node concept="2Hdskp" id="25Ap4XXstTl" role="2Hfkx9">
<property role="TrG5h" value="m" />
<node concept="1zigX2" id="25Ap4XXstTA" role="2HdssA">
<ref role="1zigX1" node="25Ap4XXstSA" resolve="dummy" />
<ref role="1zigX1" node="25Ap4XXstSA" />
<node concept="raruj" id="25Ap4XXstTJ" role="lGtFl" />
<node concept="1ZhdrF" id="25Ap4XXstTY" role="lGtFl">
<property role="2qtEX8" value="module" />
Expand Down Expand Up @@ -1024,7 +1024,7 @@
<node concept="2Hdskp" id="25Ap4XXswwb" role="2Hfkx9">
<property role="TrG5h" value="m" />
<node concept="1zigX2" id="25Ap4XXswKU" role="2HdssA">
<ref role="1zigX1" node="25Ap4XXsww6" resolve="dummy" />
<ref role="1zigX1" node="25Ap4XXsww6" />
</node>
</node>
<node concept="2Hdskp" id="25Ap4XXswMF" role="2Hfkx9">
Expand All @@ -1035,11 +1035,11 @@
<node concept="2Hfkzp" id="25Ap4XXswLh" role="2HcbjO">
<node concept="1lxFmE" id="25Ap4XXswN_" role="2HfkAP">
<node concept="2He$iJ" id="25Ap4XXswNz" role="2He$ia">
<ref role="2He$iI" node="25Ap4XXswMF" resolve="b" />
<ref role="2He$iI" node="25Ap4XXswMF" />
</node>
<node concept="1ziNjN" id="25Ap4XXswNW" role="2He$i0">
<node concept="1y$7Wu" id="25Ap4XXswOD" role="1ziNjJ">
<ref role="1y$7Wt" node="25Ap4XXswJH" resolve="m1" />
<ref role="1y$7Wt" node="25Ap4XXswJH" />
<node concept="raruj" id="25Ap4XXswOO" role="lGtFl" />
<node concept="1ZhdrF" id="25Ap4XXswOP" role="lGtFl">
<property role="2qtEX8" value="var" />
Expand All @@ -1065,7 +1065,7 @@
</node>
</node>
<node concept="2He$iJ" id="25Ap4XXswNU" role="1ziNjM">
<ref role="2He$iI" node="25Ap4XXswwb" resolve="m" />
<ref role="2He$iI" node="25Ap4XXswwb" />
</node>
</node>
</node>
Expand Down
10 changes: 5 additions & 5 deletions ...mal.nusmv/languages/com.mbeddr.formal.nusmv.tabular/generator/template/[email protected]
View file
Original file line number Diff line number Diff line change
Expand Up @@ -575,7 +575,7 @@
<node concept="1zoerA" id="7Z6$Wo5NJZF" role="32O2ov">
<property role="TrG5h" value="d1" />
<node concept="1J1L9T" id="7Z6$Wo5NK2r" role="1zoetD">
<ref role="1J1L9S" node="7Z6$Wo5NJZF" resolve="d1" />
<ref role="1J1L9S" node="7Z6$Wo5NJZF" />
<node concept="raruj" id="7Z6$Wo5NK2y" role="lGtFl" />
<node concept="1ZhdrF" id="7Z6$Wo5NK2z" role="lGtFl">
<property role="P3scX" value="001b2375-3bd5-4d5e-9958-6b3f62dc8548/4678075609353342594/4678075609353342595" />
Expand Down Expand Up @@ -631,10 +631,10 @@
<node concept="2Hdskp" id="7Z6$Wo5O6k3" role="2Hfkx9">
<property role="TrG5h" value="m" />
<node concept="1zigX2" id="7Z6$Wo5Od0E" role="2HdssA">
<ref role="1zigX1" node="7Z6$Wo5O61O" resolve="m1" />
<ref role="1zigX1" node="7Z6$Wo5O61O" />
<node concept="1ziNjN" id="7Z6$Wo5Od2q" role="1zigYY">
<node concept="1zjgSo" id="7Z6$Wo5Od49" role="1ziNjJ">
<ref role="skqaw" node="7Z6$Wo5O61Q" resolve="d1" />
<ref role="skqaw" node="7Z6$Wo5O61Q" />
<node concept="raruj" id="7Z6$Wo5OghC" role="lGtFl" />
<node concept="1ZhdrF" id="7Z6$Wo5OghD" role="lGtFl">
<property role="P3scX" value="001b2375-3bd5-4d5e-9958-6b3f62dc8548/2707707741266384759/2707707741266384760" />
Expand All @@ -660,7 +660,7 @@
</node>
</node>
<node concept="2He$iJ" id="7Z6$Wo5Od2n" role="1ziNjM">
<ref role="2He$iI" node="7Z6$Wo5O6k3" resolve="m" />
<ref role="2He$iI" node="7Z6$Wo5O6k3" />
</node>
</node>
</node>
Expand Down Expand Up @@ -788,7 +788,7 @@
<node concept="1yLTVY" id="4pkEwgj29gH" role="2HcbjO">
<node concept="1yLTVP" id="4pkEwgj29gR" role="1yLTVS">
<node concept="2He$iJ" id="4pkEwgj29gP" role="1yeVNG">
<ref role="2He$iI" node="4pkEwgj29di" resolve="v" />
<ref role="2He$iI" node="4pkEwgj29di" />
<node concept="1pdMLZ" id="4pkEwgj4tA3" role="lGtFl">
<node concept="2kFOW8" id="4pkEwgj4tAc" role="2kGFt3">
<node concept="3clFbS" id="4pkEwgj4tAd" role="2VODD2">
Expand Down
18 changes: 9 additions & 9 deletions ...ormal.nusmv/languages/com.mbeddr.formal.nusmv.tests/generator/template/[email protected]
View file
Original file line number Diff line number Diff line change
Expand Up @@ -381,7 +381,7 @@
<property role="TrG5h" value="main" />
<node concept="3lhOvk" id="1ZsZb$iKiKR" role="3lj3bC">
<ref role="30HIoZ" to="fnq2:1ZsZb$iIWjt" resolve="ExecutableTestCase" />
<ref role="3lhOvi" node="1ZsZb$iKiKU" resolve="system_for_executable_test" />
<ref role="3lhOvi" node="1ZsZb$iKiKU" />
</node>
<node concept="aNPBN" id="1ZsZb$iJWZE" role="aQYdv">
<ref role="aOQi4" to="fnq2:43FRfGJUEcN" resolve="TestsCollection" />
Expand Down Expand Up @@ -430,7 +430,7 @@
<node concept="2Hdskp" id="1ZsZb$iIZ5E" role="2Hfkx9">
<property role="TrG5h" value="sut" />
<node concept="1zigX2" id="1ZsZb$iIZ6m" role="2HdssA">
<ref role="1zigX1" node="1ZsZb$iIZ4B" resolve="sut" />
<ref role="1zigX1" node="1ZsZb$iIZ4B" />
<node concept="1ZhdrF" id="1ZsZb$iJFJ9" role="lGtFl">
<property role="P3scX" value="001b2375-3bd5-4d5e-9958-6b3f62dc8548/8482728081213209469/8482728081213209470" />
<property role="2qtEX8" value="module" />
Expand All @@ -448,7 +448,7 @@
</node>
</node>
<node concept="1J1L9T" id="6mm$FLYWR1h" role="1zigYY">
<ref role="1J1L9S" node="6mm$FLYVoYA" resolve="in_val" />
<ref role="1J1L9S" node="6mm$FLYVoYA" />
<node concept="1WS0z7" id="6mm$FLYWReB" role="lGtFl">
<node concept="3JmXsc" id="6mm$FLYWReD" role="3Jn$fo">
<node concept="3clFbS" id="6mm$FLYWReF" role="2VODD2">
Expand Down Expand Up @@ -578,15 +578,15 @@
<node concept="2Hfkzp" id="1ZsZb$iIZaa" role="2HcbjO">
<node concept="2HfkAV" id="1ZsZb$iIZdN" role="2HfkAP">
<node concept="2He$iJ" id="1ZsZb$iIZgb" role="2He$ia">
<ref role="2He$iI" node="1ZsZb$iIZeo" resolve="__crtStep" />
<ref role="2He$iI" node="1ZsZb$iIZeo" />
</node>
<node concept="2IPVmt" id="1ZsZb$iIZgr" role="2He$i0">
<property role="2IPVms" value="0" />
</node>
</node>
<node concept="2HevG6" id="1ZsZb$iIQG8" role="2HfkAP">
<node concept="2He$iJ" id="1ZsZb$iIZl7" role="2He$ia">
<ref role="2He$iI" node="1ZsZb$iIZeo" resolve="__crtStep" />
<ref role="2He$iI" node="1ZsZb$iIZeo" />
</node>
<node concept="2H9I2B" id="1ZsZb$iIVet" role="2He$i0">
<node concept="2H9I2A" id="1ZsZb$iIVex" role="2H9I2x">
Expand Down Expand Up @@ -618,7 +618,7 @@
</node>
</node>
<node concept="2He$iJ" id="1ZsZb$iIVeU" role="2H9Iav">
<ref role="2He$iI" node="1ZsZb$iIZeo" resolve="__crtStep" />
<ref role="2He$iI" node="1ZsZb$iIZeo" />
</node>
</node>
<node concept="d4bQV" id="1ZsZb$iODNA" role="2H9I4_">
Expand Down Expand Up @@ -678,7 +678,7 @@
<node concept="32OYss" id="1ZsZb$iODsd" role="2H9Iav">
<node concept="2H9FEB" id="1ZsZb$iODse" role="32OYtT">
<node concept="2He$iJ" id="1ZsZb$iIQGL" role="2H9Iav">
<ref role="2He$iI" node="1ZsZb$iIZeo" resolve="__crtStep" />
<ref role="2He$iI" node="1ZsZb$iIZeo" />
</node>
<node concept="2IPVmt" id="1ZsZb$iODsf" role="2H9Ial">
<property role="2IPVms" value="1" />
Expand All @@ -688,7 +688,7 @@
</node>
<node concept="2H9FEB" id="1ZsZb$iOEdA" role="d498F">
<node concept="2He$iJ" id="1ZsZb$iOEdB" role="2H9Iav">
<ref role="2He$iI" node="1ZsZb$iIZeo" resolve="__crtStep" />
<ref role="2He$iI" node="1ZsZb$iIZeo" />
</node>
<node concept="2IPVmt" id="1ZsZb$iOEdC" role="2H9Ial">
<property role="2IPVms" value="1" />
Expand All @@ -699,7 +699,7 @@
<node concept="2H9I2A" id="1ZsZb$iIVgZ" role="2H9I2x">
<node concept="1yCjRe" id="1ZsZb$iODo8" role="2H9I4J" />
<node concept="2He$iJ" id="1ZsZb$iIVj_" role="2H9I4_">
<ref role="2He$iI" node="1ZsZb$iIZeo" resolve="__crtStep" />
<ref role="2He$iI" node="1ZsZb$iIZeo" />
</node>
</node>
</node>
Expand Down
Loading

0 comments on commit 0f69baf

Please sign in to comment.