Move record declaration comparison order to IRecordDeclaration

Author: Alexander Pann

code/languages/org.iets3.opensource/languages/org.iets3.core.expr.toplevel/models/org/iets3/core/expr/toplevel/constraints.mps

@@ -2151,7 +2151,7 @@
                   <node concept="2Xjw5R" id="3sWKo0E1prS" role="2OqNvi">
                     <node concept="1xMEDy" id="3sWKo0E1prU" role="1xVPHs">
                       <node concept="chp4Y" id="3sWKo0E1pws" role="ri$Ld">
-                        <ref role="cht4Q" to="yv47:7D7uZV2dYyQ" resolve="RecordDeclaration" />
+                        <ref role="cht4Q" to="yv47:xu7xcKinTJ" resolve="IRecordDeclaration" />
                       </node>
                     </node>
                     <node concept="1xIGOp" id="3sWKo0E1pJ9" role="1xVPHs" />

code/languages/org.iets3.opensource/languages/org.iets3.core.expr.toplevel/models/org/iets3/core/expr/toplevel/plugin.mps

@@ -1080,7 +1080,7 @@
                 <node concept="1PxgMI" id="3sWKo0EpqFo" role="2Oq$k0">
                   <property role="1BlNFB" value="true" />
                   <node concept="chp4Y" id="3sWKo0EpqFp" role="3oSUPX">
-                    <ref role="cht4Q" to="yv47:7D7uZV2dYyQ" resolve="RecordDeclaration" />
+                    <ref role="cht4Q" to="yv47:xu7xcKinTJ" resolve="IRecordDeclaration" />
                   </node>
                   <node concept="37vLTw" id="3sWKo0EpqFq" role="1m5AlR">
                     <ref role="3cqZAo" node="7$ajNzjzZzN" resolve="recordDeclaration" />
@@ -1097,7 +1097,7 @@
               <node concept="1PxgMI" id="7k6A8WfxKFt" role="2Oq$k0">
                 <property role="1BlNFB" value="true" />
                 <node concept="chp4Y" id="7k6A8WfxNsN" role="3oSUPX">
-                  <ref role="cht4Q" to="yv47:7D7uZV2dYyQ" resolve="RecordDeclaration" />
+                  <ref role="cht4Q" to="yv47:xu7xcKinTJ" resolve="IRecordDeclaration" />
                 </node>
                 <node concept="37vLTw" id="7k6A8WfxDdY" role="1m5AlR">
                   <ref role="3cqZAo" node="7$ajNzjzZzN" resolve="recordDeclaration" />
@@ -1214,7 +1214,7 @@
                   <node concept="1PxgMI" id="7k6A8Wfyf4P" role="2Oq$k0">
                     <property role="1BlNFB" value="true" />
                     <node concept="chp4Y" id="7k6A8Wfyf4Q" role="3oSUPX">
-                      <ref role="cht4Q" to="yv47:7D7uZV2dYyQ" resolve="RecordDeclaration" />
+                      <ref role="cht4Q" to="yv47:xu7xcKinTJ" resolve="IRecordDeclaration" />
                     </node>
                     <node concept="37vLTw" id="7k6A8Wfyf4R" role="1m5AlR">
                       <ref role="3cqZAo" node="7$ajNzjzZzN" resolve="recordDeclaration" />

code/languages/org.iets3.opensource/languages/org.iets3.core.expr.toplevel/models/org/iets3/core/expr/toplevel/structure.mps

@@ -338,13 +338,6 @@
       <property role="20kJfa" value="refFlag" />
       <ref role="20lvS9" node="6JZACDWOa9c" resolve="ReferenceableFlag" />
     </node>
-    <node concept="1TJgyj" id="6vUyz1z4RZG" role="1TKVEi">
-      <property role="IQ2ns" value="7492452870509527020" />
-      <property role="20lmBu" value="fLJjDmT/aggregation" />
-      <property role="20kJfa" value="comparisonOrder" />
-      <property role="20lbJX" value="fLJekj5/_0__n" />
-      <ref role="20lvS9" node="3sWKo0E1oB0" resolve="RecordComparisonOrder" />
-    </node>
   </node>
   <node concept="1TIwiD" id="7D7uZV2dYyT">
     <property role="3GE5qa" value="record" />
@@ -746,6 +739,13 @@
       <property role="IQ2ns" value="602952467877562565" />
       <ref role="20lvS9" node="xu7xcKdQCB" resolve="IRecordMember" />
     </node>
+    <node concept="1TJgyj" id="6vUyz1z4RZG" role="1TKVEi">
+      <property role="IQ2ns" value="7492452870509527020" />
+      <property role="20lmBu" value="fLJjDmT/aggregation" />
+      <property role="20kJfa" value="comparisonOrder" />
+      <property role="20lbJX" value="fLJekj5/_0__n" />
+      <ref role="20lvS9" node="3sWKo0E1oB0" resolve="RecordComparisonOrder" />
+    </node>
   </node>
   <node concept="1TIwiD" id="7zXSNv$jGoK">
     <property role="EcuMT" value="8718374282852222512" />

code/languages/org.iets3.opensource/tests/test.in.expr.os/models/[email protected]

@@ -209,14 +209,14 @@
         <child id="8811147530085329323" name="memberValues" index="2S399l" />
       </concept>
       <concept id="602952467877559919" name="org.iets3.core.expr.toplevel.structure.IRecordDeclaration" flags="ng" index="S5Q1W">
+        <child id="7492452870509527020" name="comparisonOrder" index="4Uvns" />
         <child id="602952467877562565" name="members" index="S5Trm" />
       </concept>
       <concept id="8811147530084018370" name="org.iets3.core.expr.toplevel.structure.RecordType" flags="ng" index="2Ss9cW">
         <reference id="8811147530084018371" name="record" index="2Ss9cX" />
       </concept>
       <concept id="8811147530084018361" name="org.iets3.core.expr.toplevel.structure.RecordMember" flags="ng" index="2Ss9d7" />
       <concept id="8811147530084018358" name="org.iets3.core.expr.toplevel.structure.RecordDeclaration" flags="ng" index="2Ss9d8">
-        <child id="7492452870509527020" name="comparisonOrder" index="4Uvns" />
         <child id="7782108600709718635" name="refFlag" index="nbNzx" />
       </concept>
       <concept id="1024425597324739336" name="org.iets3.core.expr.toplevel.structure.RecordMemberRefInConstraint" flags="ng" index="XrbUJ">