initial framework added

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

diff --git a/src/Game/Team.dcl b/src/Game/Team.dcl
new file mode 100644 (file)
index 0000000..5d9158d
--- /dev/null
+++ b/src/Game/Team.dcl
@@ -0,0 +1,25 @@
+definition module Team\r
+\r
+/** This module defines the Soccer-Fun API that is concerned with teams.\r
+       All available teams are collected in this module (allAvailableTeams).\r
+*/\r
+import Footballer\r
+\r
+allAvailableTeams      :: [Home FootballField -> Team]\r
+\r
+::     Team                    :== [Footballer]                // the fielders are supposed to have different numbers, and all not equal to 1\r
+\r
+instance nameOf        Team\r
+\r
+validateTeam           :: !Team -> Team\r
+isValidTeam                    :: !Team -> Bool\r
+allPlayersAtHome       :: !FootballField !Home !Team -> Bool\r
+replaceInTeam          :: ![Footballer] !Team -> Team\r
+getTeam                                :: !ClubName ![Team] -> Team\r
+\r
+class mirror a         :: !FootballField !a -> a\r
+instance mirror [a] | mirror a\r
+instance mirror Footballer\r
+instance mirror Position\r
+instance mirror Speed\r
+instance mirror Angle\r