More complete encoding tests

1 files changed, 151 insertions, 8 deletions

diff --git a/test/w3c/promela/test-enc-utf8.scxml b/test/w3c/promela/test-enc-utf8.scxml
index 998a1d3..6f53766 100644
--- a/test/w3c/promela/test-enc-utf8.scxml
+++ b/test/w3c/promela/test-enc-utf8.scxml
@@ -1,16 +1,159 @@
 <?xml version="1.0" encoding="UTF-8"?>
-<!-- test that neither if clause executes, so that bat is the only event raised. -->
-<scxml xmlns="http://www.w3.org/2005/07/scxml" xmlns:conf="http://www.w3.org/2005/scxml-conformance" initial="s0" version="1.0" datamodel="promela">
+<!-- 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="Var1" type="string" expr="'ü'"/>
-    <data id="Var2" type="string" expr="'ü'"/>
+    <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íztűrő 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ź jeża lub ośm skrzyń fig'"/>
+    <data id="Var14" type="string" expr="'В чащах юга жил бы цитрус? Да, но фальшивый экземпляр!'"/>
+    <data id="Var15" type="string" expr="'เป็นมนุษย์สุดประเสริฐเลิศคุณค่า กว่าบรรดาฝูงสัตว์เดรัจฉาน จงฝ่าฟันพัฒนาวิชาการ อย่าล้างผลาญฤๅเข่นฆ่าบีฑาใคร ไม่ถือโทษโกรธแช่งซัดฮึดฮัดด่า หัดอภัยเหมือนกีฬาอัชฌาสัย ปฏิบัติประพฤติกฎกำหนดใจ พูดจาให้จ๊ะๆ จ๋าๆ น่าฟังเอย ฯ'"/>
+    <data id="Var16" type="string" expr="'Pijamalı hasta, yağız şoföre çabucak güvendi'"/>
   </datamodel>
-  <state id="s0">
-    <transition cond="Var1==Var2" target="s1"/>
+  <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íztűrő 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ź jeża lub ośm 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>
-  <state id="s1">
-    <transition cond="Var1=='ü'" target="pass"/>
+  <transition event="turkish" cond="Var16=='Pijamalı hasta, yağız ş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">