Skip to content
This repository has been archived by the owner on May 28, 2024. It is now read-only.

Commit

Permalink
Revert "Removes deprecated RelationalOperators"
Browse files Browse the repository at this point in the history 
This reverts commit fd95634.
  • Loading branch information
@norro
norro committed Oct 20, 2020
1 parent d98fcd5 commit 7bfe83c
Show file tree
Hide file tree
Showing 2 changed files with 198 additions and 2 deletions.
120 changes: 120 additions & 0 deletions code/languages/com.mbeddr.formal.ocra/models/com.mbeddr.formal.ocra.behavior.mps
View file
Original file line number Diff line number Diff line change
Expand Up @@ -786,5 +786,125 @@
<node concept="3clFbS" id="404$BAz31aN" role="2VODD2" />
</node>
</node>
<node concept="13h7C7" id="404$BAz8LqS">
<property role="3GE5qa" value="constraints.relational" />
<ref role="13h7C2" to="hqls:404$BAz792M" resolve="LessOrEqualThanOperator" />
<node concept="13hLZK" id="404$BAz8LqT" role="13h7CW">
<node concept="3clFbS" id="404$BAz8LqU" role="2VODD2" />
</node>
<node concept="13i0hz" id="404$BAz8Lrc" role="13h7CS">
<property role="TrG5h" value="getPresentation" />
<ref role="13i0hy" to="tpcu:hEwIMiw" resolve="getPresentation" />
<node concept="3Tm1VV" id="404$BAz8LrB" role="1B3o_S" />
<node concept="3clFbS" id="404$BAz8LrC" role="3clF47">
<node concept="3clFbF" id="404$BAz8LHg" role="3cqZAp">
<node concept="Xl_RD" id="404$BAz8M4T" role="3clFbG">
<property role="Xl_RC" value="&lt;=" />
</node>
</node>
</node>
<node concept="17QB3L" id="404$BAz8LrD" role="3clF45" />
</node>
</node>
<node concept="13h7C7" id="404$BAz8OVO">
<property role="3GE5qa" value="constraints.relational" />
<ref role="13h7C2" to="hqls:404$BAz78Ye" resolve="EqualsOperator" />
<node concept="13i0hz" id="404$BAz8OWb" role="13h7CS">
<property role="TrG5h" value="getPresentation" />
<ref role="13i0hy" to="tpcu:hEwIMiw" resolve="getPresentation" />
<node concept="3Tm1VV" id="404$BAz8OWc" role="1B3o_S" />
<node concept="3clFbS" id="404$BAz8OWd" role="3clF47">
<node concept="3clFbF" id="404$BAz8OWe" role="3cqZAp">
<node concept="Xl_RD" id="404$BAz8OWf" role="3clFbG">
<property role="Xl_RC" value="&lt;" />
</node>
</node>
</node>
<node concept="17QB3L" id="404$BAz8OWg" role="3clF45" />
</node>
<node concept="13hLZK" id="404$BAz8OVP" role="13h7CW">
<node concept="3clFbS" id="404$BAz8OVQ" role="2VODD2" />
</node>
</node>
<node concept="13h7C7" id="404$BAz8P1M">
<property role="3GE5qa" value="constraints.relational" />
<ref role="13h7C2" to="hqls:404$BAz793V" resolve="GreaterOrEqualThanOperator" />
<node concept="13i0hz" id="404$BAz8P29" role="13h7CS">
<property role="TrG5h" value="getPresentation" />
<ref role="13i0hy" to="tpcu:hEwIMiw" resolve="getPresentation" />
<node concept="3Tm1VV" id="404$BAz8P2a" role="1B3o_S" />
<node concept="3clFbS" id="404$BAz8P2b" role="3clF47">
<node concept="3clFbF" id="404$BAz8P2c" role="3cqZAp">
<node concept="Xl_RD" id="404$BAz8P2d" role="3clFbG">
<property role="Xl_RC" value="&gt;=" />
</node>
</node>
</node>
<node concept="17QB3L" id="404$BAz8P2e" role="3clF45" />
</node>
<node concept="13hLZK" id="404$BAz8P1N" role="13h7CW">
<node concept="3clFbS" id="404$BAz8P1O" role="2VODD2" />
</node>
</node>
<node concept="13h7C7" id="404$BAz8P4D">
<property role="3GE5qa" value="constraints.relational" />
<ref role="13h7C2" to="hqls:404$BAz791D" resolve="GreaterThanOperator" />
<node concept="13i0hz" id="404$BAz8P50" role="13h7CS">
<property role="TrG5h" value="getPresentation" />
<ref role="13i0hy" to="tpcu:hEwIMiw" resolve="getPresentation" />
<node concept="3Tm1VV" id="404$BAz8P51" role="1B3o_S" />
<node concept="3clFbS" id="404$BAz8P52" role="3clF47">
<node concept="3clFbF" id="404$BAz8P53" role="3cqZAp">
<node concept="Xl_RD" id="404$BAz8P54" role="3clFbG">
<property role="Xl_RC" value="&gt;" />
</node>
</node>
</node>
<node concept="17QB3L" id="404$BAz8P55" role="3clF45" />
</node>
<node concept="13hLZK" id="404$BAz8P4E" role="13h7CW">
<node concept="3clFbS" id="404$BAz8P4F" role="2VODD2" />
</node>
</node>
<node concept="13h7C7" id="404$BAz8P78">
<property role="3GE5qa" value="constraints.relational" />
<ref role="13h7C2" to="hqls:404$BAz790w" resolve="LessThanOperator" />
<node concept="13i0hz" id="404$BAz8P7v" role="13h7CS">
<property role="TrG5h" value="getPresentation" />
<ref role="13i0hy" to="tpcu:hEwIMiw" resolve="getPresentation" />
<node concept="3Tm1VV" id="404$BAz8P7w" role="1B3o_S" />
<node concept="3clFbS" id="404$BAz8P7x" role="3clF47">
<node concept="3clFbF" id="404$BAz8P7y" role="3cqZAp">
<node concept="Xl_RD" id="404$BAz8P7z" role="3clFbG">
<property role="Xl_RC" value="&lt;" />
</node>
</node>
</node>
<node concept="17QB3L" id="404$BAz8P7$" role="3clF45" />
</node>
<node concept="13hLZK" id="404$BAz8P79" role="13h7CW">
<node concept="3clFbS" id="404$BAz8P7a" role="2VODD2" />
</node>
</node>
<node concept="13h7C7" id="404$BAz8Pd6">
<property role="3GE5qa" value="constraints.relational" />
<ref role="13h7C2" to="hqls:404$BAz78Zn" resolve="NotEqualOperator" />
<node concept="13i0hz" id="404$BAz8Pdt" role="13h7CS">
<property role="TrG5h" value="getPresentation" />
<ref role="13i0hy" to="tpcu:hEwIMiw" resolve="getPresentation" />
<node concept="3Tm1VV" id="404$BAz8Pdu" role="1B3o_S" />
<node concept="3clFbS" id="404$BAz8Pdv" role="3clF47">
<node concept="3clFbF" id="404$BAz8Pdw" role="3cqZAp">
<node concept="Xl_RD" id="404$BAz8Pdx" role="3clFbG">
<property role="Xl_RC" value="!=" />
</node>
</node>
</node>
<node concept="17QB3L" id="404$BAz8Pdy" role="3clF45" />
</node>
<node concept="13hLZK" id="404$BAz8Pd7" role="13h7CW">
<node concept="3clFbS" id="404$BAz8Pd8" role="2VODD2" />
</node>
</node>
</model>

80 changes: 78 additions & 2 deletions code/languages/com.mbeddr.formal.ocra/models/com.mbeddr.formal.ocra.structure.mps
View file
Original file line number Diff line number Diff line change
Expand Up @@ -36,7 +36,9 @@
<child id="1071489727083" name="linkDeclaration" index="1TKVEi" />
<child id="1071489727084" name="propertyDeclaration" index="1TKVEl" />
</concept>
<concept id="1169125989551" name="jetbrains.mps.lang.structure.structure.InterfaceConceptDeclaration" flags="ig" index="PlHQZ" />
<concept id="1169125989551" name="jetbrains.mps.lang.structure.structure.InterfaceConceptDeclaration" flags="ig" index="PlHQZ">
<child id="1169127546356" name="extends" index="PrDN$" />
</concept>
<concept id="1169127622168" name="jetbrains.mps.lang.structure.structure.InterfaceConceptReference" flags="ig" index="PrWs8">
<reference id="1169127628841" name="intfc" index="PrY4T" />
</concept>
Expand Down Expand Up @@ -1144,7 +1146,7 @@
<property role="IQ2ns" value="4612972969459487046" />
<property role="20lmBu" value="fLJjDmT/aggregation" />
<property role="20kJfa" value="op" />
<ref role="20lvS9" to="ehqg:6NmtaR1YmTj" resolve="BinaryComparisonExpression" />
<ref role="20lvS9" node="404$BAz795a" resolve="RelationalOperator" />
</node>
<node concept="1TJgyj" id="404$BAz78dQ" role="1TKVEi">
<property role="IQ2ns" value="4612972969459483510" />
Expand Down Expand Up @@ -1189,5 +1191,79 @@
<property role="3GE5qa" value="interfaces" />
<property role="TrG5h" value="IConstraint" />
</node>
<node concept="1TIwiD" id="404$BAz791D">
<property role="EcuMT" value="4612972969459486825" />
<property role="3GE5qa" value="constraints.relational" />
<property role="TrG5h" value="GreaterThanOperator" />
<property role="34LRSv" value="&gt;" />
<property role="R4oN_" value="greater" />
<ref role="1TJDcQ" to="tpck:gw2VY9q" resolve="BaseConcept" />
<node concept="PrWs8" id="404$BAz796n" role="PzmwI">
<ref role="PrY4T" node="404$BAz795a" resolve="RelationalOperator" />
</node>
</node>
<node concept="1TIwiD" id="404$BAz793V">
<property role="EcuMT" value="4612972969459486971" />
<property role="3GE5qa" value="constraints.relational" />
<property role="TrG5h" value="GreaterOrEqualThanOperator" />
<property role="34LRSv" value="&gt;=" />
<property role="R4oN_" value="greater or equal" />
<ref role="1TJDcQ" to="tpck:gw2VY9q" resolve="BaseConcept" />
<node concept="PrWs8" id="404$BAz796l" role="PzmwI">
<ref role="PrY4T" node="404$BAz795a" resolve="RelationalOperator" />
</node>
</node>
<node concept="PlHQZ" id="404$BAz795a">
<property role="EcuMT" value="4612972969459487050" />
<property role="3GE5qa" value="constraints.relational" />
<property role="TrG5h" value="RelationalOperator" />
<node concept="PrWs8" id="46t5MkZuwy_" role="PrDN$">
<ref role="PrY4T" node="46t5MkZsy$k" resolve="IOCRAConstraint" />
</node>
</node>
<node concept="1TIwiD" id="404$BAz78Zn">
<property role="EcuMT" value="4612972969459486679" />
<property role="3GE5qa" value="constraints.relational" />
<property role="TrG5h" value="NotEqualOperator" />
<property role="34LRSv" value="!=" />
<property role="R4oN_" value="not equal" />
<ref role="1TJDcQ" to="tpck:gw2VY9q" resolve="BaseConcept" />
<node concept="PrWs8" id="404$BAz796t" role="PzmwI">
<ref role="PrY4T" node="404$BAz795a" resolve="RelationalOperator" />
</node>
</node>
<node concept="1TIwiD" id="404$BAz790w">
<property role="EcuMT" value="4612972969459486752" />
<property role="3GE5qa" value="constraints.relational" />
<property role="TrG5h" value="LessThanOperator" />
<property role="34LRSv" value="&lt;" />
<property role="R4oN_" value="less" />
<ref role="1TJDcQ" to="tpck:gw2VY9q" resolve="BaseConcept" />
<node concept="PrWs8" id="404$BAz796r" role="PzmwI">
<ref role="PrY4T" node="404$BAz795a" resolve="RelationalOperator" />
</node>
</node>
<node concept="1TIwiD" id="404$BAz792M">
<property role="EcuMT" value="4612972969459486898" />
<property role="3GE5qa" value="constraints.relational" />
<property role="TrG5h" value="LessOrEqualThanOperator" />
<property role="34LRSv" value="&lt;=" />
<property role="R4oN_" value="less or equal" />
<ref role="1TJDcQ" to="tpck:gw2VY9q" resolve="BaseConcept" />
<node concept="PrWs8" id="404$BAz796p" role="PzmwI">
<ref role="PrY4T" node="404$BAz795a" resolve="RelationalOperator" />
</node>
</node>
<node concept="1TIwiD" id="404$BAz78Ye">
<property role="EcuMT" value="4612972969459486606" />
<property role="3GE5qa" value="constraints.relational" />
<property role="TrG5h" value="EqualsOperator" />
<property role="34LRSv" value="=" />
<property role="R4oN_" value="equals" />
<ref role="1TJDcQ" to="tpck:gw2VY9q" resolve="BaseConcept" />
<node concept="PrWs8" id="404$BAz796j" role="PzmwI">
<ref role="PrY4T" node="404$BAz795a" resolve="RelationalOperator" />
</node>
</node>
</model>

0 comments on commit 7bfe83c

Please sign in to comment.