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-03.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-03.xml')
-rw-r--r-- | test/samples/apache/transitions-03.xml | 88 |
1 files changed, 0 insertions, 88 deletions
diff --git a/test/samples/apache/transitions-03.xml b/test/samples/apache/transitions-03.xml deleted file mode 100644 index 303d673..0000000 --- a/test/samples/apache/transitions-03.xml +++ /dev/null @@ -1,88 +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 xmlns="http://www.w3.org/2005/07/scxml" - version="1.0" - initialstate="ten"> - - <state id="ten"> - <transition event="ten.done" - target="twenty_one_2 twenty_two_2 twenty_three_2" /> - </state> - - <parallel id="twenty"> - - <state id="twenty_one"> - - <initial> - <transition target="twenty_one_1"/> - </initial> - - <state id="twenty_one_1"> - <transition event="foo" target="twenty_one_2"/> - </state> - - <state id="twenty_one_2"> - <onexit> - <log expr="'Exiting twenty_two_2'" /> - </onexit> - </state> - - </state> - - <state id="twenty_two"> - - <initial> - <transition target="twenty_two_1"/> - </initial> - - <state id="twenty_two_1"> - <transition event="foo" target="twenty_two_2"/> - </state> - - <state id="twenty_two_2"> - <onexit> - <log expr="'Exiting twenty_two_2'" /> - </onexit> - </state> - - </state> - - <state id="twenty_three"> - - <initial> - <transition target="twenty_three_1"/> - </initial> - - <state id="twenty_three_1"> - <transition event="foo" target="twenty_three_2"/> - </state> - - <state id="twenty_three_2"> - <onexit> - <log expr="'Exiting twenty_three_2'" /> - </onexit> - </state> - - </state> - - </parallel> - - <state id="thirty" final="true" /> - -</scxml> - |