Объекты и именованные числа
Объект — это понятие языка; объект имеет (содержит) значение данного типа. Объектом может быть:
• объект, объявленный в описании объекта или в описании одиночной задачи;
• формальный параметр подпрограммы, входа или настраиваемой подпрограммы;
• формальный объект настройки;
• параметр цикла;
• объект, указанный значением ссылочного типа;
• компонента или отрезок другого объекта.
Описание числа — это специальная форма описания объекта, которая связывает идентификатор со значением типа универсальный-целый или универсальный-вещественный.
описание-объекта ::=
список-идентификаторов : [constant] указание-подтипа [:= выражение];
список-идентификаторов : [constant]
определение-ограниченного-индексируемого-типа [:= выражение];описание-числа ::=
список-идентификаторов : constant := универсальное-статическое-выражение; список-идентификаторов ::= идентификатор {, идентификатор}
Описание объекта называется единичным описанием объекта, если список его идентификаторов имеет единственный идентификатор; оно называется групповым описанием объектов, если его список имеет два или несколько идентификаторов. Групповое описание объектов эквивалентно последовательности соответствующего числа единичных описаний объектов. Для каждого идентификатора из списка в такой эквивалентной последовательности единичное описание объекта формируется из идентификатора, двоеточия и всего того, что стоит справа от двоеточия в групповом описании объекта; описания в эквивалентной последовательности идут в том же порядке, что и список идентификаторов.
Аналогичная эквивалентность имеет место также для списка идентификаторов описания числа, описаний компонент, спецификаций дискриминантов, спецификаций параметров и описаний параметров настройки, исключений и субконстант.
В остальной части описания языка все пояснения даны для описаний с единственным идентификатором; соответствующие пояснения для описаний с несколькими идентификаторами следуют из эквивалентности, установленной выше.
