%id <LT> ;

%id <GT> ;

%id <IDENTIFIER> ;

goal : compilation_unit

	;

# 19.3) Lexical Structure.

literal :       <INTEGER_LITERAL>

	|       <FLOATING_POINT_LITERAL>

	|       <BOOLEAN_LITERAL>

#       |       "true"

#       |       "false"

	|       <CHARACTER_LITERAL>

	|       <STRING_LITERAL>

	|       <NULL_LITERAL>

	;

# 19.4) Types, Values, and Variables

type    :       primitive_type

		{

		    '1' first

		}

	|       reference_type

		{

		    '1' first

		}

	;

primitive_type :

		numeric_type

	|       "boolean"

        {

            Array with: 

                (JavaBooleanTypeNode new

                    token: '1').

        }

	;

numeric_type:   integral_type

	|       floating_point_type

	;

integral_type :

		"byte"

        {

            JavaByteTypeNode new

                token: '1'.

        }

	|       "short"

        {

            JavaShortTypeNode new

                token: '1'.

        }

	|       "int"

        {

            JavaIntTypeNode new

                token: '1'.

        }

	|       "long"

        {

            JavaLongTypeNode new

                token: '1'.

        }

	|       "char"

        {

            JavaCharTypeNode new

                token: '1'.

        }

	;

floating_point_type :

		"float"

        {

            JavaFloatTypeNode new

                token: '1'.

        }

	|       "double"

        {

            JavaDoubleTypeNode new

                token: '1'.

        }

	;

reference_type :

		class_or_interface_type

	|       array_type

	;

class_or_interface_type :

		name

        {

            JavaClassOrInterfaceTypeNode new

                token: '1'.

        }

    |

		name "<?>"

        {

            JavaClassOrInterfaceTypeNode new

                token: '1'.

        }

    |

		name "<T>"

        {

            JavaClassOrInterfaceTypeNode new

                token: '1'.

        }

    |

		name "<Class<T>>"

        {

            JavaClassOrInterfaceTypeNode new

                token: '1'.

        }

	;

class_type :    class_or_interface_type;

interface_type : class_or_interface_type;

array_type :    primitive_type dims

        {

            JavaArrayTypeNode new

                token: '1'

        }

	|       name dims

        {

            JavaArrayTypeNode new

                token: '1'

        }

	|       name "<T>" dims

       {

            JavaArrayTypeNode new

                token: '1'

        }

   |       name "<Class<T>>" dims

        {

            JavaArrayTypeNode new

                token: '1'

        }

	|       name "<Class<?>>" dims

        {

            JavaArrayTypeNode new

                token: '1'

        }

	;

# 19.5) Names

name    :       simple_name

	|       qualified_name

	;

simple_name :   <IDENTIFIER>

	;

qualified_name :

		name "." <IDENTIFIER>

	;

# 19.6) "package"s

compilation_unit :

		package_declaration_opt

		import_declarations_opt

		type_declarations_opt

		;

package_declaration_opt : package_declaration | ;

import_declarations_opt : import_declarations | ;

type_declarations_opt   : type_declarations   | ;

import_declarations :

		import_declaration

	|       import_declarations import_declaration

	;

type_declarations :

		type_declaration

	|       type_declarations type_declaration

	;

package_declaration :

		"package" name ";"

	;

import_declaration :

		single_type_import_declaration

	|       type_import_on_demand_declaration

	;

single_type_import_declaration :

		"import" name ";"

	;

type_import_on_demand_declaration :

		"import" name "." "*" ";"

	;

type_declaration :

		class_declaration

	|       interface_declaration

	|       ";"

	;

# 19.7) Productions used only in the LALR(1) grammar

modifiers_opt:

	|       modifiers

	;

modifiers :     modifier

	|       modifiers modifier

	;

modifier :      "public" | "protected" | "private"

	|       "static"

	|       "abstract" | "final" | "native" | "synchronized" | "transient" | "volatile"

	|       "strictfp" # note that semantic analysis must check that the

			 # context of the modifier allows strictfp.

	;

# 19.8) Classes

# 19.8.1) Class Declaration:

class_declaration :

	modifiers_opt "class" <IDENTIFIER> super_opt interfaces_opt class_body

    |

	modifiers_opt "class" <IDENTIFIER> "<T>" super_opt interfaces_opt class_body

	;

super : "extends" class_type

	;

super_opt :

	|       super

	;

interfaces :    "implements" interface_type_list

	;

interfaces_opt:

	|       interfaces

	;

interface_type_list :

		interface_type

	|       interface_type_list "," interface_type

	;

class_body :    "{" class_body_declarations_opt "}"

	;

class_body_declarations_opt :

	|       class_body_declarations ;

class_body_declarations :

		class_body_declaration

	|       class_body_declarations class_body_declaration

	;

class_body_declaration :

		class_member_declaration

	|       static_initializer

	|       constructor_declaration

	|       block

	;

class_member_declaration :

		field_declaration

	|       method_declaration

	# repeat the prod for 'class_declaration' here:

	|       modifiers_opt "class" <IDENTIFIER> super_opt interfaces_opt class_body

	|       interface_declaration

	|       ";"

	;

# 19.8.2) Field Declarations

field_declaration :

		modifiers_opt type variable_declarators ";"

	;

variable_declarators :

		variable_declarator

	|       variable_declarators "," variable_declarator

	;

variable_declarator :

		variable_declarator_id

	|       variable_declarator_id "=" variable_initializer

	;

variable_declarator_id :

		<IDENTIFIER>

	|       variable_declarator_id "[" "]"

	;

variable_initializer :

		expression

	|       array_initializer

	;

# 19.8.3) Method Declarations

method_declaration :

		method_header method_body

	;

method_header :

		modifiers_opt type method_declarator throws_opt

		{

		    JavaMethodNode new

                javadoc: self scanner lastJavadoc; 

			    modifiers: '1' ;

			    type: '2';

			    declarator: '3'

		}

	|       modifiers_opt "void" method_declarator throws_opt

		{

		    JavaMethodNode new

                javadoc: self scanner lastJavadoc; 

			    modifiers: '1' ;

			    type: JavaVoidTypeNode new ;

			    declarator: '3'

		}

	;

method_declarator :

		method_identifier "(" formal_parameter_list_opt ")"

		{

		    JavaMethodDeclaratorNode new

			identifier: '1' first value;

			formalParameterList: '3'

		}

	|       method_declarator "[" "]" # deprecated

	# be careful; the above production also allows 'void foo() []'

	;

method_identifier :

		<IDENTIFIER>

	;

formal_parameter_list_opt :

	|       formal_parameter_list

	;

formal_parameter_list :

		formal_parameter

		{

		   OrderedCollection new

			add: '1';

			yourself

		}

	|       formal_parameter_list "," formal_parameter

		{

		    '1'

			add: '3';

			yourself

		}

	;

formal_parameter :

		type variable_declarator_id

		{

		    JavaFormalParameterNode new

			type: '1';

			variableDeclaratorId: '2' 

		}

	|       "final" type variable_declarator_id

		{

		    JavaFormalParameterNode new

			type: '1';

			variableDeclaratorId: '2' 

		}

	;

throws_opt :

	|       throws

	;

throws :        "throws" class_type_list

	;

class_type_list :

		class_type

	|       class_type_list "," class_type

	;

method_body :   block

	|       ";"

	;

# 19.8.4) Static Initializers

static_initializer :

		"static" block

	;

# 19.8.5) Constructor Declarations

constructor_declaration :

		modifiers_opt constructor_declarator throws_opt

			constructor_body

	;

constructor_declarator :

		simple_name "(" formal_parameter_list_opt ")"

	;

constructor_body :

		"{" explicit_constructor_invocation

			block_statements "}"

	|       "{" explicit_constructor_invocation "}"

	|       "{" block_statements "}"

	|       "{" "}"

	;

explicit_constructor_invocation :

		"this" "(" argument_list_opt ")" ";"

	|       "super" "(" argument_list_opt ")" ";"

	|       primary "." "this" "(" argument_list_opt ")" ";"

	|       primary "." "super" "(" argument_list_opt ")" ";"

	;

# 19.9) Interfaces

# 19.9.1) Interface Declarations

interface_declaration :

		modifiers_opt "interface" <IDENTIFIER> extends_interfaces_opt

			interface_body

	;

extends_interfaces_opt :

	|       extends_interfaces

	;

extends_interfaces :

		"extends" interface_type

	|       extends_interfaces "," interface_type

	;

interface_body :

		"{" interface_member_declarations_opt "}"

	;

interface_member_declarations_opt :

	|       interface_member_declarations

	;

interface_member_declarations :

		interface_member_declaration

	|       interface_member_declarations interface_member_declaration

	;

interface_member_declaration :

		constant_declaration

	|       abstract_method_declaration

	|       class_declaration

	|       interface_declaration

	;

constant_declaration :

		field_declaration

	# need to semantically check that modifiers of field declaration

	# include only PUBLIC, "static", or "final".  Other modifiers are

	# disallowed.

	;

abstract_method_declaration :

		method_header ";"

	;

# 19.10) Arrays

array_initializer :

		"{" variable_initializers "," "}"

	|       "{" variable_initializers "}"

	|       "{" "," "}"

	|       "{" "}"

	;

variable_initializers :

		variable_initializer

	|       variable_initializers "," variable_initializer

	;

# 19.11) Blocks and Statements

block : "{" block_statements_opt "}"

	;

block_statements_opt :

	|       block_statements

	;

block_statements :

		block_statement

	|       block_statements block_statement

	;

block_statement :

		local_variable_declaration_statement

	|       statement

	|       class_declaration

	|       interface_declaration

	;

local_variable_declaration_statement :

		local_variable_declaration ";"

	;

local_variable_declaration :

		type variable_declarators

	|       "final" type variable_declarators

	;

statement :     statement_without_trailing_substatement

	|       labeled_statement

	|       if_then_statement

	|       if_then_else_statement

	|       while_statement

	|       for_statement

	;

statement_no_short_if :

		statement_without_trailing_substatement

	|       labeled_statement_no_short_if

	|       if_then_else_statement_no_short_if

	|       while_statement_no_short_if

	|       for_statement_no_short_if

	;

statement_without_trailing_substatement :

		block

	|       empty_statement

	|       expression_statement

	|       switch_statement

	|       do_statement

	|       break_statement

	|       continue_statement

	|       return_statement

	|       synchronized_statement

	|       throw_statement

	|       try_statement

	;

empty_statement :

		";"

	;

labeled_statement :

		<IDENTIFIER> ":" statement

	;

labeled_statement_no_short_if :

		<IDENTIFIER> ":" statement_no_short_if

	;

expression_statement :

		statement_expression ";"

	;

statement_expression :

		assignment

	|       preincrement_expression

	|       predecrement_expression

	|       postincrement_expression

	|       postdecrement_expression

	|       method_invocation

	|       class_instance_creation_expression

	;

if_then_statement :

		"if" "(" expression ")" statement

	;

if_then_else_statement :

		"if" "(" expression ")" statement_no_short_if

			"else" statement

	;

if_then_else_statement_no_short_if :

		"if" "(" expression ")" statement_no_short_if

			"else" statement_no_short_if

	;

switch_statement :

		"switch" "(" expression ")" switch_block

	;

switch_block :

		"{" switch_block_statement_groups switch_labels "}"

	|       "{" switch_block_statement_groups "}"

	|       "{" switch_labels "}"

	|       "{" "}"

	;

switch_block_statement_groups :

		switch_block_statement_group

	|       switch_block_statement_groups switch_block_statement_group

	;

switch_block_statement_group :

		switch_labels block_statements

	;

switch_labels :

		switch_label