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

       

Описания и их последовательность


Стандарт языка Паскаль требует использование правильного порядка следования описаний (константы, типы, переменные, подпрограммы), что ослабляется некоторыми реализациями Паскаль-систем.

Ада обладает более гибкими требованиями к порядку следования описаний.

Так, стандарт Ады подразумевает "базовые описания" и "поздние описания".

Таким образом, к "базовым" описаниям можно отнести описания констант, типов и переменных, а к "поздним" описаниям - описания подпрограмм (процедур и функций).

Следует заметить, что мы не рассматриваем остальные описания в целях упрощения.

В описательной части, программы или подпрограммы, базовые описания могут быть свободно перемешаны (с естественным пониманием того, что перед тем как что-либо используется оно должно быть предварительно описано).

Все базовые описания должны предшествовать всем поздним описаниям.

В Паскале, зарезервированные слова type, const и var

должны появляться в описательной части только один раз.

В Аде, описание каждого типа или подтипа должно соответственно начинаться с type или subtype

Примером описания константы может служить следующее:

FirstLetter: constant Character := 'A';

Зарезервированное слово var не используется вовсе, поэтому переменные описываются подобным образом:

Sum : Integer;

Кроме того, описание типа записи, в Аде, всегда должно завершаться end record.



Содержание раздела