summaryrefslogtreecommitdiffstats
path: root/test/samples/apache/microwave-02-legacy.xml
diff options
context:
space:
mode:
authorStefan Radomski <radomski@tk.informatik.tu-darmstadt.de>2014-04-22 14:02:03 (GMT)
committerStefan Radomski <radomski@tk.informatik.tu-darmstadt.de>2014-04-22 14:02:03 (GMT)
commit1fb6bcf30f954e426f2d3002d14887574fb941dd (patch)
tree08cff7f2b879c50efe79e3c04d255075522af862 /test/samples/apache/microwave-02-legacy.xml
parent71c334bf4e35559496feac3f3cf00b72ceb88812 (diff)
downloaduscxml-1fb6bcf30f954e426f2d3002d14887574fb941dd.zip
uscxml-1fb6bcf30f954e426f2d3002d14887574fb941dd.tar.gz
uscxml-1fb6bcf30f954e426f2d3002d14887574fb941dd.tar.bz2
Major refactoring
- Moved tests - Changes to promela datamodel - Implemented Trie
Diffstat (limited to 'test/samples/apache/microwave-02-legacy.xml')
-rw-r--r--test/samples/apache/microwave-02-legacy.xml87
1 files changed, 0 insertions, 87 deletions
diff --git a/test/samples/apache/microwave-02-legacy.xml b/test/samples/apache/microwave-02-legacy.xml
deleted file mode 100644
index eaeb14a..0000000
--- a/test/samples/apache/microwave-02-legacy.xml
+++ /dev/null
@@ -1,87 +0,0 @@
-<?xml version="1.0"?>
-<!--
- * Licensed to the Apache Software Foundation (ASF) under one or more
- * contributor license agreements. See the NOTICE file distributed with
- * this work for additional information regarding copyright ownership.
- * The ASF licenses this file to You under the Apache License, Version 2.0
- * (the "License"); you may not use this file except in compliance with
- * the License. You may obtain a copy of the License at
- *
- * http://www.apache.org/licenses/LICENSE-2.0
- *
- * Unless required by applicable law or agreed to in writing, software
- * distributed under the License is distributed on an "AS IS" BASIS,
- * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
- * See the License for the specific language governing permissions and
- * limitations under the License.
--->
-<!--
- This document uses JSP 2.0 EL as the expressions language.
--->
-<scxml xmlns="http://www.w3.org/2005/07/scxml" version="1.0"
- initialstate="microwave">
-
- <!-- trivial microwave oven example -->
- <!-- using parallel and In() predicate -->
-
- <state id="microwave">
- <parallel id="parts">
- <state id="oven">
- <initial>
- <transition target="off"/>
- </initial>
-
- <state id="off">
- <!-- off state -->
- <transition event="turn_on" target="on"/>
- </state>
-
- <state id="on">
- <initial>
- <transition target="idle"/>
- </initial>
-
- <!-- on/pause state -->
- <onentry>
- <!-- we assume the cook_time is passed in as a context parameter -->
- <if cond="${empty cook_time}">
- <!-- default setting -->
- <var name="cook_time" expr="${5}"/>
- </if>
- <!-- timer variable -->
- <var name="timer" expr="${0}"/>
- </onentry>
-
- <transition event="turn_off" target="off"/>
-
- <transition cond="${timer ge cook_time}" target="off"/>
-
- <state id="idle">
- <transition cond="${In('closed')}" target="cooking"/>
- </state>
-
- <state id="cooking">
- <transition cond="${not In('closed')}" target="idle"/>
-
- <transition event="time" target="cooking">
- <assign name="timer" expr="${timer + 1}"/>
- </transition>
- </state>
- </state>
- </state>
-
- <state id="door">
- <initial>
- <transition target="closed"/>
- </initial>
- <state id="closed">
- <transition event="door_open" target="open"/>
- </state>
- <state id="open">
- <transition event="door_close" target="closed"/>
- </state>
- </state>
- </parallel>
- </state>
-
-</scxml>