В этой главе были рассмотрены порядковые типы данных Паскаля. Операции, которые могут быть применены к каждому типу, обобщены в следующей таблице.
| Оператор
| Операция
| Функциональность
|
| NOT
| инверсия
| логический -> логический
|
| AND
| коньюнкция
| логический x логический
|
| OR
| дизъюнкция
|
|
| =
| эквивалентность
| порядковый x порядковый -> логический
|
| <>
| неравенство
|
|
| <
| меньше
|
|
| <=
| меньше или равно
|
|
| >
| больше
|
|
| >=
| больше или равно
|
|
| +
| унарный плюс
| целый -> целый
|
| -
| унарный минус
|
|
| +
| бинарное сложение
| целый x целый -> целый
|
| -
| бинарное вычитание
|
|
| *
| умножение
|
|
| DIV
| целочисленное деление
|
|
| MOD
| остаток от деления
|
|
Каждый порядковый тип используется по-своему. Переменные типа BOOLEAN могут быть использованы для хранения сложных условий для дальнейшего использования. Переменные типа INTEGER позволяют легко выполнять подсчет при условии, что выполняется ограничение [-MAXINT, MAXINT]. Перечислимые типы хороши, когда нужно зафиксировать небольшой набор значений, каждое со своим мнемоническим именем. Типы диапазоны позволяют программисту объявлять границы их значений, чтобы они проверялись автоматически.
Методы анализа, использованные в CF Pascal, расширены до использования с порядковыми типами без изменений.
