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


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


Ссыпки:

графический символ 2.1, идентификатор 2.8, константа 3.2.1, литерал 4.2, описание 3.1, основной символ 2.1, перечислимый тип 3.5.1, предопределенный пакет С, предопределенный тип С, символьный литерал 2.5, тип 3.3.

3.5.3. ЛОГИЧЕСКИЕ ТИПЫ

Существует предопределенный перечислимый тип, именуемый BOOLEAN. Он содержит два литерала FALSE и TRUE, упорядоченные соотношением FALSE < TRUE. Логический тип &#x2014; это тип BOOLEAN или производный непосредственно или косвенно от логического типа.

Ссылки:

литерал перечисления 3.5.1, операция отношения 4.5, 4.5.2, перечислимый тип 3.5.1, производный тип 3.4, тип 3.3.

3.5.4. ЦЕЛЫЕ ТИПЫ

Определение целого типа задает целый тип, набор значений которого включает значения заданного диапазона.

определение-целого-типа ::= ограничение-диапазона

Границы диапазона должны определяться статическими выражениями некоторого, не обязательно одного и того же, целого типа. (Допускаются отрицательные границы.) Описание типа в форме

type

Т

is range

L .. R

;

по определению эквивалентно следующим описаниям:

type

целый- тип

is new

предопределенный-целый-тип;

subtype

Т

is

целый-тип

range

целый- тип

(L) ..

целый-тип

(R);

где целый-тип &#x2014; это анонимный тип, а предопределенный целый тип выбран реализацией и содержит значения от L до R включительно. Описание целого типа неправильно, если ни один из предопределенных целых типов не удовлетворяет этому требованию, за исключением типа

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

Предвыполнение описания целого типа состоит из предвыполне-ния эквивалентных описаний типа и подтипа.

Предопределенные целые типы включают тип INTEGER. Реализация может также иметь предопределенные типы SHORT-INTEGER и LONG-INTEGER, диапазоны которых соответственно (существенно) уже и шире, чем у типа INTEGER. Диапазон этих типов должен быть симметричным относительно нуля, кроме наименьшего из отрицательных значений, которое может существовать в некоторых реализациях. Базовым для каждого из этих типов является он сам.




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



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