Program:

Program  ::= Type_declaration*

no references

Type_declaration:

Type_declaration
         ::= Doc_comment Class_declaration ';'
           | Class_declaration ';'

referenced by:

• Program

Doc_comment:

Doc_comment
         ::= '/*' String '*/'

referenced by:

• Field_declaration
• Type_declaration

Class_declaration:

Class_declaration
         ::= 'class' Identifier '{' Field_eclaration* '}'
           | 'class' Identifier 'extends' Class_name '{' Field_declaration* '}'

referenced by:

• Type_declaration

Field_declaration:

Field_declaration
         ::= Doc_comment* Variable_declaration* Constructor_declaration Method_declaration_with_main

referenced by:

• Class_declaration

Method_declaration_with_main:

Method_declaration_with_main
         ::= 'fun' 'main' '=' Expression ';' Method_declaration*

referenced by:

• Field_declaration

Method_declaration:

Method_declaration
         ::= 'fun' Identifier ( Parameter_list '=' | '=' ) Expression ';'

referenced by:

• Method_declaration_with_main

Constructor_declaration:

Constructor_declaration
         ::= ( Identifier '(' ')' | Identifier '(' Parameter_list ')' ) Expression

referenced by:

• Field_declaration

Parameter_list:

Parameter_list
         ::= Parameter ( ',' Parameter )*

referenced by:

• Constructor_declaration
• Method_declaration

Parameter:

Parameter
         ::= Type ( Identifier | '=>' Identifier )

referenced by:

• Parameter_list

Expression_list:

Expression_list
         ::= Expression ( ',' Expression )*

referenced by:

• CallExpression
• Expression

Expression:

Expression
         ::= Variable_declaration
           | '(' Expression ')'
           | Expression_block
           | If_Expression
           | While_Expression
           | For_Expression
           | IO
           | Attribution
           | Expression_list
           | Value
           | Binary_expression
           | Unary_expression
           | Logical_expression
           | Creating_expression
           | CallExpression
           | AccessExpression

referenced by:

• AccessExpression
• Arglist
• Attribution
• Compression_list_exp
• Constructor_declaration
• Expression
• Expression_block
• Expression_list
• Filter
• For_Expression
• Generator
• IO
• If_Expression
• Logical_expression
• Method_declaration
• Method_declaration_with_main
• String_expression
• Unary_expression
• Variable_declaration
• While_Expression

Expression_block:

Expression_block
         ::= '{' Expression* '}'

referenced by:

• Expression

Attribution:

Attribution
         ::= Identifier '=' Expression ';'

referenced by:

• Expression

IO:

IO       ::= 'write' '(' Expression ')'
           | 'read' '(' Identifier ')'

referenced by:

• Expression

Variable_declaration:

Variable_declaration
         ::= Type Identifier '=' Expression ( ',' Variable_declarator '=' Expression )* ';'

referenced by:

• Expression
• Field_declaration
• For_Expression

If_Expression:

If_Expression
         ::= 'if' Expression 'then' Expression
           | 'if' Expression 'then' Expression 'else' Expression

referenced by:

• Expression

While_Expression:

While_Expression
         ::= 'while' '(' Expression ')' Expression

referenced by:

• Expression

For_Expression:

For_Expression
         ::= 'for' '(' ( Variable_declaration ';' | Expression ';' | ';' ) ( Expression ';' | ';' ) ( Expression ')' | ')' ) Expression

referenced by:

• Expression

Value:

Value    ::= ConcretValue
           | AbstractValue

referenced by:

• Expression

SpecialAccess:

SpecialAccess
         ::= Super
           | This

referenced by:

• AccessExpression

CallExpression:

CallExpression
         ::= ( Super | Identifier ) ( '(' ')' | '(' Expression_list ')' )

referenced by:

• Expression

AccessExpression:

AccessExpression
         ::= ( SpecialAccess | Identifier ) '.' Expression

referenced by:

• Expression

Super:

Super    ::= 'super'

referenced by:

• CallExpression
• SpecialAccess

This:

This     ::= 'this'

referenced by:

• SpecialAccess

ConcretValue:

ConcretValue
         ::= Literal_value
           | List_value

referenced by:

• Value

AbstractValue:

AbstractValue
         ::= funcValue

referenced by:

• Value

Unary_expression:

Unary_expression
         ::= '-' Expression
           | 'not' Expression
           | 'length' Expression
           | head Expression
           | tail Expression
           | Compression_list_exp

referenced by:

• Expression
• List_expression
• Numeric_expression
• Testing_expression

Compression_list_exp:

Compression_list_exp
         ::= Expression Generator
           | Expression Generator Filter

referenced by:

• Unary_expression

Generator:

Generator
         ::= 'for' Identifier 'in' Expression
           | 'for' Identifier 'in' Expression [","] Generator

referenced by:

• Compression_list_exp
• Generator

Filter:

Filter   ::= 'if' Expression

referenced by:

• Compression_list_exp

Binary_expression:

Binary_expression
         ::= Testing_expression
           | String_expression
           | Numeric_expression
           | List_expression

referenced by:

• Expression

List_expression:

List_expression
         ::= Unary_expression ( '..' | ':' | '^^' ) Unary_expression

referenced by:

• Binary_expression

Numeric_expression:

Numeric_expression
         ::= Unary_expression ( '+' | '-' | '*' | '/' ) Unary_expression

referenced by:

• Binary_expression

Testing_expression:

Testing_expression
         ::= Unary_expression ( '>' | '<' | '>=' | '<=' | '==' | '!=' ) Unary_expression

referenced by:

• Binary_expression

Logical_expression:

Logical_expression
         ::= Expression '?' Expression ':' Expression
           | 'true'
           | 'false'

referenced by:

• Expression

String_expression:

String_expression
         ::= Expression '+' Expression .

referenced by:

• Binary_expression

Creating_expression:

Creating_expression
         ::= 'new' Classe_name '(' ')'
           | 'new' Classe_name '(' Arglist ')'

referenced by:

• Expression

Literal_value:

Literal_value
         ::= Integer_literal
           | Float_literal
           | String
           | Character
           | Boolean_literal
           | NULL

referenced by:

• ConcretValue

Arglist:

Arglist  ::= Expression ( ',' Expression )*

referenced by:

• Creating_expression

Type:

Type     ::= Type_specifier
           | Type_specifier '[' ']'

referenced by:

• Parameter
• Variable_declaration

Type_specifier:

Type_specifier
         ::= ClassType
           | PrimitiveType

referenced by:

• Type

PrimitiveType:

PrimitiveType
         ::= 'boolean'
           | 'char'
           | 'int'
           | 'float'
           | 'long'
           | 'double'
           | 'String'
           | 'funcValue'

referenced by:

• Type_specifier

ClassType:

ClassType
         ::= Identifier

referenced by:

• Type_specifier

Integer_literal:

Integer_literal
         ::= '1..9' '0..9'*

referenced by:

• Literal_value

Float_literal:

Float_literal
         ::= Decimal_digits
           | Decimal_digits '.' Decimal_digits
           | Decimal_digits Exponent_part
           | Decimal_digits '.' Decimal_digits Exponent_part

referenced by:

• Literal_value

Decimal_digits:

Decimal_digits
         ::= '0..9' '0..9'*

referenced by:

• Exponent_part
• Float_literal

Exponent_part:

Exponent_part
         ::= ( 'e' | 'e' ( '+' | '-' ) ) Decimal_digits

referenced by:

• Float_literal

Character:

Character
         ::= 'based on the unicode character set'

referenced by:

• Literal_value

String:

String   ::= "' '" character* "' '" .

referenced by:

• Doc_comment
• Literal_value

Identifier:

Identifier
         ::= 'a..z,$,_' 'a..z,$,_,0..9,unicode character over 00C0'*

referenced by:

• AccessExpression
• Attribution
• CallExpression
• ClassType
• Class_declaration
• Constructor_declaration
• Generator
• IO
• Method_declaration
• Parameter
• Variable_declaration

... generated by Railroad Diagram Generator