initial framework added

[fp1415-soccerfun.git] / src / Game / matchLog.dcl

diff --git a/src/Game/matchLog.dcl b/src/Game/matchLog.dcl
new file mode 100644 (file)
index 0000000..1b179bc
--- /dev/null
+++ b/src/Game/matchLog.dcl
@@ -0,0 +1,23 @@
+definition module matchLog\r
+\r
+/**    This module defines the logging facilities of Soccer-Fun.\r
+*/\r
+import matchControl\r
+\r
+/** Logging a match.\r
+*/\r
+::     WhatToLog       = { footballerActions   :: !Bool\r
+                                 , fbPositions                 :: !Bool\r
+                                 , refEvents                   :: !Bool\r
+                                 , ballPosition                :: !Bool\r
+                                 }\r
+instance toString WhatToLog\r
+\r
+getWhatToLog   :: !*env -> (!WhatToLog,!*env) | FileSystem env\r
+\r
+logFile                        :: String\r
+\r
+/*     logMatch options match refereeActions succeededActions env\r
+               writes the indicated log fields to logFile.\r
+*/\r
+logMatch               :: !WhatToLog !Match ![RefereeAction] !(AssocList FootballerID FootballerAction) !*env -> *env | FileSystem env\r