// Build with (after `mkdir gen'):
//   java demeterf scg-admin.cd scg-admin.beh ./gen --dgp:PrintHeapToString --build

include "scg-csp-game.cd";

package gen;

Transaction = OfferTrans 
            | AcceptTrans
            | ReofferTrans
            | ProvideTrans
            | SolveTrans "]".


OfferTrans   = "offer[" <pred> ProblemType.
AcceptTrans  = "accept[" <challengeid> int.
ProvideTrans = "provide[" <inst> Problem *s <challengeid> int.
SolveTrans   = "solve[" <sol> Solution *s <challengeid> int.
ReofferTrans = "reoffer[" <challengeid> int *s <price> double.


PlayerTrans  = "playertrans["
                  <id> PlayerID *s
                  <ts> List(Transaction)
               "]".

PlayerStore  = "playerstore["
                  <offered> List(Challenge) 
               *s "::" *s
                  <accepted> List(Challenge)
               "]".

PlayerSpec = "playerspec[" <name> String *s <address> String *s <port> int "]".

// For Parsing the PlayerSpecs/Passwords
PlayersFile = <players> List(PlayerSpec) EOF.
PasswordEntry = "passwd[" *s <name> String *s <passhash> String *s "]" *l.
PasswordFile = <passwds> List(PasswordEntry) EOF.

AdminState = "adminstate["
                <players> Map(PlayerID, PlayerSpec) *s  
                <store> Map(PlayerID, PlayerStore) *s
                <accounts> Map(PlayerID, Double) *s 
                <current> Round
             "]".

Round = "round[" <num> int *s <trans> List(PlayerTrans) "]".

Config = "config["
            "gamekind:" *s <gamekind> String *s
            "turnduration:" *s <turndur> int *s
            "mindecrement:" *s <mindecr> double *s
         "]".
 
 PlayerContext = "context[" 
                   <config> Config *s
                   <id> PlayerID *s
                   <balance> double *s
                   "(" <ourOffered> List(OfferedChallenge) ")" *s
                   "(" <theirOffered> List(OfferedChallenge) ")" *s
                   "(" <accepted> List(AcceptedChallenge) ")"*s
                   "(" <provided> List(ProvidedChallenge) ")"
                "]".