Порядковые типы представляют собой подмножество простых ти-
пов. Все простые типы, отличные от вещественных типов, являются
порядковыми и выделяются по следующим четырем характеристикам.
- Все возможные значения данного порядкового типа представ-
ляют собой упорядоченное множество, и каждое возможное
значение связано с порядковым номером, который представ-
ляет собой целочисленное значение. За исключением значе-
ний целочисленного типа, первое значение любого порядко-
вого типа имеет порядковый номер 0, следующее значение
имеет порядковый номер 1 и так далее для каждого значения
в этом порядковом типе. Порядковым номером значения цело-
численного типа является само это значение. В любом по-
рядковом типе каждому значению, кроме первого, предшест-
вует другое значение, и после каждого значения, кроме
последнего, следует другое значение в соответствии с упо-
рядоченностью типа.
- К любому значению порядкового типа можно применить стан-
дартную функцию Ord, возвращающую порядковый номер этого
значения.
- К любому значению порядкового типа можно применить стан-
дартную функцию Pred, возвращающую предшествующее этому
значению значение. Если эта функция применяется к первому
значению в этом порядковом типе, то выдается сообщение об
ошибке.
- К любому значению порядкового типа можно применить стан-
дартную функцию Succ, возвращающую следующее за этим зна-
чением значение. Если эта функция применяется к последне-
му значению в этом порядковом типе, то выдается сообщение
об ошибке.
- К любому значению порядкового типа и к ссылке на перемен-
ную порядкового типа можно применить стандартную функцию
Low, возвращающую наименьшее значение в диапазоне данного
порядкового типа.
- К любому значению порядкового типа и к ссылке на перемен-
ную порядкового типа можно применить стандартную функцию
High, возвращающую наибольшее значение в диапазоне данно-
го порядкового типа.
Синтаксис порядкового типа имеет следующий вид:
┌────────────────────┐
порядковый ─────┬────>│ отрезок типа ├─────────>
тип │ └────────────────────┘ ^
│ ┌────────────────────┐ │
├────>│ перечислимый тип ├─────┤
│ └────────────────────┘ │
│ ┌────────────────────┐ │
└────>│ идентификатор ├─────┘
│ порядкового типа │
└────────────────────┘
Borland Pascal имеет 10 встроенных порядковых типов: Integer
(целое), Shortint (короткое целое), Longint (длинное целое), Byte
(длиной в байт), Word (длиной в слово), Boolean (булевское),
ByteBool (булевское размером в байт), WordBool (булевское разме-
ром в слово), LongBool (длинный булевский тип) и Char (символьный
тип). Кроме того, имеется два других класса определяемых пользо-
вателем порядковых типов: перечислимые типы и отрезки типов (под-
диапазоны).