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


Индексируемые типы - часть 7


универсальный-целый

и не больше размерности массива.

A'FIRST

Вырабатывает нижнюю границу диапазона первого индекса. Значение этого атрибута имеет тот же тип, что и эта граница.

A'FIRSTfN)

Вырабатывает значение нижней границы диапазона N-ro индекса. Значение этого атрибута имеет тот же тип, что и эта нижняя граница.

A'LAST

Вырабатывает верхнюю границу диапазона первого индекса. Значение этого атрибута имеет тот же тип, что и эта верхняя граница.

A'LAS^N)

Вырабатывает верхнюю границу диапазона М-го индекса. Значение этого атрибута имеет тот же тип, что и эта верхняя граница.

A'RANGE

Вырабатывает диапазон первого индекса, т. е. диапазон A'FIRST.. A'LAST.

A'RANGE(N)

Вырабатывает диапазон N-ro индекса, т. е. диапазон A'FIRST(N) . . A'LAST(N).

A'LENGTH

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

универсальный-целый.

A'LENGTH(N)

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

универсальный-целый.

Кроме того, для индексируемого типа или подтипа Т определены атрибуты Т'ВАSЕ и T'SIZE (см. 3.3.3), а для массива А определены атрибуты A'SIZE и A'ADDRESS (см. 13.7.2).

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

Примеры (использующие массивы, описанные в примерах раздела 3.6.1):

-- FILTER'FIRST = 0 FILTER'LAST = 31 FILTER'LENGTH == 32 -- RECTANGLE'LAST(1) = 20 RECTANGLE'LAST(2) = 30




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



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