Справочное руководство по языку Ада-83




Объекты и именованные числа


Объект — это понятие языка; объект имеет (содержит) значение данного типа. Объектом может быть:

• объект, объявленный в описании объекта или в описании одиночной задачи;

• формальный параметр подпрограммы, входа или настраиваемой подпрограммы;

• формальный объект настройки;

• параметр цикла;

• объект, указанный значением ссылочного типа;

• компонента или отрезок другого объекта.

Описание числа — это специальная форма описания объекта, которая связывает идентификатор со значением типа универсальный-целый или универсальный-вещественный.

описание-объекта ::= список-идентификаторов : [constant] указание-подтипа [:= выражение]; список-идентификаторов : [constant] определение-ограниченного-индексируемого-типа [:= выражение];описание-числа ::= список-идентификаторов : constant := универсальное-статическое-выражение; список-идентификаторов ::= идентификатор {, идентификатор}

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

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

В остальной части описания языка все пояснения даны для описаний с единственным идентификатором; соответствующие пояснения для описаний с несколькими идентификаторами следуют из эквивалентности, установленной выше.









Начало  Назад  Вперед



Книжный магазин