Верно. Сначала задается имя параметра, затем следует двоеточие, затем - вид ("in", "out", "in out"), а затем - имя типа.

Примечание для дотошных: "Integer" не является зарезервированным ключевым словом в Ada, это всего лишь имя предопределенного типа. Итак, если бы существовал тип с именем "A", то следующее несколько отличающееся описание было бы корректным:

procedure Delete_File( Integer : in A );

Это описание задает процедуру "Delete_File", которая принимает входную переменную с именем "Integer", имеющую тип "A". Компилятор Ada может обработать и такое причудливое описание, но настоятельно рекомендуется не использовать имена предопределенных типов в качестве имен переменных, поскольку это действительно сбивает с толку людей, пытающихся разобраться в программе.

Вы можете перейти к следующему разделу.

Вы можете также:

PREVIOUS Вернуться к вопросу

OUTLINE  Вернуться к содержанию Урока 4

David A. Wheeler (dwheeler@ida.org)

Перевод: Юрий Королев   Общая редакция перевода: Г.Ю. Сисюк

Исходная копия этого документа находится по адресу "http://www.adahome.com/Tutorials/Lovelace/s4s2r1.htm".

Исходная копия перевода размещена на сайте http://www.ada-ru.org