From: Robert A Duff <bobduff@shell01.TheWorld.com>
Subject: Re: Ada vs Eiffel - Ada programmer approach
Date: Thu, 04 Jun 2009 09:25:59 -0400
Date: 2009-06-04T09:25:59-04:00 [thread overview]
Message-ID: <wccws7s166w.fsf@shell01.TheWorld.com> (raw)
In-Reply-To: 88f38fe3-01ec-407f-b7b6-84a1d10de7f1@h11g2000yqb.googlegroups.com
Ludovic Brenta <ludovic@ludovic-brenta.org> writes:
> I think my point was precisely that Ada assertions were different from
> Eiffel's. I like the fact that, in Ada, I can place assertions in the
> middle of a complex subprogram; this is not possible Eiffel, as you
> aptly described.
It's possible in Eiffel -- Eiffel has a feature analogous to Ada's
pragma Assert.
Newer versions of GNAT have pragmas Precondition and Postcondition.
We're thinking about adding pragma Invariant.
The ARG is also thinking about adding pre/post/inv features to
the language.
- Bob
next prev parent reply other threads:[~2009-06-04 13:25 UTC|newest]
Thread overview: 52+ messages / expand[flat|nested] mbox.gz Atom feed top
2009-05-24 8:39 Ada vs Eiffel - Ada programmer approach Tomek Walkuski
2009-05-24 11:49 ` anon
2009-05-24 12:26 ` Georg Bauhaus
2009-05-24 12:17 ` Georg Bauhaus
2009-05-24 16:31 ` Pascal Obry
2009-05-25 16:32 ` Rugxulo
2009-05-26 13:37 ` Ludovic Brenta
2009-05-26 14:51 ` Dmitry A. Kazakov
2009-05-26 17:26 ` Georg Bauhaus
2009-05-26 17:39 ` Dmitry A. Kazakov
2009-05-26 17:59 ` Georg Bauhaus
2009-05-26 19:52 ` Dmitry A. Kazakov
2009-05-26 20:14 ` Pascal Obry
2009-05-26 20:25 ` Pascal Obry
2009-05-26 21:28 ` Dmitry A. Kazakov
2009-05-26 18:23 ` Jeffrey R. Carter
2009-05-26 15:07 ` Tim Rowe
2009-05-26 16:37 ` Georg Bauhaus
2009-05-28 8:37 ` Nicholas Paul Collin Gloucester
2009-06-01 16:22 ` Tim Rowe
2009-06-04 7:35 ` Hibou57 (Yannick Duchêne)
2009-06-04 9:46 ` Martin
2009-06-04 12:16 ` Hibou57 (Yannick Duchêne)
2009-06-04 9:56 ` Jean-Pierre Rosen
2009-06-16 6:58 ` ardjussi
2009-06-16 17:22 ` Jeffrey R. Carter
2009-05-26 18:21 ` Jeffrey R. Carter
2009-05-26 18:35 ` Dmitry A. Kazakov
2009-06-04 7:39 ` Hibou57 (Yannick Duchêne)
2009-06-04 9:02 ` Ludovic Brenta
2009-06-04 9:19 ` Dmitry A. Kazakov
2009-06-04 12:14 ` Hibou57 (Yannick Duchêne)
2009-06-04 14:14 ` Dmitry A. Kazakov
2009-06-04 16:45 ` Jeffrey R. Carter
2009-06-04 7:30 ` Hibou57 (Yannick Duchêne)
2009-06-04 7:55 ` Ludovic Brenta
2009-06-04 8:45 ` Georg Bauhaus
2009-06-04 9:03 ` Ludovic Brenta
2009-06-04 13:25 ` Robert A Duff [this message]
2009-06-04 13:39 ` Martin
2009-06-04 13:08 ` stefan-lucks
2009-06-08 12:41 ` Samuel Tardieu
2009-06-08 19:37 ` Robert A Duff
2009-06-08 22:52 ` Randy Brukardt
2009-06-09 7:39 ` Dmitry A. Kazakov
2009-06-10 6:55 ` Hibou57 (Yannick Duchêne)
2009-06-10 6:58 ` Hibou57 (Yannick Duchêne)
2009-06-10 11:10 ` Georg Bauhaus
2009-06-04 7:04 ` Hibou57 (Yannick Duchêne)
2009-06-04 6:04 ` Hibou57 (Yannick Duchêne)
2009-06-06 14:27 ` Marco
2009-06-06 15:37 ` Tomek Wałkuski
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox