|
|
|
|
|
|
||
Отрезок любого порядкового типа может быть определен как интервальный тип. Отрезок задается диапазоном от минимального до максимального значения констант, разделенных двумя точками. В качестве констант могут быть использованы константы, принадлежащие к целому , символьному , логическому или перечисляемому типам. Скалярный тип, на котором строится отрезок, называется базовым типом.
Минимальное и максимальное значения констант называются нижней и верхней границами отрезка, определяющего интервальный тип. Нижняя граница должна быть меньше верхней.
Описание интервального типа дается в разделе описания типов . Например:
type M = 5..40;
Year = 1987..2000;
Lit = 'A'..'H';
Переменные этих типов должны быть описаны в разделе описания переменных :
var P,Q,S: M;
Y: Year;
L: Lit;
Определить принадлежность переменных к интервальному типу можно непосредственно в разделе описания переменных без использования раздела описания типов:
var P,Q,S: 5..40;
Y: 1987..2000;
L: 'A'..'H';
Над переменными, относящимися к интервальному типу, могут выполняться все операции и применяться все стандартные функции, которые допустимы для соответствующего базового типа.
При использовании в программах интервальных типов данных может осуществляться контроль за тем, чтобы значения переменных не выходили за границы, введенные для этих переменных в описании интервального типа.