comp.lang.ada
 help / color / mirror / Atom feed
From: "Pat Rogers" <progers@NOclasswideSPAM.com>
Subject: Re: disjoint ranges ?
Date: 2000/10/12
Date: 2000-10-12T00:00:00+00:00	[thread overview]
Message-ID: <z6rF5.45$bz5.65618@nnrp3.sbc.net> (raw)
In-Reply-To: 8s59nu$ej4$1@news.huji.ac.il

"Ehud Lamm" <mslamm@mscc.huji.ac.il> wrote in message
news:8s59nu$ej4$1@news.huji.ac.il...

> This should be in the FAQ! It was discussed several time here (try
Deja).

Agreed.

> You might find this illuminating:
> http://www.adapower.com/lang/rangewholes.html

Yes, I know about that; I find it rather complex**.  In any case it is
an example of what I called "a bigger abstraction".

** As I understand it, in LanguageLawyerSpeak that is read as "I don't
like it."  ;-)



> 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
2000-10-12  0:00     ` Pat Rogers [this message]
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               ` Robert Dewar
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-13  0:00     ` disjoint ranges ? 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