Справочник Ada 95

Приложение P

(информативное)

Резюме синтаксиса

Это приложение содержит резюме полного синтаксиса языка. См. 1.1.4 для описания используемой нотации.

2.1:
character::= graphic_character | format_effector | other_control_function

2.1:
graphic_character::= identifier_letter | digit | space_character | special_character

2.3:
identifier::=
identifier_letter {[underline] letter_or_digit}

2.3:
letter_or_digit::= identifier_letter | digit

2.4:
numeric_literal::= decimal_literal | based_literal

2.4.1:
decimal_literal::= numeral [.numeral] [exponent]

2.4.1:
numeral::= digit {[underline] digit}

2.4.1:
exponent::= E [+] numeral | E - numeral

2.4.2:
based_literal::=
base # based_numeral [.based_numeral] # [exponent]

2.4.2:
base::= numeral

2.4.2:
based_numeral::=
extended_digit {[underline] extended_digit}

2.4.2:
extended_digit::= digit | A | B | C | D | E | F

2.5:
character_literal::= 'graphic_character'

2.6:
string_literal::= "{string_element}"

2.6:
string_element::= "" | не_знак_цитаты_graphic_character

2.7:
comment::= --{не_конец_строки_character}

2.8:
pragma::=
pragma identifier [(pragma_argument_association {, pragma_argument_association})];

2.8:
pragma_argument_association::=
[аргумент_pragma_identifier =>] name
| [аргумент_pragma_identifier =>] expression

3.1:
defining_identifier::= identifier

3.2.1:
type_declaration::= full_type_declaration
| incomplete_type_declaration
| private_type_declaration
| private_extension_declaration

3.2.1:
full_type_declaration::=
type defining_identifier [known_discriminant_part] is type_definition;
| task_type_declaration
| protected_type_declaration

3.2.2:
subtype_declaration::=
subtype defining_identifier is subtype_indication;

3.2.2:
subtype_indication::= subtype_mark [constraint]

3.2.2:
subtype_mark::= имя_подтипа_name

3.2.2:
constraint::= scalar_constraint | composite_constraint

3.2.2:
scalar_constraint::=
range_constraint | digits_constraint | delta_constraint

3.2.2:
composite_constraint::=
index_constraint | discriminant_constraint

3.3.1:
object_declaration::=
defining_identifier_list : [aliased] [constant] subtype_indication [:= expression];
| defining_identifier_list : [aliased] [constant] array_type_definition [:= expression];
| single_task_declaration
| single_protected_declaration

3.3.1:
defining_identifier_list::=
defining_identifier {, defining_identifier}

3.3.2:
number_declaration::=
defining_identifier_list : constant := статическое_expression;

3.4:
derived_type_definition::= [abstract] new родительский_subtype_indication [record_extension_part]

3.5:
range_constraint::= range range

END_OF_DOCUMENT_MARKER

3.5:
range::= range_attribute_reference
| simple_expression .. simple_expression

3.5.1:
enumeration_type_definition::=
(enumeration_literal_specification {, enumeration_literal_specification})

3.5.1:
enumeration_literal_specification::= defining_identifier | defining_character_literal

3.5.1:
defining_character_literal::= character_literal

3.5.4:
integer_type_definition::= signed_integer_type_definition | modular_type_definition

3.5.4:
signed_integer_type_definition::= range static_simple_expression .. static_simple_expression

3.5.4:
modular_type_definition::= mod static_expression

3.5.6:
real_type_definition::=
floating_point_definition | fixed_point_definition

3.5.7:
floating_point_definition::=
digits static_expression [real_range_specification]

3.5.7:
real_range_specification::=
range static_simple_expression .. static_simple_expression

3.5.9:
fixed_point_definition::= ordinary_fixed_point_definition | decimal_fixed_point_definition

3.5.9:
ordinary_fixed_point_definition::=
delta static_expression real_range_specification

3.5.9:
decimal_fixed_point_definition::=
delta static_expression digits static_expression [real_range_specification]

3.5.9:
digits_constraint::=
digits static_expression [range_constraint]

3.6:
array_type_definition::=
unconstrained_array_definition | constrained_array_definition

3.6:
unconstrained_array_definition::=
array(index_subtype_definition {, index_subtype_definition}) of component_definition

3.6:
index_subtype_definition::= subtype_mark range <>

3.6:
constrained_array_definition::=
array (discrete_subtype_definition {, discrete_subtype_definition}) of component_definition

3.6:
discrete_subtype_definition::= discrete_subtype_indication | range

3.6:
component_definition::= [aliased] subtype_indication

3.6.1:
index_constraint::= (discrete_range {, discrete_range})

3.6.1:
discrete_range::= discrete_subtype_indication | range

3.7:
discriminant_part::= unknown_discriminant_part | known_discriminant_part

3.7:
unknown_discriminant_part::= (<>)

3.7:
known_discriminant_part::=
(discriminant_specification {; discriminant_specification})

3.7:
discriminant_specification::=
defining_identifier_list : subtype_mark [:= default_expression]
| defining_identifier_list : access_definition [:= default_expression]

3.7:
default_expression::= expression

3.7.1:
discriminant_constraint::=
(discriminant_association {, discriminant_association})

3.7.1:
discriminant_association::=
[discriminant_selector_name {| discriminant_selector_name} =>] expression

3.8:
record_type_definition::= [[abstract] tagged] [limited] record_definition

3.8:
record_definition::=
record
component_list
end record
| null record

3.8:
component_list::=
component_item {component_item}
| {component_item} variant_part
| null;

3.8:
component_item::= component_declaration | aspect_clause

3.8:
component_declaration::=
defining_identifier_list : component_definition [:= default_expression];

3.8.1:
variant_part::=
case discriminant_direct_name is
variant
{variant}
end case;

3.8.1:
variant::=
when discrete_choice_list =>
component_list

3.8.1:
discrete_choice_list::= discrete_choice {| discrete_choice}

3.8.1:
discrete_choice::= expression | discrete_range | others

END_OF_DOCUMENT_MARKER

3.9.1:
record_extension_part::= с record_definition

3.10:
access_type_definition::=
access_to_object_definition
| access_to_subprogram_definition

3.10:
access_to_object_definition::=
access [general_access_modifier] subtype_indication

3.10:
general_access_modifier::= все | константа

3.10:
access_to_subprogram_definition::=
access [protected] процедура parameter_profile
| access [protected] функция parameter_and_result_profile

3.10:
access_definition::= access subtype_mark

3.10.1:
incomplete_type_declaration::= тип defining_identifier [discriminant_part];

3.11:
declarative_part::= {declarative_item}

3.11:
declarative_item::=
basic_declarative_item | body

3.11:
basic_declarative_item::=
basic_declaration | aspect_clause | use_clause

3.11:
body::= proper_body | body_stub

3.11:
proper_body::=
subprogram_body | package_body | task_body | protected_body

4.1:
direct_name::= identifier | operator_symbol

4.1:
prefix::= name | implicit_dereference

4.1:
explicit_dereference::= name.все

4.1:
implicit_dereference::= name

4.1.1:
indexed_component::= prefix(expression {, expression})

4.1.2:
slice::= prefix(discrete_range)

4.1.3:
selected_component::= prefix . selector_name

4.1.3:
selector_name::= identifier | character_literal | operator_symbol

4.1.4:
attribute_reference::= prefix'attribute_designator

4.1.4:
attribute_designator::=
identifier[(static_expression)]
| Access | Delta | Digits

4.1.4:
range_attribute_reference::= prefix'range_attribute_designator

4.1.4:
range_attribute_designator::= Range[(static_expression)]

4.3:
aggregate::= record_aggregate | extension_aggregate | array_aggregate

4.3.1:
record_aggregate::= (record_component_association_list)

4.3.1:
record_component_association_list::=
record_component_association {, record_component_association}
| нулевой запис

4.3.1:
record_component_association::=
[ component_choice_list => ] expression

4.3.1:
component_choice_list::=
компонент_selector_name {| компонент_selector_name}
| другие

4.3.2:
extension_aggregate::=
(ancestor_part с record_component_association_list)

4.3.2:
ancestor_part::= expression | subtype_mark

4.3.3:
array_aggregate::=
positional_array_aggregate | named_array_aggregate

4.3.3:
positional_array_aggregate::=
(expression, expression {, expression})
| (expression {, expression}, другие => expression)

4.3.3:
named_array_aggregate::=
(array_component_association {, array_component_association})

4.3.3:
array_component_association::=
discrete_choice_list => expression

4.4:
expression::=
relation {и relation} | relation {и тогда relation}
| relation {или relation} | relation {или иначе relation}
| relation {исключающее или relation}

END_OF_DOCUMENT_MARKER

4.4:
relation::=
simple_expression [relational_operator simple_expression]
| simple_expression [не] в range
| simple_expression [не] в subtype_mark

4.4:
simple_expression::= [unary_adding_operator] term {binary_adding_operator term}

4.4:
term::= factor {multiplying_operator factor}

4.4:
factor::= primary [** primary] | abs primary | не primary

4.5:
logical_operator::= и | или | исключающее_или

4.5:
relational_operator::= = | /= | < | <= | > | >=

4.5:
binary_adding_operator::= + | - | &

4.5:
unary_adding_operator::= + | -

4.5:
multiplying_operator::= * | / | mod | rem

4.5:
highest_precedence_operator::= ** | abs | не

4.6:
type_conversion::=
subtype_mark(expression)
| subtype_mark(name)

4.7:
qualified_expression::=
subtype_mark'(expression) | subtype_mark'aggregate

4.8:
allocator::=
new subtype_indication | new qualified_expression

5.1:
sequence_of_statements::= statement {statement}

5.1:
statement::=
{label} simple_statement | {label} compound_statement

5.1:
null_statement::= null;

5.1:
label::= <<метка_statement_identifier>>

5.1:
statement_identifier::= direct_name

5.2:
assignment_statement::=
переменная_name := expression;

5.3:
if_statement::=
если condition то
sequence_of_statements
{иначе_если condition то
sequence_of_statements}
[иначе
sequence_of_statements]
конец если;

5.3:
condition::= булевое_expression

5.4:
case_statement::=
случай expression из
case_statement_alternative
{case_statement_alternative}
конец случай;

5.4:
case_statement_alternative::=
когда discrete_choice_list =>
sequence_of_statements

5.5:
loop_statement::=
[цикл_statement_identifier:]
[iteration_scheme] цикл
sequence_of_statements
конец цикл [цикл_identifier];

5.5:
iteration_scheme::= пока condition
| для loop_parameter_specification

5.5:
loop_parameter_specification::=
defining_identifier в [обратном] discrete_subtype_definition

5.6:
block_statement::=
[блок_statement_identifier:]
[объявить
declarative_part]
начать
handled_sequence_of_statements
конец [блок_identifier];

5.7:
exit_statement::=
выйти [цикл_name] [когда condition];

5.8:
goto_statement::= перейти метка_name;

6.1:
subprogram_declaration::= subprogram_specification;

6.1:
abstract_subprogram_declaration::= subprogram_specification является абстрактным;

6.1:
subprogram_specification::=
процедура defining_program_unit_name parameter_profile
| функция defining_designator parameter_and_result_profile

END_OF_DOCUMENT_MARKER

6.1:
designator::= [parent_unit_name . ]identifier | operator_symbol

6.1:
defining_designator::= defining_program_unit_name | defining_operator_symbol

6.1:
defining_program_unit_name::= [parent_unit_name . ]defining_identifier

6.1:
operator_symbol::= string_literal

6.1:
defining_operator_symbol::= operator_symbol

6.1:
parameter_profile::= [formal_part]

6.1:
parameter_and_result_profile::= [formal_part] return subtype_mark

6.1:
formal_part::=
(parameter_specification {; parameter_specification})

6.1:
parameter_specification::=
defining_identifier_list : mode subtype_mark [:= default_expression]
| defining_identifier_list : access_definition [:= default_expression]

6.1:
mode::= [in] | in out | out

6.3:
subprogram_body::=
subprogram_specification is
declarative_part
begin
handled_sequence_of_statements
end [designator];

6.4:
procedure_call_statement::=
procedure_name;
| procedure_prefix actual_parameter_part;

6.4:
function_call::=
function_name
| function_prefix actual_parameter_part

6.4:
actual_parameter_part::=
(parameter_association {, parameter_association})

6.4:
parameter_association::=
[formal_parameter_selector_name =>] explicit_actual_parameter

6.4:
explicit_actual_parameter::= expression | variable_name

6.5:
return_statement::= return [expression];

7.1:
package_declaration::= package_specification;

7.1:
package_specification::=
package defining_program_unit_name is
{basic_declarative_item}
[private
{basic_declarative_item}]
end [[parent_unit_name.]identifier]

7.2:
package_body::=
package body defining_program_unit_name is
declarative_part
[begin
handled_sequence_of_statements]
end [[parent_unit_name.]identifier];

7.3:
private_type_declaration::=
type defining_identifier [discriminant_part] is [[abstract] tagged] [limited] private;

7.3:
private_extension_declaration::=
type defining_identifier [discriminant_part] is
[abstract] new ancestor_subtype_indication with private;

8.4:
use_clause::= use_package_clause | use_type_clause

8.4:
use_package_clause::= use package_name {, package_name};

8.4:
use_type_clause::= use type subtype_mark {, subtype_mark};

8.5:
renaming_declaration::=
object_renaming_declaration
| exception_renaming_declaration
| package_renaming_declaration
| subprogram_renaming_declaration
| generic_renaming_declaration

8.5.1:
object_renaming_declaration::= defining_identifier : subtype_mark renames object_name;

8.5.2:
exception_renaming_declaration::= defining_identifier : exception renames exception_name;

8.5.3:
package_renaming_declaration::= package defining_program_unit_name renames package_name;

8.5.4:
subprogram_renaming_declaration::= subprogram_specification renames callable_entity_name;

8.5.5:
generic_renaming_declaration::=
generic package defining_program_unit_name renames generic_package_name;
| generic procedure defining_program_unit_name renames generic_procedure_name;
| generic function defining_program_unit_name renames generic_function_name;

9.1:
task_type_declaration::=
task type defining_identifier [known_discriminant_part] [is task_definition];

9.1:
single_task_declaration::=
task defining_identifier [is task_definition];

9.1:
task_definition::=
{task_item}
[ private
{task_item}]
end [task_identifier]

END_OF_DOCUMENT_MARKER

9.1:
task_item::= entry_declaration | aspect_clause

9.1:
task_body::=
задача тело defining_identifier является
declarative_part
начало
handled_sequence_of_statements
конец [задача_identifier];

9.4:
protected_type_declaration::=
защищённый тип defining_identifier [known_discriminant_part] является protected_definition;

9.4:
single_protected_declaration::=
защищённый defining_identifier является protected_definition;

9.4:
protected_definition::=
{ protected_operation_declaration }
[ приватный
{ protected_element_declaration } ]
конец [защищённый_identifier]

9.4:
protected_operation_declaration::= subprogram_declaration
| entry_declaration
| aspect_clause

9.4:
protected_element_declaration::= protected_operation_declaration
| component_declaration

9.4:
protected_body::=
защищённый тело defining_identifier является
{ protected_operation_item }
конец [защищённый_identifier];

9.4:
protected_operation_item::= subprogram_declaration
| subprogram_body
| entry_body
| aspect_clause

9.5.2:
entry_declaration::=
вход defining_identifier [(discrete_subtype_definition)] parameter_profile;

9.5.2:
accept_statement::=
принять вход_direct_name [(entry_index)] parameter_profile [сделай
handled_sequence_of_statements
конец [вход_identifier]];

9.5.2:
entry_index::= expression

9.5.2:
entry_body::=
вход defining_identifier entry_body_formal_part entry_barrier является
declarative_part
начало
handled_sequence_of_statements
конец [вход_identifier];

9.5.2:
entry_body_formal_part::= [(entry_index_specification)] parameter_profile

9.5.2:
entry_barrier::= когда condition

9.5.2:
entry_index_specification::= для defining_identifier в discrete_subtype_definition

9.5.3:
entry_call_statement::= вход_name [actual_parameter_part];

9.5.4:
requeue_statement::= requeue вход_name [с отказом];

9.6:
delay_statement::= delay_until_statement | delay_relative_statement

9.6:
delay_until_statement::= отсрочка до отсрочка_expression;

9.6:
delay_relative_statement::= отсрочка отсрочка_expression;

9.7:
select_statement::=
selective_accept
| timed_entry_call
| conditional_entry_call
| asynchronous_select

9.7.1:
selective_accept::=
выбрать
[guard]
select_alternative
{ или
[guard]
select_alternative }
[ иначе
sequence_of_statements ]
конец выбора;

9.7.1:
guard::= когда condition =>

9.7.1:
select_alternative::=
accept_alternative
| delay_alternative
| terminate_alternative

9.7.1:
accept_alternative::=
accept_statement [sequence_of_statements]

9.7.1:
delay_alternative::=
delay_statement [sequence_of_statements]

9.7.1:
terminate_alternative::= прервать;

9.7.2:
timed_entry_call::=
выбрать
entry_call_alternative
или
delay_alternative
конец выбора;

9.7.2:
entry_call_alternative::=
entry_call_statement [sequence_of_statements]

9.7.3:
conditional_entry_call::=
выбрать
entry_call_alternative
иначе
sequence_of_statements
конец выбора;

9.7.4:
asynchronous_select::=
выбрать
triggering_alternative
затем прервать
abortable_part
конец выбора;

9.7.4:
triggering_alternative::= triggering_statement [sequence_of_statements]

9.7.4:
triggering_statement::= entry_call_statement | delay_statement

9.7.4:
abortable_part::= sequence_of_statements

9.8:
abort_statement::= прервать задача_name {, задача_name};

10.1.1:
compilation::= {compilation_unit}

10.1.1:
compilation_unit::=
context_clause library_item
| context_clause subunit

10.1.1:
library_item::= [private] library_unit_declaration
| library_unit_body
| [private] library_unit_renaming_declaration

10.1.1:
library_unit_declaration::=
subprogram_declaration | package_declaration
| generic_declaration | generic_instantiation

10.1.1:
library_unit_renaming_declaration::=
package_renaming_declaration
| generic_renaming_declaration
| subprogram_renaming_declaration

10.1.1:
library_unit_body::= subprogram_body | package_body

10.1.1:
parent_unit_name::= name

10.1.2:
context_clause::= {context_item}

10.1.2:
context_item::= with_clause | use_clause

10.1.2:
with_clause::= with library_unit_name {, library_unit_name};

10.1.3:
body_stub::= subprogram_body_stub | package_body_stub | task_body_stub | protected_body_stub

10.1.3:
subprogram_body_stub::= subprogram_specification is separate;

10.1.3:
package_body_stub::= package body defining_identifier is separate;

10.1.3:
task_body_stub::= task body defining_identifier is separate;

10.1.3:
protected_body_stub::= protected body defining_identifier is separate;

10.1.3:
subunit::= separate (parent_unit_name) proper_body

11.1:
exception_declaration::= defining_identifier_list : exception;

11.2:
handled_sequence_of_statements::=
sequence_of_statements
[exception
exception_handler
{exception_handler}]

11.2:
exception_handler::=
when [choice_parameter_specification:] exception_choice {| exception_choice} =>
sequence_of_statements

11.2:
choice_parameter_specification::= defining_identifier

11.2:
exception_choice::= exception_name | others

11.3:
raise_statement::= raise [exception_name];

12.1:
generic_declaration::= generic_subprogram_declaration | generic_package_declaration

12.1:
generic_subprogram_declaration::=
generic_formal_part subprogram_specification;

12.1:
generic_package_declaration::=
generic_formal_part package_specification;

12.1:
generic_formal_part::= generic {generic_formal_parameter_declaration | use_clause}

12.1:
generic_formal_parameter_declaration::=
formal_object_declaration
| formal_type_declaration
| formal_subprogram_declaration
| formal_package_declaration

12.3:
generic_instantiation::=
package defining_program_unit_name is
new generic_package_name [generic_actual_part];
| procedure defining_program_unit_name is
new generic_procedure_name [generic_actual_part];
| function defining_designator is
new generic_function_name [generic_actual_part];

12.3:
generic_actual_part::=
(generic_association {, generic_association})

12.3:
generic_association::=
[generic_formal_parameter_selector_name =>] explicit_generic_actual_parameter

12.4:
formal_object_declaration::=
defining_identifier_list : mode subtype_mark [:= default_expression];

12.5:
formal_type_declaration::=
type defining_identifier[discriminant_part] is formal_type_definition;

END_OF_DOCUMENT_MARKER

12.5.1:
formal_private_type_definition::= [[абстрактный] меченый] [ограниченный] приватный

12.5.1:
formal_derived_type_definition::= [абстрактный] новый subtype_mark [с приватным]

12.5.2:
formal_discrete_type_definition::= (<>)

12.5.2:
formal_signed_integer_type_definition::= диапазон <>

12.5.2:
formal_modular_type_definition::= мод <>

12.5.2:
formal_floating_point_definition::= цифры <>

12.5.2:
formal_ordinary_fixed_point_definition::= дельта <>

12.5.2:
formal_decimal_fixed_point_definition::= дельта <> цифры <>

12.5.3:
formal_array_type_definition::= array_type_definition

12.5.4:
formal_access_type_definition::= access_type_definition

12.6:
formal_subprogram_declaration::= с subprogram_specification [является subprogram_default];

12.6:
subprogram_default::= default_name | <>

12.6:
default_name::= name

12.7:
formal_package_declaration::=
с пакет defining_identifier является новым generic_package_name formal_package_actual_part;

12.7:
formal_package_actual_part::=
(<>) | [generic_actual_part]

13.1:
aspect_clause::= attribute_definition_clause
| enumeration_representation_clause
| record_representation_clause
| at_clause

13.1:
local_name::= direct_name
| direct_name'attribute_designator
| library_unit_name

13.3:
attribute_definition_clause::=
для local_name'attribute_designator используется expression;
| для local_name'attribute_designator используется name;

13.4:
enumeration_representation_clause::=
для first_subtype_local_name используется enumeration_aggregate;

13.4:
enumeration_aggregate::= array_aggregate

13.5.1:
record_representation_clause::=
для first_subtype_local_name используется
запись [mod_clause]
{component_clause}
конец записи;

13.5.1:
component_clause::=
component_local_name в position диапазон first_bit .. last_bit;

13.5.1:
position::= static_expression

13.5.1:
first_bit::= static_simple_expression

13.5.1:
last_bit::= static_simple_expression

13.8:
code_statement::= qualified_expression;

13.12:
restriction::= restriction_identifier
| restriction_parameter_identifier => expression

J.3:
delta_constraint::= дельта static_expression [range_constraint]

J.7:
at_clause::= для direct_name используется в expression;

J.8:
mod_clause::= в мод static_expression;

Справочник по синтаксису

abort_statement
simple_statement 5.1

abortable_part
asynchronous_select 9.7.4

abstract_subprogram_declaration
basic_declaration 3.1

accept_alternative
select_alternative 9.7.1

accept_statement
accept_alternative 9.7.1
compound_statement 5.1

access_definition
discriminant_specification 3.7
parameter_specification 6.1

access_to_object_definition
access_type_definition 3.10

access_to_subprogram_definition
access_type_definition 3.10

END_OF_DOCUMENT_MARKER

определение_типа_доступа
формальное_определение_типа_доступа 12.5.4
определение_типа 3.2.1

часть_фактических_параметров
оператор_вызова_элемента 9.5.3
вызов_функции 6.4
оператор_вызова_процедуры 6.4

агрегат
первичный_выражение 4.4
квалифицированное_выражение 4.7

аллокатор
первичный_выражение 4.4

часть_предка
расширенный_агрегат 4.3.2

агрегат_массива
агрегат 4.3
агрегат_перечисления 13.4

связывание_компоненты_массива
именной_агрегат_массива 4.3.3

определение_типа_массива
формальное_определение_типа_массива 12.5.3
объявление_объекта 3.3.1
определение_типа 3.2.1

оператор_аспекта
основной_декларативный_элемент 3.11
элемент_компоненты 3.8
декларация_защищенной_операции 9.4
элемент_защищенной_операции 9.4
элемент_задачи 9.1

оператор_присваивания
простой_оператор 5.1

асинхронный_выбор
оператор_выбора 9.7

оператор_at
оператор_аспекта 13.1

оператор_определения_атрибута
оператор_аспекта 13.1

обозначения_атрибута
оператор_определения_атрибута 13.3
ссылка_на_атрибут 4.1.4
локальное_имя 13.1

ссылка_на_атрибут
имя 4.1

основание
литерал_с_основанием 2.4.2

литерал_с_основанием
числовая_литерал 2.4

число_с_основанием
литерал_с_основанием 2.4.2

основное_объявление
основной_декларативный_элемент 3.11

основной_декларативный_элемент
декларативный_элемент 3.11
спецификация_пакета 7.1

бинарный_оператор_сложения
простое_выражение 4.4

оператор_блока
составной_оператор 5.1

тело
декларативный_элемент 3.11

заглушка_тела
тело 3.11

оператор_с_случаем
составной_оператор 5.1

альтернатива_оператора_с_случаем
оператор_с_случаем 5.4

символ
комментарий 2.7

литерал_символа
определяющий_литерал_символа 3.5.1
имя 4.1
имя_селектора 4.1.3

спецификация_параметра_выбора
обработчик_исключения 11.2

оператор_кода
простой_оператор 5.1

единица_компиляции
компиляция 10.1.1

список_выбора_компоненты
связывание_компоненты_записи 4.3.1

оператор_компоненты
оператор_представления_записи 13.5.1

декларация_компоненты
элемент_компоненты 3.8
декларация_защищенного_элемента 9.4

определение_компоненты
декларация_компоненты 3.8
определение_массива_с_ограничениями 3.6
определение_массива_без_ограничений 3.6

элемент_компоненты
список_компонентов 3.8

список_компонентов
определение_записи 3.8
вариант 3.8.1

составное_ограничение
ограничение 3.2.2

составной_оператор
оператор 5.1

условие
барьер_входа 9.5.2
выходная_инструкция 5.7
защита 9.7.1
инструкция_if 5.3
схема_итерации 5.5

вызов_входа_с_условием
инструкция_select 9.7

определение_массива_с_ограничениями
определение_типа_массива 3.6

ограничение
указание_подтипа 3.2.2

определение_контекста
единица_компиляции 10.1.1

элемент_контекста
определение_контекста 10.1.2

определение_десятичного_фиксированного_точного
определение_фиксированной_точки 3.5.9

десятичная_литераль
числовая_литераль 2.4

элемент_объявления
часть_объявления 3.11

часть_объявления
инструкция_блока 5.6
тело_входного_пункта 9.5.2
тело_пакета 7.2
тело_подпрограммы 6.3
тело_задачи 9.1

выражение_по_умолчанию
объявление_компонента 3.8
указание_дискриминанта 3.7
объявление_формального_объекта 12.4
указание_параметра 6.1

имя_по_умолчанию
подпрограмма_по_умолчанию 12.6

литераль_символа_определения
указание_литерали_перечисления 3.5.1

обозначения_определения
генерация_шаблона 12.3
указание_подпрограммы 6.1

идентификатор_определения
указание_параметра_выбора 11.2
список_идентификаторов_определения 3.3.1
имя_единицы_программы_определения 6.1
тело_входного_пункта 9.5.2
объявление_входного_пункта 9.5.2
указание_индекса_входного_пункта 9.5.2
указание_литерали_перечисления 3.5.1
переименование_объявления_исключения 8.5.2
объявление_формального_пакета 12.7
объявление_формального_типа 12.5
полное_объявление_типа 3.2.1
неполное_объявление_типа 3.10.1
указание_параметра_цикла 5.5
переименование_объявления_объекта 8.5.1
заглушка_тела_пакета 10.1.3
объявление_расширения_частного 7.3
объявление_частного_типа 7.3
тело_защищенного_блока 9.4
заглушка_тела_защищенного_блока 10.1.3
объявление_защищенного_типа 9.4
единственное_объявление_защищенного_блока 9.4
единственное_объявление_задачи 9.1
объявление_подтипа 3.2.2
тело_задачи 9.1
заглушка_тела_задачи 10.1.3
объявление_типа_задачи 9.1

список_идентификаторов_определения
объявление_компонента 3.8
указание_дискриминанта 3.7
объявление_исключения 11.1
объявление_формального_объекта 12.4
объявление_числа 3.3.2
объявление_объекта 3.3.1
указание_параметра 6.1

символ_оператора_определения
обозначения_определения 6.1

имя_единицы_программы_определения
обозначения_определения 6.1
генерация_шаблона 12.3
переименование_генерации_шаблона 8.5.5
тело_пакета 7.2
переименование_объявления_пакета 8.5.3
спецификация_пакета 7.1
спецификация_подпрограммы 6.1

альтернатива_задержки
альтернатива_инструкции_select 9.7.1
временной_вызов_входа 9.7.2

инструкция_задержки_относительно
инструкция_задержки 9.6

инструкция_задержки
альтернатива_задержки 9.7.1
простая_инструкция 5.1
инструкция_триггера 9.7.4

инструкция_задержки_до
инструкция_задержки 9.6

ограничение_дельта
скалярное_ограничение 3.2.2

определение_типа_производного
определение_типа 3.2.1

обозначение
тело_подпрограммы 6.3

цифра
расширенная_цифра 2.4.2
графический_символ 2.1
буква_или_цифра 2.3
число 2.4.1

ограничение_цифр
скалярное_ограничение 3.2.2

прямое_имя
операция_принятия 9.5.2
оператор_at J.7
локальное_имя 13.1
имя 4.1
идентификатор_операции 5.1
часть_варианта 3.8.1

дискретный_выбор
список_дискретных_выборов 3.8.1

список_дискретных_выборов
ассоциация_компонента_массива 4.3.3
альтернатива_оператора_case 5.4
вариант 3.8.1

дискретный_диапазон
дискретный_выбор 3.8.1
ограничение_индекса 3.6.1
срез 4.1.2

определение_дискретного_подтипа
определение_массива_с_ограничениями 3.6
объявление_входной_точки 9.5.2
указание_индекса_входной_точки 9.5.2
указание_параметра_цикла 5.5

ассоциация_дискриминантов
ограничение_дискриминантов 3.7.1

ограничение_дискриминантов
составное_ограничение 3.2.2

часть_дискриминантов
объявление_формального_типа 12.5
неполное_объявление_типа 3.10.1
объявление_расширения_приватного_типа 7.3
объявление_приватного_типа 7.3

указание_дискриминантов
известная_часть_дискриминантов 3.7

барьер_входа
тело_входной_точки 9.5.2

тело_входной_точки
элемент_операции_защищенного_типа 9.4

формальная_часть_тела_входной_точки
тело_входной_точки 9.5.2

альтернатива_вызова_входной_точки
условный_вызов_входной_точки 9.7.3
вызов_входной_точки_с_временем 9.7.2

оператор_вызова_входной_точки
альтернатива_вызова_входной_точки 9.7.2
простой_оператор 5.1
оператор_триггера 9.7.4

объявление_входной_точки
объявление_операции_защищенного_типа 9.4
элемент_задачи 9.1

индекс_входа
операция_принятия 9.5.2

указание_индекса_входной_точки
формальная_часть_тела_входной_точки 9.5.2

агрегат_перечисления
оператор_представления_перечисления 13.4

указание_элемента_перечисления
определение_типа_перечисления 3.5.1

оператор_представления_перечисления
оператор_аспекта 13.1

определение_типа_перечисления
определение_типа 3.2.1

выбор_исключения
обработчик_исключения 11.2

объявление_исключения
базовое_объявление 3.1

обработчик_исключения
обрабатываемая_последовательность_операторов 11.2

объявление_переименования_исключения
объявление_переименования 8.5

оператор_выхода
простой_оператор 5.1

явный_фактический_параметр
ассоциация_параметров 6.4

явная_дериференция
имя 4.1

явный_фактический_параметр_обобщения
ассоциация_обобщений 12.3

экспонента
литерал_с_основанием 2.4.2
десятичная_литерал 2.4.1

выражение
часть_предка 4.3.2
ассоциация_компонента_массива 4.3.3
оператор_присваивания 5.2
оператор_at J.7
оператор_определения_атрибута 13.3
обозначение_атрибута 4.1.4
оператор_case 5.4
условие 5.3
определение_десятичной_фиксированной_точки 3.5.9
выражение_по_умолчанию 3.7
оператор_задержки_относительно 9.6
оператор_задержки_до 9.6
ограничение_дельта J.3
ограничение_цифр 3.5.9
дискретный_выбор 3.8.1
ассоциация_дискриминанта 3.7.1
индекс_входа 9.5.2
явный_фактический_параметр 6.4
явный_фактический_параметр_обобщения 12.3
определение_числа_с_плавающей_точкой 3.5.7
индексируемый_компонент 4.1.1
оператор_mod J.8
определение_типа_модуля 3.5.4
объявление_числа 3.3.2
объявление_объекта 3.3.1
определение_обычной_фиксированной_точки 3.5.9
позиция 13.5.1
позиционный_агрегат_массива 4.3.3
ассоциация_аргумента_псевдонима 2.8
первичный 4.4
квалифицированное_выражение 4.7
обозначение_атрибута_диапазона 4.1.4
ассоциация_компонента_записи 4.3.1
ограничение 13.12
оператор_возврата 6.5
преобразование_типа 4.6

расширенная_цифра
число_с_основанием 2.4.2

агрегат_расширения
агрегат 4.3

множитель
множимое 4.4

первый_бит
оператор_компонента 13.5.1

определение_фиксированной_точки
определение_типа_вещественного 3.5.6

определение_числа_с_плавающей_точкой
определение_типа_вещественного 3.5.6

определение_формального_типа_доступа
формальное_определение_типа 12.5

определение_формального_типа_массива
формальное_определение_типа 12.5

формальное_определение_десятичной_фиксированной_точки
формальное_определение_типа 12.5

формальное_определение_производного_типа
формальное_определение_типа 12.5

формальное_определение_дискретного_типа
формальное_определение_типа 12.5

формальное_определение_типа_с_плавающей_точкой
формальное_определение_типа 12.5

формальное_определение_типа_модуля
формальное_определение_типа 12.5

формальное_объявление_объекта
объявление_формального_параметра_обобщения 12.1

формальное_определение_обычной_фиксированной_точки
формальное_определение_типа 12.5

формальная_часть_фактических_параметров_пакета
формальное_объявление_пакета 12.7

формальное_объявление_пакета
объявление_формального_параметра_обобщения 12.1

формальная_часть
профиль_параметра_и_результата 6.1
профиль_параметра 6.1

формальное_определение_приватного_типа
формальное_определение_типа 12.5

формальное_определение_типа_целого_знака
формальное_определение_типа 12.5

формальное_объявление_подпрограммы
объявление_формального_параметра_обобщения 12.1

формальное_объявление_типа
объявление_формального_параметра_обобщения 12.1

формальное_определение_типа
формальное_объявление_типа 12.5

формат_эффектора
символ 2.1

полное_объявление_типа
объявление_типа 3.2.1

вызов_функции
имя 4.1

общий_модификатор_доступа
доступ_к_объекту 3.10

часть_фактических_параметров_обобщения
формальная_часть_фактических_параметров_пакета 12.7
инстанциация_обобщения 12.3

ассоциация_обобщения
часть_фактических_параметров_обобщения 12.3

объявление_обобщения
базовое_объявление 3.1
объявление_единицы_библиотеки 10.1.1

объявление_формального_параметра_обобщенного
формальная_часть_обобщенного 12.1

формальная_часть_обобщенного
объявление_обобщенного_пакета 12.1
объявление_обобщенной_подпрограммы 12.1

инстанциация_обобщенного
базовое_объявление 3.1
объявление_единицы_библиотеки 10.1.1

объявление_обобщенного_пакета
объявление_обобщенного 12.1

объявление_переименования_обобщенного
объявление_переименования_единицы_библиотеки 10.1.1
объявление_переименования 8.5

объявление_обобщенной_подпрограммы
объявление_обобщенного 12.1

оператор_перехода
простой_оператор 5.1

графический_символ
символ 2.1
литеральная_строка 2.5
элемент_строки 2.6

защита
селективное_принятие 9.7.1

обработанная_последовательность_операторов
оператор_принятия 9.5.2
оператор_блока 5.6
тело_входа 9.5.2
тело_пакета 7.2
тело_подпрограммы 6.3
тело_задачи 9.1

идентификатор
оператор_принятия 9.5.2
обозначатель_атрибута 4.1.4
оператор_блока 5.6
определяющий_идентификатор 3.1
обозначатель 6.1
прямое_имя 4.1
тело_входа 9.5.2
оператор_цикла 5.5
тело_пакета 7.2
спецификация_пакета 7.1
псевдоним 2.8
связь_аргумента_псевдонима 2.8
тело_защищенного 9.4
определение_защищенного 9.4
ограничение 13.12
имя_селектора 4.1.3
тело_задачи 9.1
определение_задачи 9.1

буква_идентификатора
графический_символ 2.1
идентификатор 2.3
буква_или_цифра 2.3

оператор_если
составной_оператор 5.1

явное_разыменование
префикс 4.1

неполное_объявление_типа
объявление_типа 3.2.1

ограничение_индекса
ограничение_составного_типа 3.2.2

определение_подтипа_индекса
определение_массива_без_ограничений 3.6

индексированный_компонент
имя 4.1

определение_целого_типа
определение_типа 3.2.1

схема_итерации
оператор_цикла 5.5

известная_часть_дискриминанты
часть_дискриминанты 3.7
полное_объявление_типа 3.2.1
объявление_типа_защищенного 9.4
объявление_типа_задачи 9.1

метка
оператор 5.1

последний_бит
описания_компонента 13.5.1

буква_или_цифра
идентификатор 2.3

элемент_библиотеки
единица_компиляции 10.1.1

тело_единицы_библиотеки
элемент_библиотеки 10.1.1

объявление_единицы_библиотеки
элемент_библиотеки 10.1.1

объявление_переименования_единицы_библиотеки
элемент_библиотеки 10.1.1

локальное_имя
описание_атрибута 13.3
описание_компонента 13.5.1
описание_представления_перечисления 13.4
описание_представления_записи 13.5.1

спецификация_параметра_цикла
схема_итерации 5.5

оператор_цикла
составной_оператор 5.1

оператор_модуля
описание_представления_записи 13.5.1

режим
объявление_объекта_формального 12.4
спецификация_параметра 6.1

END_OF_DOCUMENT_MARKER

определение_типа_модуля
определение_типа_целого 3.5.4

оператор_умножения
множитель 4.4

имя
оператор_прерывания 9.8
оператор_присваивания 5.2
оператор_определения_атрибута 13.3
имя_по_умолчанию 12.6
вызов_входной_точки 9.5.3
выбор_исключения 11.2
объявление_переименования_исключения 8.5.2
оператор_выхода 5.7
явный_параметр_действия 6.4
явное_разъяснение 4.1
явный_параметр_действия_обобщенного_типа 12.3
объявление_пакета_в_виде_формального_параметра 12.7
вызов_функции 6.4
инстанцирование_обобщенного_типа 12.3
объявление_переименования_обобщенного_типа 8.5.5
оператор_перехода 5.8
неявное_разъяснение 4.1
имя_локальной_переменной 13.1
объявление_переименования_объекта 8.5.1
объявление_переименования_пакета 8.5.3
имя_родительского_модуля 10.1.1
ассоциация_аргументов_предиката 2.8
префикс 4.1
первичное_выражение 4.4
оператор_вызова_процедуры 6.4
оператор_броска_исключения 11.3
оператор_повторной_постановки_в_очередь 9.5.4
объявление_переименования_подпрограммы 8.5.4
размер_типа 3.2.2
преобразование_типа 4.6
фрагмент_использования_пакета 8.4
фрагмент_подключения 10.1.2

массивный_агрегат_с_именами
агрегат_массива 4.3.3

оператор_пустоты
простой_оператор 5.1

объявление_числа
основное_объявление 3.1

числовое_значение
основание 2.4.2
десятичное_литерал 2.4.1
экспонента 2.4.1

числовая_литерал
первичное_выражение 4.4

объявление_объекта
основное_объявление 3.1

объявление_переименования_объекта
объявление_переименования 8.5

символ_оператора
символ_оператора_определения 6.1
указатель 6.1
прямое_имя 4.1
имя_селектора 4.1.3

определение_обычной_фиксированной_точки
определение_фиксированной_точки 3.5.9

другая_функция_управления
символ 2.1

тело_пакета
тело_модуля_библиотеки 10.1.1
тело_определения 3.11

заглушка_тела_пакета
заглушка_тела 10.1.3

объявление_пакета
основное_объявление 3.1
объявление_модуля_библиотеки 10.1.1

объявление_переименования_пакета
объявление_переименования_модуля_библиотеки 10.1.1
объявление_переименования 8.5

спецификация_пакета
объявление_обобщенного_пакета 12.1
объявление_пакета 7.1

профиль_параметра_и_результата
определение_подпрограммы_с_доступом 3.10
спецификация_подпрограммы 6.1

ассоциация_параметров
часть_параметра_действия 6.4

профиль_параметра
оператор_принятия 9.5.2
определение_подпрограммы_с_доступом 3.10
формальная_часть_тела_входной_точки 9.5.2
объявление_входной_точки 9.5.2
спецификация_подпрограммы 6.1

спецификация_параметра
формальная_часть 6.1

имя_родительского_модуля
имя_определяющей_программы 6.1
указатель 6.1
тело_пакета 7.2
спецификация_пакета 7.1
подмодуль 10.1.3

позиция
оператор_компонента 13.5.1

массивный_агрегат_с_позициями
агрегат_массива 4.3.3

ассоциация_аргументов_предиката
предикат 2.8

префикс
ссылка_на_атрибут 4.1.4
вызов_функции 6.4
индексируемый_компонент 4.1.1
вызов_процедуры 6.4
ссылка_на_атрибут_диапазона 4.1.4
выбранный_компонент 4.1.3
срез 4.1.2

основное_выражение
множитель 4.4

декларация_частного_расширения
декларация_типа 3.2.1

декларация_частного_типа
декларация_типа 3.2.1

вызов_процедуры
простое_выражение 5.1

собственное_тело
тело 3.11
подраздел 10.1.3

защищенное_тело
собственное_тело 3.11

заглушка_защищенного_тела
заглушка_тела 10.1.3

защищенное_определение
защищенная_декларация_типа 9.4
одиночная_защищенная_декларация 9.4

декларация_защищенного_элемента
защищенное_определение 9.4

декларация_защищенной_операции
защищенное_определение 9.4
декларация_защищенного_элемента 9.4

элемент_защищенной_операции
защищенное_тело 9.4

защищенная_декларация_типа
полная_декларация_типа 3.2.1

квалифицированное_выражение
аллокатор 4.8
выражение_кода 13.8
основное_выражение 4.4

выражение_броска_исключения
простое_выражение 5.1

диапазон
дискретный_диапазон 3.6.1
определение_дискретного_подтипа 3.6
ограничение_диапазона 3.5
отношение 4.4

обозначение_атрибута_диапазона
ссылка_на_атрибут_диапазона 4.1.4

ссылка_на_атрибут_диапазона
диапазон 3.5

ограничение_диапазона
ограничение_дельта J.3
ограничение_разрядов 3.5.9
ограничение_скалярного_типа 3.2.2

спецификация_диапазона_вещественного_типа
определение_десятичного_фиксированного_значения 3.5.9
определение_числа_с_плавающей_точкой 3.5.7
определение_обычного_фиксированного_значения 3.5.9

определение_вещественного_типа
определение_типа 3.2.1

агрегат_записи
агрегат 4.3

ассоциация_компонента_записи
список_ассоциаций_компонентов_записи 4.3.1

список_ассоциаций_компонентов_записи
расширенный_агрегат 4.3.2
агрегат_записи 4.3.1

определение_записи
часть_расширения_записи 3.9.1
определение_типа_записи 3.8

часть_расширения_записи
определение_типа_с_наследованием 3.4

описание_представления_записи
описание_аспекта 13.1

определение_типа_записи
определение_типа 3.2.1

отношение
выражение 4.4

операторы_отношения
отношение 4.4

декларация_переименования
базовая_декларация 3.1

выражение_перестановки
простое_выражение 5.1

выражение_возврата
простое_выражение 5.1

ограничение_скалярного_типа
ограничение 3.2.2

альтернатива_выбора
селективный_прием 9.7.1

выражение_выбора
составное_выражение 5.1

выбранный_компонент
имя 4.1

селективный_прием
выражение_выбора 9.7

имя_селектора
список_выбора_компонента 4.3.1
ассоциация_дискриминанта 3.7.1
общая_ассоциация 12.3
ассоциация_параметра 6.4
выбранный_компонент 4.1.3

последовательность_операторов
прерываемая_часть 9.7.4
прием_альтернативы 9.7.1
альтернатива_оператора_case 5.4
вызов_входной_точки_с_условием 9.7.3
альтернатива_задержки 9.7.1
альтернатива_вызова_точки_входа 9.7.2
обработчик_исключений 11.2
обработанная_последовательность_операторов 11.2
оператор_if 5.3
оператор_цикла 5.5
селективный_прием 9.7.1
альтернатива_триггера 9.7.4

определение_типа_целого_числа_со_знаком
определение_типа_целого_числа 3.5.4

простое_выражение
первый_бит 13.5.1
последний_бит 13.5.1
диапазон 3.5
спецификация_диапазона_вещественных_чисел 3.5.7
отношение 4.4
определение_типа_целого_числа_со_знаком 3.5.4

простой_оператор
оператор 5.1

единственное_защищенное_объявление
объявление_объекта 3.3.1

объявление_задачи_с_единственным_потоком
объявление_объекта 3.3.1

срез
имя 4.1

пробельный_символ
графический_символ 2.1

специальный_символ
графический_символ 2.1

оператор
последовательность_операторов 5.1

идентификатор_оператора
оператор_блока 5.6
метка 5.1
оператор_цикла 5.5

элемент_строки
строковая_литераль 2.6

строковая_литераль
символ_оператора 6.1
основной_элемент 4.4

тело_подпрограммы
тело_единицы_библиотеки 10.1.1
собственное_тело 3.11
элемент_защищенной_операции 9.4

заглушка_тела_подпрограммы
заглушка_тела 10.1.3

объявление_подпрограммы
базовое_объявление 3.1
объявление_единицы_библиотеки 10.1.1
объявление_защищенной_операции 9.4
элемент_защищенной_операции 9.4

значение_по_умолчанию_подпрограммы
объявление_формальной_подпрограммы 12.6

объявление_переименования_подпрограммы
объявление_переименования_единицы_библиотеки 10.1.1
объявление_переименования 8.5

спецификация_подпрограммы
объявление_абстрактной_подпрограммы 6.1
объявление_формальной_подпрограммы 12.6
объявление_подпрограммы_с_генериками 12.1
тело_подпрограммы 6.3
заглушка_тела_подпрограммы 10.1.3
объявление_подпрограммы 6.1
объявление_переименования_подпрограммы 8.5.4

объявление_подтипа
базовое_объявление 3.1

указание_подтипа
определение_доступа_к_объекту 3.10
аллокатор 4.8
определение_компонента 3.6
определение_производного_типа 3.4
дискретный_диапазон 3.6.1
определение_дискретного_подтипа 3.6
объявление_объекта 3.3.1
объявление_расширения_частного_раздела 7.3
объявление_подтипа 3.2.2

маркер_подтипа
определение_доступа 3.10
часть_предка 4.3.2
спецификация_дискриминанта 3.7
явный_параметр_реального_генерика 12.3
определение_формального_производного_типа 12.5.1
объявление_формального_объекта 12.4
определение_подтипа_индекса 3.6
объявление_переименования_объекта 8.5.1
профиль_параметра_и_результата 6.1
спецификация_параметра 6.1
квалифицированное_выражение 4.7
отношение 4.4
указание_подтипа 3.2.2
преобразование_типа 4.6
оператор_использования_типа 8.4

подраздел
единица_компиляции 10.1.1

описание_задачи
правильное_описание 3.11

заглушка_описания_задачи
заглушка_описания 10.1.3

определение_задачи
объявление_единичной_задачи 9.1
объявление_типа_задачи 9.1

элемент_задачи
определение_задачи 9.1

объявление_типа_задачи
полное_объявление_типа 3.2.1

термин
простое_выражение 4.4

альтернатива_прекращения
альтернатива_выбора 9.7.1

вызов_входной_точки_с_временем
оператор_выбора 9.7

альтернатива_триггера
асинхронный_выбор 9.7.4

оператор_триггера
альтернатива_триггера 9.7.4

преобразование_типов
имя 4.1

объявление_типа
основное_объявление 3.1

определение_типа
полное_объявление_типа 3.2.1

унарный_оператор_сложения
простое_выражение 4.4

неограниченное_определение_массива
определение_типа_массива 3.6

подчеркивание
число_с_основой 2.4.2
идентификатор 2.3
число 2.4.1

неизвестная_часть_дискриминатора
часть_дискриминатора 3.7

оператор_использования
основной_декларативный_элемент 3.11
элемент_контекста 10.1.2
часть_формальных_параметров_генератора 12.1

оператор_использования_пакета
оператор_использования 8.4

оператор_использования_типа
оператор_использования 8.4

вариант
часть_варианта 3.8.1

часть_варианта
список_компонентов 3.8

оператор_с_
элемент_контекста 10.1.2