From: bobduff@world.std.com (Robert A Duff)
Subject: Re: Real OO (was Choice of OO primitives in Ada95)
Date: 1996/02/24
Date: 1996-02-24T00:00:00+00:00 [thread overview]
Message-ID: <Dn970I.7w5@world.std.com> (raw)
In-Reply-To: yrgg2c3dmz1.fsf@borniche.rennes.enst-bretagne.fr
In article <yrgg2c3dmz1.fsf@borniche.rennes.enst-bretagne.fr>,
Valery Croizier <croizier@rennes.enst-bretagne.fr> wrote:
>If you can simulate Eiffel-like assertions in a trivial way, then
>please show it.
Yes, please do!
>... I know how to check arguments and raise an exception,
>but not so that these checkings are inherited by children, like in Eiffel.
More importantly, how do you do class invariants in Ada?
The only way I know of, is to put some code in *every*
procedure, which is a pain.
I think that Eiffel's assertions are a pretty nice feature,
especially class invariants, which are hard to do by hand.
- Bob
next prev parent reply other threads:[~1996-02-24 0:00 UTC|newest]
Thread overview: 19+ messages / expand[flat|nested] mbox.gz Atom feed top
1996-02-22 0:00 Real OO (was Choice of OO primitives in Ada95) Jean-Pierre Rosen
1996-02-22 0:00 ` Spencer Allain
1996-02-22 0:00 ` Valery Croizier
1996-02-24 0:00 ` Robert A Duff [this message]
1996-02-22 0:00 ` Matt Kennel
1996-02-23 0:00 ` Robert A Duff
1996-02-23 0:00 ` Jon S Anthony
[not found] <Do7uyC.4K2@world.std.com>
1996-03-15 0:00 ` Don Harrison
[not found] <Do7unJ.1sq@world.std.com>
1996-03-15 0:00 ` Don Harrison
-- strict thread matches above, loose matches on Subject: below --
1996-02-20 0:00 Choice of OO primitives in Ada95 Jon S Anthony
1996-02-22 0:00 ` Real OO (was Choice of OO primitives in Ada95) Don Harrison
1996-02-22 0:00 ` Jon S Anthony
1996-02-22 0:00 ` Robert Dewar
1996-02-23 0:00 ` Gene Ouye
1996-02-26 0:00 ` James O'Connor
1996-02-26 0:00 ` Gene Ouye
1996-02-24 0:00 ` Valery Croizier
1996-02-24 0:00 ` Robert A Duff
1996-02-26 0:00 ` Don Harrison
1996-02-26 0:00 ` Matthew B. Kennel
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox