Grammar online editor/tester

[mingodad]

I've just added cypher_gram.y to https://mingodad.github.io/parsertl-playground/playground/ an Yacc/Lex compatible editor/tester (select Age parser from Examples then click Parse to see a parser tree for the content in Input source editor).

I hope that it can help debug/develop/test/document this project grammar !

Any feedback is welcome !

And here is an EBNF accepted by https://www.bottlecaps.de/rr/ui to generate a nice navigable railroad diagram:

//
// EBNF to be viewd at https://www.bottlecaps.de/rr/ui
//
// Copy and paste this at https://www.bottlecaps.de/rr/ui in the 'Edit Grammar' tab
// then click the 'View Diagram' tab.
//

stmt_list::=
	  stmt
	| stmt_list stmt

stmt::=
	  cypher_stmt semicolon_opt
	| EXPLAIN cypher_stmt semicolon_opt
	| EXPLAIN VERBOSE cypher_stmt semicolon_opt
	| EXPLAIN ANALYZE cypher_stmt semicolon_opt
	| EXPLAIN ANALYZE VERBOSE cypher_stmt semicolon_opt

cypher_stmt::=
	  single_query
	| cypher_stmt UNION all_or_distinct cypher_stmt

call_stmt::=
	  CALL expr_func_norm
	| CALL expr '.' expr
	| CALL expr_func_norm YIELD yield_item_list where_opt
	| CALL expr '.' expr YIELD yield_item_list where_opt

yield_item_list::=
	  yield_item
	| yield_item_list ',' yield_item

yield_item::=
	  expr AS var_name
	| expr

semicolon_opt::=
	  ';'

all_or_distinct::=
	  ALL
	| DISTINCT
	| /*%empty*/

single_query::=
	  query_part_init query_part_last

query_part_init::=
	  /*%empty*/
	| query_part_init reading_clause_list updating_clause_list_0 with

query_part_last::=
	  reading_clause_list updating_clause_list_1
	| reading_clause_list updating_clause_list_0 return
	| reading_clause_list call_stmt

reading_clause_list::=
	  /*%empty*/
	| reading_clause_list reading_clause

reading_clause::=
	  match
	| unwind
	| call_stmt

updating_clause_list_0::=
	  /*%empty*/
	| updating_clause_list_1

updating_clause_list_1::=
	  updating_clause
	| updating_clause_list_1 updating_clause

updating_clause::=
	  create
	| set
	| remove
	| delete
	| merge

cypher_varlen_opt::=
	  '*' cypher_range_opt
	| /*%empty*/

cypher_range_opt::=
	  cypher_range_idx
	| cypher_range_idx_opt DOT_DOT cypher_range_idx_opt
	| /*%empty*/

cypher_range_idx::=
	  Iconst

cypher_range_idx_opt::=
	  cypher_range_idx
	| /*%empty*/

Iconst::=
	  INTEGER

return::=
	  RETURN DISTINCT return_item_list order_by_opt skip_opt limit_opt
	| RETURN return_item_list order_by_opt skip_opt limit_opt

return_item_list::=
	  return_item
	| return_item_list ',' return_item

return_item::=
	  expr AS var_name
	| expr
	| '*'

order_by_opt::=
	  /*%empty*/
	| ORDER BY sort_item_list

sort_item_list::=
	  sort_item
	| sort_item_list ',' sort_item

sort_item::=
	  expr order_opt

order_opt::=
	  /*%empty*/
	| ASC
	| ASCENDING
	| DESC
	| DESCENDING

skip_opt::=
	  /*%empty*/
	| SKIP expr

limit_opt::=
	  /*%empty*/
	| LIMIT expr

with::=
	  WITH DISTINCT return_item_list order_by_opt skip_opt limit_opt where_opt
	| WITH return_item_list order_by_opt skip_opt limit_opt where_opt

match::=
	  optional_opt MATCH pattern where_opt

optional_opt::=
	  OPTIONAL
	| /*%empty*/

unwind::=
	  UNWIND expr AS var_name

create::=
	  CREATE pattern

set::=
	  SET set_item_list

set_item_list::=
	  set_item
	| set_item_list ',' set_item

set_item::=
	  expr '=' expr
	| expr PLUS_EQ expr

remove::=
	  REMOVE remove_item_list

remove_item_list::=
	  remove_item
	| remove_item_list ',' remove_item

remove_item::=
	  expr

delete::=
	  detach_opt DELETE expr_list

detach_opt::=
	  DETACH
	| /*%empty*/

merge::=
	  MERGE path

where_opt::=
	  /*%empty*/
	| WHERE expr

pattern::=
	  path
	| pattern ',' path

path::=
	  anonymous_path
	| var_name '=' anonymous_path

anonymous_path::=
	  simple_path_opt_parens

simple_path_opt_parens::=
	  simple_path
	| '(' simple_path ')'

simple_path::=
	  path_node
	| simple_path path_relationship path_node

path_node::=
	  '(' var_name_opt label_opt properties_opt ')'

path_relationship::=
	  '-' path_relationship_body '-'
	| '-' path_relationship_body '-' '>'
	| '<' '-' path_relationship_body '-'

path_relationship_body::=
	  '[' var_name_opt label_opt cypher_varlen_opt properties_opt ']'
	| /*%empty*/

label_opt::=
	  /*%empty*/
	| ':' label_name

properties_opt::=
	  /*%empty*/
	| map
	| PARAMETER

expr::=
	  expr OR expr
	| expr AND expr
	| expr XOR expr
	| NOT expr
	| expr '=' expr
	| expr NOT_EQ expr
	| expr '<' expr
	| expr LT_EQ expr
	| expr '>' expr
	| expr GT_EQ expr
	| expr '?' expr
	| expr ANY_EXISTS expr
	| expr ALL_EXISTS expr
	| expr CONCAT expr
	| expr ACCESS_PATH expr
	| expr '+' expr
	| expr '-' expr
	| expr '*' expr
	| expr '/' expr
	| expr '%' expr
	| expr '^' expr
	| expr IN expr
	| expr IS NULL_P
	| expr IS NOT NULL_P
	| '-' expr
	| expr STARTS WITH expr
	| expr ENDS WITH expr
	| expr CONTAINS expr
	| expr EQ_TILDE expr
	| expr '[' expr ']'
	| expr '[' expr_opt DOT_DOT expr_opt ']'
	| expr '.' expr
	| expr TYPECAST symbolic_name
	| expr_atom

expr_opt::=
	  /*%empty*/
	| expr

expr_list::=
	  expr
	| expr_list ',' expr

expr_list_opt::=
	  /*%empty*/
	| expr_list

expr_func::=
	  expr_func_norm
	| expr_func_subexpr

expr_func_norm::=
	  func_name '(' ')'
	| func_name '(' expr_list ')'
	| func_name '(' '*' ')'
	| func_name '(' DISTINCT expr_list ')'

expr_func_subexpr::=
	  COALESCE '(' expr_list ')'
	| EXISTS '(' anonymous_path ')'
	| EXISTS '(' property_value ')'

property_value::=
	  expr_var '.' property_key_name

expr_atom::=
	  expr_literal
	| PARAMETER
	| '(' expr ')'
	| expr_case
	| expr_var
	| expr_func

expr_literal::=
	  INTEGER
	| DECIMAL
	| STRING
	| TRUE_P
	| FALSE_P
	| NULL_P
	| map
	| list

map::=
	  '{' map_keyval_list_opt '}'

map_keyval_list_opt::=
	  /*%empty*/
	| map_keyval_list

map_keyval_list::=
	  property_key_name ':' expr
	| map_keyval_list ',' property_key_name ':' expr

list::=
	  '[' expr_list_opt ']'

expr_case::=
	  CASE expr expr_case_when_list expr_case_default END_P
	| CASE expr_case_when_list expr_case_default END_P

expr_case_when_list::=
	  expr_case_when
	| expr_case_when_list expr_case_when

expr_case_when::=
	  WHEN expr THEN expr

expr_case_default::=
	  ELSE expr
	| /*%empty*/

expr_var::=
	  var_name

func_name::=
	  symbolic_name
	| safe_keywords '.' symbolic_name

property_key_name::=
	  schema_name

var_name::=
	  symbolic_name

var_name_opt::=
	  /*%empty*/
	| var_name

label_name::=
	  schema_name

symbolic_name::=
	  IDENTIFIER

schema_name::=
	  symbolic_name
	| reserved_keyword

reserved_keyword::=
	  safe_keywords
	| conflicted_keywords

safe_keywords::=
	  ALL
	| ANALYZE
	| AND
	| AS
	| ASC
	| ASCENDING
	| BY
	| CALL
	| CASE
	| COALESCE
	| CONTAINS
	| CREATE
	| DELETE
	| DESC
	| DESCENDING
	| DETACH
	| DISTINCT
	| ELSE
	| ENDS
	| EXISTS
	| EXPLAIN
	| IN
	| IS
	| LIMIT
	| MATCH
	| MERGE
	| NOT
	| OPTIONAL
	| OR
	| ORDER
	| REMOVE
	| RETURN
	| SET
	| SKIP
	| STARTS
	| THEN
	| UNION
	| WHEN
	| VERBOSE
	| WHERE
	| WITH
	| XOR
	| YIELD

conflicted_keywords::=
	  END_P
	| FALSE_P
	| NULL_P
	| TRUE_P

//Tokens

ALL ::= "ALL"
ANALYZE ::= "ANALYZE"
AND ::= "AND"
AS ::= "AS"
ASC ::= "ASC"
ASCENDING ::= "ASCENDING"
BY ::= "BY"
CALL ::= "CALL"
CASE ::= "CASE"
COALESCE ::= "COALESCE"
CONTAINS ::= "CONTAINS"
CREATE ::= "CREATE"
DELETE ::= "DELETE"
DESC ::= "DESC"
DESCENDING ::= "DESCENDING"
DETACH ::= "DETACH"
DISTINCT ::= "DISTINCT"
ELSE ::= "ELSE"
END_P ::= "END"
ENDS ::= "ENDS"
EXISTS ::= "EXISTS"
EXPLAIN ::= "EXPLAIN"
FALSE_P ::= "FALSE"
IN ::= "IN"
IS ::= "IS"
LIMIT ::= "LIMIT"
MATCH ::= "MATCH"
MERGE ::= "MERGE"
NOT ::= "NOT"
NULL_P ::= "NULL"
OPTIONAL ::= "OPTIONAL"
OR ::= "OR"
ORDER ::= "ORDER"
REMOVE ::= "REMOVE"
RETURN ::= "RETURN"
SET ::= "SET"
SKIP ::= "SKIP"
STARTS ::= "STARTS"
THEN ::= "THEN"
TRUE_P ::= "TRUE"
UNION ::= "UNION"
UNWIND ::= "UNWIND"
VERBOSE ::= "VERBOSE"
WHEN ::= "WHEN"
WHERE ::= "WHERE"
WITH ::= "WITH"
XOR ::= "XOR"
YIELD ::= "YIELD"

[mingfang]

can you please add a generator for javascript?

[mingodad]

Can you be more specific about what do you mean by "add a generator for javascript" ?

[mingfang]

nvm. I can use the yacc generator instead. thanks