Major refactoring

- Moved tests
- Changes to promela datamodel
- Implemented Trie

7 files changed, 0 insertions, 139 deletions

diff --git a/test/samples/uscxml/proto/3DViewer/CameraPos.proto b/test/samples/uscxml/proto/3DViewer/CameraPos.proto
deleted file mode 100644
index 6178ef4..0000000
--- a/test/samples/uscxml/proto/3DViewer/CameraPos.proto
+++ /dev/null
@@ -1,9 +0,0 @@
-import "LinearAlgebra.proto";
-
-message CameraPos {
-  required Vector3 center = 1;
-  required Quaternion rotation = 2;
-  required double distance = 3;
-  required double lastFrameTime = 4;
-  required bool thrown = 5 [default = false];
-}
\ No newline at end of file
diff --git a/test/samples/uscxml/proto/3DViewer/DirectoryListingService.proto b/test/samples/uscxml/proto/3DViewer/DirectoryListingService.proto
deleted file mode 100644
index 4a0e412..0000000
--- a/test/samples/uscxml/proto/3DViewer/DirectoryListingService.proto
+++ /dev/null
@@ -1,48 +0,0 @@
-option java_package = "org.umundo.filesystem";
-
-message DirectoryEntry {
-	enum Type {
-		NAMED_PIPE = 0;
-		CHAR_DEV = 1;
-		BLOCK_DEV = 2;
-		FILE = 3;
-		DIR = 4;
-		SYMLINK = 5;
-		SOCKET = 6;
-		UNKNOWN = 7;
-  }
-	required string name = 1;
-	required Type type = 2;
-	required string path = 3;
-	required int64 size = 4;
-	optional string extension = 5;
-
-	repeated string segments = 6;
-
-	optional int64 atime_ms = 11;
-	optional int64 ctime_ms = 12;
-	optional int64 mtime_ms = 13;
-	optional int64 btime_ms = 14;
-
-	required string hostId = 15;
-
-}
-
-message DirectoryListingRequest {
-	required string pattern = 1;
-}
-
-message DirectoryListingReply {
-	repeated DirectoryEntry entries = 1;
-}
-
-message DirectoryEntryContent {
-	required bytes content = 1;
-	required string md5 = 2;
-}
-
-service DirectoryListingService {
- 	rpc list (DirectoryListingRequest) returns (DirectoryListingReply);
- 	rpc get (DirectoryEntry) returns (DirectoryEntryContent);
-}
-
diff --git a/test/samples/uscxml/proto/3DViewer/LinearAlgebra.proto b/test/samples/uscxml/proto/3DViewer/LinearAlgebra.proto
deleted file mode 100644
index 135ed00..0000000
--- a/test/samples/uscxml/proto/3DViewer/LinearAlgebra.proto
+++ /dev/null
@@ -1,18 +0,0 @@
-message Quaternion {
-  required double w = 1;
-  required double x = 2;
-  required double y = 3;
-  required double z = 4;
-}
-
-message Vector3 {
-  required double x = 1 [default = 0];
-  required double y = 2 [default = 0];
-  required double z = 3 [default = 0];
-}
-
-message Matrix3 {
-  required Vector3 x = 1;
-  required Vector3 y = 2;
-  required Vector3 z = 3;
-}
diff --git a/test/samples/uscxml/proto/3DViewer/ModelInfo.proto b/test/samples/uscxml/proto/3DViewer/ModelInfo.proto
deleted file mode 100644
index 3214a71..0000000
--- a/test/samples/uscxml/proto/3DViewer/ModelInfo.proto
+++ /dev/null
@@ -1,10 +0,0 @@
-import "LinearAlgebra.proto";
-
-message ModelInfo {
-	required string name = 1;
-	required string description = 2;
-}
-
-message Annotation {
-	required Vector3 position = 1;
-}
\ No newline at end of file
diff --git a/test/samples/uscxml/proto/3DViewer/Pose.proto b/test/samples/uscxml/proto/3DViewer/Pose.proto
deleted file mode 100644
index c29d6ff..0000000
--- a/test/samples/uscxml/proto/3DViewer/Pose.proto
+++ /dev/null
@@ -1,22 +0,0 @@
-import "LinearAlgebra.proto";
-
-message EulerAngles {
-	required double pitch = 1 [default = 0];
-	required double roll = 2 [default = 0];
-	required double yaw = 3 [default = 0];
-}
-
-message Heading {
-  required Vector3 direction = 1;
-  optional double timestamp = 2;
-  optional double magneticHeading = 3;
-  optional double trueHeading = 4;
-}
-
-message Pose {
-  optional Matrix3 orientation = 1;
-	optional EulerAngles euler = 2;
-	optional Vector3 position = 3;
-  optional Heading heading = 4;
-  optional double timestamp = 5;
-}
diff --git a/test/samples/uscxml/proto/3DViewer/SceneSetup.proto b/test/samples/uscxml/proto/3DViewer/SceneSetup.proto
deleted file mode 100644
index b3b7697..0000000
--- a/test/samples/uscxml/proto/3DViewer/SceneSetup.proto
+++ /dev/null
@@ -1,8 +0,0 @@
-import "Pose.proto";
-
-message SceneSetup {
-  optional Pose modelPose = 1;
-  optional Pose camPose = 2;
-  required string modelName = 3;
-  required string bandName = 4;
-}
\ No newline at end of file
diff --git a/test/samples/uscxml/proto/3DViewer/SceneShotService.proto b/test/samples/uscxml/proto/3DViewer/SceneShotService.proto
deleted file mode 100644
index c7412a3..0000000
--- a/test/samples/uscxml/proto/3DViewer/SceneShotService.proto
+++ /dev/null
@@ -1,24 +0,0 @@
-import "SceneSetup.proto";
-
-message SceneShotReply {
-	optional bytes data = 1;
-	optional string base64 = 2;
-	optional string url = 3;
-	required uint32 width = 4;
-	required uint32 height = 5;
-}
-
-message SceneShotRequest {
-	required uint32 width = 1 [default = 640];
-	required uint32 height = 2 [default = 480];
-	optional string format = 3 [default = "png"];
-	optional string filename = 4;
-	optional SceneSetup sceneSetup = 5;
-	optional double pitch = 6;
-	optional double roll = 7;
-	optional double zoom = 8;
-}
-
-service SceneShotService {
- 	rpc sceneShot (SceneShotRequest) returns (SceneShotReply);
-}