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


Скалярные типы - часть 2


Т'FIRST

Вырабатывает значение нижней границы Т. Значение этого атрибута имеет тип Т.

Т'LAST

Вырабатывает значение верхней границы Т. Значение этого атрибута имеет тип Т.

Примечание.

Индексирование и правила итерации используют значения дискретных типов.

Ссылки:

атрибут 4.1.4, атрибут диапазона 3.6.2, вещественный тип 3.5.6, вычисление 4.5, индекс 3.6, обозначение типа 3.3.2, ограничение 3.3, ограничение плавающего типа 3.5.7, ограничение фиксированного типа 3.5.9, оператор цикла 5.5, операция отношения 4.5, 4.5.2, ошибочный 1.6, перечислимый тип 3.5.1, простое выражение 4.4, удовлетворяет ограничению 3.3, указание подтипа 3.3.2, целый тип 3.5.4.

3.5.1. ПЕРЕЧИСЛИМЫЕ ТИПЫ

Определение перечислимого типа задает перечислимый тип

определение - перечислимого - типа:: =

(спецификация -литерала-перечисления (, спецификация - литерала - перечисления))

спецификация-литерала-перечисления ::= литерал-перечисления литерал-перечисления ::= идентификатор|символьный-литерал

Идентификаторы и символьные литералы, перечисленные в определении перечислимого типа, должны быть различными. Каждая спецификация литерала перечисления является его описанием; это описание эквивалентно описанию функции без параметров, обозначение которой — литерал перечисления, а тип результата — перечислимый тип. Предвыполнение определения перечислимого типа создает перечислимый тип; это Предвыполнение включает пред-выполнение каждой спецификации литерала перечисления.

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

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




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