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