Grammar

  1. Root <- skip ContainerMembers eof
  3. # *** Top level ***
  4. ContainerMembers
  5.     <- TestDecl ContainerMembers
  6.      / TopLevelComptime ContainerMembers
  7.      / KEYWORD_pub? TopLevelDecl ContainerMembers
  8.      / KEYWORD_pub? ContainerField COMMA ContainerMembers
  9.      / KEYWORD_pub? ContainerField
  10.      /
  12. TestDecl <- KEYWORD_test STRINGLITERAL Block
  14. TopLevelComptime <- KEYWORD_comptime BlockExpr
  16. TopLevelDecl
  17.     <- (KEYWORD_export / KEYWORD_extern STRINGLITERAL? / KEYWORD_inline)? FnProto (SEMICOLON / Block)
  18.      / (KEYWORD_export / KEYWORD_extern STRINGLITERAL?)? KEYWORD_threadlocal? VarDecl
  19.      / KEYWORD_use Expr SEMICOLON
  21. FnProto <- FnCC? KEYWORD_fn IDENTIFIER? LPAREN ParamDeclList RPAREN ByteAlign? LinkSection? EXCLAMATIONMARK? (KEYWORD_var / TypeExpr)
  23. VarDecl <- (KEYWORD_const / KEYWORD_var) IDENTIFIER (COLON TypeExpr)? ByteAlign? LinkSection? (EQUAL Expr)? SEMICOLON
  25. ContainerField <- IDENTIFIER (COLON TypeExpr)? (EQUAL Expr)?
  27. # *** Block Level ***
  28. Statement
  29.     <- KEYWORD_comptime? VarDecl
  30.      / KEYWORD_comptime BlockExprStatement
  31.      / KEYWORD_suspend (SEMICOLON / BlockExprStatement)
  32.      / KEYWORD_defer BlockExprStatement
  33.      / KEYWORD_errdefer BlockExprStatement
  34.      / IfStatement
  35.      / LabeledStatement
  36.      / SwitchExpr
  37.      / AssignExpr SEMICOLON
  39. IfStatement
  40.     <- IfPrefix BlockExpr ( KEYWORD_else Payload? Statement )?
  41.      / IfPrefix AssignExpr ( SEMICOLON / KEYWORD_else Payload? Statement )
  43. LabeledStatement <- BlockLabel? (Block / LoopStatement)
  45. LoopStatement <- KEYWORD_inline? (ForStatement / WhileStatement)
  47. ForStatement
  48.     <- ForPrefix BlockExpr ( KEYWORD_else Statement )?
  49.      / ForPrefix AssignExpr ( SEMICOLON / KEYWORD_else Statement )
  51. WhileStatement
  52.     <- WhilePrefix BlockExpr ( KEYWORD_else Payload? Statement )?
  53.      / WhilePrefix AssignExpr ( SEMICOLON / KEYWORD_else Payload? Statement )
  55. BlockExprStatement
  56.     <- BlockExpr
  57.      / AssignExpr SEMICOLON
  59. BlockExpr <- BlockLabel? Block
  61. # *** Expression Level ***
  62. AssignExpr <- Expr (AssignOp Expr)?
  64. Expr <- KEYWORD_try* BoolOrExpr
  66. BoolOrExpr <- BoolAndExpr (KEYWORD_or BoolAndExpr)*
  68. BoolAndExpr <- CompareExpr (KEYWORD_and CompareExpr)*
  70. CompareExpr <- BitwiseExpr (CompareOp BitwiseExpr)?
  72. BitwiseExpr <- BitShiftExpr (BitwiseOp BitShiftExpr)*
  74. BitShiftExpr <- AdditionExpr (BitShiftOp AdditionExpr)*
  76. AdditionExpr <- MultiplyExpr (AdditionOp MultiplyExpr)*
  78. MultiplyExpr <- PrefixExpr (MultiplyOp PrefixExpr)*
  80. PrefixExpr <- PrefixOp* PrimaryExpr
  82. PrimaryExpr
  83.     <- AsmExpr
  84.      / IfExpr
  85.      / KEYWORD_break BreakLabel? Expr?
  86.      / KEYWORD_comptime Expr
  87.      / KEYWORD_continue BreakLabel?
  88.      / KEYWORD_resume Expr
  89.      / KEYWORD_return Expr?
  90.      / BlockLabel? LoopExpr
  91.      / Block
  92.      / CurlySuffixExpr
  94. IfExpr <- IfPrefix Expr (KEYWORD_else Payload? Expr)?
  96. Block <- LBRACE Statement* RBRACE
  98. LoopExpr <- KEYWORD_inline? (ForExpr / WhileExpr)
  100. ForExpr <- ForPrefix Expr (KEYWORD_else Expr)?
  102. WhileExpr <- WhilePrefix Expr (KEYWORD_else Payload? Expr)?
  104. CurlySuffixExpr <- TypeExpr InitList?
  106. InitList
  107.     <- LBRACE FieldInit (COMMA FieldInit)* COMMA? RBRACE
  108.      / LBRACE Expr (COMMA Expr)* COMMA? RBRACE
  109.      / LBRACE RBRACE
  111. TypeExpr <- PrefixTypeOp* ErrorUnionExpr
  113. ErrorUnionExpr <- SuffixExpr (EXCLAMATIONMARK TypeExpr)?
  115. SuffixExpr
  116.     <- KEYWORD_async PrimaryTypeExpr SuffixOp* FnCallArguments
  117.      / PrimaryTypeExpr (SuffixOp / FnCallArguments)*
  119. PrimaryTypeExpr
  120.     <- BUILTINIDENTIFIER FnCallArguments
  121.      / CHAR_LITERAL
  122.      / ContainerDecl
  123.      / DOT IDENTIFIER
  124.      / ErrorSetDecl
  125.      / FLOAT
  126.      / FnProto
  127.      / GroupedExpr
  128.      / LabeledTypeExpr
  129.      / IDENTIFIER
  130.      / IfTypeExpr
  131.      / INTEGER
  132.      / KEYWORD_comptime TypeExpr
  133.      / KEYWORD_error DOT IDENTIFIER
  134.      / KEYWORD_false
  135.      / KEYWORD_null
  136.      / KEYWORD_promise
  137.      / KEYWORD_true
  138.      / KEYWORD_undefined
  139.      / KEYWORD_unreachable
  140.      / STRINGLITERAL
  141.      / SwitchExpr
  143. ContainerDecl <- (KEYWORD_extern / KEYWORD_packed)? ContainerDeclAuto
  145. ErrorSetDecl <- KEYWORD_error LBRACE IdentifierList RBRACE
  147. GroupedExpr <- LPAREN Expr RPAREN
  149. IfTypeExpr <- IfPrefix TypeExpr (KEYWORD_else Payload? TypeExpr)?
  151. LabeledTypeExpr
  152.     <- BlockLabel Block
  153.      / BlockLabel? LoopTypeExpr
  155. LoopTypeExpr <- KEYWORD_inline? (ForTypeExpr / WhileTypeExpr)
  157. ForTypeExpr <- ForPrefix TypeExpr (KEYWORD_else TypeExpr)?
  159. WhileTypeExpr <- WhilePrefix TypeExpr (KEYWORD_else Payload? TypeExpr)?
  161. SwitchExpr <- KEYWORD_switch LPAREN Expr RPAREN LBRACE SwitchProngList RBRACE
  163. # *** Assembly ***
  164. AsmExpr <- KEYWORD_asm KEYWORD_volatile? LPAREN STRINGLITERAL AsmOutput? RPAREN
  166. AsmOutput <- COLON AsmOutputList AsmInput?
  168. AsmOutputItem <- LBRACKET IDENTIFIER RBRACKET STRINGLITERAL LPAREN (MINUSRARROW TypeExpr / IDENTIFIER) RPAREN
  170. AsmInput <- COLON AsmInputList AsmClobbers?
  172. AsmInputItem <- LBRACKET IDENTIFIER RBRACKET STRINGLITERAL LPAREN Expr RPAREN
  174. AsmClobbers <- COLON StringList
  176. # *** Helper grammar ***
  177. BreakLabel <- COLON IDENTIFIER
  179. BlockLabel <- IDENTIFIER COLON
  181. FieldInit <- DOT IDENTIFIER EQUAL Expr
  183. WhileContinueExpr <- COLON LPAREN AssignExpr RPAREN
  185. LinkSection <- KEYWORD_linksection LPAREN Expr RPAREN
  187. # Fn specific
  188. FnCC
  189.     <- KEYWORD_nakedcc
  190.      / KEYWORD_stdcallcc
  191.      / KEYWORD_extern
  192.      / KEYWORD_async
  194. ParamDecl <- (KEYWORD_noalias / KEYWORD_comptime)? (IDENTIFIER COLON)? ParamType
  196. ParamType
  197.     <- KEYWORD_var
  198.      / DOT3
  199.      / TypeExpr
  201. # Control flow prefixes
  202. IfPrefix <- KEYWORD_if LPAREN Expr RPAREN PtrPayload?
  204. WhilePrefix <- KEYWORD_while LPAREN Expr RPAREN PtrPayload? WhileContinueExpr?
  206. ForPrefix <- KEYWORD_for LPAREN Expr RPAREN PtrIndexPayload
  208. # Payloads
  209. Payload <- PIPE IDENTIFIER PIPE
  211. PtrPayload <- PIPE ASTERISK? IDENTIFIER PIPE
  213. PtrIndexPayload <- PIPE ASTERISK? IDENTIFIER (COMMA IDENTIFIER)? PIPE
  216. # Switch specific
  217. SwitchProng <- SwitchCase EQUALRARROW PtrPayload? AssignExpr
  219. SwitchCase
  220.     <- SwitchItem (COMMA SwitchItem)* COMMA?
  221.      / KEYWORD_else
  223. SwitchItem <- Expr (DOT3 Expr)?
  225. # Operators
  226. AssignOp
  227.     <- ASTERISKEQUAL
  228.      / SLASHEQUAL
  229.      / PERCENTEQUAL
  230.      / PLUSEQUAL
  231.      / MINUSEQUAL
  232.      / LARROW2EQUAL
  233.      / RARROW2EQUAL
  234.      / AMPERSANDEQUAL
  235.      / CARETEQUAL
  236.      / PIPEEQUAL
  237.      / ASTERISKPERCENTEQUAL
  238.      / PLUSPERCENTEQUAL
  239.      / MINUSPERCENTEQUAL
  240.      / EQUAL
  242. CompareOp
  243.     <- EQUALEQUAL
  244.      / EXCLAMATIONMARKEQUAL
  245.      / LARROW
  246.      / RARROW
  247.      / LARROWEQUAL
  248.      / RARROWEQUAL
  250. BitwiseOp
  251.     <- AMPERSAND
  252.      / CARET
  253.      / PIPE
  254.      / KEYWORD_orelse
  255.      / KEYWORD_catch Payload?
  257. BitShiftOp
  258.     <- LARROW2
  259.      / RARROW2
  261. AdditionOp
  262.     <- PLUS
  263.      / MINUS
  264.      / PLUS2
  265.      / PLUSPERCENT
  266.      / MINUSPERCENT
  268. MultiplyOp
  269.     <- PIPE2
  270.      / ASTERISK
  271.      / SLASH
  272.      / PERCENT
  273.      / ASTERISK2
  274.      / ASTERISKPERCENT
  276. PrefixOp
  277.     <- EXCLAMATIONMARK
  278.      / MINUS
  279.      / TILDE
  280.      / MINUSPERCENT
  281.      / AMPERSAND
  282.      / KEYWORD_try
  283.      / KEYWORD_await
  285. PrefixTypeOp
  286.     <- QUESTIONMARK
  287.      / KEYWORD_promise MINUSRARROW
  288.      / ArrayTypeStart (ByteAlign / KEYWORD_const / KEYWORD_volatile / KEYWORD_allowzero)*
  289.      / PtrTypeStart (KEYWORD_align LPAREN Expr (COLON INTEGER COLON INTEGER)? RPAREN / KEYWORD_const / KEYWORD_volatile / KEYWORD_allowzero)*
  291. SuffixOp
  292.     <- LBRACKET Expr (DOT2 Expr?)? RBRACKET
  293.      / DOT IDENTIFIER
  294.      / DOTASTERISK
  295.      / DOTQUESTIONMARK
  297. FnCallArguments <- LPAREN ExprList RPAREN
  299. # Ptr specific
  300. ArrayTypeStart <- LBRACKET Expr? RBRACKET
  302. PtrTypeStart
  303.     <- ASTERISK
  304.      / ASTERISK2
  305.      / PTRUNKNOWN
  306.      / PTRC
  308. # ContainerDecl specific
  309. ContainerDeclAuto <- ContainerDeclType LBRACE ContainerMembers RBRACE
  311. ContainerDeclType
  312.     <- (KEYWORD_struct / KEYWORD_enum) (LPAREN Expr RPAREN)?
  313.      / KEYWORD_union (LPAREN (KEYWORD_enum (LPAREN Expr RPAREN)? / Expr) RPAREN)?
  315. # Alignment
  316. ByteAlign <- KEYWORD_align LPAREN Expr RPAREN
  318. # Lists
  319. IdentifierList <- (IDENTIFIER COMMA)* IDENTIFIER?
  321. SwitchProngList <- (SwitchProng COMMA)* SwitchProng?
  323. AsmOutputList <- (AsmOutputItem COMMA)* AsmOutputItem?
  325. AsmInputList <- (AsmInputItem COMMA)* AsmInputItem?
  327. StringList <- (STRINGLITERAL COMMA)* STRINGLITERAL?
  329. ParamDeclList <- (ParamDecl COMMA)* ParamDecl?
  331. ExprList <- (Expr COMMA)* Expr?
  333. # *** Tokens ***
  334. eof <- !.
  335. hex <- [0-9a-fA-F]
  336. char_escape
  337.     <- "\\x" hex hex
  338.      / "\\u{" hex+ "}"
  339.      / "\\" [nr\\t'"]
  340. char_char
  341.     <- char_escape
  342.      / [^\\'\n]
  343. string_char
  344.     <- char_escape
  345.      / [^\\"\n]
  347. line_comment <- '//'[^\n]*
  348. line_string <- ("\\\\" [^\n]* [ \n]*)+
  349. line_cstring <- ("c\\\\" [^\n]* [ \n]*)+
  350. skip <- ([ \n] / line_comment)*
  352. CHAR_LITERAL <- "'" char_char "'" skip
  353. FLOAT
  354.     <- "0x" hex+   "." hex+   ([pP] [-+]? hex+)?   skip
  355.      /      [0-9]+ "." [0-9]+ ([eE] [-+]? [0-9]+)? skip
  356.      / "0x" hex+   "."? [pP] [-+]? hex+   skip
  357.      /      [0-9]+ "."? [eE] [-+]? [0-9]+ skip
  358. INTEGER
  359.     <- "0b" [01]+  skip
  360.      / "0o" [0-7]+ skip
  361.      / "0x" hex+   skip
  362.      /      [0-9]+ skip
  363. STRINGLITERAL
  364.     <- "c"? "\"" string_char* "\"" skip
  365.      / line_string                 skip
  366.      / line_cstring                skip
  367. IDENTIFIER
  368.     <- !keyword ("c" !["\\] / [A-Zabd-z_]) [A-Za-z0-9_]* skip
  369.      / "@\"" string_char* "\""                            skip
  370. BUILTINIDENTIFIER <- "@"[A-Za-z_][A-Za-z0-9_]* skip
  373. AMPERSAND            <- '&'      ![=]      skip
  374. AMPERSANDEQUAL       <- '&='               skip
  375. ASTERISK             <- '*'      ![*%=]    skip
  376. ASTERISK2            <- '**'               skip
  377. ASTERISKEQUAL        <- '*='               skip
  378. ASTERISKPERCENT      <- '*%'     ![=]      skip
  379. ASTERISKPERCENTEQUAL <- '*%='              skip
  380. CARET                <- '^'      ![=]      skip
  381. CARETEQUAL           <- '^='               skip
  382. COLON                <- ':'                skip
  383. COMMA                <- ','                skip
  384. DOT                  <- '.'      ![*.?]    skip
  385. DOT2                 <- '..'     ![.]      skip
  386. DOT3                 <- '...'              skip
  387. DOTASTERISK          <- '.*'               skip
  388. DOTQUESTIONMARK      <- '.?'               skip
  389. EQUAL                <- '='      ![>=]     skip
  390. EQUALEQUAL           <- '=='               skip
  391. EQUALRARROW          <- '=>'               skip
  392. EXCLAMATIONMARK      <- '!'      ![=]      skip
  393. EXCLAMATIONMARKEQUAL <- '!='               skip
  394. LARROW               <- '<'      ![<=]     skip
  395. LARROW2              <- '<<'     ![=]      skip
  396. LARROW2EQUAL         <- '<<='              skip
  397. LARROWEQUAL          <- '<='               skip
  398. LBRACE               <- '{'                skip
  399. LBRACKET             <- '['      ![*]      skip
  400. LPAREN               <- '('                skip
  401. MINUS                <- '-'      ![%=>]    skip
  402. MINUSEQUAL           <- '-='               skip
  403. MINUSPERCENT         <- '-%'     ![=]      skip
  404. MINUSPERCENTEQUAL    <- '-%='              skip
  405. MINUSRARROW          <- '->'               skip
  406. PERCENT              <- '%'      ![=]      skip
  407. PERCENTEQUAL         <- '%='               skip
  408. PIPE                 <- '|'      ![|=]     skip
  409. PIPE2                <- '||'               skip
  410. PIPEEQUAL            <- '|='               skip
  411. PLUS                 <- '+'      ![%+=]    skip
  412. PLUS2                <- '++'               skip
  413. PLUSEQUAL            <- '+='               skip
  414. PLUSPERCENT          <- '+%'     ![=]      skip
  415. PLUSPERCENTEQUAL     <- '+%='              skip
  416. PTRC                 <- '[*c]'             skip
  417. PTRUNKNOWN           <- '[*]'              skip
  418. QUESTIONMARK         <- '?'                skip
  419. RARROW               <- '>'      ![>=]     skip
  420. RARROW2              <- '>>'     ![=]      skip
  421. RARROW2EQUAL         <- '>>='              skip
  422. RARROWEQUAL          <- '>='               skip
  423. RBRACE               <- '}'                skip
  424. RBRACKET             <- ']'                skip
  425. RPAREN               <- ')'                skip
  426. SEMICOLON            <- ';'                skip
  427. SLASH                <- '/'      ![=]      skip
  428. SLASHEQUAL           <- '/='               skip
  429. TILDE                <- '~'                skip
  431. end_of_word <- ![a-zA-Z0-9_] skip
  432. KEYWORD_align       <- 'align'       end_of_word
  433. KEYWORD_allowzero   <- 'allowzero'   end_of_word
  434. KEYWORD_and         <- 'and'         end_of_word
  435. KEYWORD_asm         <- 'asm'         end_of_word
  436. KEYWORD_async       <- 'async'       end_of_word
  437. KEYWORD_await       <- 'await'       end_of_word
  438. KEYWORD_break       <- 'break'       end_of_word
  439. KEYWORD_catch       <- 'catch'       end_of_word
  440. KEYWORD_comptime    <- 'comptime'    end_of_word
  441. KEYWORD_const       <- 'const'       end_of_word
  442. KEYWORD_continue    <- 'continue'    end_of_word
  443. KEYWORD_defer       <- 'defer'       end_of_word
  444. KEYWORD_else        <- 'else'        end_of_word
  445. KEYWORD_enum        <- 'enum'        end_of_word
  446. KEYWORD_errdefer    <- 'errdefer'    end_of_word
  447. KEYWORD_error       <- 'error'       end_of_word
  448. KEYWORD_export      <- 'export'      end_of_word
  449. KEYWORD_extern      <- 'extern'      end_of_word
  450. KEYWORD_false       <- 'false'       end_of_word
  451. KEYWORD_fn          <- 'fn'          end_of_word
  452. KEYWORD_for         <- 'for'         end_of_word
  453. KEYWORD_if          <- 'if'          end_of_word
  454. KEYWORD_inline      <- 'inline'      end_of_word
  455. KEYWORD_nakedcc     <- 'nakedcc'     end_of_word
  456. KEYWORD_noalias     <- 'noalias'     end_of_word
  457. KEYWORD_null        <- 'null'        end_of_word
  458. KEYWORD_or          <- 'or'          end_of_word
  459. KEYWORD_orelse      <- 'orelse'      end_of_word
  460. KEYWORD_packed      <- 'packed'      end_of_word
  461. KEYWORD_promise     <- 'promise'     end_of_word
  462. KEYWORD_pub         <- 'pub'         end_of_word
  463. KEYWORD_resume      <- 'resume'      end_of_word
  464. KEYWORD_return      <- 'return'      end_of_word
  465. KEYWORD_linksection <- 'linksection' end_of_word
  466. KEYWORD_stdcallcc   <- 'stdcallcc'   end_of_word
  467. KEYWORD_struct      <- 'struct'      end_of_word
  468. KEYWORD_suspend     <- 'suspend'     end_of_word
  469. KEYWORD_switch      <- 'switch'      end_of_word
  470. KEYWORD_test        <- 'test'        end_of_word
  471. KEYWORD_threadlocal <- 'threadlocal' end_of_word
  472. KEYWORD_true        <- 'true'        end_of_word
  473. KEYWORD_try         <- 'try'         end_of_word
  474. KEYWORD_undefined   <- 'undefined'   end_of_word
  475. KEYWORD_union       <- 'union'       end_of_word
  476. KEYWORD_unreachable <- 'unreachable' end_of_word
  477. KEYWORD_usingnamespace <- 'usingnamespace' end_of_word
  478. KEYWORD_var         <- 'var'         end_of_word
  479. KEYWORD_volatile    <- 'volatile'    end_of_word
  480. KEYWORD_while       <- 'while'       end_of_word
  482. keyword <- KEYWORD_align / KEYWORD_and / KEYWORD_allowzero / KEYWORD_asm
  483.          / KEYWORD_async / KEYWORD_await / KEYWORD_break
  484.          / KEYWORD_catch / KEYWORD_comptime / KEYWORD_const / KEYWORD_continue
  485.          / KEYWORD_defer / KEYWORD_else / KEYWORD_enum / KEYWORD_errdefer
  486.          / KEYWORD_error / KEYWORD_export / KEYWORD_extern / KEYWORD_false
  487.          / KEYWORD_fn / KEYWORD_for / KEYWORD_if / KEYWORD_inline
  488.          / KEYWORD_nakedcc / KEYWORD_noalias / KEYWORD_null / KEYWORD_or
  489.          / KEYWORD_orelse / KEYWORD_packed / KEYWORD_promise / KEYWORD_pub
  490.          / KEYWORD_resume / KEYWORD_return / KEYWORD_linksection
  491.          / KEYWORD_stdcallcc / KEYWORD_struct / KEYWORD_suspend
  492.          / KEYWORD_switch / KEYWORD_test / KEYWORD_threadlocal / KEYWORD_true / KEYWORD_try
  493.          / KEYWORD_undefined / KEYWORD_union / KEYWORD_unreachable
  494.          / KEYWORD_usingnamespace / KEYWORD_var / KEYWORD_volatile / KEYWORD_while