You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Currently, explicit routines can be called anywhere in the execution block of any other routine.
This can be confusing because in correspondences added in the calling routine are not yet added to the correspondence model when executing the called routine although the add operation was defined above the execution block.
To make clear what assumptions can be made when calling another routine, we should add an explicit call block at the end of a response/routine in which other routines can be called and for which it is obvious that the rest of the response/routine was already completely executed.
The text was updated successfully, but these errors were encountered:
Arising from #13, we should allow the call of other routines anywhere in the effects, but as an explicit statement rather than within the generic execute block like before. Due to the changed (timing) semantics of the individual statements in the effects block, no unexpected behavior can occur because the statements are then executed in the order in which they are defined.
Consequently, call blocks should be definable anywhere in the effects as a first level statement:
Currently, explicit routines can be called anywhere in the execution block of any other routine.
This can be confusing because in correspondences added in the calling routine are not yet added to the correspondence model when executing the called routine although the add operation was defined above the execution block.
To make clear what assumptions can be made when calling another routine, we should add an explicit call block at the end of a response/routine in which other routines can be called and for which it is obvious that the rest of the response/routine was already completely executed.
The text was updated successfully, but these errors were encountered: