Skip to content
This repository has been archived by the owner on Jan 5, 2021. It is now read-only.

DefaultNamingService doesn't create short name for statechart time event #479

Closed
muehlbrandt opened this issue Mar 7, 2016 · 0 comments
Closed

Comments

@muehlbrandt
Copy link
Contributor

If the statechart declaration field contains after or every statements the DefaultNamingService doesn't create a shortname for the resulting events.

@muehlbrandt muehlbrandt modified the milestones: Inbox, M24 Mar 7, 2016
@muehlbrandt muehlbrandt self-assigned this Mar 7, 2016
muehlbrandt added a commit that referenced this issue Mar 18, 2016
…creates_no_timeevent_shortname

Issue #479 default naming service creates no timeevent shortname
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Projects
None yet
Development

No branches or pull requests

2 participants