Grammar railroad diagram

[mingodad]

I've just added the libgraphqlparser grammar to https://mingodad.github.io/parsertl-playground/playground/ (select Graphql parser from Examples then click Parse to see a parse tree for the content in Input source) and also generated an EBNF understood by (IPV6) https://www.bottlecaps.de/rr/ui or (IPV4) https://rr.red-dove.com/ui to generate a nice navigable railroad diagram (see instructions on the EBNF shown bellow).

//
// EBNF to be viewd at
//    (IPV6) https://www.bottlecaps.de/rr/ui
//    (IPV4) https://rr.red-dove.com/ui
//
// Copy and paste this at one of the urls shown above in the 'Edit Grammar' tab
// then click the 'View Diagram' tab.
//

start::=
	  document
	//| UNRECOGNIZED_CHARACTER
	//| INVALID_CHARACTER
	//| UNTERMINATED_STRING
	//| BAD_UNICODE_ESCAPE_SEQUENCE
	//| BAD_ESCAPE_SEQUENCE

fragment_name::=
	  DIRECTIVE
	| ENUM
	| EXTEND
	| FALSE
	| FRAGMENT
	| IDENTIFIER
	| IMPLEMENTS
	| INPUT
	| INTERFACE
	| MUTATION
	| NULL
	| QUERY
	| SCALAR
	| SCHEMA
	| SUBSCRIPTION
	| TRUE
	| TYPE
	| UNION

name::=
	  fragment_name
	| ON

name_opt::=
	  /*%empty*/
	| name

document::=
	  definition_list

definition_list::=
	  definition
	| definition_list definition

definition::=
	  operation_definition
	| fragment_definition
	| schema_gate

schema_gate::=
	  schema_definition
	| scalar_type_definition
	| object_type_definition
	| interface_type_definition
	| union_type_definition
	| enum_type_definition
	| input_object_type_definition
	| type_extension_definition
	| directive_definition

operation_definition::=
	  selection_set
	| operation_type name_opt selection_set
	| operation_type name_opt variable_definitions selection_set
	| operation_type name_opt directives selection_set
	| operation_type name_opt variable_definitions directives selection_set

operation_type::=
	  QUERY
	| MUTATION
	| SUBSCRIPTION

variable_definitions::=
	  "(" variable_definition_list ")"

variable_definition_list::=
	  variable_definition
	| variable_definition_list variable_definition

variable::=
	  VARIABLE

variable_definition::=
	  variable ":" type default_value_opt

default_value_opt::=
	  /*%empty*/
	| default_value

default_value::=
	  "=" value_const

selection_set::=
	  "{" selection_list "}"

selection_set_opt::=
	  /*%empty*/
	| selection_set

selection_list::=
	  selection
	| selection_list selection

selection::=
	  field
	| fragment_spread
	| inline_fragment

field::=
	  name arguments_opt directives_opt selection_set_opt
	| name ":" name arguments_opt directives_opt selection_set_opt

arguments::=
	  "(" argument_list ")"

arguments_opt::=
	  /*%empty*/
	| arguments

argument_list::=
	  argument
	| argument_list argument

argument::=
	  name ":" value

fragment_spread::=
	  "..." fragment_name directives_opt

inline_fragment::=
	  "..." ON type_condition directives_opt selection_set
	| "..." directives_opt selection_set

fragment_definition::=
	  FRAGMENT fragment_name ON type_condition directives_opt selection_set

type_condition::=
	  type_name

value::=
	  variable
	| int_value
	| float_value
	| string_value
	| boolean_value
	| null_value
	| enum_value
	| list_value
	| object_value

int_value::=
	  INTEGER

float_value::=
	  FLOAT

string_value::=
	  STRING

value_const::=
	  int_value
	| float_value
	| string_value
	| boolean_value
	| null_value
	| enum_value
	| list_value_const
	| object_value_const

boolean_value::=
	  TRUE
	| FALSE

null_value::=
	  NULL

enum_value::=
	  DIRECTIVE
	| ENUM
	| EXTEND
	| FRAGMENT
	| IDENTIFIER
	| IMPLEMENTS
	| INPUT
	| INTERFACE
	| MUTATION
	| ON
	| QUERY
	| SCALAR
	| SCHEMA
	| SUBSCRIPTION
	| TYPE
	| UNION

list_value::=
	  "[" "]"
	| "[" value_list "]"

value_list::=
	  value
	| value_list value

list_value_const::=
	  "[" "]"
	| "[" value_const_list "]"

value_const_list::=
	  value_const
	| value_const_list value_const

object_value::=
	  "{" "}"
	| "{" object_field_list "}"

object_field_list::=
	  object_field
	| object_field_list object_field

object_field::=
	  name ":" value

object_value_const::=
	  "{" "}"
	| "{" object_field_const_list "}"

object_field_const_list::=
	  object_field_const
	| object_field_const_list object_field_const

object_field_const::=
	  name ":" value_const

directives::=
	  directive_list

directives_opt::=
	  /*%empty*/
	| directives

directive_list::=
	  directive
	| directive_list directive

directive::=
	  "@" name arguments_opt

type::=
	  type_name
	| list_type
	| non_null_type

type_name::=
	  name

list_type::=
	  "[" type "]"

non_null_type::=
	  type_name "!"
	| list_type "!"

schema_definition::=
	  SCHEMA directives_opt "{" operation_type_definition_list "}"

operation_type_definition_list::=
	  operation_type_definition
	| operation_type_definition_list operation_type_definition

operation_type_definition::=
	  operation_type ":" type_name

scalar_type_definition::=
	  SCALAR name directives_opt

object_type_definition::=
	  TYPE name implements_interfaces_opt directives_opt "{" field_definition_list "}"

implements_interfaces_opt::=
	  /*%empty*/
	| IMPLEMENTS type_name_list

type_name_list::=
	  type_name
	| type_name_list type_name

field_definition::=
	  name arguments_definition_opt ":" type directives_opt

field_definition_list::=
	  field_definition
	| field_definition_list field_definition

arguments_definition_opt::=
	  /*%empty*/
	| arguments_definition

arguments_definition::=
	  "(" input_value_definition_list ")"

input_value_definition_list::=
	  input_value_definition
	| input_value_definition_list input_value_definition

input_value_definition::=
	  name ":" type default_value_opt directives_opt

interface_type_definition::=
	  INTERFACE name directives_opt "{" field_definition_list "}"

union_type_definition::=
	  UNION name directives_opt "=" union_members

union_members::=
	  type_name
	| union_members "|" type_name

enum_type_definition::=
	  ENUM name directives_opt "{" enum_value_definition_list "}"

enum_value_definition::=
	  name directives_opt

enum_value_definition_list::=
	  enum_value_definition
	| enum_value_definition_list enum_value_definition

input_object_type_definition::=
	  INPUT name directives_opt "{" input_value_definition_list "}"

type_extension_definition::=
	  EXTEND object_type_definition

directive_definition::=
	  DIRECTIVE "@" name arguments_definition_opt ON directive_locations

directive_locations::=
	  name
	| directive_locations "|" name

//Tokens

DIRECTIVE ::= "directive"
ENUM ::= "enum"
EXTEND ::= "extend"
FALSE ::= "false"
FRAGMENT ::= "fragment"
IMPLEMENTS ::= "implements"
INPUT ::= "input"
INTERFACE ::= "interface"
MUTATION ::= "mutation"
NULL ::= "null"
ON ::= "on"
QUERY ::= "query"
SCALAR ::= "scalar"
SCHEMA ::= "schema"
SUBSCRIPTION ::= "subscription"
TRUE ::= "true"
TYPE ::= "type"
UNION ::= "union"