Major refactoring

- Moved tests
- Changes to promela datamodel
- Implemented Trie

1 files changed, 0 insertions, 93 deletions

diff --git a/test/samples/apache/transitions-04.xml b/test/samples/apache/transitions-04.xml
deleted file mode 100644
index 547b702..0000000
--- a/test/samples/apache/transitions-04.xml
+++ /dev/null
@@ -1,93 +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.
--->
-<!--
-    Needs SCXMLParser
--->
-<scxml xmlns="http://www.w3.org/2005/07/scxml"
-       version="1.0"
-       initialstate="ten">
-
-    <state id="ten">
-        <transition event="ten.done"
-         target="twenty" />
-    </state>
-
-    <parallel id="twenty">
-
-        <state id="twenty_one">
-
-            <initial>
-                <transition target="twenty_one_1"/>
-            </initial>
-
-            <transition event="bar" target="thirty"/>
-
-            <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>
-