2013-12-30 17:37:40 -05:00
<?xml version="1.0" encoding="UTF-8"?>
2015-05-22 20:36:44 -04:00
<model version="3.3.0">
2014-04-06 11:43:13 -04:00
<documentation>QMsmTst is a QMsm state machine test based on the contrived state machine from Chapter 2 of the PSiCC2 book for testing all possible transition topologies with up to 4-levels of state nesting.</documentation>
2013-12-30 17:37:40 -05:00
<framework name="qpc"/>
<package name="SMs" stereotype="0x02">
<class name="QMsmTst" superclass="qpc::QMsm">
<documentation>Test active object</documentation>
<attribute name="foo" type="uint8_t" visibility="0x02" properties="0x00"/>
<statechart>
<initial target="../1/5">
<action>(void)e; /* avoid compiler warning */
me->foo = 0U;
BSP_display("top-INIT;");</action>
<initial_glyph conn="76,2,4,1,6,-8">
<action box="-7,6,13,4"/>
</initial_glyph>
</initial>
<state name="s">
<entry>BSP_display("s-ENTRY;");</entry>
<exit>BSP_display("s-EXIT;");</exit>
<initial target="../4/7">
<action>BSP_display("s-INIT;");</action>
2014-04-06 11:43:13 -04:00
<initial_glyph conn="31,7,5,0,-9,19">
2013-12-30 17:37:40 -05:00
<action box="-6,0,6,2"/>
</initial_glyph>
</initial>
<tran trig="I">
<choice>
<guard>me->foo</guard>
<action>me->foo = 0U;
BSP_display("s-I;");</action>
<choice_glyph conn="7,10,5,-1,8">
<action box="1,0,12,4"/>
</choice_glyph>
</choice>
<tran_glyph conn="2,10,3,-1,5">
<action box="1,-2,6,2"/>
</tran_glyph>
</tran>
<tran trig="E" target="../4/7">
<action>BSP_display("s-E;");</action>
<tran_glyph conn="28,39,2,2,-6">
<action box="1,-2,6,2"/>
</tran_glyph>
</tran>
<tran trig="TERMINATE">
<action>BSP_exit();</action>
<tran_glyph conn="71,19,1,-1,4,17">
<action box="0,-2,9,2"/>
</tran_glyph>
</tran>
<state name="s1">
<entry>BSP_display("s1-ENTRY;");</entry>
<exit>BSP_display("s1-EXIT;");</exit>
<initial target="../7">
<action>BSP_display("s1-INIT;");</action>
2014-04-06 11:43:13 -04:00
<initial_glyph conn="26,19,5,0,-2,7">
2013-12-30 17:37:40 -05:00
<action box="-4,0,6,2"/>
</initial_glyph>
</initial>
<tran trig="I">
<action>BSP_display("s1-I;");</action>
<tran_glyph conn="13,23,3,-1,6">
<action box="1,-2,6,2"/>
</tran_glyph>
</tran>
<tran trig="D">
<choice target="../../..">
<guard>!me->foo</guard>
<action>me->foo = 1U;
BSP_display("s1-D;");</action>
<choice_glyph conn="7,17,4,3,6,-5">
<action box="-4,2,11,4"/>
</choice_glyph>
</choice>
<tran_glyph conn="13,17,3,-1,-6">
<action box="-2,-2,6,2"/>
</tran_glyph>
</tran>
<tran trig="A" target="..">
<action>BSP_display("s1-A;");</action>
<tran_glyph conn="27,15,0,0,-3,4,3">
<action box="1,-2,6,2"/>
</tran_glyph>
</tran>
<tran trig="B" target="../7">
<action>BSP_display("s1-B;");</action>
<tran_glyph conn="13,27,3,3,6">
<action box="1,-2,6,2"/>
</tran_glyph>
</tran>
<tran trig="F" target="../../5/4/4">
<action>BSP_display("s1-F;");</action>
<tran_glyph conn="34,31,1,3,17">
<action box="0,-2,6,2"/>
</tran_glyph>
</tran>
<tran trig="C" target="../../5">
<action>BSP_display("s1-C;");</action>
2014-04-06 11:43:13 -04:00
<tran_glyph conn="34,17,1,3,6">
2013-12-30 17:37:40 -05:00
<action box="0,-2,6,2"/>
</tran_glyph>
</tran>
<state name="s11">
<entry>BSP_display("s11-ENTRY;");</entry>
<exit>BSP_display("s11-EXIT;");</exit>
<tran trig="H" target="../../..">
<action>BSP_display("s11-H;");</action>
<tran_glyph conn="24,33,2,2,6">
<action box="1,0,6,2"/>
</tran_glyph>
</tran>
<tran trig="D">
<choice target="../../..">
<guard>me->foo</guard>
<action>me->foo = 0U;
BSP_display("s11-D;");</action>
<choice_glyph conn="7,31,4,3,-6,6">
<action box="-4,-5,11,4"/>
</choice_glyph>
</choice>
<tran_glyph conn="19,31,3,-1,-12">
<action box="-2,-2,6,2"/>
</tran_glyph>
</tran>
<tran trig="G" target="../../../5/4/4">
<action>BSP_display("s11-G;");</action>
<tran_glyph conn="31,27,1,3,20">
<action box="0,-2,6,2"/>
</tran_glyph>
</tran>
2014-04-06 11:43:13 -04:00
<state_glyph node="19,26,12,7">
2013-12-30 17:37:40 -05:00
<entry box="1,2,5,2"/>
<exit box="1,4,5,2"/>
</state_glyph>
</state>
<state_glyph node="13,15,21,21">
<entry box="1,2,5,2"/>
<exit box="1,4,5,2"/>
</state_glyph>
</state>
<state name="s2">
<entry>BSP_display("s2-ENTRY;");</entry>
<exit>BSP_display("s2-EXIT;");</exit>
<initial target="../4/4">
<action>BSP_display("s2-INIT;");</action>
<initial_glyph conn="65,10,5,0,-8,15">
<action box="-4,0,6,2"/>
</initial_glyph>
</initial>
<tran trig="I">
<choice>
<guard>!me->foo</guard>
<action>me->foo = 1U;
BSP_display("s2-I;");</action>
<choice_glyph conn="45,14,5,-1,8">
<action box="1,0,10,4"/>
</choice_glyph>
</choice>
2014-04-06 11:43:13 -04:00
<tran_glyph conn="40,14,3,-1,5">
2013-12-30 17:37:40 -05:00
<action box="1,-2,6,2"/>
</tran_glyph>
</tran>
<tran trig="F" target="../../4/7">
<action>BSP_display("s2-F;");</action>
2014-04-06 11:43:13 -04:00
<tran_glyph conn="40,24,3,0,-12,2">
<action box="-4,0,6,2"/>
2013-12-30 17:37:40 -05:00
</tran_glyph>
</tran>
<tran trig="C" target="../../4">
<action>BSP_display("s2-C;");</action>
2014-04-06 11:43:13 -04:00
<tran_glyph conn="40,20,3,1,-6">
2013-12-30 17:37:40 -05:00
<action box="-3,-2,6,2"/>
</tran_glyph>
</tran>
<state name="s21">
<entry>BSP_display("s21-ENTRY;");</entry>
<exit>BSP_display("s21-EXIT;");</exit>
<initial target="../4">
<action>BSP_display("s21-INIT;");</action>
<initial_glyph conn="64,23,5,0,-4,2">
<action box="-2,0,5,2"/>
</initial_glyph>
</initial>
<tran trig="G" target="../../../4">
<action>BSP_display("s21-G;");</action>
2014-04-06 11:43:13 -04:00
<tran_glyph conn="45,22,3,1,-11">
2013-12-30 17:37:40 -05:00
<action box="-3,-2,8,2"/>
</tran_glyph>
</tran>
<tran trig="A" target="..">
<action>BSP_display("s21-A;");</action>
<tran_glyph conn="59,19,0,0,-3,4,3">
<action box="1,-2,6,2"/>
</tran_glyph>
</tran>
<tran trig="B" target="../4">
<action>BSP_display("s21-B;");</action>
<tran_glyph conn="66,27,1,1,-4">
<action box="-2,-2,5,2"/>
</tran_glyph>
</tran>
<state name="s211">
<entry>BSP_display("s211-ENTRY;");</entry>
<exit>BSP_display("s211-EXIT;");</exit>
<tran trig="H" target="../../../..">
<action>BSP_display("s211-H;");</action>
<tran_glyph conn="57,32,2,2,7">
<action box="1,0,6,2"/>
</tran_glyph>
</tran>
<tran trig="D" target="../..">
<action>BSP_display("s211-D;");</action>
<tran_glyph conn="62,30,1,1,4">
<action box="0,-2,6,2"/>
</tran_glyph>
</tran>
<state_glyph node="51,25,11,7">
<entry box="1,2,5,2"/>
<exit box="1,4,5,2"/>
</state_glyph>
</state>
<state_glyph node="45,19,21,15">
<entry box="1,2,5,2"/>
<exit box="1,4,5,2"/>
</state_glyph>
</state>
2014-04-06 11:43:13 -04:00
<state_glyph node="40,6,28,30">
2013-12-30 17:37:40 -05:00
<entry box="1,2,5,2"/>
<exit box="1,4,5,2"/>
</state_glyph>
</state>
<state_glyph node="2,2,69,37">
<entry box="1,2,5,2"/>
<exit box="1,4,5,2"/>
</state_glyph>
</state>
<state_diagram size="79,41"/>
</statechart>
</class>
<operation name="QMsmTst_ctor" type="void" visibility="0x00" properties="0x00">
<code>QMsmTst *me = &l_msmtst;
QMsm_ctor(&me->super, Q_STATE_CAST(&QMsmTst_initial));</code>
</operation>
</package>
<directory name=".">
<file name="qmsmtst.h">
<text>#ifndef qmsmtst_h
#define qmsmtst_h
enum QMsmTstSignals {
A_SIG = Q_USER_SIG,
B_SIG,
C_SIG,
D_SIG,
E_SIG,
F_SIG,
G_SIG,
H_SIG,
I_SIG,
TERMINATE_SIG,
IGNORE_SIG,
MAX_SIG
};
extern QMsm * const the_msm; /* opaque pointer to the test MSM */
$declare(SMs::QMsmTst_ctor)
/* BSP functions to dispaly a message and exit */
void BSP_display(char const *msg);
void BSP_exit(void);
#endif /* qmsmtst_h */</text>
</file>
<file name="qmsmtst.c">
2015-04-28 13:45:35 -04:00
<text>#include "qpc.h"
2013-12-30 17:37:40 -05:00
#include "qmsmtst.h"
$declare(SMs::QMsmTst)
static QMsmTst l_msmtst; /* the only instance of the QMsmTst class */
/* global-scope definitions ---------------------------------------*/
QMsm * const the_msm = (QMsm *)&l_msmtst; /* the opaque pointer */
$define(SMs::QMsmTst_ctor)
$define(SMs::QMsmTst)</text>
</file>
</directory>
</model>
