Worked on PROMELA transformation

1 files changed, 35 insertions, 0 deletions

diff --git a/test/w3c/promela/test307.scxml b/test/w3c/promela/test307.scxml
new file mode 100644
index 0000000..bde6684
--- /dev/null
+++ b/test/w3c/promela/test307.scxml
@@ -0,0 +1,35 @@
+<?xml version="1.0" encoding="UTF-8"?>
+<scxml xmlns="http://www.w3.org/2005/07/scxml" xmlns:conf="http://www.w3.org/2005/scxml-conformance" datamodel="promela" version="1.0" initial="s0" binding="late">
+  <!-- with binding=late, in s0 we access a variable that isn't created until we get to s1.  Then in s1
+we access a non-existent substructure of a variable.  We use log tags to report the values that both operations
+yield, and whether there are errors.  This is a manual test, since the tester must report whether the output
+is the same in the two cases -->
+  <state id="s0">
+    <onentry>
+      <log label="entering s0 value of Var 1 is: " expr="Var1"/>
+      <raise event="foo"/>
+    </onentry>
+    <transition event="error" target="s1">
+      <log label="error in state s0" expr="_event"/>
+    </transition>
+    <transition event="foo" target="s1">
+      <log label="no error in s0" expr=""/>
+    </transition>
+  </state>
+  <state id="s1">
+    <datamodel>
+      <data id="Var1" type="int" expr="1"/>
+    </datamodel>
+    <onentry>
+      <log label="entering s1, value of non-existent substructure of Var 1 is: " expr="Var1.bar"/>
+      <raise event="bar"/>
+    </onentry>
+    <transition event="error" target="final">
+      <log label="error in state s1" expr="_event"/>
+    </transition>
+    <transition event="bar" target="final">
+      <log label="No error in s1" expr=""/>
+    </transition>
+  </state>
+  <final id="final"/>
+</scxml>