src/Game/matchLog.dcl

   1 definition module matchLog
   2
   3 /**     This module defines the logging facilities of Soccer-Fun.
   4 */
   5 import matchControl
   6
   7 /** Logging a match.
   8 */
   9 ::      WhatToLog       = { footballerActions   :: !Bool
  10                                   , fbPositions                 :: !Bool
  11                                   , refEvents                   :: !Bool
  12                                   , ballPosition                :: !Bool
  13                                   }
  14 instance toString WhatToLog
  15
  16 getWhatToLog    :: !*env -> (!WhatToLog,!*env) | FileSystem env
  17
  18 logFile                 :: String
  19
  20 /*      logMatch options match refereeActions succeededActions env
  21                 writes the indicated log fields to logFile.
  22 */
  23 logMatch                :: !WhatToLog !Match ![RefereeAction] !(AssocList FootballerID FootballerAction) !*env -> *env | FileSystem env