From bbcf632ff8a52f2a23110d16483ab4571bd407b1 Mon Sep 17 00:00:00 2001
From: danielratiu <ratiud@googlemail.com>
Date: Sat, 30 Nov 2024 19:06:45 +0100
Subject: [PATCH] overall: File -> Force Save All

---
 ...com.mbeddr.formal.safety.gsn.ext.behavior.mps |  4 ++--
 ...eddr.formal.safety.gsn.pdfexport.behavior.mps |  4 ++--
 .../models/com.mpsbasics.pdfbox.utils.mps        | 16 ++++++++--------
 3 files changed, 12 insertions(+), 12 deletions(-)

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 049c1da6..f87cc029 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
@@ -420,7 +420,7 @@
                 <node concept="X8dFx" id="Kdb35FgsEW" role="2OqNvi">
                   <node concept="2OqwBi" id="Kdb35Fg__A" role="25WWJ7">
                     <node concept="37vLTw" id="Kdb35Fg$oa" role="2Oq$k0">
-                      <ref role="3cqZAo" node="Kdb35Fgtf8" resolve="resolve" />
+                      <ref role="3cqZAo" node="Kdb35Fgtf8" resolve="crtDevkit" />
                     </node>
                     <node concept="liA8E" id="Kdb35FgAvs" role="2OqNvi">
                       <ref role="37wK5l" to="z1c3:~DevKit.getAllExportedLanguageIds()" resolve="getAllExportedLanguageIds" />
@@ -480,7 +480,7 @@
             </node>
             <node concept="X8dFx" id="Kdb35FgMAK" role="2OqNvi">
               <node concept="37vLTw" id="Kdb35FgNjK" role="25WWJ7">
-                <ref role="3cqZAo" node="Kdb35FgE6n" resolve="importedLanguages" />
+                <ref role="3cqZAo" node="Kdb35FgE6n" resolve="directlyUsedLanguages" />
               </node>
             </node>
           </node>
diff --git a/code/languages/com.mbeddr.formal.safety/languages/com.mbeddr.formal.safety.gsn.pdfexport/models/com.mbeddr.formal.safety.gsn.pdfexport.behavior.mps b/code/languages/com.mbeddr.formal.safety/languages/com.mbeddr.formal.safety.gsn.pdfexport/models/com.mbeddr.formal.safety.gsn.pdfexport.behavior.mps
index dc3446e0..585e8faa 100644
--- a/code/languages/com.mbeddr.formal.safety/languages/com.mbeddr.formal.safety.gsn.pdfexport/models/com.mbeddr.formal.safety.gsn.pdfexport.behavior.mps
+++ b/code/languages/com.mbeddr.formal.safety/languages/com.mbeddr.formal.safety.gsn.pdfexport/models/com.mbeddr.formal.safety.gsn.pdfexport.behavior.mps
@@ -165,7 +165,7 @@
     </node>
     <node concept="13i0hz" id="3TNxfDZ5yPq" role="13h7CS">
       <property role="TrG5h" value="addPagesToPdfDocument" />
-      <ref role="13i0hy" to="vix4:5rjUx$vLwAC" resolve="convertToPdf" />
+      <ref role="13i0hy" to="vix4:5rjUx$vLwAC" resolve="addPagesToPdfDocument" />
       <node concept="3Tm1VV" id="3TNxfDZ5yPt" role="1B3o_S" />
       <node concept="3clFbS" id="3TNxfDZ5yPw" role="3clF47">
         <node concept="3cpWs8" id="3G_hsRko$ny" role="3cqZAp">
@@ -303,7 +303,7 @@
                 </node>
                 <node concept="3FNE7p" id="3G_hsRkoE1d" role="2OqNvi">
                   <node concept="37vLTw" id="3G_hsRkoE9g" role="3FOfgg">
-                    <ref role="3cqZAo" node="3G_hsRkoA86" resolve="page2Nodes" />
+                    <ref role="3cqZAo" node="3G_hsRkoA86" resolve="crtPage2Nodes" />
                   </node>
                 </node>
               </node>
diff --git a/code/languages/com.mpsbasics/solutions/com.mpsbasics.pdfbox/models/com.mpsbasics.pdfbox.utils.mps b/code/languages/com.mpsbasics/solutions/com.mpsbasics.pdfbox/models/com.mpsbasics.pdfbox.utils.mps
index 5550df90..e6608897 100644
--- a/code/languages/com.mpsbasics/solutions/com.mpsbasics.pdfbox/models/com.mpsbasics.pdfbox.utils.mps
+++ b/code/languages/com.mpsbasics/solutions/com.mpsbasics.pdfbox/models/com.mpsbasics.pdfbox.utils.mps
@@ -366,7 +366,7 @@
                     </node>
                     <node concept="2OqwBi" id="3G_hsRkdriZ" role="33vP2m">
                       <node concept="2GrUjf" id="3G_hsRkdrj0" role="2Oq$k0">
-                        <ref role="2Gs0qQ" node="24pF5$oXD4P" resolve="p" />
+                        <ref role="2Gs0qQ" node="24pF5$oXD4P" resolve="pageExportConfig" />
                       </node>
                       <node concept="2qgKlT" id="3G_hsRkdrj1" role="2OqNvi">
                         <ref role="37wK5l" to="vix4:5rjUx$vLwAC" resolve="addPagesToPdfDocument" />
@@ -977,7 +977,7 @@
                         <node concept="3clFbF" id="3G_hsRkeaIS" role="3cqZAp">
                           <node concept="2OqwBi" id="3G_hsRkeaIT" role="3clFbG">
                             <node concept="37vLTw" id="3G_hsRkeaIU" role="2Oq$k0">
-                              <ref role="3cqZAo" node="3G_hsRkeaIA" resolve="referencedNamedConcepts" />
+                              <ref role="3cqZAo" node="3G_hsRkeaIA" resolve="referencedNamedNodes" />
                             </node>
                             <node concept="TSZUe" id="3G_hsRkeaIV" role="2OqNvi">
                               <node concept="Jnkvi" id="3G_hsRkeaIW" role="25WWJ7">
@@ -1074,7 +1074,7 @@
                                 </node>
                                 <node concept="3JPx81" id="3G_hsRkeNNv" role="2OqNvi">
                                   <node concept="2GrUjf" id="3G_hsRkeNNw" role="25WWJ7">
-                                    <ref role="2Gs0qQ" node="3G_hsRkeqvR" resolve="refNode" />
+                                    <ref role="2Gs0qQ" node="3G_hsRkeqvR" resolve="currentReferencedNode" />
                                   </node>
                                 </node>
                               </node>
@@ -1110,7 +1110,7 @@
                   <node concept="3y3z36" id="3G_hsRkeQDM" role="3clFbw">
                     <node concept="10Nm6u" id="3G_hsRkeRm7" role="3uHU7w" />
                     <node concept="37vLTw" id="3G_hsRkePNC" role="3uHU7B">
-                      <ref role="3cqZAo" node="3G_hsRkeNNi" resolve="page" />
+                      <ref role="3cqZAo" node="3G_hsRkeNNi" resolve="pageContainingCurrentReferencedNode" />
                     </node>
                   </node>
                 </node>
@@ -1182,7 +1182,7 @@
                 <ref role="37wK5l" to="r4xz:~PDType1Font.&lt;init&gt;(org.apache.pdfbox.pdmodel.font.Standard14Fonts$FontName)" resolve="PDType1Font" />
                 <node concept="Rm8GO" id="5rjUx$vLMn0" role="37wK5m">
                   <ref role="Rm8GQ" to="r4xz:~Standard14Fonts$FontName.HELVETICA_BOLD" resolve="HELVETICA_BOLD" />
-                  <ref role="1Px2BO" to="r4xz:~Standard14Fonts$FontName" resolve="FontName" />
+                  <ref role="1Px2BO" to="r4xz:~Standard14Fonts$FontName" resolve="Standard14Fonts.FontName" />
                 </node>
               </node>
             </node>
@@ -1213,7 +1213,7 @@
                   <ref role="3cqZAo" node="3G_hsRkftZ5" resolve="pageContainingLinks" />
                 </node>
                 <node concept="Rm8GO" id="6uwfldAKQ_5" role="37wK5m">
-                  <ref role="1Px2BO" to="yid2:~PDPageContentStream$AppendMode" resolve="AppendMode" />
+                  <ref role="1Px2BO" to="yid2:~PDPageContentStream$AppendMode" resolve="PDPageContentStream.AppendMode" />
                   <ref role="Rm8GQ" to="yid2:~PDPageContentStream$AppendMode.APPEND" resolve="APPEND" />
                 </node>
                 <node concept="3clFbT" id="6uwfldAKQgH" role="37wK5m">
@@ -1489,7 +1489,7 @@
                 <node concept="liA8E" id="6uwfldAKQHw" role="2OqNvi">
                   <ref role="37wK5l" to="yid2:~PDAbstractContentStream.showText(java.lang.String)" resolve="showText" />
                   <node concept="37vLTw" id="3G_hsRkk84P" role="37wK5m">
-                    <ref role="3cqZAo" node="3G_hsRkk84J" resolve="string" />
+                    <ref role="3cqZAo" node="3G_hsRkk84J" resolve="text" />
                   </node>
                 </node>
               </node>
@@ -1552,7 +1552,7 @@
                 <node concept="liA8E" id="6uwfldAN91i" role="2OqNvi">
                   <ref role="37wK5l" to="8o43:~PDPageDestination.setPage(org.apache.pdfbox.pdmodel.PDPage)" resolve="setPage" />
                   <node concept="37vLTw" id="Kdb35EKZCv" role="37wK5m">
-                    <ref role="3cqZAo" node="Kdb35EKZCr" resolve="page" />
+                    <ref role="3cqZAo" node="Kdb35EKZCr" resolve="destinationPage" />
                   </node>
                 </node>
               </node>