eclipsesource / eclipsesource/papyrus-seqd
[State Invariant:008]: State Invariants in Combined Fragments
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 create an state invariant inside a operand of a combined fragment if the target lifeline it is covered by the combined fragment.
The state invariant will be owned by the interaction operand.
Contributor guide
No contributing guide indexed for this repository
Assessment
This issue has not been assessed yet.