comp.lang.ada
 help / color / mirror / Atom feed
From: Philippe Torres <ptorres@laas.fr>
Subject: disjoint ranges ?
Date: 2000/10/12
Date: 2000-10-12T19:36:40+00:00	[thread overview]
Message-ID: <39E612C9.9BF98CD3@laas.fr> (raw)

A very dumb question but i can't find the right syntax so here i am. 
How can i declare a type or subtype with a disjoint range ?

Example :

If i declare :
---
type Hours is new Integer range 0 .. 23 ;
--
i would like a
---
subtype Lunch_Hours is Hours range 7..9 & 12..14 & 19..21 ;
---
I know this syntax is totally incorrect but i would like to avoid
enumerations since :

1- enumeration types don't accept elements named as numeric literals. I
can't define : type Lunch_hours is (7,8,9,12,13,...);

2- if my range are big, i am in trouble.

Does someone have an idea ?

Thanks in advance
Philippe




             reply	other threads:[~2000-10-12  0:00 UTC|newest]

Thread overview: 32+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2000-10-12  0:00 Philippe Torres [this message]
2000-10-12  0:00 ` disjoint ranges ? Pat Rogers
2000-10-12  0:00   ` Ehud Lamm
2000-10-12  0:00     ` Pat Rogers
2000-10-13  0:00       ` Ehud Lamm
2000-10-13  0:34       ` Jeff Carter
2000-10-13  0:00         ` Marin David Condic
2000-10-14  3:14           ` Robert Dewar
2000-10-13  0:00         ` Philippe Torres
2000-10-14  3:12           ` Robert Dewar
2000-10-16  0:00             ` Robert A Duff
2000-10-16  0:00               ` Lao Xiao Hai
2000-10-17  0:00                 ` Robert A Duff
2000-10-17  0:00                   ` Lao Xiao Hai
2000-10-18  0:00                   ` dmitry6243
2000-10-18  0:00                 ` Robert Dewar
2000-10-18  0:00                   ` Robert A Duff
2000-10-19  3:08                     ` Overloading "in" (was: disjoint ranges ?) Jeff Carter
2000-10-19  0:00                       ` Ehud Lamm
2000-10-21  0:00                       ` Robert Dewar
2000-10-21  0:00                         ` Jeff Carter
2000-10-16  0:00               ` disjoint ranges ? Robert Dewar
2000-10-13  0:00     ` Philippe Torres
2000-10-13  0:00 ` Lao Xiao Hai
2000-10-14  3:17   ` Robert Dewar
2000-10-16  0:00   ` Robert A Duff
2000-10-13  0:00 ` wayne lydecker
2000-10-13  0:00   ` Lao Xiao Hai
2000-10-23  0:00     ` Charles Hixson
2000-10-24  0:00       ` dmitry6243
2000-10-13  0:00   ` wayne lydecker
2000-10-24  0:00 ` Andrew Cooke
replies disabled

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox