search

eclipsesource / papyrus-seqd

1 stars 5 forks source link

Semantic order broken after message move with Ctrl pressed #431

Closed planger closed 5 years ago

planger commented 5 years ago

In the project semantic-order-msg-move.zip the initial state is as follows:

image

the ends 1s and 1r denote the send and receive event of the AsyncMessage1, respectively. If I now move (with Ctrl pushed) AsyncMessage1 lower than AsyncMessage2, the order of the ends is not updated correctly:

image

This is also partly reproducable when moving up AsyncMessage2. Only the send event is re-ordered correctly. But the receive event, isn't.

image

Note that all works fine for both cases, if we don't move the message, but re-orient the message ends one by one.

cdamus commented 5 years ago

I imagine this is closely related to #427, which is a problem of the semantic order being fixed too early, after the send event of a message is updated but before the receive event.