mirror of https://github.com/Wilfred/difftastic/
Update tree-sitter-compiler, use new grammar API
Max Brunsfeld
parent
cabc2bbfe1
commit
d6d926183c
@ -1,347 +1,343 @@
|
||||
module.exports =
|
||||
({choice, err, repeat, seq, sym, token, optional, prec}) ->
|
||||
|
||||
commaSep1 = (rule) ->
|
||||
seq(rule, repeat(seq(",", rule)))
|
||||
|
||||
commaSep = (rule) ->
|
||||
optional(commaSep1(rule))
|
||||
|
||||
terminator = ->
|
||||
choice(";", sym("_line_break"))
|
||||
|
||||
PREC =
|
||||
COMMA: -1,
|
||||
ASSIGN: 0,
|
||||
BLOCK: 1,
|
||||
TERNARY: 1,
|
||||
OR: 2,
|
||||
AND: 3,
|
||||
PLUS: 4,
|
||||
REL: 5,
|
||||
TIMES: 6,
|
||||
TYPEOF: 7,
|
||||
NOT: 8,
|
||||
NEG: 9,
|
||||
INC: 10,
|
||||
NEW: 11,
|
||||
CALL: 12,
|
||||
MEMBER: 13
|
||||
|
||||
{
|
||||
name: 'javascript'
|
||||
|
||||
ubiquitous: -> [
|
||||
@comment,
|
||||
@_line_break,
|
||||
/[ \t\r]/
|
||||
]
|
||||
|
||||
rules:
|
||||
program: -> repeat(@_statement)
|
||||
|
||||
#
|
||||
# Statements
|
||||
#
|
||||
|
||||
_statement: -> choice(
|
||||
@expression_statement,
|
||||
commaSep1 = (rule) ->
|
||||
seq(rule, repeat(seq(",", rule)))
|
||||
|
||||
commaSep = (rule) ->
|
||||
optional(commaSep1(rule))
|
||||
|
||||
terminator = ->
|
||||
choice(";", sym("_line_break"))
|
||||
|
||||
PREC =
|
||||
COMMA: -1,
|
||||
ASSIGN: 0,
|
||||
BLOCK: 1,
|
||||
TERNARY: 1,
|
||||
OR: 2,
|
||||
AND: 3,
|
||||
PLUS: 4,
|
||||
REL: 5,
|
||||
TIMES: 6,
|
||||
TYPEOF: 7,
|
||||
NOT: 8,
|
||||
NEG: 9,
|
||||
INC: 10,
|
||||
NEW: 11,
|
||||
CALL: 12,
|
||||
MEMBER: 13
|
||||
|
||||
module.exports = grammar
|
||||
name: 'javascript'
|
||||
|
||||
ubiquitous: -> [
|
||||
@comment,
|
||||
@_line_break,
|
||||
/[ \t\r]/
|
||||
]
|
||||
|
||||
rules:
|
||||
program: -> repeat(@_statement)
|
||||
|
||||
#
|
||||
# Statements
|
||||
#
|
||||
|
||||
_statement: -> choice(
|
||||
@expression_statement,
|
||||
@var_declaration,
|
||||
@statement_block,
|
||||
|
||||
@if_statement,
|
||||
@switch_statement,
|
||||
@for_statement,
|
||||
@for_in_statement,
|
||||
@while_statement,
|
||||
@do_statement,
|
||||
@try_statement,
|
||||
|
||||
@break_statement,
|
||||
@return_statement,
|
||||
@throw_statement,
|
||||
@delete_statement,
|
||||
)
|
||||
|
||||
expression_statement: -> seq(
|
||||
err(@_expressions), terminator())
|
||||
|
||||
var_declaration: -> seq(
|
||||
"var",
|
||||
commaSep1(err(choice(
|
||||
@identifier,
|
||||
@var_assignment))),
|
||||
terminator())
|
||||
|
||||
statement_block: -> prec(PREC.BLOCK, seq(
|
||||
"{", err(repeat(@_statement)), "}"))
|
||||
|
||||
if_statement: -> prec.right(0, seq(
|
||||
"if",
|
||||
@_paren_expression,
|
||||
@_statement,
|
||||
optional(seq(
|
||||
"else",
|
||||
@_statement
|
||||
))))
|
||||
|
||||
switch_statement: -> seq(
|
||||
"switch",
|
||||
"(", @_expression, ")",
|
||||
"{", repeat(choice(@case, @default)), "}")
|
||||
|
||||
for_statement: -> seq(
|
||||
"for",
|
||||
"(",
|
||||
choice(
|
||||
@var_declaration,
|
||||
@statement_block,
|
||||
|
||||
@if_statement,
|
||||
@switch_statement,
|
||||
@for_statement,
|
||||
@for_in_statement,
|
||||
@while_statement,
|
||||
@do_statement,
|
||||
@try_statement,
|
||||
|
||||
@break_statement,
|
||||
@return_statement,
|
||||
@throw_statement,
|
||||
@delete_statement,
|
||||
)
|
||||
|
||||
expression_statement: -> seq(
|
||||
err(@_expressions), terminator())
|
||||
|
||||
var_declaration: -> seq(
|
||||
"var",
|
||||
commaSep1(err(choice(
|
||||
@identifier,
|
||||
@var_assignment))),
|
||||
terminator())
|
||||
|
||||
statement_block: -> prec(PREC.BLOCK, seq(
|
||||
"{", err(repeat(@_statement)), "}"))
|
||||
|
||||
if_statement: -> prec.right(0, seq(
|
||||
"if",
|
||||
@_paren_expression,
|
||||
@_statement,
|
||||
optional(seq(
|
||||
"else",
|
||||
@_statement
|
||||
))))
|
||||
|
||||
switch_statement: -> seq(
|
||||
"switch",
|
||||
"(", @_expression, ")",
|
||||
"{", repeat(choice(@case, @default)), "}")
|
||||
|
||||
for_statement: -> seq(
|
||||
"for",
|
||||
"(",
|
||||
choice(
|
||||
@var_declaration,
|
||||
seq(err(@_expressions), ";"),
|
||||
";"),
|
||||
optional(err(@_expressions)), ";"
|
||||
optional(err(@_expressions)),
|
||||
")",
|
||||
@_statement)
|
||||
|
||||
for_in_statement: -> seq(
|
||||
"for",
|
||||
"(",
|
||||
optional("var"),
|
||||
@_expression,
|
||||
"in",
|
||||
@_expression,
|
||||
")",
|
||||
@_statement)
|
||||
|
||||
while_statement: -> seq(
|
||||
"while",
|
||||
@_paren_expression,
|
||||
@_statement)
|
||||
|
||||
do_statement: -> seq(
|
||||
"do",
|
||||
@statement_block,
|
||||
"while",
|
||||
@_paren_expression)
|
||||
|
||||
try_statement: -> seq(
|
||||
"try",
|
||||
@statement_block,
|
||||
optional(@catch),
|
||||
optional(@finally))
|
||||
|
||||
break_statement: -> seq(
|
||||
"break",
|
||||
terminator())
|
||||
|
||||
return_statement: -> seq(
|
||||
"return",
|
||||
optional(@_expressions),
|
||||
terminator())
|
||||
|
||||
throw_statement: -> seq(
|
||||
"throw",
|
||||
@_expression,
|
||||
terminator())
|
||||
|
||||
delete_statement: -> seq(
|
||||
"delete",
|
||||
choice(@member_access, @subscript_access),
|
||||
terminator())
|
||||
|
||||
#
|
||||
# Statement components
|
||||
#
|
||||
|
||||
case: -> seq(
|
||||
"case",
|
||||
@_expression,
|
||||
":",
|
||||
repeat(@_statement))
|
||||
|
||||
default: -> seq(
|
||||
"default",
|
||||
":",
|
||||
repeat(@_statement))
|
||||
|
||||
catch: -> seq(
|
||||
"catch",
|
||||
optional(seq("(", @identifier, ")"))
|
||||
@statement_block)
|
||||
|
||||
finally: -> seq(
|
||||
"finally",
|
||||
@statement_block)
|
||||
|
||||
var_assignment: -> seq(
|
||||
seq(err(@_expressions), ";"),
|
||||
";"),
|
||||
optional(err(@_expressions)), ";"
|
||||
optional(err(@_expressions)),
|
||||
")",
|
||||
@_statement)
|
||||
|
||||
for_in_statement: -> seq(
|
||||
"for",
|
||||
"(",
|
||||
optional("var"),
|
||||
@_expression,
|
||||
"in",
|
||||
@_expression,
|
||||
")",
|
||||
@_statement)
|
||||
|
||||
while_statement: -> seq(
|
||||
"while",
|
||||
@_paren_expression,
|
||||
@_statement)
|
||||
|
||||
do_statement: -> seq(
|
||||
"do",
|
||||
@statement_block,
|
||||
"while",
|
||||
@_paren_expression)
|
||||
|
||||
try_statement: -> seq(
|
||||
"try",
|
||||
@statement_block,
|
||||
optional(@catch),
|
||||
optional(@finally))
|
||||
|
||||
break_statement: -> seq(
|
||||
"break",
|
||||
terminator())
|
||||
|
||||
return_statement: -> seq(
|
||||
"return",
|
||||
optional(@_expressions),
|
||||
terminator())
|
||||
|
||||
throw_statement: -> seq(
|
||||
"throw",
|
||||
@_expression,
|
||||
terminator())
|
||||
|
||||
delete_statement: -> seq(
|
||||
"delete",
|
||||
choice(@member_access, @subscript_access),
|
||||
terminator())
|
||||
|
||||
#
|
||||
# Statement components
|
||||
#
|
||||
|
||||
case: -> seq(
|
||||
"case",
|
||||
@_expression,
|
||||
":",
|
||||
repeat(@_statement))
|
||||
|
||||
default: -> seq(
|
||||
"default",
|
||||
":",
|
||||
repeat(@_statement))
|
||||
|
||||
catch: -> seq(
|
||||
"catch",
|
||||
optional(seq("(", @identifier, ")"))
|
||||
@statement_block)
|
||||
|
||||
finally: -> seq(
|
||||
"finally",
|
||||
@statement_block)
|
||||
|
||||
var_assignment: -> seq(
|
||||
@identifier,
|
||||
"=",
|
||||
@_expression)
|
||||
|
||||
_paren_expression: -> seq(
|
||||
"(", err(@_expression), ")")
|
||||
|
||||
#
|
||||
# Expressions
|
||||
#
|
||||
|
||||
_expressions: -> commaSep1(@_expression)
|
||||
|
||||
_expression: -> choice(
|
||||
@object,
|
||||
@array,
|
||||
@function,
|
||||
@function_call,
|
||||
@new_expression,
|
||||
@member_access,
|
||||
@subscript_access,
|
||||
@assignment,
|
||||
@math_assignment,
|
||||
@ternary,
|
||||
@bool_op,
|
||||
@math_op,
|
||||
@bitwise_op,
|
||||
@rel_op,
|
||||
@type_op,
|
||||
@_paren_expression,
|
||||
|
||||
@identifier,
|
||||
@number,
|
||||
@string,
|
||||
@regex,
|
||||
@true,
|
||||
@false,
|
||||
@null,
|
||||
@undefined,
|
||||
)
|
||||
|
||||
object: -> seq(
|
||||
"{", commaSep(err(@pair)), "}")
|
||||
|
||||
array: -> seq(
|
||||
"[", commaSep(err(@_expression)), "]")
|
||||
|
||||
function: -> seq(
|
||||
"function",
|
||||
optional(@identifier),
|
||||
"(", optional(@formal_parameters), ")",
|
||||
@statement_block)
|
||||
|
||||
function_call: -> prec(PREC.CALL, seq(
|
||||
@_expression,
|
||||
"(", err(optional(@arguments)), ")"))
|
||||
|
||||
new_expression: -> prec(PREC.NEW, seq(
|
||||
"new",
|
||||
@_expression))
|
||||
|
||||
member_access: -> prec(PREC.MEMBER, seq(
|
||||
@_expression,
|
||||
".",
|
||||
@identifier))
|
||||
|
||||
subscript_access: -> prec.right(PREC.MEMBER, seq(
|
||||
@_expression,
|
||||
"[", err(@_expression), "]"))
|
||||
|
||||
assignment: -> prec(PREC.ASSIGN, seq(
|
||||
choice(
|
||||
@identifier,
|
||||
"=",
|
||||
@_expression)
|
||||
|
||||
_paren_expression: -> seq(
|
||||
"(", err(@_expression), ")")
|
||||
|
||||
#
|
||||
# Expressions
|
||||
#
|
||||
|
||||
_expressions: -> commaSep1(@_expression)
|
||||
|
||||
_expression: -> choice(
|
||||
@object,
|
||||
@array,
|
||||
@function,
|
||||
@function_call,
|
||||
@new_expression,
|
||||
@member_access,
|
||||
@subscript_access,
|
||||
@assignment,
|
||||
@math_assignment,
|
||||
@ternary,
|
||||
@bool_op,
|
||||
@math_op,
|
||||
@bitwise_op,
|
||||
@rel_op,
|
||||
@type_op,
|
||||
@_paren_expression,
|
||||
@subscript_access)
|
||||
"=",
|
||||
@_expression))
|
||||
|
||||
math_assignment: -> prec(PREC.ASSIGN, seq(
|
||||
choice(
|
||||
@identifier,
|
||||
@number,
|
||||
@string,
|
||||
@regex,
|
||||
@true,
|
||||
@false,
|
||||
@null,
|
||||
@undefined,
|
||||
)
|
||||
|
||||
object: -> seq(
|
||||
"{", commaSep(err(@pair)), "}")
|
||||
|
||||
array: -> seq(
|
||||
"[", commaSep(err(@_expression)), "]")
|
||||
|
||||
function: -> seq(
|
||||
"function",
|
||||
optional(@identifier),
|
||||
"(", optional(@formal_parameters), ")",
|
||||
@statement_block)
|
||||
|
||||
function_call: -> prec(PREC.CALL, seq(
|
||||
@_expression,
|
||||
"(", err(optional(@arguments)), ")"))
|
||||
|
||||
new_expression: -> prec(PREC.NEW, seq(
|
||||
"new",
|
||||
@_expression))
|
||||
|
||||
member_access: -> prec(PREC.MEMBER, seq(
|
||||
@_expression,
|
||||
".",
|
||||
@identifier))
|
||||
|
||||
subscript_access: -> prec.right(PREC.MEMBER, seq(
|
||||
@_expression,
|
||||
"[", err(@_expression), "]"))
|
||||
|
||||
assignment: -> prec(PREC.ASSIGN, seq(
|
||||
choice(
|
||||
@identifier,
|
||||
@member_access,
|
||||
@subscript_access)
|
||||
"=",
|
||||
@_expression))
|
||||
|
||||
math_assignment: -> prec(PREC.ASSIGN, seq(
|
||||
choice(
|
||||
@identifier,
|
||||
@member_access,
|
||||
@subscript_access)
|
||||
choice("+=", "-=", "*=", "/="),
|
||||
@_expression))
|
||||
|
||||
ternary: -> prec(PREC.TERNARY, seq(
|
||||
@_expression, "?", @_expression, ":", @_expression))
|
||||
|
||||
bool_op: -> choice(
|
||||
prec(PREC.NOT, seq("!", @_expression)),
|
||||
prec(PREC.AND, seq(@_expression, "&&", @_expression)),
|
||||
prec(PREC.OR, seq(@_expression, "||", @_expression)))
|
||||
|
||||
bitwise_op: -> choice(
|
||||
prec(PREC.TIMES, seq(@_expression, ">>", @_expression)),
|
||||
prec(PREC.TIMES, seq(@_expression, "<<", @_expression)),
|
||||
prec(PREC.AND, seq(@_expression, "&", @_expression)),
|
||||
prec(PREC.OR, seq(@_expression, "|", @_expression)))
|
||||
|
||||
math_op: -> choice(
|
||||
prec(PREC.NEG, seq("-", @_expression)),
|
||||
prec(PREC.NEG, seq("+", @_expression)),
|
||||
prec(PREC.INC, seq(@_expression, "++")),
|
||||
prec(PREC.INC, seq(@_expression, "--")),
|
||||
prec(PREC.PLUS, seq(@_expression, "+", @_expression)),
|
||||
prec(PREC.PLUS, seq(@_expression, "-", @_expression)),
|
||||
prec(PREC.TIMES, seq(@_expression, "*", @_expression)),
|
||||
prec(PREC.TIMES, seq(@_expression, "/", @_expression)))
|
||||
|
||||
rel_op: -> choice(
|
||||
prec(PREC.REL, seq(@_expression, "<", @_expression)),
|
||||
prec(PREC.REL, seq(@_expression, "<=", @_expression)),
|
||||
prec(PREC.REL, seq(@_expression, "==", @_expression)),
|
||||
prec(PREC.REL, seq(@_expression, "===", @_expression)),
|
||||
prec(PREC.REL, seq(@_expression, "!=", @_expression)),
|
||||
prec(PREC.REL, seq(@_expression, "!==", @_expression)),
|
||||
prec(PREC.REL, seq(@_expression, ">=", @_expression)),
|
||||
prec(PREC.REL, seq(@_expression, ">", @_expression)))
|
||||
|
||||
type_op: -> choice(
|
||||
prec(PREC.TYPEOF, seq("typeof", @_expression)),
|
||||
prec(PREC.REL, seq(@_expression, "instanceof", @_expression)),
|
||||
prec(PREC.REL, seq(@_expression, "in", @_expression)))
|
||||
|
||||
#
|
||||
# Primitives
|
||||
#
|
||||
|
||||
comment: -> token(choice(
|
||||
seq("//", /.*/),
|
||||
seq("/*", repeat(choice(/[^\*]/, /\*[^/]/)), "*/")))
|
||||
|
||||
string: -> token(choice(
|
||||
seq('"', repeat(choice(/[^\\"\n]/, /\\./)), '"'),
|
||||
seq("'", repeat(choice(/[^\\'\n]/, /\\./)), "'")))
|
||||
|
||||
regex: -> token(seq(
|
||||
'/', repeat(choice(/[^\\/\n]/, /\\./)), '/',
|
||||
repeat(choice('i', 'g'))))
|
||||
|
||||
number: -> token(choice(
|
||||
seq(
|
||||
"0x",
|
||||
/[\da-fA-F]+/),
|
||||
seq(
|
||||
/\d+/,
|
||||
optional(seq(".", /\d*/)))))
|
||||
|
||||
identifier: -> /[\a_$][\a\d_$]*/
|
||||
|
||||
true: -> "true"
|
||||
false: -> "false"
|
||||
null: -> "null"
|
||||
undefined: -> "undefined"
|
||||
_line_break: -> "\n"
|
||||
|
||||
#
|
||||
# Expression components
|
||||
#
|
||||
|
||||
arguments: ->
|
||||
commaSep1(err(@_expression))
|
||||
|
||||
formal_parameters: ->
|
||||
commaSep1(@identifier)
|
||||
|
||||
pair: -> seq(
|
||||
choice(@identifier, @string),
|
||||
":",
|
||||
@_expression)
|
||||
}
|
||||
@member_access,
|
||||
@subscript_access)
|
||||
choice("+=", "-=", "*=", "/="),
|
||||
@_expression))
|
||||
|
||||
ternary: -> prec(PREC.TERNARY, seq(
|
||||
@_expression, "?", @_expression, ":", @_expression))
|
||||
|
||||
bool_op: -> choice(
|
||||
prec(PREC.NOT, seq("!", @_expression)),
|
||||
prec(PREC.AND, seq(@_expression, "&&", @_expression)),
|
||||
prec(PREC.OR, seq(@_expression, "||", @_expression)))
|
||||
|
||||
bitwise_op: -> choice(
|
||||
prec(PREC.TIMES, seq(@_expression, ">>", @_expression)),
|
||||
prec(PREC.TIMES, seq(@_expression, "<<", @_expression)),
|
||||
prec(PREC.AND, seq(@_expression, "&", @_expression)),
|
||||
prec(PREC.OR, seq(@_expression, "|", @_expression)))
|
||||
|
||||
math_op: -> choice(
|
||||
prec(PREC.NEG, seq("-", @_expression)),
|
||||
prec(PREC.NEG, seq("+", @_expression)),
|
||||
prec(PREC.INC, seq(@_expression, "++")),
|
||||
prec(PREC.INC, seq(@_expression, "--")),
|
||||
prec(PREC.PLUS, seq(@_expression, "+", @_expression)),
|
||||
prec(PREC.PLUS, seq(@_expression, "-", @_expression)),
|
||||
prec(PREC.TIMES, seq(@_expression, "*", @_expression)),
|
||||
prec(PREC.TIMES, seq(@_expression, "/", @_expression)))
|
||||
|
||||
rel_op: -> choice(
|
||||
prec(PREC.REL, seq(@_expression, "<", @_expression)),
|
||||
prec(PREC.REL, seq(@_expression, "<=", @_expression)),
|
||||
prec(PREC.REL, seq(@_expression, "==", @_expression)),
|
||||
prec(PREC.REL, seq(@_expression, "===", @_expression)),
|
||||
prec(PREC.REL, seq(@_expression, "!=", @_expression)),
|
||||
prec(PREC.REL, seq(@_expression, "!==", @_expression)),
|
||||
prec(PREC.REL, seq(@_expression, ">=", @_expression)),
|
||||
prec(PREC.REL, seq(@_expression, ">", @_expression)))
|
||||
|
||||
type_op: -> choice(
|
||||
prec(PREC.TYPEOF, seq("typeof", @_expression)),
|
||||
prec(PREC.REL, seq(@_expression, "instanceof", @_expression)),
|
||||
prec(PREC.REL, seq(@_expression, "in", @_expression)))
|
||||
|
||||
#
|
||||
# Primitives
|
||||
#
|
||||
|
||||
comment: -> token(choice(
|
||||
seq("//", /.*/),
|
||||
seq("/*", repeat(choice(/[^\*]/, /\*[^/]/)), "*/")))
|
||||
|
||||
string: -> token(choice(
|
||||
seq('"', repeat(choice(/[^\\"\n]/, /\\./)), '"'),
|
||||
seq("'", repeat(choice(/[^\\'\n]/, /\\./)), "'")))
|
||||
|
||||
regex: -> token(seq(
|
||||
'/', repeat(choice(/[^\\/\n]/, /\\./)), '/',
|
||||
repeat(choice('i', 'g'))))
|
||||
|
||||
number: -> token(choice(
|
||||
seq(
|
||||
"0x",
|
||||
/[\da-fA-F]+/),
|
||||
seq(
|
||||
/\d+/,
|
||||
optional(seq(".", /\d*/)))))
|
||||
|
||||
identifier: -> /[\a_$][\a\d_$]*/
|
||||
|
||||
true: -> "true"
|
||||
false: -> "false"
|
||||
null: -> "null"
|
||||
undefined: -> "undefined"
|
||||
_line_break: -> "\n"
|
||||
|
||||
#
|
||||
# Expression components
|
||||
#
|
||||
|
||||
arguments: ->
|
||||
commaSep1(err(@_expression))
|
||||
|
||||
formal_parameters: ->
|
||||
commaSep1(@identifier)
|
||||
|
||||
pair: -> seq(
|
||||
choice(@identifier, @string),
|
||||
":",
|
||||
@_expression)
|
||||
|
||||
Loading…
Reference in New Issue