1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
|
#define protected public
#include "uscxml/Interpreter.h"
#undef protected
int main(int argc, char** argv) {
if (argc != 2) {
std::cerr << "Expected path to test-predicates.scxml" << std::endl;
exit(EXIT_FAILURE);
}
using namespace uscxml;
using namespace Arabica::DOM;
using namespace Arabica::XPath;
Interpreter interpreter = Interpreter::fromURI(argv[1]);
assert(interpreter);
Node<std::string> atomicState = interpreter.getState("atomic");
assert(Interpreter::isAtomic(atomicState));
assert(!Interpreter::isParallel(atomicState));
assert(!Interpreter::isCompound(atomicState));
Node<std::string> compoundState = interpreter.getState("compound");
assert(!Interpreter::isAtomic(compoundState));
assert(!Interpreter::isParallel(compoundState));
assert(Interpreter::isCompound(compoundState));
Node<std::string> parallelState = interpreter.getState("parallel");
assert(!Interpreter::isAtomic(parallelState));
assert(Interpreter::isParallel(parallelState));
assert(!Interpreter::isCompound(parallelState)); // parallel states are not compound!
NodeSet<std::string> initialState = interpreter.getInitialStates();
assert(initialState[0] == atomicState);
NodeSet<std::string> childs = interpreter.getChildStates(compoundState);
Node<std::string> compoundChild1 = interpreter.getState("compoundChild1");
Node<std::string> compoundChild2 = interpreter.getState("compoundChild2");
assert(childs.size() > 0);
assert(Interpreter::isMember(compoundChild1, childs));
assert(Interpreter::isMember(compoundChild2, childs));
assert(!Interpreter::isMember(compoundState, childs));
assert(Interpreter::isDescendant(compoundChild1, compoundState));
{
std::string idrefs("id1");
std::list<std::string> tokenizedIdrefs = Interpreter::tokenizeIdRefs(idrefs);
assert(tokenizedIdrefs.size() == 1);
assert(tokenizedIdrefs.front().compare("id1") == 0);
}
{
std::string idrefs(" id1");
std::list<std::string> tokenizedIdrefs = Interpreter::tokenizeIdRefs(idrefs);
assert(tokenizedIdrefs.size() == 1);
assert(tokenizedIdrefs.front().compare("id1") == 0);
}
{
std::string idrefs(" id1 ");
std::list<std::string> tokenizedIdrefs = Interpreter::tokenizeIdRefs(idrefs);
assert(tokenizedIdrefs.size() == 1);
assert(tokenizedIdrefs.front().compare("id1") == 0);
}
{
std::string idrefs(" \tid1\n ");
std::list<std::string> tokenizedIdrefs = Interpreter::tokenizeIdRefs(idrefs);
assert(tokenizedIdrefs.size() == 1);
assert(tokenizedIdrefs.front().compare("id1") == 0);
}
{
std::string idrefs("id1 id2 id3");
std::list<std::string> tokenizedIdrefs = Interpreter::tokenizeIdRefs(idrefs);
assert(tokenizedIdrefs.size() == 3);
assert(tokenizedIdrefs.front().compare("id1") == 0);
tokenizedIdrefs.pop_front();
assert(tokenizedIdrefs.front().compare("id2") == 0);
tokenizedIdrefs.pop_front();
assert(tokenizedIdrefs.front().compare("id3") == 0);
}
{
std::string idrefs("\t id1 \nid2\n\n id3\t");
std::list<std::string> tokenizedIdrefs = Interpreter::tokenizeIdRefs(idrefs);
assert(tokenizedIdrefs.size() == 3);
assert(tokenizedIdrefs.front().compare("id1") == 0);
tokenizedIdrefs.pop_front();
assert(tokenizedIdrefs.front().compare("id2") == 0);
tokenizedIdrefs.pop_front();
assert(tokenizedIdrefs.front().compare("id3") == 0);
}
{
std::string idrefs("id1 \nid2 \tid3");
std::list<std::string> tokenizedIdrefs = Interpreter::tokenizeIdRefs(idrefs);
assert(tokenizedIdrefs.size() == 3);
assert(tokenizedIdrefs.front().compare("id1") == 0);
tokenizedIdrefs.pop_front();
assert(tokenizedIdrefs.front().compare("id2") == 0);
tokenizedIdrefs.pop_front();
assert(tokenizedIdrefs.front().compare("id3") == 0);
}
std::string transEvents;
transEvents = "error";
assert(InterpreterImpl::nameMatch(transEvents, "error"));
assert(!InterpreterImpl::nameMatch(transEvents, "foo"));
transEvents = "error foo";
assert(InterpreterImpl::nameMatch(transEvents, "error"));
assert(InterpreterImpl::nameMatch(transEvents, "error.send"));
assert(InterpreterImpl::nameMatch(transEvents, "error.send.failed"));
assert(InterpreterImpl::nameMatch(transEvents, "foo"));
assert(InterpreterImpl::nameMatch(transEvents, "foo.bar"));
assert(!InterpreterImpl::nameMatch(transEvents, "errors.my.custom"));
assert(!InterpreterImpl::nameMatch(transEvents, "errorhandler.mistake"));
// is the event name case sensitive?
// assert(!InterpreterImpl::nameMatch(transEvents, "errOr.send"));
assert(!InterpreterImpl::nameMatch(transEvents, "foobar"));
}
|
