From: croizier@rennes.enst-bretagne.fr (Valery Croizier)
Subject: Re: Real OO (was Choice of OO primitives in Ada95)
Date: 1996/02/22
Date: 1996-02-22T00:00:00+00:00 [thread overview]
Message-ID: <yrgg2c3dmz1.fsf@borniche.rennes.enst-bretagne.fr> (raw)
In-Reply-To: 199602221711.SAA18350@email.enst.fr
In article <199602221711.SAA18350@email.enst.fr> Jean-Pierre Rosen <rosen@EMAIL.ENST.FR> writes:
> >3) The only significant OO language I know of that offers this is Eiffel.
> > Assertions are executable conditions which must be satisfied to guarantee
> > that an abstraction has a valid state whenever it is updated. These include:
> I have a package for 3) if you want. It's less than 50 lines long, including
> comments.
If you can simulate Eiffel-like assertions in a trivial way, then
please show it. I know how to check arguments and raise an exception,
but not so that these checkings are inherited by children, like in Eiffel.
--
Valery CROIZIER
Valery.Croizier@enst-bretagne.fr
next prev parent reply other threads:[~1996-02-22 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 ` Matt Kennel
1996-02-23 0:00 ` Robert A Duff
1996-02-22 0:00 ` Valery Croizier [this message]
1996-02-24 0:00 ` Robert A Duff
1996-02-22 0:00 ` Spencer Allain
1996-02-23 0:00 ` Jon S Anthony
[not found] <Do7unJ.1sq@world.std.com>
1996-03-15 0:00 ` Don Harrison
[not found] <Do7uyC.4K2@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 ` Robert A Duff
1996-02-26 0:00 ` Don Harrison
1996-02-26 0:00 ` Matthew B. Kennel
1996-02-24 0:00 ` Valery Croizier
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox