add transitions test
This commit is contained in:
Alexey Fedoseev
71
tests/13-output.graphml
Normal file
71
tests/13-output.graphml
Normal file
@@ -0,0 +1,71 @@
|
|||||||
|
<?xml version="1.0" encoding="UTF-8"?>
|
||||||
|
<graphml xmlns="http://graphml.graphdrawing.org/xmlns">
|
||||||
|
<data key="gFormat">Cyberiada-GraphML-1.0</data>
|
||||||
|
<key id="gFormat" for="graphml" attr.name="format" attr.type="string"/>
|
||||||
|
<key id="dName" for="graph" attr.name="name" attr.type="string"/>
|
||||||
|
<key id="dName" for="node" attr.name="name" attr.type="string"/>
|
||||||
|
<key id="dStateMachine" for="graph" attr.name="stateMachine" attr.type="string"/>
|
||||||
|
<key id="dSubmachineState" for="node" attr.name="submachineState" attr.type="string"/>
|
||||||
|
<key id="dGeometry" for="graph" attr.name="geometry"/>
|
||||||
|
<key id="dGeometry" for="node" attr.name="geometry"/>
|
||||||
|
<key id="dGeometry" for="edge" attr.name="geometry"/>
|
||||||
|
<key id="dSourcePoint" for="edge" attr.name="sourcePoint"/>
|
||||||
|
<key id="dTargetPoint" for="edge" attr.name="targetPoint"/>
|
||||||
|
<key id="dLabelGeometry" for="edge" attr.name="labelGeometry"/>
|
||||||
|
<key id="dNote" for="node" attr.name="note" attr.type="string"/>
|
||||||
|
<key id="dVertex" for="node" attr.name="vertex" attr.type="string"/>
|
||||||
|
<key id="dData" for="node" attr.name="data" attr.type="string"/>
|
||||||
|
<key id="dData" for="edge" attr.name="data" attr.type="string"/>
|
||||||
|
<key id="dMarkup" for="node" attr.name="markup" attr.type="string"/>
|
||||||
|
<key id="dColor" for="node" attr.name="color" attr.type="string"/>
|
||||||
|
<key id="dColor" for="edge" attr.name="color" attr.type="string"/>
|
||||||
|
<key id="dPivot" for="edge" attr.name="pivot" attr.type="string"/>
|
||||||
|
<key id="dChunk" for="edge" attr.name="chunk" attr.type="string"/>
|
||||||
|
<graph id="G0" edgedefault="directed">
|
||||||
|
<data key="dName">SM</data>
|
||||||
|
<node id="nMeta">
|
||||||
|
<data key="dNote">formal</data>
|
||||||
|
<data key="dName">CGML_META</data>
|
||||||
|
<data key="dData">standardVersion/ 1.0
|
||||||
|
|
||||||
|
transitionOrder/ transitionFirst
|
||||||
|
|
||||||
|
eventPropagation/ block
|
||||||
|
|
||||||
|
</data>
|
||||||
|
</node>
|
||||||
|
<node id="n0">
|
||||||
|
<data key="dName">Parent 0</data>
|
||||||
|
<graph id="n0:" edgedefault="directed">
|
||||||
|
<node id="n0::n0">
|
||||||
|
<data key="dName">State 0</data>
|
||||||
|
</node>
|
||||||
|
<node id="n0::n1">
|
||||||
|
<data key="dName">State 1</data>
|
||||||
|
</node>
|
||||||
|
</graph>
|
||||||
|
</node>
|
||||||
|
<node id="n1">
|
||||||
|
<data key="dName">Parent 1</data>
|
||||||
|
</node>
|
||||||
|
<edge id="n0::n0-n0::n1" source="n0::n0" target="n0::n1">
|
||||||
|
</edge>
|
||||||
|
<edge id="n0::n0-n0::n1#0" source="n0::n0" target="n0::n1">
|
||||||
|
<data key="dData">A/</data>
|
||||||
|
</edge>
|
||||||
|
<edge id="n0::n0-n0::n0" source="n0::n0" target="n0::n0">
|
||||||
|
<data key="dData">IDLE/</data>
|
||||||
|
</edge>
|
||||||
|
<edge id="n0-n0::n0" source="n0" target="n0::n0">
|
||||||
|
<data key="dData">INSIDE/</data>
|
||||||
|
</edge>
|
||||||
|
<edge id="n0::n1-n0" source="n0::n1" target="n0">
|
||||||
|
<data key="dData">OUTSIDE/</data>
|
||||||
|
</edge>
|
||||||
|
<edge id="n0::n1-n1" source="n0::n1" target="n1">
|
||||||
|
<data key="dData">EVENT [guard()]/
|
||||||
|
action();
|
||||||
|
</data>
|
||||||
|
</edge>
|
||||||
|
</graph>
|
||||||
|
</graphml>
|
||||||
1
tests/13-output.txt
Normal file
1
tests/13-output.txt
Normal file
@@ -0,0 +1 @@
|
|||||||
|
Document: {id: '', name: '', format: 'Cyberiada-GraphML-1.0', meta: {standard version: '1.0', transition order: transition first, event propagation: block events}, elements: {State Machine: {id: 'G0', name: 'SM', elements: {Composite State: {id: 'n0', name: 'Parent 0', elements: {Simple State: {id: 'n0::n0', name: 'State 0'}, Simple State: {id: 'n0::n1', name: 'State 1'}}}, Simple State: {id: 'n1', name: 'Parent 1'}, Transition: {id: 'n0::n0-n0::n1', source: 'n0::n0', target: 'n0::n1'}, Transition: {id: 'n0::n0-n0::n1#0', source: 'n0::n0', target: 'n0::n1', action: {trigger: 'A'}}, Transition: {id: 'n0::n0-n0::n0', source: 'n0::n0', target: 'n0::n0', action: {trigger: 'IDLE'}}, Transition: {id: 'n0-n0::n0', source: 'n0', target: 'n0::n0', action: {trigger: 'INSIDE'}}, Transition: {id: 'n0::n1-n0', source: 'n0::n1', target: 'n0', action: {trigger: 'OUTSIDE'}}, Transition: {id: 'n0::n1-n1', source: 'n0::n1', target: 'n1', action: {trigger: 'EVENT', guard: 'guard()', behavior: 'action();'}}}}}
|
||||||
69
tests/13-transitions.cpp
Normal file
69
tests/13-transitions.cpp
Normal file
@@ -0,0 +1,69 @@
|
|||||||
|
/* -----------------------------------------------------------------------------
|
||||||
|
* The Cyberiada GraphML C++ library implemention
|
||||||
|
*
|
||||||
|
* The test
|
||||||
|
*
|
||||||
|
* Copyright (C) 2024 Alexey Fedoseev <aleksey@fedoseev.net>
|
||||||
|
*
|
||||||
|
* This program is free software: you can redistribute it and/or modify
|
||||||
|
* it under the terms of the GNU General Public License as published by
|
||||||
|
* the Free Software Foundation, either version 3 of the License, or
|
||||||
|
* (at your option) any later version.
|
||||||
|
*
|
||||||
|
* This program is distributed in the hope that it will be useful,
|
||||||
|
* but WITHOUT ANY WARRANTY; without even the implied warranty of
|
||||||
|
* MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
|
||||||
|
* GNU General Public License for more details.
|
||||||
|
*
|
||||||
|
* You should have received a copy of the GNU General Public License
|
||||||
|
* along with this program. If not, see https://www.gnu.org/licenses/
|
||||||
|
* ----------------------------------------------------------------------------- */
|
||||||
|
|
||||||
|
#include <iostream>
|
||||||
|
#include "cyberiadamlpp.h"
|
||||||
|
#include "testutils.h"
|
||||||
|
|
||||||
|
using namespace Cyberiada;
|
||||||
|
using namespace std;
|
||||||
|
|
||||||
|
int main(int argc, char** argv)
|
||||||
|
{
|
||||||
|
Document d;
|
||||||
|
StateMachine* sm = d.new_state_machine("SM");
|
||||||
|
State* parent1 = d.new_state(sm, "Parent 0");
|
||||||
|
State* s1 = d.new_state(parent1, "State 0");
|
||||||
|
State* s2 = d.new_state(parent1, "State 1");
|
||||||
|
d.new_transition(sm, s1, s2, Action());
|
||||||
|
d.new_transition(sm, s1, s2, Action("A"));
|
||||||
|
try {
|
||||||
|
// check id uniqueness
|
||||||
|
d.new_transition(sm, "n0::n0-n0::n1", s1, s2, Action());
|
||||||
|
} catch (const Cyberiada::ParametersException&){
|
||||||
|
}
|
||||||
|
try {
|
||||||
|
// check sm-related transition
|
||||||
|
d.new_transition(sm, sm, s1, Action());
|
||||||
|
} catch (const Cyberiada::ParametersException&){
|
||||||
|
}
|
||||||
|
|
||||||
|
d.new_transition(sm, s1, s1, Action("IDLE"));
|
||||||
|
d.new_transition(sm, parent1, s1, Action("INSIDE"));
|
||||||
|
d.new_transition(sm, s2, parent1, Action("OUTSIDE"));
|
||||||
|
|
||||||
|
try {
|
||||||
|
// check transition action
|
||||||
|
d.new_transition(sm, s1, s2, Action(actionEntry, "init();"));
|
||||||
|
} catch (const Cyberiada::ParametersException&){
|
||||||
|
}
|
||||||
|
|
||||||
|
State* parent2 = d.new_state(sm, "Parent 1");
|
||||||
|
d.new_transition(sm, s2, parent2, Action("EVENT", "guard()", "action();"));
|
||||||
|
|
||||||
|
try {
|
||||||
|
cout << d << endl;
|
||||||
|
d.save(string(argv[0]) + ".graphml", formatCyberiada10);
|
||||||
|
} catch (const Cyberiada::Exception&) {
|
||||||
|
return 1;
|
||||||
|
}
|
||||||
|
return 0;
|
||||||
|
}
|
||||||
Reference in New Issue
Block a user