Отрезок любого порядкового типа
может быть определен как интервальный или ограниченный
тип. Отрезок задается диапазоном от минимального до максимального
значения констант, разделенных двумя точками. В качестве констант мо-
гут быть использованы константы, принадлежащие к целому, символьному,
логическому или перечисляемому типам. Скалярный тип, на котором стро-
ится отрезок, называется базовым типом.
Минимальное и максимальное значения констант называются нижней и
верхней границами отрезка, определяющего интервальный тип. Нижняя
граница должна быть меньше верхней.
{}
Над переменными, относящимися к интервальному типу, могут выпол-
няться все операции и применяться все стандартные функции, которые
допустимы для соответствующего базового типа.
При использовании в программах интервальных типов данных может осущест-
вляться контроль за тем, чтобы значения переменных не выходили за
границы, введенные для этих переменных в описании интервального типа.