eclipsesource / eclipsesource/papyrus-seqd
[State Invariant:009]: Move a State Invariant into a combined fragment
Open
prio_low
state_invariants
- Dominant language
- Java
- Stars
- 1
- Forks
- 5
- PR merge metrics
- No merged PRs in 30d
Description
It SHALL be possible to move a state invariant inside a operand of an combined fragment if the target lifeline it is covered by the combined fragment.
The state invariant will be removed from its current location and added into the interaction operand.
Contributor guide
No contributing guide indexed for this repository
Assessment
This issue has not been assessed yet.