SCCD/test/semantics/big_step_maximality/01_take_many.xml

<?xml version="1.0" ?>
<diagram
	xmlns="msdl.uantwerpen.be/sccd"
	author="Joeri Exelmans"
	name="take_one">
	<description>
		Take Many-semantics: A big step doesn't end until there are no more enabled transitions.
	</description>
	<outport name="out"/>
	<class name="c" default="true">
		<scxml initial="a"
			big_step_maximality="take_many"
			internal_event_lifeline="queue">
			<state id="a">
				<onentry>
					<raise event="entered_a" port="out"/>
				</onentry>
				<transition target="../b"/>
			</state>
			<state id="b">
				<onentry>
					<raise event="entered_b" port="out"/>
				</onentry>
				<transition target="../c"/>
			</state>
			<state id="c">
				<onentry>
					<raise event="entered_c" port="out"/>
				</onentry>
			</state>
		</scxml>
	</class>
	<test>
		<expected>
			<slot>
				<!-- initialization -->
				<event name="entered_a" port="out"/>
			</slot>
			<slot>
				<!-- big step -->
				<event name="entered_b" port="out"/>
				<event name="entered_c" port="out"/>
			</slot>
		</expected>
	</test>
</diagram>