@creationix/rex 0.1.0

package/rex.ohm

@@ -0,0 +1,408 @@
+Rex {
+  space += comment
+
+  Program
+    = Expr*
+
+  Expr
+    = AssignExpr
+
+  AssignExpr
+    = Place AssignOp AssignExpr      -- assign
+    | ExistenceExpr                  -- value
+
+  ExistenceExpr
+    = ExistenceExpr AndKw BitExpr    -- and
+    | ExistenceExpr OrKw BitExpr     -- or
+    | BitExpr                        -- value
+
+  BitExpr
+    = BitExpr "&" CompareExpr        -- and
+    | BitExpr "^" CompareExpr        -- xor
+    | BitExpr "|" CompareExpr        -- or
+    | CompareExpr                    -- value
+
+  CompareExpr
+    = AddExpr CompareOp AddExpr      -- binary
+    | AddExpr                        -- value
+
+  AddExpr
+    = AddExpr "+" MulExpr            -- add
+    | AddExpr "-" MulExpr            -- sub
+    | MulExpr                        -- value
+
+  MulExpr
+    = MulExpr "*" UnaryExpr          -- mul
+    | MulExpr "/" UnaryExpr          -- div
+    | MulExpr "%" UnaryExpr          -- mod
+    | UnaryExpr                      -- value
+
+  UnaryExpr
+    = "-" ~digit UnaryExpr           -- neg
+    | "~" UnaryExpr                  -- not
+    | DeleteKw Place                 -- delete
+    | PostfixExpr                    -- value
+
+  PostfixExpr
+    = PrimaryExpr PostfixTail*       -- chain
+
+  PostfixTail
+    = "." keyName                    -- navStatic
+    | ".(" Expr ")"                 -- navDynamic
+    | "(" ")"                      -- callEmpty
+    | "(" Elements<Expr> ")"        -- call
+
+  PrimaryExpr
+    = ConditionalExpr
+    | DoExpr
+    | ForExpr
+    | BreakKw                        -- break
+    | ContinueKw                     -- continue
+    | Array
+    | Object
+    | String
+    | Number
+    | StringKw                       -- stringPred
+    | NumberKw                       -- numberPred
+    | ObjectKw                       -- objectPred
+    | ArrayKw                        -- arrayPred
+    | BooleanKw                      -- booleanPred
+    | TrueKw                         -- true
+    | FalseKw                        -- false
+    | NullKw                         -- null
+    | UndefinedKw                    -- undefined
+    | SelfExpr                       -- self
+    | identifier                     -- identifier
+    | "(" Expr ")"                  -- group
+
+  SelfExpr
+    = SelfKw "@" Number             -- depth
+    | SelfKw                         -- plain
+
+  Place
+    = PlaceBase PlaceTail*
+
+  PlaceBase
+    = identifier
+    | SelfKw
+
+  PlaceTail
+    = "." keyName                    -- navStatic
+    | ".(" Expr ")"                 -- navDynamic
+
+  ConditionalExpr
+    = ConditionalHead Expr DoKw Block ConditionalElse? EndKw
+
+  ConditionalHead
+    = WhenKw
+    | UnlessKw
+
+  ConditionalElse
+    = ElseKw ConditionalHead Expr DoKw Block ConditionalElse?  -- elseChain
+    | ElseKw Block                                               -- else
+
+  ForExpr
+    = ForKw BindingExpr DoKw Block EndKw
+
+  DoExpr
+    = DoKw Block EndKw
+
+  BindingExpr
+    = IterBinding
+    | Expr
+
+  Block
+    = Expr*
+
+  Array
+    = "[" "]"                                -- empty
+    | "[" BindingExpr ";" Expr "]"          -- comprehension
+    | "[" Elements<Expr> "]"                 -- values
+
+  Object
+    = "{" "}"                                 -- empty
+    | "{" BindingExpr ";" ObjKey ":" Expr "}" -- comprehension
+    | "{" Elements<Pair> "}"                 -- pairs
+
+  IterBinding
+    = identifier "," identifier "in" Expr   -- keyValueIn
+    | identifier "in" Expr                  -- valueIn
+    | identifier "of" Expr                  -- keyOf
+
+  Pair
+    = ObjKey ":" Expr
+
+  ObjKey
+    = keyName                        -- bare
+    | Number                         -- number
+    | String                         -- string
+    | "(" Expr ")"                  -- computed
+
+  keyName
+    = nameHead nameTail*
+
+  CompareOp
+    = "=="
+    | "!="
+    | ">="
+    | ">"
+    | "<="
+    | "<"
+
+  AssignOp
+    = "="
+    | "+="
+    | "-="
+    | "*="
+    | "/="
+    | "%="
+    | "&="
+    | "|="
+    | "^="
+
+  Elements<item>
+    = item (","? item)* ","?
+
+  identifier
+    = ~reserved nameHead nameTail*
+
+  nameHead
+    = letter
+    | "_"
+
+  nameTail
+    = letter
+    | digit
+    | "_"
+    | "-"
+
+  reserved
+    = trueTok
+    | falseTok
+    | nullTok
+    | undefinedTok
+    | selfTok
+    | whenTok
+    | unlessTok
+    | forTok
+    | inTok
+    | ofTok
+    | doTok
+    | elseTok
+    | endTok
+    | breakTok
+    | continueTok
+    | andTok
+    | orTok
+    | deleteTok
+    | stringTok
+    | numberTok
+    | objectTok
+    | arrayTok
+    | booleanTok
+
+  TrueKw
+    = trueTok
+
+  FalseKw
+    = falseTok
+
+  NullKw
+    = nullTok
+
+  UndefinedKw
+    = undefinedTok
+
+  SelfKw
+    = selfTok
+
+  WhenKw
+    = whenTok
+
+  UnlessKw
+    = unlessTok
+
+  ForKw
+    = forTok
+
+  DoKw
+    = doTok
+
+  ElseKw
+    = elseTok
+
+  EndKw
+    = endTok
+
+  BreakKw
+    = breakTok
+
+  ContinueKw
+    = continueTok
+
+  AndKw
+    = andTok
+
+  OrKw
+    = orTok
+
+  DeleteKw
+    = deleteTok
+
+  StringKw
+    = stringTok
+
+  NumberKw
+    = numberTok
+
+  ObjectKw
+    = objectTok
+
+  ArrayKw
+    = arrayTok
+
+  BooleanKw
+    = booleanTok
+
+  trueTok
+    = "true" ~nameTail
+
+  falseTok
+    = "false" ~nameTail
+
+  nullTok
+    = "null" ~nameTail
+
+  undefinedTok
+    = "undefined" ~nameTail
+
+  selfTok
+    = "self" ~nameTail
+
+  whenTok
+    = "when" ~nameTail
+
+  unlessTok
+    = "unless" ~nameTail
+
+  forTok
+    = "for" ~nameTail
+
+  inTok
+    = "in" ~nameTail
+
+  ofTok
+    = "of" ~nameTail
+
+  doTok
+    = "do" ~nameTail
+
+  elseTok
+    = "else" ~nameTail
+
+  endTok
+    = "end" ~nameTail
+
+  breakTok
+    = "break" ~nameTail
+
+  continueTok
+    = "continue" ~nameTail
+
+  andTok
+    = "and" ~nameTail
+
+  orTok
+    = "or" ~nameTail
+
+  deleteTok
+    = "delete" ~nameTail
+
+  stringTok
+    = "string" ~nameTail
+
+  numberTok
+    = "number" ~nameTail
+
+  objectTok
+    = "object" ~nameTail
+
+  arrayTok
+    = "array" ~nameTail
+
+  booleanTok
+    = "boolean" ~nameTail
+
+  String
+    = DQuotedString
+    | SQuotedString
+
+  DQuotedString
+    = "\"" dStringChar* "\""
+
+  dStringChar
+    = ~("\"" | "\\") any
+    | escape
+
+  SQuotedString
+    = "'" sStringChar* "'"
+
+  sStringChar
+    = ~("'" | "\\") any
+    | escape
+
+  escape
+    = "\\" (escapeChar | hexEscape | unicodeEscape)
+
+  escapeChar
+    = "\"" | "'" | "\\" | "/" | "b" | "f" | "n" | "r" | "t" | "0"
+
+  hexEscape
+    = "x" hex hex
+
+  unicodeEscape
+    = "u" hex hex hex hex
+
+  hex
+    = digit
+    | "A".."F"
+    | "a".."f"
+
+  Number
+    = hexNumber
+    | binaryNumber
+    | decimalNumber
+
+  hexNumber
+    = "-"? "0x" hex+
+
+  binaryNumber
+    = "-"? "0b" bit+
+
+  decimalNumber
+    = "-"? decimalInteger ("." digit+)? exponent?
+
+  decimalInteger
+    = nonZeroDigit digit*  -- nonZero
+    | "0"                  -- zero
+
+  bit
+    = "0" | "1"
+
+  exponent
+    = ("e" | "E") ("+" | "-")? digit+
+
+  nonZeroDigit
+    = "1".."9"
+
+  comment
+    = lineComment
+    | blockComment
+
+  lineComment
+    = "//" (~"\n" any)* "\n"?
+
+  blockComment
+    = "/*" (~"*/" any)* "*/"
+}
+

package/rex.ohm-bundle.d.ts

@@ -0,0 +1,195 @@
+// AUTOGENERATED FILE
+// This file was generated from rex.ohm by `ohm generateBundles`.
+
+import {
+  BaseActionDict,
+  Grammar,
+  IterationNode,
+  Node,
+  NonterminalNode,
+  Semantics,
+  TerminalNode
+} from 'ohm-js';
+
+export interface RexActionDict<T> extends BaseActionDict<T> {
+  space?: (this: NonterminalNode, arg0: NonterminalNode | TerminalNode) => T;
+  Program?: (this: NonterminalNode, arg0: IterationNode) => T;
+  Expr?: (this: NonterminalNode, arg0: NonterminalNode) => T;
+  AssignExpr_assign?: (this: NonterminalNode, arg0: NonterminalNode, arg1: NonterminalNode, arg2: NonterminalNode) => T;
+  AssignExpr_value?: (this: NonterminalNode, arg0: NonterminalNode) => T;
+  AssignExpr?: (this: NonterminalNode, arg0: NonterminalNode) => T;
+  ExistenceExpr_and?: (this: NonterminalNode, arg0: NonterminalNode, arg1: NonterminalNode, arg2: NonterminalNode) => T;
+  ExistenceExpr_or?: (this: NonterminalNode, arg0: NonterminalNode, arg1: NonterminalNode, arg2: NonterminalNode) => T;
+  ExistenceExpr_value?: (this: NonterminalNode, arg0: NonterminalNode) => T;
+  ExistenceExpr?: (this: NonterminalNode, arg0: NonterminalNode) => T;
+  BitExpr_and?: (this: NonterminalNode, arg0: NonterminalNode, arg1: TerminalNode, arg2: NonterminalNode) => T;
+  BitExpr_xor?: (this: NonterminalNode, arg0: NonterminalNode, arg1: TerminalNode, arg2: NonterminalNode) => T;
+  BitExpr_or?: (this: NonterminalNode, arg0: NonterminalNode, arg1: TerminalNode, arg2: NonterminalNode) => T;
+  BitExpr_value?: (this: NonterminalNode, arg0: NonterminalNode) => T;
+  BitExpr?: (this: NonterminalNode, arg0: NonterminalNode) => T;
+  CompareExpr_binary?: (this: NonterminalNode, arg0: NonterminalNode, arg1: NonterminalNode, arg2: NonterminalNode) => T;
+  CompareExpr_value?: (this: NonterminalNode, arg0: NonterminalNode) => T;
+  CompareExpr?: (this: NonterminalNode, arg0: NonterminalNode) => T;
+  AddExpr_add?: (this: NonterminalNode, arg0: NonterminalNode, arg1: TerminalNode, arg2: NonterminalNode) => T;
+  AddExpr_sub?: (this: NonterminalNode, arg0: NonterminalNode, arg1: TerminalNode, arg2: NonterminalNode) => T;
+  AddExpr_value?: (this: NonterminalNode, arg0: NonterminalNode) => T;
+  AddExpr?: (this: NonterminalNode, arg0: NonterminalNode) => T;
+  MulExpr_mul?: (this: NonterminalNode, arg0: NonterminalNode, arg1: TerminalNode, arg2: NonterminalNode) => T;
+  MulExpr_div?: (this: NonterminalNode, arg0: NonterminalNode, arg1: TerminalNode, arg2: NonterminalNode) => T;
+  MulExpr_mod?: (this: NonterminalNode, arg0: NonterminalNode, arg1: TerminalNode, arg2: NonterminalNode) => T;
+  MulExpr_value?: (this: NonterminalNode, arg0: NonterminalNode) => T;
+  MulExpr?: (this: NonterminalNode, arg0: NonterminalNode) => T;
+  UnaryExpr_neg?: (this: NonterminalNode, arg0: TerminalNode, arg1: NonterminalNode) => T;
+  UnaryExpr_not?: (this: NonterminalNode, arg0: TerminalNode, arg1: NonterminalNode) => T;
+  UnaryExpr_delete?: (this: NonterminalNode, arg0: NonterminalNode, arg1: NonterminalNode) => T;
+  UnaryExpr_value?: (this: NonterminalNode, arg0: NonterminalNode) => T;
+  UnaryExpr?: (this: NonterminalNode, arg0: NonterminalNode) => T;
+  PostfixExpr_chain?: (this: NonterminalNode, arg0: NonterminalNode, arg1: IterationNode) => T;
+  PostfixExpr?: (this: NonterminalNode, arg0: NonterminalNode) => T;
+  PostfixTail_navStatic?: (this: NonterminalNode, arg0: TerminalNode, arg1: NonterminalNode) => T;
+  PostfixTail_navDynamic?: (this: NonterminalNode, arg0: TerminalNode, arg1: NonterminalNode, arg2: TerminalNode) => T;
+  PostfixTail_callEmpty?: (this: NonterminalNode, arg0: TerminalNode, arg1: TerminalNode) => T;
+  PostfixTail_call?: (this: NonterminalNode, arg0: TerminalNode, arg1: NonterminalNode, arg2: TerminalNode) => T;
+  PostfixTail?: (this: NonterminalNode, arg0: NonterminalNode) => T;
+  PrimaryExpr_break?: (this: NonterminalNode, arg0: NonterminalNode) => T;
+  PrimaryExpr_continue?: (this: NonterminalNode, arg0: NonterminalNode) => T;
+  PrimaryExpr_stringPred?: (this: NonterminalNode, arg0: NonterminalNode) => T;
+  PrimaryExpr_numberPred?: (this: NonterminalNode, arg0: NonterminalNode) => T;
+  PrimaryExpr_objectPred?: (this: NonterminalNode, arg0: NonterminalNode) => T;
+  PrimaryExpr_arrayPred?: (this: NonterminalNode, arg0: NonterminalNode) => T;
+  PrimaryExpr_booleanPred?: (this: NonterminalNode, arg0: NonterminalNode) => T;
+  PrimaryExpr_true?: (this: NonterminalNode, arg0: NonterminalNode) => T;
+  PrimaryExpr_false?: (this: NonterminalNode, arg0: NonterminalNode) => T;
+  PrimaryExpr_null?: (this: NonterminalNode, arg0: NonterminalNode) => T;
+  PrimaryExpr_undefined?: (this: NonterminalNode, arg0: NonterminalNode) => T;
+  PrimaryExpr_self?: (this: NonterminalNode, arg0: NonterminalNode) => T;
+  PrimaryExpr_identifier?: (this: NonterminalNode, arg0: NonterminalNode) => T;
+  PrimaryExpr_group?: (this: NonterminalNode, arg0: TerminalNode, arg1: NonterminalNode, arg2: TerminalNode) => T;
+  PrimaryExpr?: (this: NonterminalNode, arg0: NonterminalNode) => T;
+  SelfExpr_depth?: (this: NonterminalNode, arg0: NonterminalNode, arg1: TerminalNode, arg2: NonterminalNode) => T;
+  SelfExpr_plain?: (this: NonterminalNode, arg0: NonterminalNode) => T;
+  SelfExpr?: (this: NonterminalNode, arg0: NonterminalNode) => T;
+  Place?: (this: NonterminalNode, arg0: NonterminalNode, arg1: IterationNode) => T;
+  PlaceBase?: (this: NonterminalNode, arg0: NonterminalNode) => T;
+  PlaceTail_navStatic?: (this: NonterminalNode, arg0: TerminalNode, arg1: NonterminalNode) => T;
+  PlaceTail_navDynamic?: (this: NonterminalNode, arg0: TerminalNode, arg1: NonterminalNode, arg2: TerminalNode) => T;
+  PlaceTail?: (this: NonterminalNode, arg0: NonterminalNode) => T;
+  ConditionalExpr?: (this: NonterminalNode, arg0: NonterminalNode, arg1: NonterminalNode, arg2: NonterminalNode, arg3: NonterminalNode, arg4: IterationNode, arg5: NonterminalNode) => T;
+  ConditionalHead?: (this: NonterminalNode, arg0: NonterminalNode) => T;
+  ConditionalElse_elseChain?: (this: NonterminalNode, arg0: NonterminalNode, arg1: NonterminalNode, arg2: NonterminalNode, arg3: NonterminalNode, arg4: NonterminalNode, arg5: IterationNode) => T;
+  ConditionalElse_else?: (this: NonterminalNode, arg0: NonterminalNode, arg1: NonterminalNode) => T;
+  ConditionalElse?: (this: NonterminalNode, arg0: NonterminalNode) => T;
+  ForExpr?: (this: NonterminalNode, arg0: NonterminalNode, arg1: NonterminalNode, arg2: NonterminalNode, arg3: NonterminalNode, arg4: NonterminalNode) => T;
+  DoExpr?: (this: NonterminalNode, arg0: NonterminalNode, arg1: NonterminalNode, arg2: NonterminalNode) => T;
+  BindingExpr?: (this: NonterminalNode, arg0: NonterminalNode) => T;
+  Block?: (this: NonterminalNode, arg0: IterationNode) => T;
+  Array_empty?: (this: NonterminalNode, arg0: TerminalNode, arg1: TerminalNode) => T;
+  Array_comprehension?: (this: NonterminalNode, arg0: TerminalNode, arg1: NonterminalNode, arg2: TerminalNode, arg3: NonterminalNode, arg4: TerminalNode) => T;
+  Array_values?: (this: NonterminalNode, arg0: TerminalNode, arg1: NonterminalNode, arg2: TerminalNode) => T;
+  Array?: (this: NonterminalNode, arg0: NonterminalNode) => T;
+  Object_empty?: (this: NonterminalNode, arg0: TerminalNode, arg1: TerminalNode) => T;
+  Object_comprehension?: (this: NonterminalNode, arg0: TerminalNode, arg1: NonterminalNode, arg2: TerminalNode, arg3: NonterminalNode, arg4: TerminalNode, arg5: NonterminalNode, arg6: TerminalNode) => T;
+  Object_pairs?: (this: NonterminalNode, arg0: TerminalNode, arg1: NonterminalNode, arg2: TerminalNode) => T;
+  Object?: (this: NonterminalNode, arg0: NonterminalNode) => T;
+  IterBinding_keyValueIn?: (this: NonterminalNode, arg0: NonterminalNode, arg1: TerminalNode, arg2: NonterminalNode, arg3: TerminalNode, arg4: NonterminalNode) => T;
+  IterBinding_valueIn?: (this: NonterminalNode, arg0: NonterminalNode, arg1: TerminalNode, arg2: NonterminalNode) => T;
+  IterBinding_keyOf?: (this: NonterminalNode, arg0: NonterminalNode, arg1: TerminalNode, arg2: NonterminalNode) => T;
+  IterBinding?: (this: NonterminalNode, arg0: NonterminalNode) => T;
+  Pair?: (this: NonterminalNode, arg0: NonterminalNode, arg1: TerminalNode, arg2: NonterminalNode) => T;
+  ObjKey_bare?: (this: NonterminalNode, arg0: NonterminalNode) => T;
+  ObjKey_number?: (this: NonterminalNode, arg0: NonterminalNode) => T;
+  ObjKey_string?: (this: NonterminalNode, arg0: NonterminalNode) => T;
+  ObjKey_computed?: (this: NonterminalNode, arg0: TerminalNode, arg1: NonterminalNode, arg2: TerminalNode) => T;
+  ObjKey?: (this: NonterminalNode, arg0: NonterminalNode) => T;
+  keyName?: (this: NonterminalNode, arg0: NonterminalNode, arg1: IterationNode) => T;
+  CompareOp?: (this: NonterminalNode, arg0: TerminalNode) => T;
+  AssignOp?: (this: NonterminalNode, arg0: TerminalNode) => T;
+  Elements?: (this: NonterminalNode, arg0: Node, arg1: IterationNode, arg2: IterationNode, arg3: IterationNode) => T;
+  identifier?: (this: NonterminalNode, arg0: NonterminalNode, arg1: IterationNode) => T;
+  nameHead?: (this: NonterminalNode, arg0: NonterminalNode | TerminalNode) => T;
+  nameTail?: (this: NonterminalNode, arg0: NonterminalNode | TerminalNode) => T;
+  reserved?: (this: NonterminalNode, arg0: NonterminalNode) => T;
+  TrueKw?: (this: NonterminalNode, arg0: NonterminalNode) => T;
+  FalseKw?: (this: NonterminalNode, arg0: NonterminalNode) => T;
+  NullKw?: (this: NonterminalNode, arg0: NonterminalNode) => T;
+  UndefinedKw?: (this: NonterminalNode, arg0: NonterminalNode) => T;
+  SelfKw?: (this: NonterminalNode, arg0: NonterminalNode) => T;
+  WhenKw?: (this: NonterminalNode, arg0: NonterminalNode) => T;
+  UnlessKw?: (this: NonterminalNode, arg0: NonterminalNode) => T;
+  ForKw?: (this: NonterminalNode, arg0: NonterminalNode) => T;
+  DoKw?: (this: NonterminalNode, arg0: NonterminalNode) => T;
+  ElseKw?: (this: NonterminalNode, arg0: NonterminalNode) => T;
+  EndKw?: (this: NonterminalNode, arg0: NonterminalNode) => T;
+  BreakKw?: (this: NonterminalNode, arg0: NonterminalNode) => T;
+  ContinueKw?: (this: NonterminalNode, arg0: NonterminalNode) => T;
+  AndKw?: (this: NonterminalNode, arg0: NonterminalNode) => T;
+  OrKw?: (this: NonterminalNode, arg0: NonterminalNode) => T;
+  DeleteKw?: (this: NonterminalNode, arg0: NonterminalNode) => T;
+  StringKw?: (this: NonterminalNode, arg0: NonterminalNode) => T;
+  NumberKw?: (this: NonterminalNode, arg0: NonterminalNode) => T;
+  ObjectKw?: (this: NonterminalNode, arg0: NonterminalNode) => T;
+  ArrayKw?: (this: NonterminalNode, arg0: NonterminalNode) => T;
+  BooleanKw?: (this: NonterminalNode, arg0: NonterminalNode) => T;
+  trueTok?: (this: NonterminalNode, arg0: TerminalNode) => T;
+  falseTok?: (this: NonterminalNode, arg0: TerminalNode) => T;
+  nullTok?: (this: NonterminalNode, arg0: TerminalNode) => T;
+  undefinedTok?: (this: NonterminalNode, arg0: TerminalNode) => T;
+  selfTok?: (this: NonterminalNode, arg0: TerminalNode) => T;
+  whenTok?: (this: NonterminalNode, arg0: TerminalNode) => T;
+  unlessTok?: (this: NonterminalNode, arg0: TerminalNode) => T;
+  forTok?: (this: NonterminalNode, arg0: TerminalNode) => T;
+  inTok?: (this: NonterminalNode, arg0: TerminalNode) => T;
+  ofTok?: (this: NonterminalNode, arg0: TerminalNode) => T;
+  doTok?: (this: NonterminalNode, arg0: TerminalNode) => T;
+  elseTok?: (this: NonterminalNode, arg0: TerminalNode) => T;
+  endTok?: (this: NonterminalNode, arg0: TerminalNode) => T;
+  breakTok?: (this: NonterminalNode, arg0: TerminalNode) => T;
+  continueTok?: (this: NonterminalNode, arg0: TerminalNode) => T;
+  andTok?: (this: NonterminalNode, arg0: TerminalNode) => T;
+  orTok?: (this: NonterminalNode, arg0: TerminalNode) => T;
+  deleteTok?: (this: NonterminalNode, arg0: TerminalNode) => T;
+  stringTok?: (this: NonterminalNode, arg0: TerminalNode) => T;
+  numberTok?: (this: NonterminalNode, arg0: TerminalNode) => T;
+  objectTok?: (this: NonterminalNode, arg0: TerminalNode) => T;
+  arrayTok?: (this: NonterminalNode, arg0: TerminalNode) => T;
+  booleanTok?: (this: NonterminalNode, arg0: TerminalNode) => T;
+  String?: (this: NonterminalNode, arg0: NonterminalNode) => T;
+  DQuotedString?: (this: NonterminalNode, arg0: TerminalNode, arg1: IterationNode, arg2: TerminalNode) => T;
+  dStringChar?: (this: NonterminalNode, arg0: NonterminalNode) => T;
+  SQuotedString?: (this: NonterminalNode, arg0: TerminalNode, arg1: IterationNode, arg2: TerminalNode) => T;
+  sStringChar?: (this: NonterminalNode, arg0: NonterminalNode) => T;
+  escape?: (this: NonterminalNode, arg0: TerminalNode, arg1: NonterminalNode) => T;
+  escapeChar?: (this: NonterminalNode, arg0: TerminalNode) => T;
+  hexEscape?: (this: NonterminalNode, arg0: TerminalNode, arg1: NonterminalNode, arg2: NonterminalNode) => T;
+  unicodeEscape?: (this: NonterminalNode, arg0: TerminalNode, arg1: NonterminalNode, arg2: NonterminalNode, arg3: NonterminalNode, arg4: NonterminalNode) => T;
+  hex?: (this: NonterminalNode, arg0: NonterminalNode | TerminalNode) => T;
+  Number?: (this: NonterminalNode, arg0: NonterminalNode) => T;
+  hexNumber?: (this: NonterminalNode, arg0: IterationNode, arg1: TerminalNode, arg2: IterationNode) => T;
+  binaryNumber?: (this: NonterminalNode, arg0: IterationNode, arg1: TerminalNode, arg2: IterationNode) => T;
+  decimalNumber?: (this: NonterminalNode, arg0: IterationNode, arg1: NonterminalNode, arg2: IterationNode, arg3: IterationNode, arg4: IterationNode) => T;
+  decimalInteger_nonZero?: (this: NonterminalNode, arg0: NonterminalNode, arg1: IterationNode) => T;
+  decimalInteger_zero?: (this: NonterminalNode, arg0: TerminalNode) => T;
+  decimalInteger?: (this: NonterminalNode, arg0: NonterminalNode) => T;
+  bit?: (this: NonterminalNode, arg0: TerminalNode) => T;
+  exponent?: (this: NonterminalNode, arg0: TerminalNode, arg1: IterationNode, arg2: IterationNode) => T;
+  nonZeroDigit?: (this: NonterminalNode, arg0: TerminalNode) => T;
+  comment?: (this: NonterminalNode, arg0: NonterminalNode) => T;
+  lineComment?: (this: NonterminalNode, arg0: TerminalNode, arg1: IterationNode, arg2: IterationNode) => T;
+  blockComment?: (this: NonterminalNode, arg0: TerminalNode, arg1: IterationNode, arg2: TerminalNode) => T;
+}
+
+export interface RexSemantics extends Semantics {
+  addOperation<T>(name: string, actionDict: RexActionDict<T>): this;
+  extendOperation<T>(name: string, actionDict: RexActionDict<T>): this;
+  addAttribute<T>(name: string, actionDict: RexActionDict<T>): this;
+  extendAttribute<T>(name: string, actionDict: RexActionDict<T>): this;
+}
+
+export interface RexGrammar extends Grammar {
+  createSemantics(): RexSemantics;
+  extendSemantics(superSemantics: RexSemantics): RexSemantics;
+}
+
+declare const grammar: RexGrammar;
+export default grammar;
+