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/history-shallow-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/history-shallow-01.xml')
| -rw-r--r-- | test/samples/apache/history-shallow-01.xml | 67 |
1 files changed, 0 insertions, 67 deletions
diff --git a/test/samples/apache/history-shallow-01.xml b/test/samples/apache/history-shallow-01.xml deleted file mode 100644 index 20b5bb5..0000000 --- a/test/samples/apache/history-shallow-01.xml +++ /dev/null @@ -1,67 +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 is an example of using shallow history ---> -<scxml xmlns="http://www.w3.org/2005/07/scxml" version="1.0" - initialstate="flow"> - - <state id="flow"> - <initial> - <transition target="phase1"/> - </initial> - - <!-- history defaults to shallow, optionally one can set - the type attribute to "shallow" for identical results --> - - <history id="hist"> - - <!-- This is the transition to be followed if no - prior history is available --> - - <transition target="phase1"/> - - </history> - - <state id="phase1"> - <transition event="phase.done" target="phase2"/> - </state> - - <state id="phase2"> - <transition event="phase.done" target="phase3"/> - </state> - - <state id="phase3" final="true"/> - - <transition event="flow.pause" target="interrupted"/> - - <transition event="flow.terminate" target="terminated"/> - - </state> - - <state id="interrupted"> - - <transition event="flow.resume" target="hist"/> - - <transition event="flow.terminate" target="terminated"/> - - </state> - - <state id="terminated" final="true"/> - -</scxml> |