diff options
author | Stefan Radomski <radomski@tk.informatik.tu-darmstadt.de> | 2014-04-22 14:02:03 (GMT) |
---|---|---|
committer | Stefan Radomski <radomski@tk.informatik.tu-darmstadt.de> | 2014-04-22 14:02:03 (GMT) |
commit | 1fb6bcf30f954e426f2d3002d14887574fb941dd (patch) | |
tree | 08cff7f2b879c50efe79e3c04d255075522af862 /test/samples/apache/transitions-01.xml | |
parent | 71c334bf4e35559496feac3f3cf00b72ceb88812 (diff) | |
download | uscxml-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/transitions-01.xml')
-rw-r--r-- | test/samples/apache/transitions-01.xml | 136 |
1 files changed, 0 insertions, 136 deletions
diff --git a/test/samples/apache/transitions-01.xml b/test/samples/apache/transitions-01.xml deleted file mode 100644 index ee5133f..0000000 --- a/test/samples/apache/transitions-01.xml +++ /dev/null @@ -1,136 +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. ---> -<scxml - version="1.0" - initial="ten"> - - <!-- Start with a simple state --> - <state id="ten"> - <transition event="ten.done" target="twenty" /> - </state> - - <!-- Follow up with a composite state --> - <state id="twenty"> - - <initial> - <transition target="twenty_one"/> - </initial> - - <onentry> - <log expr="'In twenty'" /> - </onentry> - - <state id="twenty_one"> - <transition event="twenty_one.done" target="twenty_two"/> - </state> - - <state id="twenty_two"> - <transition event="twenty_two.done" target="thirty"/> - </state> - - </state> - - <!-- Finally, try an orthogonal state --> - <parallel id="thirty"> - - <!-- The first (of three) regions in thirties_parallel --> - <state id="thirty_one"> - - <initial> - <transition target="thirty_one_child_one"/> - </initial> - <onentry> - <log expr="'Entering thirty_one'" /> - </onentry> - <transition event="thirty_one.done" target="forty"/> - - <state id="thirty_one_child_one"> - <onexit> - <log expr="'Exiting thirty_one_child_one'" /> - </onexit> - <transition event="thirty_one_child_one.done" - target="thirty_one_child_two"/> - </state> - - <state id="thirty_one_child_two"> - <onexit> - <log expr="'Exiting thirty_one_child_two'" /> - </onexit> - </state> - - </state> - - <!-- The second (of three) regions in thirties_parallel --> - <state id="thirty_two"> - - <initial> - <transition target="thirty_two_child_one"/> - </initial> - <onentry> - <log expr="'Entering thirty_two'" /> - </onentry> - - <state id="thirty_two_child_one"> - <onexit> - <log expr="'Exiting thirty_two_child_one'" /> - </onexit> - <transition event="thirty_two_child_one.done" - target="thirty_two_child_two"/> - </state> - - <state id="thirty_two_child_two"> - <onexit> - <log expr="'Exiting thirty_two_child_two'" /> - </onexit> - </state> - - </state> - - <!-- The third (of three) regions in thirties_parallel --> - <state id="thirty_three"> - - <initial> - <transition target="thirty_three_child_one"/> - </initial> - <onentry> - <log expr="'Entering thirty_three'" /> - </onentry> - - <state id="thirty_three_child_one"> - <onexit> - <log expr="'Exiting thirty_three_child_one'" /> - </onexit> - <transition event="thirty_three_child_one.done" - target="thirty_three_child_two"/> - </state> - - <state id="thirty_three_child_two"> - <onexit> - <log expr="'Exiting thirty_three_child_two'" /> - </onexit> - </state> - - </state> - - </parallel> - - <!-- Declare victory --> - <state id="forty" final="true" /> - -</scxml> - |