comp.lang.ada
 help / color / mirror / Atom feed
From: "Ehud Lamm" <mslamm@mscc.huji.ac.il>
Subject: Re: disjoint ranges ?
Date: 2000/10/12
Date: 2000-10-12T21:16:46+00:00	[thread overview]
Message-ID: <8s59nu$ej4$1@news.huji.ac.il> (raw)
In-Reply-To: DhpF5.178$AR3.40313@nnrp2.sbc.net

This should be in the FAQ! It was discussed several time here (try Deja).
You might find this illuminating:
http://www.adapower.com/lang/rangewholes.html

--
Ehud Lamm   mslamm@mscc.huji.ac.il
http://purl.oclc.org/NET/ehudlamm <==  Me!



Pat Rogers <progers@NOclasswideSPAM.com> wrote in message
news:DhpF5.178$AR3.40313@nnrp2.sbc.net...
> "Philippe Torres" <ptorres@laas.fr> wrote in message
> news:39E612C9.9BF98CD3@laas.fr...
> > 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 ?
>
> All too easy to answer -- you can't.
>
> Generally for that kind of thing you need a bigger abstraction, either
> a "bag" or a set.
>
> ---
> Patrick Rogers                      Consulting and Training in:
> http://www.classwide.com      Deadline Schedulability Analysis
> progers@classwide.com        Software Fault Tolerance
> (281)648-3165                       Real-Time/OO Languages
>
> Adam ... does not deserve all the credit; much is due to Eve, the
> first woman, and Satan, the first consultant.
> Mark Twain
>
>






  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 disjoint ranges ? Philippe Torres
2000-10-12  0:00 ` Pat Rogers
2000-10-12  0:00   ` Ehud Lamm [this message]
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         ` 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         ` Marin David Condic
2000-10-14  3:14           ` Robert Dewar
2000-10-13  0:00     ` Philippe Torres
2000-10-13  0:00 ` wayne lydecker
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 ` Lao Xiao Hai
2000-10-14  3:17   ` Robert Dewar
2000-10-16  0:00   ` Robert A Duff
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