GitHub/qpcpp
1
0
Fork 0
mirror of https://github.com/QuantumLeaps/qpcpp.git synced 2025-01-14 05:42:57 +08:00
Code Issues Projects Releases Wiki Activity
qpcpp/examples/workstation/qhsmtst/qhsmtst.qm
QL 2a97c77a4e 6.7.0
2019-12-31 15:56:23 -05:00

334 lines
11 KiB
XML
Raw Blame History

<?xml version="1.0" encoding="UTF-8"?>
<model version="4.6.0" links="1">
<documentation>QHsmTst is a 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>
<!--${qpcpp}-->
<framework name="qpcpp"/>
<!--${HSMs}-->
<package name="HSMs" stereotype="0x02">
<!--${HSMs::QHsmTst}-->
<class name="QHsmTst" superclass="qpcpp::QHsm">
<documentation>Test active object</documentation>
<!--${HSMs::QHsmTst::m_foo}-->
<attribute name="m_foo" type="bool" visibility="0x02" properties="0x00"/>
<!--${HSMs::QHsmTst::QHsmTst}-->
<operation name="QHsmTst" type="" visibility="0x00" properties="0x02">
<code> : QHsm(Q_STATE_CAST(&amp;QHsmTst::initial))</code>
</operation>
<!--${HSMs::QHsmTst::SM}-->
<statechart properties="0x02">
<!--${HSMs::QHsmTst::SM::initial}-->
<initial target="../1/5">
<action>(void)e; // unused parameter
m_foo = 0U;
BSP_display(&quot;top-INIT;&quot;);</action>
<initial_glyph conn="76,2,4,1,6,-8">
<action box="-7,6,13,4"/>
</initial_glyph>
</initial>
<!--${HSMs::QHsmTst::SM::s}-->
<state name="s">
<entry>BSP_display(&quot;s-ENTRY;&quot;);</entry>
<exit>BSP_display(&quot;s-EXIT;&quot;);</exit>
<!--${HSMs::QHsmTst::SM::s::initial}-->
<initial target="../4/7">
<action>BSP_display(&quot;s-INIT;&quot;);</action>
<initial_glyph conn="31,7,5,0,-6,18">
<action box="-6,0,6,2"/>
</initial_glyph>
</initial>
<!--${HSMs::QHsmTst::SM::s::I}-->
<tran trig="I">
<!--${HSMs::QHsmTst::SM::s::I::[m_foo]}-->
<choice>
<guard>m_foo</guard>
<action>m_foo = 0U;
BSP_display(&quot;s-I;&quot;);</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>
<!--${HSMs::QHsmTst::SM::s::E}-->
<tran trig="E" target="../4/7">
<action>BSP_display(&quot;s-E;&quot;);</action>
<tran_glyph conn="28,39,2,2,-6">
<action box="1,-2,6,2"/>
</tran_glyph>
</tran>
<!--${HSMs::QHsmTst::SM::s::TERMINATE}-->
<tran trig="TERMINATE">
<action>BSP_terminate(0);</action>
<tran_glyph conn="71,19,1,-1,4,17">
<action box="0,-2,9,2"/>
</tran_glyph>
</tran>
<!--${HSMs::QHsmTst::SM::s::s1}-->
<state name="s1">
<entry>BSP_display(&quot;s1-ENTRY;&quot;);</entry>
<exit>BSP_display(&quot;s1-EXIT;&quot;);</exit>
<!--${HSMs::QHsmTst::SM::s::s1::initial}-->
<initial target="../7">
<action>BSP_display(&quot;s1-INIT;&quot;);</action>
<initial_glyph conn="32,19,5,0,-5,6">
<action box="-4,0,6,2"/>
</initial_glyph>
</initial>
<!--${HSMs::QHsmTst::SM::s::s1::I}-->
<tran trig="I">
<action>BSP_display(&quot;s1-I;&quot;);</action>
<tran_glyph conn="13,23,3,-1,6">
<action box="1,-2,6,2"/>
</tran_glyph>
</tran>
<!--${HSMs::QHsmTst::SM::s::s1::D}-->
<tran trig="D">
<!--${HSMs::QHsmTst::SM::s::s1::D::[!m_foo]}-->
<choice target="../../..">
<guard>!m_foo</guard>
<action>m_foo = true;
BSP_display(&quot;s1-D;&quot;);</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>
<!--${HSMs::QHsmTst::SM::s::s1::A}-->
<tran trig="A" target="..">
<action>BSP_display(&quot;s1-A;&quot;);</action>
<tran_glyph conn="27,15,0,0,-3,4,3">
<action box="1,-2,6,2"/>
</tran_glyph>
</tran>
<!--${HSMs::QHsmTst::SM::s::s1::B}-->
<tran trig="B" target="../7">
<action>BSP_display(&quot;s1-B;&quot;);</action>
<tran_glyph conn="13,27,3,3,6">
<action box="1,-2,6,2"/>
</tran_glyph>
</tran>
<!--${HSMs::QHsmTst::SM::s::s1::F}-->
<tran trig="F" target="../../5/4/4">
<action>BSP_display(&quot;s1-F;&quot;);</action>
<tran_glyph conn="34,31,1,3,17">
<action box="0,-2,6,2"/>
</tran_glyph>
</tran>
<!--${HSMs::QHsmTst::SM::s::s1::C}-->
<tran trig="C" target="../../5">
<action>BSP_display(&quot;s1-C;&quot;);</action>
<tran_glyph conn="34,17,1,3,5">
<action box="0,-2,6,2"/>
</tran_glyph>
</tran>
<!--${HSMs::QHsmTst::SM::s::s1::s11}-->
<state name="s11">
<entry>BSP_display(&quot;s11-ENTRY;&quot;);</entry>
<exit>BSP_display(&quot;s11-EXIT;&quot;);</exit>
<!--${HSMs::QHsmTst::SM::s::s1::s11::H}-->
<tran trig="H" target="../../..">
<action>BSP_display(&quot;s11-H;&quot;);</action>
<tran_glyph conn="24,33,2,2,6">
<action box="1,0,6,2"/>
</tran_glyph>
</tran>
<!--${HSMs::QHsmTst::SM::s::s1::s11::D}-->
<tran trig="D">
<!--${HSMs::QHsmTst::SM::s::s1::s11::D::[m_foo]}-->
<choice target="../../..">
<guard>m_foo</guard>
<action>m_foo = false;
BSP_display(&quot;s11-D;&quot;);</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>
<!--${HSMs::QHsmTst::SM::s::s1::s11::G}-->
<tran trig="G" target="../../../5/4/4">
<action>BSP_display(&quot;s11-G;&quot;);</action>
<tran_glyph conn="31,27,1,3,20">
<action box="0,-2,6,2"/>
</tran_glyph>
</tran>
<state_glyph node="19,25,12,8">
<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>
<!--${HSMs::QHsmTst::SM::s::s2}-->
<state name="s2">
<entry>BSP_display(&quot;s2-ENTRY;&quot;);</entry>
<exit>BSP_display(&quot;s2-EXIT;&quot;);</exit>
<!--${HSMs::QHsmTst::SM::s::s2::initial}-->
<initial target="../4/4">
<action>BSP_display(&quot;s2-INIT;&quot;);</action>
<initial_glyph conn="65,10,5,0,-8,15">
<action box="-4,0,6,2"/>
</initial_glyph>
</initial>
<!--${HSMs::QHsmTst::SM::s::s2::I}-->
<tran trig="I">
<!--${HSMs::QHsmTst::SM::s::s2::I::[!m_foo]}-->
<choice>
<guard>!m_foo</guard>
<action>m_foo = true;
BSP_display(&quot;s2-I;&quot;);</action>
<choice_glyph conn="45,14,5,-1,8">
<action box="1,0,10,4"/>
</choice_glyph>
</choice>
<tran_glyph conn="39,14,3,-1,6">
<action box="1,-2,6,2"/>
</tran_glyph>
</tran>
<!--${HSMs::QHsmTst::SM::s::s2::F}-->
<tran trig="F" target="../../4/7">
<action>BSP_display(&quot;s2-F;&quot;);</action>
<tran_glyph conn="39,24,3,0,-9,1">
<action box="-3,-2,6,2"/>
</tran_glyph>
</tran>
<!--${HSMs::QHsmTst::SM::s::s2::C}-->
<tran trig="C" target="../../4">
<action>BSP_display(&quot;s2-C;&quot;);</action>
<tran_glyph conn="39,19,3,1,-5">
<action box="-3,-2,6,2"/>
</tran_glyph>
</tran>
<!--${HSMs::QHsmTst::SM::s::s2::s21}-->
<state name="s21">
<entry>BSP_display(&quot;s21-ENTRY;&quot;);</entry>
<exit>BSP_display(&quot;s21-EXIT;&quot;);</exit>
<!--${HSMs::QHsmTst::SM::s::s2::s21::initial}-->
<initial target="../4">
<action>BSP_display(&quot;s21-INIT;&quot;);</action>
<initial_glyph conn="64,23,5,0,-4,2">
<action box="-2,0,5,2"/>
</initial_glyph>
</initial>
<!--${HSMs::QHsmTst::SM::s::s2::s21::G}-->
<tran trig="G" target="../../../4">
<action>BSP_display(&quot;s21-G;&quot;);</action>
<tran_glyph conn="45,21,3,1,-11">
<action box="-3,-2,8,2"/>
</tran_glyph>
</tran>
<!--${HSMs::QHsmTst::SM::s::s2::s21::A}-->
<tran trig="A" target="..">
<action>BSP_display(&quot;s21-A;&quot;);</action>
<tran_glyph conn="59,19,0,0,-3,4,3">
<action box="1,-2,6,2"/>
</tran_glyph>
</tran>
<!--${HSMs::QHsmTst::SM::s::s2::s21::B}-->
<tran trig="B" target="../4">
<action>BSP_display(&quot;s21-B;&quot;);</action>
<tran_glyph conn="66,27,1,1,-4">
<action box="-2,-2,5,2"/>
</tran_glyph>
</tran>
<!--${HSMs::QHsmTst::SM::s::s2::s21::s211}-->
<state name="s211">
<entry>BSP_display(&quot;s211-ENTRY;&quot;);</entry>
<exit>BSP_display(&quot;s211-EXIT;&quot;);</exit>
<!--${HSMs::QHsmTst::SM::s::s2::s21::s211::H}-->
<tran trig="H" target="../../../..">
<action>BSP_display(&quot;s211-H;&quot;);</action>
<tran_glyph conn="57,32,2,2,7">
<action box="1,0,6,2"/>
</tran_glyph>
</tran>
<!--${HSMs::QHsmTst::SM::s::s2::s21::s211::D}-->
<tran trig="D" target="../..">
<action>BSP_display(&quot;s211-D;&quot;);</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>
<state_glyph node="39,6,29,30">
<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>
</package>
<!--${.}-->
<directory name=".">
<!--${.::qhsmtst.hpp}-->
<file name="qhsmtst.hpp">
<text>#ifndef QHSMTST_HPP
#define QHSMTST_HPP
enum QHsmTstSignals {
A_SIG = QP::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 QP::QHsm * const the_hsm; // opaque pointer to the test HSM
// BSP functions to dispaly a message and exit
void BSP_display(char_t const *msg);
void BSP_terminate(int16_t const result);
#endif // QHSMTST_HPP
</text>
</file>
<!--${.::qhsmtst.cpp}-->
<file name="qhsmtst.cpp">
<text>#include &quot;qpcpp.hpp&quot;
#include &quot;qhsmtst.hpp&quot;
$declare(HSMs::QHsmTst)
static QHsmTst l_hsmtst; // the only instance of the QHsmTst class
// global-scope definitions -----------------------------------------
QP::QHsm * const the_hsm = &amp;l_hsmtst; // the opaque pointer
$define(HSMs::QHsmTst)
</text>
</file>
</directory>
</model>
Reference in New Issue View Git Blame Copy Permalink