Transitions

Every transition is mapped to the private operations for an object for implementing statecharts, with optimizations for "short" functions (see Inlining transition code). These operations set the necessary values for the current active states, execute the actions, and so on. Several outbound transitions from the same state are mapped to the same operation, and are distinguished using a switch() statement.


Feedback