Ада-95. Компилятор GNAT



         

Простое принятие обращений к входам - часть 2


Кроме того, следует заметить, что последовательность инструкций, вложенная в инструкцию принятия рандеву, может содержать инструкцию выхода return

(это подобно использованию return в теле процедуры).

Также следует учесть, что формальные параметры, указанные в инструкции принятия рандеву для соответствующего входа, будут локальными для этой инструкции принятия.

Тело задачи Simple_Task более интересно.

Первая инструкция принятия рандеву соответствует входу Read с "out"-параметром Value.

Внутри этой инструкции принятия рандеву параметру Value присваивается значение переменной Some_Value

(предполагается, что эта и другие переменные были где-либо описаны).

Далее следуют три инструкции принятия рандеву, образующие "семейство".

Все они соответствуют описанию входа Request, в спецификации задачи Simple_Task, которая описывалась с указанием типа Level, значения которого (Low, Middle и Hight) используются в качестве индекса.




Содержание  Назад  Вперед