Program:

Program  ::= Block

no references

Block:

Block    ::= ( Stmt ';' )*

referenced by:

• ConditionalExp
• ForLoop
• FunctionExp
• Program
• WhileLoop

Stmt:

Stmt     ::= VarDecl
           | Print
           | Loop
           | Exp

referenced by:

• Block

VarDecl:

VarDecl  ::= 'var' id ( '=' Exp )?

referenced by:

• ForLoop
• Stmt

Print:

Print    ::= 'ava' Exp

referenced by:

• Stmt

Loop:

Loop     ::= ForLoop
           | WhileLoop

referenced by:

• Stmt

ForLoop:

ForLoop  ::= 'for' 'each' id 'in' Exp '{' Block '}'
           | 'for' id 'times' '{' Block '}'
           | 'for' '(' VarDecl ConditionalExp ')' '{' Block '}'

referenced by:

• Loop

WhileLoop:

WhileLoop
         ::= 'while' '(' Exp ')' '{' Block '}'

referenced by:

• Loop

Exp:

Exp      ::= FunctionExp
           | 'return' Exp
           | ConditionalExp
           | Exp1

referenced by:

• Access
• Assign
• Call
• Exp
• Exp12
• Exp2
• ExpList
• ForLoop
• ObjExp
• Print
• Stmt
• VarDecl
• VarRef
• WhileLoop

FunctionExp:

FunctionExp
         ::= 'function' '(' Params ')' '->' Block 'end'

referenced by:

• Exp

Call:

Call     ::= id ( id* | '(' Args? ')' | Exp* )

referenced by:

• VarRef

Params:

Params   ::= TypedExpList

referenced by:

• FunctionExp

Args:

Args     ::= ExpList

referenced by:

• Call

ExpList:

ExpList  ::= Exp ( ',' Exp )*

referenced by:

• Args
• List
• SetLiteral

TypedExpList:

TypedExpList
         ::= TypedExp ( ',' TypedExp )*

referenced by:

• Params

TypedExp:

TypedExp ::= id ':' type

referenced by:

• TypedExpList

ConditionalExp:

ConditionalExp
         ::= 'if' ( Exp1 | '(' Exp1 ')' ) 'then' Block ( 'else' 'if' ( Exp1 | '(' Exp1 ')' ) 'then' Block )* ( 'else' Block )? 'end'

referenced by:

• Exp
• ForLoop

Exp1:

Exp1     ::= Exp2 ( 'or' Exp2 )*

referenced by:

• ConditionalExp
• Exp

Exp2:

Exp2     ::= Exp3 ( 'and' Exp3 )* ( 'both' Exp )?

referenced by:

• Exp1

Exp3:

Exp3     ::= Exp4 ( relop Exp4 )?

referenced by:

• Exp2

Exp4:

Exp4     ::= Exp5 ( appendop Exp5 )*

referenced by:

• Exp3

Exp5:

Exp5     ::= Exp6 ( consop Exp6 )*

referenced by:

• Exp4

Exp6:

Exp6     ::= Exp7 ( '…' Exp7 )?

referenced by:

• Exp5

Exp7:

Exp7     ::= Exp8 ( addop Exp8 )*

referenced by:

• Exp6

Exp8:

Exp8     ::= Exp9 ( mulop Exp9 )*

referenced by:

• Exp7

Exp9:

Exp9     ::= prefixop? Exp10

referenced by:

• Exp8

Exp10:

Exp10    ::= Exp11 postfixop?

referenced by:

• Exp9

Exp11:

Exp11    ::= Exp12 ( '^^' Exp12 )*

referenced by:

• Exp10

Exp12:

Exp12    ::= '(' Exp ')'
           | VarRef Access*
           | intlit
           | floatlit
           | stringlit
           | boolit
           | List
           | SetLiteral
           | ObjectLiteral

referenced by:

• Access
• Exp11

VarRef:

VarRef   ::= Assign
           | ( Call | id ) ( '[' Exp ']' )?

referenced by:

• Exp12

Assign:

Assign   ::= id assignop Exp

referenced by:

• VarRef

Access:

Access   ::= '[' Exp ']'
           | '.' Exp12

referenced by:

• Exp12

ObjectLiteral:

ObjectLiteral
         ::= '{' ObjExpList? '}'

referenced by:

• Exp12

ObjExpList:

ObjExpList
         ::= ObjExp ( ',' ObjExp )*

referenced by:

• ObjectLiteral

ObjExp:

ObjExp   ::= key ':' Exp

referenced by:

• ObjExpList

SetLiteral:

SetLiteral
         ::= '{' ExpList? '}'

referenced by:

• Exp12

List:

List     ::= '[' ExpList? ']'

referenced by:

• Exp12

... generated by Railroad Diagram Generator