Home

Contribute

Source code


1
2
3
4
5
6
7
8
9
10
11

<!--  generated by featurizer  -->
<p>a transition point is the starting point of transitions that trigger for any state of this state machine</p>
<pre><code class=room customHighlighted>	<span class=keyword>StateMachine</span> {
		<span class=keyword>TransitionPoint</span> tp1
		<span class=keyword>Transition</span> tr1: <span class=keyword>my</span> tp1 -&gt; <span class=keyword>my</span> tp1 {
			<span class=keyword>triggers</span> {
				&lt;msg: port&gt;
			}
		}
	}
</code></pre>