program:

program  ::= statement*

no references

statement:

statement
         ::= if
           | for
           | attribuition
           | ( functioncall | increment | decrement | return | read | write | 'break' ) ';'

referenced by:

• body
• program

if:

if       ::= 'if' '(' expression ')' body ( 'else' 'if' '(' expression ')' body )* ( 'else' body )?

referenced by:

• statement

for:

for      ::= 'for' '(' attribuition? ';' expression? ';' ( attribuition | increment | decrement )? ')' body

referenced by:

• statement

attribuition:

attribuition
         ::= functiondecl
           | vardecl ';'

referenced by:

• for
• statement

functiondecl:

functiondecl
         ::= 'id' ':' function

referenced by:

• attribuition

vardecl:

vardecl  ::= 'id' ':' expression

referenced by:

• attribuition

increment:

increment
         ::= 'id' '++'

referenced by:

• for
• statement

decrement:

decrement
         ::= 'id' '--'

referenced by:

• for
• statement

return:

return   ::= 'return' expression?

referenced by:

• statement

read:

read     ::= 'read' 'id'

referenced by:

• statement

write:

write    ::= 'write' expression

referenced by:

• statement

function:

function ::= '(' param? ')' body

referenced by:

• functiondecl

expression:

expression
         ::= side ( ( '<' | '>' | '<=' | '>=' | '!=' | '=' ) side )? ( ( 'and' | 'or' ) side ( ( '<' | '>' | '<=' | '>=' | '!=' | '=' ) side )? )*

referenced by:

• factor
• for
• if
• paramcall
• return
• vardecl
• write

param:

param    ::= 'id' ( ',' 'id' )*

referenced by:

• function

body:

body     ::= '{' statement* '}'

referenced by:

• for
• function
• if

side:

side     ::= term ( ( '+' | '-' ) term )*

referenced by:

• expression

term:

term     ::= unaryexpr ( ( '*' | '/' | '%' ) unaryexpr )*

referenced by:

• side

unaryexpr:

unaryexpr
         ::= ( '+' | '-' )? factor

referenced by:

• term

factor:

factor   ::= bool
           | 'number'
           | 'text'
           | 'id'
           | 'null'
           | functioncall
           | '(' expression ')'

referenced by:

• unaryexpr

bool:

bool     ::= 'true'
           | 'false'

referenced by:

• factor

functioncall:

functioncall
         ::= 'id' '(' paramcall? ')'

referenced by:

• factor
• statement

paramcall:

paramcall
         ::= expression ( ',' expression )*

referenced by:

• functioncall

... generated by Railroad Diagram Generator