comp.lang.ada
 help / color / mirror / Atom feed
From: Georg Bauhaus <rm.dash-bauhaus@futureapps.de>
Subject: Re: On pragma Precondition etc.
Date: Tue, 29 Jul 2008 16:49:53 +0200
Date: 2008-07-29T16:49:53+02:00	[thread overview]
Message-ID: <488f2e11$0$20707$9b4e6d93@newsspool4.arcor-online.net> (raw)
In-Reply-To: <488f26e8$0$20705$9b4e6d93@newsspool4.arcor-online.net>

Georg Bauhaus schrieb:

> For the Class Invariant, Randy Brukardt has mentioned
> 
>    for T'Constraint use Function_Name;
> 

Hmmm...  There is Foo'Result, already, in GNAT's "experimental"
edition. So,


    function Foo(X, Y: Integer) return Whatever;
    --  The bar of (x, y)

    for Foo'Precondition use X > Y;

Or,

    for Foo'Precondition use
       local_name => expression {, local_name => expression} ;


Or, reusing Assert and exception mechnisms

    for Foo'Precondition use
       expression with "message"
      {, expression with "another message"} ;


Should we be wanting parentheses around the aggregates of
boolean expressions?  :)


--
Georg Bauhaus
Y A Time Drain  http://www.9toX.de



  reply	other threads:[~2008-07-29 14:49 UTC|newest]

Thread overview: 24+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2008-07-25  8:01 On pragma Precondition etc Georg Bauhaus
2008-07-25 10:50 ` stefan-lucks
2008-07-25 11:05   ` mockturtle
2008-07-25 11:44     ` Alex R. Mosteo
2008-07-25 11:56       ` Georg Bauhaus
2008-07-28  8:02         ` Alex R. Mosteo
2008-07-29 11:18       ` Martin Krischik
2008-07-29 12:08         ` Dmitry A. Kazakov
2008-07-29 14:19           ` Georg Bauhaus
2008-07-29 14:49             ` Georg Bauhaus [this message]
2008-07-29 15:00             ` Dmitry A. Kazakov
2008-07-29 15:14               ` Georg Bauhaus
2008-07-29 15:55               ` Georg Bauhaus
2008-07-29 17:49                 ` Dmitry A. Kazakov
2008-07-30  9:06                   ` Georg Bauhaus
2008-07-30 13:47                     ` Dmitry A. Kazakov
2008-07-30 17:45                       ` Georg Bauhaus
2008-07-31  8:12                         ` Dmitry A. Kazakov
2008-07-31 23:06                           ` Georg Bauhaus
2008-08-01  8:40                             ` Dmitry A. Kazakov
2008-07-30  9:22                   ` Georg Bauhaus
2008-07-30 13:56                     ` Dmitry A. Kazakov
2008-07-25 14:39   ` Robert A Duff
2008-07-25 16:50 ` Pascal Obry
replies disabled

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox