import edu.neu.ccs.demeter.dj.*;

Blackboard = "<blackboard>"
  "<players>" <players> List(Player) "</players>" // in file players.xml
  <store> Store // in file store.xml
  "<transactions>" <transactions> List(Transaction) "</transactions>"// in file playerName_done.xml
  <history> History // in file history
  "</blackboard>"
  EOF .

Player = "<player>" <name> PlayerName 
  "<account>" <account> Money "</account>"
  "<turn>" <turn> boolean "</turn>"
  [PublicKey] "</player>".
PlayerName = "<playerName>" <v> Ident "</playerName>".
PublicKey = "<publicKey>" "</publicKey>".
History = "<history>"  EList(Transaction) "</history>".

Store = "<store>" *l EList(Derivative) *l "</store>" .
Transaction = "<trans>" Trans "</trans>".
Trans :
  Buy |
  Create |
  DeliverR |
  Finish common PlayerName Derivative [DigitalSignature].
Buy = "<buy>" "</buy>".
Create = "<create>" "</create>".
DeliverR = "<deliver>" "</deliver>".
Finish = "<finish>" "</finish>".
DigitalSignature = "<digitalSignature>" "</digitalSignature>".

Derivative = "<derivative>" *l 
  <name> DerivativeName 
  "<creator>" <creator> PlayerName "</creator>"
  "<price>" <price> Money "</price>"
  <type> DerivativeType
  ["<boughtBy>" <boughtBy> PlayerName "</boughtBy>"]
  [<rawMaterial> RawMaterial] *l 
  [<finishedProduct> FinishedProduct]
  "</derivative>" .
FinishedProduct = "<finishedProduct>"
  Assignment
  <quality> Money
  "</finishedProduct>".

DerivativeName = "<derivativeName>" <name> Ident "</derivativeName>" .
Money = "<money>" <price> float "</money>" .
DerivativeType = "<derivativeType>" 
  List(ClauseType) "</derivativeType>" .

ClauseType = 
  "<clauseType>" 
  <total_literal_num> TotalLiteralNum 
  <pos_literal_num> PosLiteralNum "</clauseType>" .
TotalLiteralNum = "<totalLiterals>" <v> int "</totalLiterals>" .
PosLiteralNum   = "<posLiterals>" <v> int "</posLiterals>" .

RawMaterial = "<rawMaterial>" List(Clause) "</rawMaterial>" .
Clause = *l "<clause>" <weight> Weight 
  "<literals>" List(Literal) "</literals>" 
  "</clause>" .
Weight = "<weight>" <v> int "</weight>" .

Literal = *l "<lit>" Lit "</lit>".
Lit : PosLiteral | NegLiteral common Variable .
PosLiteral = "<pos>" "</pos>" .
NegLiteral = "<neg>" "</neg>" .
Variable = "<v>" <v> Ident "</v>".

Assignment = "<assignment>" List(Literal) "</assignment>" .

// Quality = "<quality>" <v> float "</quality>" .
List(S) ~ S {S} .
EList(S) ~ {S} .

Main = <s> String.

noparse
visitor CTVisitor = <pos> int <neg> int.