Skip to content

Commit ba9a199

Browse files
author
Alexander Pann
committed
Support the index expression in all and any operations
1 parent bab60db commit ba9a199

File tree

3 files changed

+426
-0
lines changed
  • code/languages/org.iets3.opensource

3 files changed

+426
-0
lines changed

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

Lines changed: 6 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -390,6 +390,9 @@
390390
<property role="EcuMT" value="8872269265515619803" />
391391
<property role="R4oN_" value="an existential quantifier (true if at least one is true)" />
392392
<ref role="1TJDcQ" node="7GwCuf2E2W0" resolve="OneArgPredicateCollectionOp" />
393+
<node concept="PrWs8" id="7G4S3eSr2T3" role="PzmwI">
394+
<ref role="PrY4T" node="7SZA7Udl6Fm" resolve="IProvideIndex" />
395+
</node>
393396
</node>
394397
<node concept="1TIwiD" id="7GwCuf2RfRi">
395398
<property role="3GE5qa" value="collection" />
@@ -398,6 +401,9 @@
398401
<property role="EcuMT" value="8872269265518788050" />
399402
<property role="R4oN_" value="an universal quantifier (true if all elements are true)" />
400403
<ref role="1TJDcQ" node="7GwCuf2E2W0" resolve="OneArgPredicateCollectionOp" />
404+
<node concept="PrWs8" id="7G4S3eSr2T0" role="PzmwI">
405+
<ref role="PrY4T" node="7SZA7Udl6Fm" resolve="IProvideIndex" />
406+
</node>
401407
</node>
402408
<node concept="1TIwiD" id="7GwCuf2Wbm7">
403409
<property role="TrG5h" value="SetType" />

‎code/languages/org.iets3.opensource/solutions/org.iets3.core.expr.collections.interpreter/models/plugin.mps‎

Lines changed: 118 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -7389,8 +7389,53 @@
73897389
</node>
73907390
</node>
73917391
</node>
7392+
<node concept="3cpWs8" id="7G4S3eStTlk" role="3cqZAp">
7393+
<node concept="3cpWsn" id="7G4S3eStTln" role="3cpWs9">
7394+
<property role="TrG5h" value="index" />
7395+
<node concept="10Oyi0" id="7G4S3eStTli" role="1tU5fm" />
7396+
<node concept="3cmrfG" id="7G4S3eStTAg" role="33vP2m">
7397+
<property role="3cmrfH" value="0" />
7398+
</node>
7399+
</node>
7400+
</node>
7401+
<node concept="3cpWs8" id="7G4S3eStVe6" role="3cqZAp">
7402+
<node concept="3cpWsn" id="7G4S3eStVe7" role="3cpWs9">
7403+
<property role="TrG5h" value="oldRnd" />
7404+
<node concept="3uibUv" id="7G4S3eStVe8" role="1tU5fm">
7405+
<ref role="3uigEE" to="wyt6:~Integer" resolve="Integer" />
7406+
</node>
7407+
<node concept="0kSF2" id="7G4S3eStVe9" role="33vP2m">
7408+
<node concept="3uibUv" id="7G4S3eStVea" role="0kSFW">
7409+
<ref role="3uigEE" to="wyt6:~Integer" resolve="Integer" />
7410+
</node>
7411+
<node concept="3EllGN" id="7G4S3eStVeb" role="0kSFX">
7412+
<node concept="10M0yZ" id="7G4S3eStVec" role="3ElVtu">
7413+
<ref role="3cqZAo" to="y6bu:7SZA7Udlbqp" resolve="RND" />
7414+
<ref role="1PxDUh" to="y6bu:7SZA7Udlb7n" resolve="CollectionEnvConstants" />
7415+
</node>
7416+
<node concept="TvHiN" id="7G4S3eStVed" role="3ElQJh" />
7417+
</node>
7418+
</node>
7419+
</node>
7420+
</node>
73927421
<node concept="2$JKZl" id="v9lBEVh_9H" role="3cqZAp">
73937422
<node concept="3clFbS" id="v9lBEVh_9I" role="2LFqv$">
7423+
<node concept="3clFbF" id="7G4S3eSxKjf" role="3cqZAp">
7424+
<node concept="37vLTI" id="7G4S3eSxK_6" role="3clFbG">
7425+
<node concept="3uNrnE" id="7G4S3eSxLoa" role="37vLTx">
7426+
<node concept="37vLTw" id="7G4S3eSxLoc" role="2$L3a6">
7427+
<ref role="3cqZAo" node="7G4S3eStTln" resolve="index" />
7428+
</node>
7429+
</node>
7430+
<node concept="3EllGN" id="7G4S3eSxKjh" role="37vLTJ">
7431+
<node concept="10M0yZ" id="7G4S3eSxKji" role="3ElVtu">
7432+
<ref role="1PxDUh" to="y6bu:7SZA7Udlb7n" resolve="CollectionEnvConstants" />
7433+
<ref role="3cqZAo" to="y6bu:7SZA7Udlbqp" resolve="RND" />
7434+
</node>
7435+
<node concept="TvHiN" id="7G4S3eSxKjj" role="3ElQJh" />
7436+
</node>
7437+
</node>
7438+
</node>
73947439
<node concept="3cpWs8" id="v9lBEVh_9J" role="3cqZAp">
73957440
<node concept="3cpWsn" id="v9lBEVh_9K" role="3cpWs9">
73967441
<property role="TrG5h" value="next" />
@@ -7457,6 +7502,20 @@
74577502
</node>
74587503
</node>
74597504
</node>
7505+
<node concept="3clFbF" id="7G4S3eStW3j" role="3cqZAp">
7506+
<node concept="37vLTI" id="7G4S3eStX2u" role="3clFbG">
7507+
<node concept="37vLTw" id="7G4S3eStX6d" role="37vLTx">
7508+
<ref role="3cqZAo" node="7G4S3eStVe7" resolve="oldRnd" />
7509+
</node>
7510+
<node concept="3EllGN" id="7G4S3eStWP5" role="37vLTJ">
7511+
<node concept="10M0yZ" id="7G4S3eStWUP" role="3ElVtu">
7512+
<ref role="3cqZAo" to="y6bu:7SZA7Udlbqp" resolve="RND" />
7513+
<ref role="1PxDUh" to="y6bu:7SZA7Udlb7n" resolve="CollectionEnvConstants" />
7514+
</node>
7515+
<node concept="TvHiN" id="7G4S3eStW3h" role="3ElQJh" />
7516+
</node>
7517+
</node>
7518+
</node>
74607519
<node concept="3cpWs6" id="v9lBEVh_Wx" role="3cqZAp">
74617520
<node concept="3clFbT" id="v9lBEVhA1b" role="3cqZAk">
74627521
<property role="3clFbU" value="false" />
@@ -8343,8 +8402,53 @@
83438402
</node>
83448403
</node>
83458404
</node>
8405+
<node concept="3cpWs8" id="7G4S3eStQkO" role="3cqZAp">
8406+
<node concept="3cpWsn" id="7G4S3eStQkP" role="3cpWs9">
8407+
<property role="TrG5h" value="index" />
8408+
<node concept="10Oyi0" id="7G4S3eStQkQ" role="1tU5fm" />
8409+
<node concept="3cmrfG" id="7G4S3eStQkR" role="33vP2m">
8410+
<property role="3cmrfH" value="0" />
8411+
</node>
8412+
</node>
8413+
</node>
8414+
<node concept="3cpWs8" id="7G4S3eStRed" role="3cqZAp">
8415+
<node concept="3cpWsn" id="7G4S3eStRee" role="3cpWs9">
8416+
<property role="TrG5h" value="oldRnd" />
8417+
<node concept="3uibUv" id="7G4S3eStRef" role="1tU5fm">
8418+
<ref role="3uigEE" to="wyt6:~Integer" resolve="Integer" />
8419+
</node>
8420+
<node concept="0kSF2" id="7G4S3eStReg" role="33vP2m">
8421+
<node concept="3uibUv" id="7G4S3eStReh" role="0kSFW">
8422+
<ref role="3uigEE" to="wyt6:~Integer" resolve="Integer" />
8423+
</node>
8424+
<node concept="3EllGN" id="7G4S3eStRei" role="0kSFX">
8425+
<node concept="10M0yZ" id="7G4S3eStRej" role="3ElVtu">
8426+
<ref role="1PxDUh" to="y6bu:7SZA7Udlb7n" resolve="CollectionEnvConstants" />
8427+
<ref role="3cqZAo" to="y6bu:7SZA7Udlbqp" resolve="RND" />
8428+
</node>
8429+
<node concept="TvHiN" id="7G4S3eStRek" role="3ElQJh" />
8430+
</node>
8431+
</node>
8432+
</node>
8433+
</node>
83468434
<node concept="2$JKZl" id="v9lBEVhA4F" role="3cqZAp">
83478435
<node concept="3clFbS" id="v9lBEVhA4G" role="2LFqv$">
8436+
<node concept="3clFbF" id="7G4S3eSxJL7" role="3cqZAp">
8437+
<node concept="37vLTI" id="7G4S3eSxJXS" role="3clFbG">
8438+
<node concept="3uNrnE" id="7G4S3eSxMn0" role="37vLTx">
8439+
<node concept="37vLTw" id="7G4S3eSxMn2" role="2$L3a6">
8440+
<ref role="3cqZAo" node="7G4S3eStQkP" resolve="index" />
8441+
</node>
8442+
</node>
8443+
<node concept="3EllGN" id="7G4S3eSxJL9" role="37vLTJ">
8444+
<node concept="10M0yZ" id="7G4S3eSxJLa" role="3ElVtu">
8445+
<ref role="1PxDUh" to="y6bu:7SZA7Udlb7n" resolve="CollectionEnvConstants" />
8446+
<ref role="3cqZAo" to="y6bu:7SZA7Udlbqp" resolve="RND" />
8447+
</node>
8448+
<node concept="TvHiN" id="7G4S3eSxJLb" role="3ElQJh" />
8449+
</node>
8450+
</node>
8451+
</node>
83488452
<node concept="3cpWs8" id="v9lBEVhA4H" role="3cqZAp">
83498453
<node concept="3cpWsn" id="v9lBEVhA4I" role="3cpWs9">
83508454
<property role="TrG5h" value="next" />
@@ -8411,6 +8515,20 @@
84118515
</node>
84128516
</node>
84138517
</node>
8518+
<node concept="3clFbF" id="7G4S3eStRMJ" role="3cqZAp">
8519+
<node concept="37vLTI" id="7G4S3eStSP$" role="3clFbG">
8520+
<node concept="37vLTw" id="7G4S3eStSSC" role="37vLTx">
8521+
<ref role="3cqZAo" node="7G4S3eStRee" resolve="oldRnd" />
8522+
</node>
8523+
<node concept="3EllGN" id="7G4S3eStSDu" role="37vLTJ">
8524+
<node concept="10M0yZ" id="7G4S3eStSGQ" role="3ElVtu">
8525+
<ref role="3cqZAo" to="y6bu:7SZA7Udlbqp" resolve="RND" />
8526+
<ref role="1PxDUh" to="y6bu:7SZA7Udlb7n" resolve="CollectionEnvConstants" />
8527+
</node>
8528+
<node concept="TvHiN" id="7G4S3eStRMH" role="3ElQJh" />
8529+
</node>
8530+
</node>
8531+
</node>
84148532
<node concept="3cpWs6" id="v9lBEVhA56" role="3cqZAp">
84158533
<node concept="3clFbT" id="v9lBEVhA57" role="3cqZAk">
84168534
<property role="3clFbU" value="true" />

0 commit comments

Comments
 (0)