home *** CD-ROM | disk | FTP | other *** search
- <statements statement
- statements
- >statement
- null_statement
- assignment_statement
- procedure_call_statement
- exit_statement
- return_statement
- goto_statement
- entry_call_statement
- delay_statement
- abort_statement
- raise_statement
- code_statement
- if_statement
- case_statement
- loop_statement
- block_statement
- accept_statement
- select_statement
- <if_statement if condition then
- statement
- statements
- elsif condition then
- statement
- statements
- else
- statement
- statements
- end if;
- <loop_statement loop
- statement
- statements
- end loop;
- <procedure_call_statement procedure_name actual_parameter_part
- <actual_parameter_part ( parameter_association , parameter_association )
- <parameter_association formal_parameter => actual_parameter
- <assignment_statement variable_name := expression;
- >expression
- relation
- relation and relation
- relation and then relation
- relation or relation
- relation or else relation
- relation xor relation
- >relation
- simple_expression
- simple_expression relational_operator simple_expression
- simple_expression not in range
- simple_expression not in type_mark
- >simple_expression
- term
- unary_adding_operator term
- term binary_adding_operator term
- uary_adding_operator term binary_adding_operator term
- >term
- factor
- factor multiplying_operator factor
- >factor
- primary
- primary ** primary
- abs primary
- not primary
- >primary
- numeric_literal
- null
- aggregate
- string_literal
- name
- allocator
- function_call
- type_conversion
- qualified_expression
- ( expression )
- <function_call function_name actual_parameter_part
- >compilation_unit
- context_clause library_unit
- context_clause secondary_unit
- >library_unit
- subprogram_specification
- package_declaration
- generic_declaration
- generic_instantiation
- subprogram_body
- >subprogram_specification
- procedure identifier formal_part
- function designator formal_part return type_mark
- <subprogram_body subprogram_specification is
- declarative_part
- begin
- statement
- statements
- exception
- exception_handler
- exception_handlers
- end designator
- <declarative_part basic_declarative_items
- later_declarative_items
- <basic_declarative_items basic_declarative_item
- basic_declarative_items
- >basic_declarative_item
- basic_declaration
- representation_clause
- use_clause
- >basic_declaration
- object_declaration
- number_declaration
- type_declaration
- subtype_declaration
- subprogram_declaration
- generic_declaration
- task_declaration
- generic_declaration
- exception_declaration
- generic_instantiation
- renaming_declaration
- deferred_constant_declaration
- >object_declaration
- identifier_list : constant subtype_indication := expression;
- identifier_list : constant constrained_array_definition := expression;
- <context_clause with_clause use_clause
- context_clause
- <with_clause with package_name , package_name;
- <use_clause use package_name , package_name;
- <block_statement declare
- declarative_part
- begin
- statement
- statements
- exception
- exception_handler
- exception_handlers
- end
- <exception_handler when exception_choice exception_choices =>
- statements
- <exception_handlers exception_handler
- exception_handlers
- <exception_choices | exception_choice exception_choices
- >exception_choice
- exception_name
- others
- <exit_statement exit when condition;
- >type_declaration
- full_type_declaration
- incomplete_type_declaration
- private_type_declaration
- <full_type_declaration type identifier discriminant_part is type_definition
- >type_definition
- enumeration_type_definition
- integer_type_definiton
- real_type_definition
- array_type_definition
- record_type_definition
- access_type_definition
- derived_type_definition
- <record_type_definition record
- component_list
- end record;
- >component_list
- component_declarations
- component_declarations variant_part
- null
- <component_declaration identifier_list : component_subtype_definition := expression;
- <component_declarations identifier_list : component_subtype_definition := expression;
- component_declarations
- <variant_part case discriminant_simple_name is
- variant
- variants
- end case;
- <variant when choice choices =>
- component_list
- <choices | choice choices
- <component_subtype_definition subtype_indication
- <subtype_indication type_mark constraint
- >type_mark
- type_name
- subtype_name
- >constraint
- range_constraint
- floating_point_constraint
- fixed_point_constraint
- index_constraint
- discriminant_constraint
- <constrained_array_definition array index_constraint of component_subtype_indication
- <index_constraint ( discrete_range discrete_ranges )
- <discrete_ranges , discrete_range discrete_ranges
- <discrete_range discrete_subtype_indication range
- >range
- range_attribute
- simple_expression .. simple_expression
- <number_declaration identifier_list : constant := universal_static_expression
- <package_declaration package_specification ;
- <package_specification package identifier is
- basic_declarative_item
- private
- basic_declarative_item
- end package_simple_name
- <subprogram_declaration subprogram_specification ;
- >subprogram_specification
- procedure identifier formal_part
- function designator formal_part return type_mark
- <formal_part ( parameter_specification parameter_specifications )
- <parameter_specifications parameter_specification , parameter_specifications
- <parameter_specification identifier_list : mode type_mark := expression
- >mode
- in
- out
- in out
- >later_declarative_item
- body
- subprogram_declaration
- package_declaration
- task_declaration
- generic_declaration
- use_clause
- generic_instantiation
- <exception_declaration identifier_list : exception;
- <incomplete_type_declaration type identifier discriminant_part ;
- >private_type_declaration
- type identifier discriminant_part is limited private;
- type identifier discriminant_part is private;
- >body
- subprogram_body
- package_body
- task_body
- body_stub
-