9.5.2 Входные точки и операторы accept

Объявление_входной_точки, с соответствующими телами_входных_точек или операторами_accept, используются для определения потенциально очередизированных операций над задачами и защищенными объектами.

В операторе accept ожидаемый профиль для прямой_ссылки соответствует объявление_входной_точки; ожидаемый тип для индекс_входной_точки соответствует подтипу, определенному в определение_подтипа_дискретного_типа соответствующего объявление_входной_точки.

Внутри обработанной последовательности операторов оператора accept, если у выбранного компонента есть префикс, указывающий на соответствующее объявление_входной_точки, то сущность, обозначенная префиксом, является оператором accept, а выбранный компонент интерпретируется как расширенное имя (см. 4.1.3); имя селектора выбранного компонента должно быть идентификатором некоторого формального параметра оператора accept.

Объявление объявление_входной_точки в объявлении задачи не должно содержать спецификации для параметра доступа (см. 3.10).

Если у объявление_входной_точки есть индикатор_переопределения, то в момент объявления:

Помимо мест, где обычно применяются Правила легальности (см. 12.3), эти правила также применяются в частях private экземпляра генерируемого блока.

Для оператора accept ближайшее содержащее тело должно быть телом задачи, а прямая_ссылка должна обозначать объявление объявление_входной_точки в соответствующем объявлении задачи; профиль оператора accept должен полностью соответствовать профилю соответствующего объявление_входной_точки. Оператор accept должен иметь скобочный индекс_входной_точки тогда и только тогда, когда соответствующее объявление_входной_точки имеет определение_подтипа_дискретного_типа.

Оператор accept не должен находиться внутри другого оператора accept, соответствующего тому же объявление_входной_точки, ни внутри асинхронного выбора, внутреннего для окружающего тела задачи.

Объявление объявление_входной_точки защищенного блока требует завершения, которое должно быть телом entry_body, и каждое тело entry_body должно быть завершением объявления объявление_входной_точки защищенного блока. Профиль тела entry_body должен полностью соответствовать профилю соответствующего объявления.

Формальная часть тела entry_body_formal_part должна иметь спецификацию индекса entry_index_specification тогда и только тогда, когда соответствующее объявление_входной_точки имеет определение_подтипа_дискретного_типа. В этом случае определения подтипов дискретного типа объявление_входной_точки и спецификация индекса entry_index_specification должны полностью соответствовать друг другу (см. 6.3.1).

Имя, обозначающее формальный параметр entry_body, не допускается в entry_barrier entry_body.

Режимы параметров, определенные для параметров в parameter_profile entry_declaration, совпадают с режимами для subprogram_declaration и имеют то же значение (см. 6.2).

entry_declaration с discrete_subtype_definition (см. 3.6) объявляет семейство отдельных элементов с одинаковым профилем, по одному элементу для каждого значения индекса элемента, определенного discrete_subtype_definition. Имя элемента семейства имеет вид indexed_component, где prefix обозначает entry_declaration семейства, а значение индекса определяет элемент в семействе. Термин одиночный элемент используется для обозначения любого элемента, кроме элемента семейства элементов.

В entry_body для семейства элементов entry_index_specification объявляет именованную константу, подтип которой является подтипом индекса элемента, определённого соответствующей entry_declaration; значение именованного индекса элемента идентифицирует, какой элемент семейства был вызван.

Выполнение entry_declaration для семейства элементов состоит из выполнения discrete_subtype_definition, как описано в 3.8. Выполнение entry_declaration для одиночного элемента не имеет эффекта.

Действия, которые должны быть выполнены при вызове элемента, задаются соответствующими accept_statement (если таковые имеются) для элемента единицы задачи и соответствующим entry_body для элемента защищённой единицы.

Для выполнения accept_statement, entry_index, если таковой имеется, сначала оценивается и преобразуется в подтип индекса элемента; это значение индекса определяет, какой элемент семейства будет принят. Дальнейшее выполнение accept_statement затем блокируется до тех пор, пока не будет выбран вызывающий элемент (см. 9.5.3), после чего выполняется handled_sequence_of_statements accept_statement, если таковое имеется, с формальными параметрами, связанными с соответствующими фактическими параметрами выбранного вызова элемента. После завершения handled_sequence_of_statements, accept_statement завершается и покидает выполнение. Если исключение распространяется из handled_sequence_of_statements accept_statement, то это же исключение также генерируется при выполнении соответствующего entry_call_statement.

Взаимодействие вызывающей задачи и принимающей задачи называется соединением.

entry_body выполняется, когда условие condition entry_barrier оценивается как истинное и выбран вызывающий элемент соответствующего одиночного элемента или элемента семейства (см. 9.5.3). Для выполнения entry_body, declarative_part entry_body выполняется, и handled_sequence_of_statements тела выполняется, как при выполнении subprogram_body. Значение именованного индекса элемента, если таковое имеется, определяется значением индекса элемента, указанного в имени элемента выбранного вызова элемента (или промежуточной requeue_statement — см. 9.5.4).

Примеры объявлений элементов: