Type scalaire : Le type intervalle

Un type intervalle est nécessairement un sous-type d'un type scalaire (standard ou énuméré) déjà défini.

Toutes les valeurs de l'intervalle sont autorisées.

type

identificateur = [borne inf] .. [borne sup] ;

Intervalle d'entiers

type

Decimal = 0 .. 9 ;

Octal = 0 .. 7 ;

Age = 0 .. 150 ;

Intervalle de caractères

type

ABC = 'A' .. 'C' ;

Maj = 'A' .. 'Z' ;

Intervalle avec un type non-standard

type

Ouvrable = lundi .. vendredi ;

WeekEnd = samedi .. dimanche ;

Lettres = 'A' .. 'Z' ;

On ne peut pas définir un type intervalle à l'aide du type « real » (type non scalaire).
L'ordre ascendant est requis : « borne-inf » doit être placé avant « borne-sup » dans le type énuméré source.

Exemples de déclarations incorrectes

type

Octal= 7 .. 0 ;

Ouvrable = vendredi .. lundi ;