src/Gui/guiInterface.dcl

   1 definition module guiInterface
   2
   3 import matchGame
   4
   5 /**     getSplashImageForGui loads the splash image for Soccer-Fun.
   6 */
   7 getSplashImageForGui    :: !*env -> (!GamePicture,!*env) | FileSystem env
   8
   9 //      todo:
  10 getActionPicsForGui             :: !Match !*env -> (!ActionPics,!*env) | FileSystem env
  11
  12 /*      Steps the game one step, returns the game and the referee events
  13 */
  14 stepMatchForGui                 :: !FootballGame !*env -> (![RefereeAction], !FootballGame, !*env) | FileSystem env
  15
  16 :: DisplaySpeed                 = Slowest | Slower | Normal | Faster | Fastest
  17 instance toString               DisplaySpeed
  18 instance fromString             DisplaySpeed
  19 instance ==                             DisplaySpeed
  20
  21 intervalFactor                  :: !DisplaySpeed -> Real