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
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
|
<?xml version="1.0" encoding="WINDOWS-1252"?>
<!-- http://www.cl.cam.ac.uk/~mgk25/ucs/examples/quickbrown.txt -->
<scxml xmlns="http://www.w3.org/2005/07/scxml" xmlns:conf="http://www.w3.org/2005/scxml-conformance" initial="init" version="1.0" datamodel="promela">
<datamodel>
<data id="VarTmp" type="int"/>
<data id="Var1" type="string" expr="'Quizdeltagerne spiste jordbær med fløde, mens cirkusklovnen Wolther spillede på xylofon.'"/>
<data id="Var2" type="string" expr="'Heizölrückstoßabdämpfung'"/>
<data id="Var3" type="string" expr="' '"/>
<data id="Var4" type="string" expr="'The quick brown fox jumps over the lazy dog'"/>
<data id="Var5" type="string" expr="'El pingüino Wenceslao hizo kilómetros bajo exhaustiva lluvia y frío, añoraba a su querido cachorro'"/>
<data id="Var6" type="string" expr="'Le cœur déçu mais l`âme plutôt naïve, Louÿs rêva de crapaüter en canoë au delà des îles, près du mälström où brûlent les novæ'"/>
<data id="Var7" type="string" expr="'D`fhuascail Íosa, Úrmhac na hÓighe Beannaithe, pór Éava agus Ádhaimh'"/>
<data id="Var8" type="string" expr="'Árvíztr tükörfúrógép'"/>
<data id="Var9" type="string" expr="'Kæmi ný öxi hér ykist þjófum nú bæði víl og ádrepa'"/>
<data id="Var10" type="string" expr="' '"/>
<data id="Var11" type="string" expr="' '"/>
<data id="Var12" type="string" expr="'? '"/>
<data id="Var13" type="string" expr="'Pchn w t ód jea lub om skrzy fig'"/>
<data id="Var14" type="string" expr="' ? , !'"/>
<data id="Var15" type="string" expr="' '"/>
<data id="Var16" type="string" expr="'Pijamal hasta, yaz oföre çabucak güvendi'"/>
</datamodel>
<state id="init">
<onentry>
<send event="danish" namelist="Var1"/>
<send event="german" namelist="Var2"/>
<send event="greek" namelist="Var3"/>
<send event="english" namelist="Var4"/>
<send event="spanish" namelist="Var5"/>
<send event="french" namelist="Var6"/>
<send event="gaelic" namelist="Var7"/>
<send event="hungarian" namelist="Var8"/>
<send event="icelandic" namelist="Var9"/>
<send event="hiragana" namelist="Var10"/>
<send event="katakana" namelist="Var11"/>
<send event="hebrew" namelist="Var12"/>
<send event="polish" namelist="Var13"/>
<send event="russian" namelist="Var14"/>
<send event="thai" namelist="Var15"/>
<send event="turkish" namelist="Var16"/>
<send event="done"/>
</onentry>
<transition target="idle"/>
</state>
<state id="idle"/>
<transition event="done" target="pass"/>
<transition event="danish" cond="Var1=='Quizdeltagerne spiste jordbær med fløde, mens cirkusklovnen Wolther spillede på xylofon.'" target="danish">
<assign location="VarTmp" expr="_event.data.Var1"/>
</transition>
<state id="danish">
<transition cond="" target="idle"/>
<transition target="fail"/>
</state>
<transition event="german" cond="Var2=='Heizölrückstoßabdämpfung'" target="german">
<assign location="VarTmp" expr="_event.data.Var2"/>
</transition>
<state id="german">
<transition cond="" target="idle"/>
<transition target="fail"/>
</state>
<transition event="greek" cond="Var3==' '" target="greek">
<assign location="VarTmp" expr="_event.data.Var3"/>
</transition>
<state id="greek">
<transition cond="" target="idle"/>
<transition target="fail"/>
</state>
<transition event="english" cond="Var4=='The quick brown fox jumps over the lazy dog'" target="english">
<assign location="VarTmp" expr="_event.data.Var4"/>
</transition>
<state id="english">
<transition cond="" target="idle"/>
<transition target="fail"/>
</state>
<transition event="spanish" cond="Var5=='El pingüino Wenceslao hizo kilómetros bajo exhaustiva lluvia y frío, añoraba a su querido cachorro'" target="spanish">
<assign location="VarTmp" expr="_event.data.Var5"/>
</transition>
<state id="spanish">
<transition cond="" target="idle"/>
<transition target="fail"/>
</state>
<transition event="french" cond="Var6=='Le cœur déçu mais l`âme plutôt naïve, Louÿs rêva de crapaüter en canoë au delà des îles, près du mälström où brûlent les novæ'" target="french">
<assign location="VarTmp" expr="_event.data.Var6"/>
</transition>
<state id="french">
<transition cond="" target="idle"/>
<transition target="fail"/>
</state>
<transition event="gaelic" cond="Var7=='D`fhuascail Íosa, Úrmhac na hÓighe Beannaithe, pór Éava agus Ádhaimh'" target="gaelic">
<assign location="VarTmp" expr="_event.data.Var7"/>
</transition>
<state id="gaelic">
<transition cond="" target="idle"/>
<transition target="fail"/>
</state>
<transition event="hungarian" cond="Var8=='Árvíztr tükörfúrógép'" target="hungarian">
<assign location="VarTmp" expr="_event.data.Var8"/>
</transition>
<state id="hungarian">
<transition cond="" target="idle"/>
<transition target="fail"/>
</state>
<transition event="icelandic" cond="Var9=='Kæmi ný öxi hér ykist þjófum nú bæði víl og ádrepa'" target="icelandic">
<assign location="VarTmp" expr="_event.data.Var9"/>
</transition>
<state id="icelandic">
<transition cond="" target="idle"/>
<transition target="fail"/>
</state>
<transition event="hiragana" cond="Var10==' '" target="hiragana">
<assign location="VarTmp" expr="_event.data.Var10"/>
</transition>
<state id="hiragana">
<transition cond="" target="idle"/>
<transition target="fail"/>
</state>
<transition event="katakana" cond="Var11==' '" target="katakana">
<assign location="VarTmp" expr="_event.data.Var11"/>
</transition>
<state id="katakana">
<transition cond="" target="idle"/>
<transition target="fail"/>
</state>
<transition event="hebrew" cond="Var12=='? '" target="hebrew">
<assign location="VarTmp" expr="_event.data.Var12"/>
</transition>
<state id="hebrew">
<transition cond="" target="idle"/>
<transition target="fail"/>
</state>
<transition event="polish" cond="Var13=='Pchn w t ód jea lub om skrzy fig'" target="polish">
<assign location="VarTmp" expr="_event.data.Var13"/>
</transition>
<state id="polish">
<transition cond="" target="idle"/>
<transition target="fail"/>
</state>
<transition event="russian" cond="Var14==' ? , !'" target="russian">
<assign location="VarTmp" expr="_event.data.Var14"/>
</transition>
<state id="russian">
<transition cond="" target="idle"/>
<transition target="fail"/>
</state>
<transition event="thai" cond="Var15==' '" target="thai">
<assign location="VarTmp" expr="_event.data.Var15"/>
</transition>
<state id="thai">
<transition cond="" target="idle"/>
<transition target="fail"/>
</state>
<transition event="turkish" cond="Var16=='Pijamal hasta, yaz oföre çabucak güvendi'" target="turkish">
<assign location="VarTmp" expr="_event.data.Var16"/>
</transition>
<state id="turkish">
<transition cond="" target="idle"/>
<transition target="fail"/>
</state>
<final xmlns:scxml="http://www.w3.org/2005/07/scxml" id="pass">
<onentry>
<log label="Outcome" expr="'pass'"/>
</onentry>
</final>
<final xmlns:scxml="http://www.w3.org/2005/07/scxml" id="fail">
<onentry>
<log label="Outcome" expr="'fail'"/>
</onentry>
</final>
</scxml>
|
