Dear Escet developers,
on https://www.eclipse.org/escet/cif/language-tutorial/basics/automata.html, I am missing information about the behaviour of non-specified events. E.g. How does the location on relate to the turn_on event?
- Is that not possible (turn_on is a controlled event)? If so, how to I distinguish controlled from uncontrolled events?
- Is that ignored (a self loop)?
- Is that an error (and the automaton goes to an implicitly defined error state)?
- Is it deliberately underspecified and left to the implementation to decide?
I hope you can improve the documentation!