1 // The FLEET Assembly Language Grammar
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.
8 Comment = "//" ~[\n\r]!* [\r\n]!
10 ws = ([\r\n ] | Comment)!* -> ~[\r\n ]
13 Program = Program:: Directive+/ws
14 | Program:: ("":: Directive+/ws) ws! CodeBagBody
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
22 CountField = Brack:: "[" int "]"
26 Instruction = Instruction::
27 ("":: (CountField ws!)?)
28 ("":: Command +/ (ws! "," ws!) ws! ";"!)
34 | Take:: ("take"|"receive")
35 | SendTo:: "sendto" ws! Port
36 | DataOutDest:: "send"
38 | Ack:: "notify" ws! Port
43 SSL = ShipSpecificLiteral:: shiptype "." ShipSpecificLiteral
44 Port = Port:: shipname "." portname
45 | SubPort:: shipname "." portname "." portname
48 CodeBagBody:: = Statement +/ ws
49 CodeBag = CodeBagRef:: CodeBagName
50 | AnonymousCodeBag:: "{" CodeBagBody "}" /ws
54 shiptype = Name:: [A-Z] ("":: [A-Za-z0-9\[\]_]**)
55 ShipSpecificLiteral = Name:: [A-Z] ("":: [A-Z0-9\[\]_]**)
56 portname = Name:: [a-z] ("":: [A-Za-z0-9\[\]_]**)
57 name = Name:: [A-Za-z] ("":: [A-Za-z0-9\[\]_]**)
58 index = "[" ("":: [0-9]+) "]" | ("":: [0-9]+)
60 ShipSpecific = ShipSpecific:: "\"" (~[\"])++ "\""
62 // the following are not part of the official FLEET syntax and are
63 // specific to Adam's interpreter.
65 Directive = "#memory" "{" (Memory:: int +/ (ws! "," ws!)) "}" /ws
66 | Import:: "#import" [A-Za-z_.]++ /ws
67 | Include:: "#include" ws! "\"" ~[\"]+ "\""
68 | Ship:: "#ship" shipname ":" ("":: [0-9A-Za-z_.]++) /ws
69 | Expect:: "#expect" int /ws