initial framework added

[fp1415-soccerfun.git] / src / Gui / guiInterface.dcl

diff --git a/src/Gui/guiInterface.dcl b/src/Gui/guiInterface.dcl
new file mode 100644 (file)
index 0000000..e7e5db4
--- /dev/null
+++ b/src/Gui/guiInterface.dcl
@@ -0,0 +1,21 @@
+definition module guiInterface\r
+\r
+import matchGame\r
+\r
+/**    getSplashImageForGui loads the splash image for Soccer-Fun.\r
+*/\r
+getSplashImageForGui   :: !*env -> (!GamePicture,!*env) | FileSystem env\r
+\r
+//     todo:\r
+getActionPicsForGui            :: !Match !*env -> (!ActionPics,!*env) | FileSystem env\r
+\r
+/*     Steps the game one step, returns the game and the referee events\r
+*/\r
+stepMatchForGui                        :: !FootballGame !*env -> (![RefereeAction], !FootballGame, !*env) | FileSystem env\r
+\r
+:: DisplaySpeed                        = Slowest | Slower | Normal | Faster | Fastest\r
+instance toString              DisplaySpeed\r
+instance fromString            DisplaySpeed\r
+instance ==                            DisplaySpeed\r
+\r
+intervalFactor                 :: !DisplaySpeed -> Real\r