Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

[Direct Edition:008]: State Invariant label #279

Open
planger opened this issue Apr 28, 2018 · 0 comments
Open

[Direct Edition:008]: State Invariant label #279

planger opened this issue Apr 28, 2018 · 0 comments
Labels
direct_edition Requirements related to the direct edition of the textual part of the diagram, messages labels, etc. prio_medium Medium priority
Milestone
M9 - Copy and pas...

Comments

@planger
Copy link
Collaborator

planger commented Apr 28, 2018

It SHALL be possible to edit a state invariant label directly on the diagram.

The editor SHALL provide content assistance for:

  • If the state invariant is in "state" form, the name of the state of the state machine defined in the lifeline represented classifier.
  • Or, just a boolean expression if the state invariant is in the constraint form.
@planger planger added direct_edition Requirements related to the direct edition of the textual part of the diagram, messages labels, etc. prio_medium Medium priority labels Apr 28, 2018
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
direct_edition Requirements related to the direct edition of the textual part of the diagram, messages labels, etc. prio_medium Medium priority
Projects
None yet
Milestone
M9 - Copy and paste, direct editing, ...
Development

No branches or pull requests
1 participant
@planger