src/edu/berkeley/fleet/assembler/fleet.g

   1 // The FLEET Assembly Language Grammar
   2 // Updated 05-Nov-2006
   3
   4 // Note that this is the *entire, complete* formal specification of
   5 // the grammar.  An equivalent lex+yacc grammar and support code would
   6 // be several times as long.
   7
   8 Comment        = "//" ~[\n\r]* [\r\n]!
   9                | "/*" ~[\n\r]* "*/"
  10 ws             = ([\r\n ] | Comment)* -> ~[\r\n ]
  11
  12 s               = ws! Program ws!
  13 Program         = Program:: Directive+/ws
  14                 | Program:: (Directive+/ws) ws! CodeBagBody
  15
  16 Statement       = Fiber::                  Source  ":" (Instruction +/ ws)     /ws
  17                 | Literal::                int     ":" "sendto" Port       ";" /ws
  18                 | ShipSpecificLiteral::    SSL     ":" "sendto" Port       ";" /ws
  19                 | CodeBagDescriptor::      CodeBag ":" "sendto" Port       ";" /ws
  20                 | NamedCodeBag::           name    ":" "{" CodeBagBody "}"     /ws
  21
  22 CountField      = Brack::     "[" int "]"
  23                 | Paren::     "(" int ")"
  24                 | BrackStar:: "[*]"
  25                 | ParenStar:: "(*)"
  26 Instruction     = Instruction::
  27                         (CountField ws!)?
  28                         (Command +/ (ws! "," ws!) ws! ";"!)
  29 Command         = Nop::      "nop"
  30                 | Kill::     "kill"
  31                 | KillStar:: "kill*"
  32                 | Wait::     "wait"
  33                 | Discard::  "dismiss"
  34                 | Take::     ("take"|"receive")
  35                 | SendTo::   "sendto" ws! Port
  36                 | Deliver::  "deliver"
  37                 | Ack::      "notify" ws! Port
  38
  39 Source         = Port
  40                | ShipSpecific
  41
  42 SSL            = ShipSpecificLiteral:: shiptype "." ShipSpecificLiteral
  43 Port           = Port::     shipname "." portname
  44                |           ^"()"
  45
  46 CodeBagBody    = Statement +/ ws
  47 CodeBag        = CodeBagRef:: CodeBagName
  48                | AnonymousCodeBag:: "{" CodeBagBody "}" /ws
  49
  50 CodeBagName         = name
  51 shipname            = name
  52 shiptype            = Name:: [A-Z] [A-Za-z0-9\[\]_]**
  53 ShipSpecificLiteral = Name:: [A-Z] [A-Z0-9\[\]_]**
  54 portname            = Name:: [a-z] [A-Za-z0-9\[\]_]**
  55 name                = Name:: [A-Za-z] [A-Za-z0-9\[\]_]**
  56 index               = "[" [0-9]+ "]" | [0-9]+
  57 int                 = [\-0-9]++
  58 ShipSpecific        = ShipSpecific:: "\"" ~[\"]++ "\""
  59
  60 // the following are not part of the official FLEET syntax and are
  61 // specific to Adam's interpreter.
  62
  63 Directive      = Memory::  "#memory" "{" (int +/ (ws! "," ws!)) "}" /ws
  64                | Import::  "#import" [A-Za-z_.]++ /ws
  65                | Include:: "#include" ("\"" (~[\"])+ "\"") /ws
  66                | Ship::    "#ship" shipname ":" [0-9A-Za-z_.]++ /ws
  67                | Expect::  "#expect" int /ws
  68