Grammar railroad diagram #272
Description
The link for https://www.cifasis-conicet.gov.ar/jfernandez/micromodelica/micromodelicaspec.pdf on the README is broken.
I've just added this project grammar to https://mingodad.github.io/parsertl-playground/playground/ an Yacc/Lexer compatible online editor/interpeter (select "Mocc QSS-Solver parser (partially working)" from Examples then click Parse to see a parse tree for the content in Input source), from there I generated an EBNF understood by https://github.com/GuntherRademacher/rr to generate a nice navigable railroad diagram for the grammar (see bellow instructions at the top).
While doing so I replaced several right recursive rules by left recursive ones and the parser speed increased significantly (also removed/inlined some simple rules).
I hope this can help document/develop/debug the grammar for this project !
//
// 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.
//
input::=
stored_definition
stored_definition::=
opt_within_name class_definition_list
opt_within_name::=
/*%empty*/
| TOKWITHIN opt_name TOKSEMICOLON
opt_name::=
/*%empty*/
| name
name::=
TOKID
| TOKDOT TOKID
| name TOKDOT TOKID
class_definition_list::=
/*%empty*/
| class_definition_list class_definition_aux
class_definition_aux::=
opt_final class_definition TOKSEMICOLON
class_definition::=
opt_encapsulated class_prefix class_specifier
opt_encapsulated::=
/*%empty*/
| TOKENCAPSULATED
class_prefix::=
opt_partial class_prefixes
opt_expandable::=
/*%empty*/
| TOKEXPANDABLE
opt_pure_impure_operator::=
/*%empty*/
| TOKPURE opt_operator
| TOKIMPURE opt_operator
opt_final::=
/*%empty*/
| TOKFINAL
class_prefixes::=
TOKCLASS
| TOKMODEL
| opt_operator TOKRECORD
| TOKBLOCK
| opt_expandable TOKCONNECTOR
| TOKTYPE
| TOKPACKAGE
| opt_pure_impure_operator TOKFUNCTION
| TOKOPERATOR
opt_operator::=
/*%empty*/
| TOKOPERATOR
opt_partial::=
/*%empty*/
| TOKPARTIAL
class_specifier::=
TOKID string_comment composition TOKEND TOKID
| TOKID TOKEQUAL base_prefix name opt_array_subscripts opt_class_modification comment
| TOKID TOKEQUAL TOKENUMERATION TOKOPAREN enumeration_args TOKCPAREN comment
| TOKID TOKEQUAL TOKDER TOKOPAREN name more_ids TOKCPAREN comment
| TOKEXTENDS TOKID opt_class_modification string_comment composition TOKEND TOKID
more_ids::=
TOKCOMA TOKID
| more_ids TOKCOMA TOKID
composition::=
composition_aux_1 opt_external_composition opt_annotation_composition
opt_external_composition::=
/*%empty*/
| TOKEXTERNAL opt_language_specification opt_external_function_call opt_annotation TOKSEMICOLON
| TOKEXTERNAL opt_language_specification component_reference TOKEQUAL opt_external_function_call opt_annotation TOKSEMICOLON
opt_language_specification::=
/*%empty*/
| TOKSTRING
opt_external_function_call::=
/*%empty*/
| TOKID TOKOPAREN expression_list TOKCPAREN
| TOKID TOKOPAREN TOKCPAREN
opt_annotation_composition::=
/*%empty*/
| annotation TOKSEMICOLON
composition_aux_1::=
/*%empty*/
| element TOKSEMICOLON element_list
| element TOKSEMICOLON element_list composition_element composition_list
| composition_element composition_list
string_comment::=
/*%empty*/
| TOKSTRING
| TOKSTRING TOKPLUS string_comment_no_empty
string_comment_no_empty::=
TOKSTRING
| TOKSTRING TOKPLUS string_comment_no_empty
element::=
import_clause
| extends_clause
| opt_redeclare opt_final opt_inner opt_outer element_option opt_constraining_clause
import_clause::=
TOKIMPORT opt_import comment
opt_import::=
TOKID TOKEQUAL name
| name opt_import_spec
opt_import_spec::=
/*%empty*/
| TOKDOTSTAR
| TOKDOT TOKOBRACE import_list TOKCBRACE
import_list::=
TOKID
| import_list TOKCOMA TOKID
comment::=
string_comment opt_annotation
element_list::=
/*%empty*/
| element_list element TOKSEMICOLON
extends_clause::=
TOKEXTENDS name opt_class_modification opt_annotation
opt_redeclare::=
/*%empty*/
| TOKREDECLARE
opt_inner::=
/*%empty*/
| TOKINNER
opt_outer::=
/*%empty*/
| TOKOUTER
opt_constraining_clause::=
/*%empty*/
| constraining_clause comment
constraining_clause::=
TOKCONSTRAINEDBY name opt_class_modification
element_option::=
element_option_1
| TOKREPLACEABLE element_option_1
element_option_1::=
class_definition
| component_clause
component_clause::=
type_prefix type_specifier opt_array_subscripts component_list
type_prefix::=
/*%empty*/
| opt_input_output
| opt_disc_param_const
| opt_disc_param_const opt_input_output
| opt_flow_stream
| opt_flow_stream opt_disc_param_const
| opt_flow_stream opt_disc_param_const opt_input_output
opt_flow_stream::=
TOKFLOW
| TOKSTREAM
opt_disc_param_const::=
TOKDISCRETE
| TOKPARAMETER
| TOKCONSTANT
opt_input_output::=
TOKINPUT
| TOKOUTPUT
type_specifier::=
name
opt_array_subscripts::=
/*%empty*/
| array_subscripts
component_list::=
component_declaration
| component_list TOKCOMA component_declaration
component_declaration::=
declaration opt_condition_attribute comment
declaration::=
TOKID opt_array_subscripts opt_modification
opt_condition_attribute::=
/*%empty*/
| TOKIF expression
composition_list::=
/*%empty*/
| composition_list composition_element
composition_element::=
TOKPUBLIC element_list
| TOKPROTECTED element_list
| eq_alg_section_init
opt_modification::=
/*%empty*/
| modification
modification::=
class_modification opt_equal_exp
| TOKEQUAL expression
| TOKASSING expression
class_modification::=
TOKOPAREN opt_argument_list TOKCPAREN
opt_argument_list::=
/*%empty*/
| argument_list
argument_list::=
argument
| argument_list TOKCOMA argument
argument::=
element_modification_replaceable
| element_redeclaration
opt_each::=
/*%empty*/
| TOKEACH
element_modification_replaceable::=
opt_each opt_final element_modification
| opt_each opt_final element_replaceable
element_modification::=
name opt_modification string_comment
element_replaceable::=
TOKREPLACEABLE short_class_definition opt_constraining_clause
| TOKREPLACEABLE component_clause1 opt_constraining_clause
opt_equal_exp::=
/*%empty*/
| TOKEQUAL expression
element_redeclaration::=
TOKREDECLARE opt_each opt_final element_redeclaration_1
element_redeclaration_1::=
element_redeclaration_2
| element_replaceable
element_redeclaration_2::=
short_class_definition
| component_clause1
short_class_definition::=
class_prefixes TOKID TOKEQUAL short_class_definition_exp
short_class_definition_exp::=
base_prefix name opt_array_subscripts opt_class_modification comment
| TOKENUMERATION TOKOPAREN enumeration_args TOKCPAREN comment
enumeration_args::=
TOKSEMICOLON
| enum_list
enum_list::=
enumeration_literal
| enum_list TOKCOMA enumeration_literal
enumeration_literal::=
TOKID comment
component_clause1::=
type_prefix type_specifier declaration comment
opt_class_modification::=
/*%empty*/
| class_modification
base_prefix::=
type_prefix
subscript_list::=
subscript
| subscript_list TOKCOMA subscript
subscript::=
TOKCOLON
| expression
array_subscripts::=
TOKOBRACKET subscript_list TOKCBRACKET
opt_annotation::=
/*%empty*/
| annotation
annotation::=
TOKANNOTATION class_modification
eq_alg_section_init::=
TOKINITIALEQ equation_list
| TOKEQUATION equation_list
| TOKINITIALALG statement_list
| TOKALGORITHM statement_list
equation_list::=
/*%empty*/
| equation_list equation TOKSEMICOLON
equation::=
connect_clause comment
| if_equation comment
| simple_expression TOKEQUAL expression comment
| primary
| for_equation comment
| when_equation
for_indices::=
for_index
| for_indices TOKCOMA for_index
for_index::=
TOKID opt_in
opt_in::=
/*%empty*/
| TOKIN expression
for_equation::=
TOKFOR for_indices TOKLOOP equation_list TOKEND TOKFOR
when_equation::=
TOKWHEN expression TOKTHEN equation_list opt_else_when TOKEND TOKWHEN comment
opt_else_when::=
/*%empty*/
| opt_else_when TOKELSEWHEN expression TOKTHEN equation_list
if_equation::=
TOKIF expression TOKTHEN equation_list opt_elseif_eq opt_else_eq TOKEND TOKIF
opt_elseif_eq::=
/*%empty*/
| opt_elseif_eq TOKELSEIF expression TOKTHEN equation_list
opt_else_eq::=
/*%empty*/
| TOKELSE equation_list
connect_clause::=
TOKCONNECT TOKOPAREN component_reference TOKCOMA component_reference TOKCPAREN
statement_list::=
/*%empty*/
| statement_list statement TOKSEMICOLON
statement::=
component_reference opt_assing comment
| TOKOPAREN output_expression_list TOKCPAREN TOKASSING component_reference function_call_args
| while_statement comment
| when_statement
| for_statement comment
| if_statement comment
| TOKBREAK comment
| TOKRETURN comment
while_statement::=
TOKWHILE expression TOKLOOP statement_list TOKEND TOKWHILE
when_statement::=
TOKWHEN expression TOKTHEN statement_list opt_else_when_list TOKEND TOKWHEN comment
opt_else_when_list::=
/*%empty*/
| opt_else_when_list TOKELSEWHEN expression TOKTHEN statement_list
for_statement::=
TOKFOR for_indices TOKLOOP statement_list TOKEND TOKFOR
if_statement::=
TOKIF expression TOKTHEN statement_list opt_esleif_st opt_else_st TOKEND TOKIF
opt_esleif_st::=
/*%empty*/
| opt_esleif_st TOKELSEIF expression TOKTHEN statement_list
opt_else_st::=
/*%empty*/
| TOKELSE statement_list
output_expression_list::=
/*%empty*/
| output_expression_list_more
output_expression_list_more::=
expression
| output_expression_list_more TOKCOMA opt_expression
opt_named_arguments::=
/*%empty*/
| named_arguments
named_arguments::=
named_argument
| named_arguments TOKCOMA named_argument
named_argument::=
TOKID TOKEQUAL function_argument
opt_assing::=
TOKASSING expression
| function_call_args
function_argument::=
TOKFUNCTION name TOKOPAREN opt_named_arguments TOKCPAREN
| expression
function_call_args::=
TOKOPAREN opt_function_args TOKCPAREN
opt_function_args::=
/*%empty*/
| function_arguments
function_arguments::=
function_argument opt_function_arguments
| named_argument opt_function_arguments
opt_function_arguments::=
/*%empty*/
| TOKCOMA function_arguments
| TOKFOR for_indices
expression::=
primary
| TOKOPAREN output_expression_list TOKCPAREN
| TOKMINUS expression
| TOKPLUS expression
| TOKNOT expression
| expression TOKCOLON expression
| expression TOKLOWER expression
| expression TOKLOWEREQ expression
| expression TOKGREATER expression
| expression TOKGREATEREQ expression
| expression TOKCOMPNE expression
| expression TOKCOMPEQ expression
| expression TOKSLASH expression
| expression TOKDOTSLASH expression
| expression TOKSTAR expression
| expression TOKDOTSTAR expression
| expression TOKPLUS expression
| expression TOKMINUS expression
| expression TOKDOTPLUS expression
| expression TOKDOTMINUS expression
| expression TOKCARET expression
| expression TOKDOTCARET expression
| expression TOKAND expression
| expression TOKOR expression
| TOKIF expression TOKTHEN expression opt_elseif_exp TOKELSE expression
opt_expression::=
/*%empty*/
| expression
opt_elseif_exp::=
/*%empty*/
| opt_elseif_exp TOKELSEIF expression TOKTHEN expression
primary::=
TOKINT
| TOKFLOAT
| TOKSTRING
| TOKFALSE
| TOKTRUE
| TOKDER function_call_args
| TOKINITIAL function_call_args
| opt_comp_call
| TOKOBRACKET expression_list primary_exp_list TOKCBRACKET
| TOKOBRACE function_arguments TOKCBRACE
| TOKENDSUB
primary_exp_list::=
/*%empty*/
| primary_exp_list TOKSEMICOLON expression_list
component_reference::=
TOKID opt_array_subscripts component_reference_list
| TOKDOT TOKID opt_array_subscripts component_reference_list
expression_list::=
expression
| expression_list TOKCOMA expression
component_reference_list::=
/*%empty*/
| component_reference_list TOKDOT TOKID opt_array_subscripts
simple_expression::=
primary
| TOKOPAREN output_expression_list TOKCPAREN
| TOKMINUS expression
| TOKPLUS expression
| TOKNOT expression
| simple_expression TOKCOLON expression
| simple_expression TOKLOWER expression
| simple_expression TOKLOWEREQ expression
| simple_expression TOKGREATER expression
| simple_expression TOKGREATEREQ expression
| simple_expression TOKCOMPNE expression
| simple_expression TOKCOMPEQ expression
| simple_expression TOKSLASH expression
| simple_expression TOKDOTSLASH expression
| simple_expression TOKSTAR expression
| simple_expression TOKDOTSTAR expression
| simple_expression TOKPLUS expression
| simple_expression TOKMINUS expression
| simple_expression TOKDOTPLUS expression
| simple_expression TOKDOTMINUS expression
| simple_expression TOKCARET expression
| simple_expression TOKDOTCARET expression
| simple_expression TOKAND expression
| simple_expression TOKOR expression
more_cr::=
/*%empty*/
| more_cr TOKDOT TOKID opt_array_subscripts
more_comp_call::=
/*%empty*/
| more_comp_call TOKDOT TOKID
opt_comp_call::=
TOKDOT TOKID more_comp_call
| TOKID more_comp_call
| TOKDOT TOKID more_comp_call array_subscripts more_cr
| TOKID more_comp_call array_subscripts more_cr
| TOKDOT TOKID more_comp_call function_call_args
| TOKID more_comp_call function_call_args
//Tokens
TOKCOMPEQ ::= "=="
TOKEQUAL ::= "="
TOKSEMICOLON ::= ";"
TOKCOMA ::= ","
TOKDOTCARET ::= ".^"
TOKCARET ::= "^"
TOKOPAREN ::= "("
TOKCPAREN ::= ")"
TOKOBRACE ::= "{"
TOKCBRACE ::= "}"
TOKOBRACKET ::= "["
TOKCBRACKET ::= "]"
TOKDOTPLUS ::= ".+"
TOKDOTMINUS ::= ".-"
TOKDOTSTAR ::= ".*"
TOKDOTSLASH ::= "./"
TOKDOT ::= "."
TOKPLUS ::= "+"
TOKMINUS ::= "-"
TOKSTAR ::= "*"
TOKSLASH ::= "/"
TOKCOMPNE ::= "<>"
TOKLOWEREQ ::= "<="
TOKLOWER ::= "<"
TOKGREATEREQ ::= ">="
TOKGREATER ::= ">"
TOKASSING ::= ":="
TOKCOLON ::= ":"
TOKINITIALEQ ::= "initial"[\t\ \n]*"equation"
TOKINITIALALG ::= "initial"[\t\ \n]*"algorithm"
TOKINITIAL ::= "initial"
TOKALGORITHM ::= "algorithm"
TOKAND ::= "and"
TOKANNOTATION ::= "annotation"
TOKBLOCK ::= "block"
TOKBREAK ::= "break"
TOKCLASS ::= "class"
TOKCONNECT ::= "connect"
TOKCONNECTOR ::= "connector"
TOKCONSTANT ::= "constant"
TOKCONSTRAINEDBY ::= "constrainedby"
TOKDER ::= "der"
TOKDISCRETE ::= "discrete"
TOKEACH ::= "each"
TOKELSE ::= "else"
TOKELSEIF ::= "elseif"
TOKELSEWHEN ::= "elsewhen"
TOKENCAPSULATED ::= "encapsulated"
TOKEND ::= "end" // { if (parser->isParsingSubscript()) { ENDSUB) } else { END} }
ENDSUB TOKENDSUB
TOKENUMERATION ::= "enumeration"
TOKEQUATION ::= "equation"
TOKEXPANDABLE ::= "expandable"
TOKEXTENDS ::= "extends"
TOKEXTERNAL ::= "external"
TOKFALSE ::= "false"
TOKFINAL ::= "final"
TOKFLOW ::= "flow"
TOKFOR ::= "for"
TOKFUNCTION ::= "function"
TOKIF ::= "if"
TOKIMPORT ::= "import"
TOKIMPURE ::= "impure"
TOKIN ::= "in"
TOKINNER ::= "inner"
TOKINPUT ::= "input"
TOKLOOP ::= "loop"
TOKMODEL ::= "model"
TOKNOT ::= "not"
TOKOPERATOR ::= "operator"
TOKOR ::= "or"
TOKOUTER ::= "outer"
TOKOUTPUT ::= "output"
TOKPACKAGE ::= "package"
TOKPARAMETER ::= "parameter"
TOKPARTIAL ::= "partial"
TOKPROTECTED ::= "protected"
TOKPUBLIC ::= "public"
TOKPURE ::= "pure"
TOKRECORD ::= "record"
TOKREDECLARE ::= "redeclare"
TOKREPLACEABLE ::= "replaceable"
TOKRETURN ::= "return"
TOKSTREAM ::= "stream"
TOKTHEN ::= "then"
TOKTRUE ::= "true"
TOKTYPE ::= "type"
TOKWHEN ::= "when"
TOKWHILE ::= "while"
TOKWITHIN ::= "within"