From: "Randy Brukardt" <randy@rrsoftware.com>
Subject: Re: Is there a way to do large block of source code comments
Date: Tue, 2 Sep 2014 18:33:36 -0500
Date: 2014-09-02T18:33:36-05:00 [thread overview]
Message-ID: <lu5k4h$c19$1@loke.gir.dk> (raw)
In-Reply-To: lu4fs5$q6q$1@dont-email.me
"G.B." <bauhaus@futureapps.invalid> wrote in message
news:lu4fs5$q6q$1@dont-email.me...
...
> On the other hand, in Ada 2012, there now is a way for programmers
> to "explain aspects of the code that are otherwise not
> readily apparent." [ibid.]. This can be achieved, in part, by using
> the contract related aspects of RM 6.1.1. Similarly, a standard
> aspect for things still not readily apparent could be hooked to
> an aspect, as explained below.
If you're talking about aspects in general, they're defined in 13.1.1. This
certainly wouldn't be a contract aspect (which is a Boolean-valued
expression that can be ignored, see 11.4.2), so you ought to reference
13.1.1. Nothing about aspects or contracts (in general) is defined in 6.1.1.
Randy.
next prev parent reply other threads:[~2014-09-02 23:33 UTC|newest]
Thread overview: 48+ messages / expand[flat|nested] mbox.gz Atom feed top
2014-09-01 17:24 Is there a way to do large block of source code comments gdotone
2014-09-01 19:04 ` Jeffrey Carter
2014-09-03 0:07 ` robin.vowels
2014-09-03 0:44 ` Jeffrey Carter
2014-09-03 1:15 ` gdotone
2014-09-03 4:17 ` J-P. Rosen
2014-09-03 8:04 ` Brian Drummond
2014-09-03 0:50 ` Adam Beneschan
2014-09-04 2:30 ` robin.vowels
2014-09-04 15:12 ` Adam Beneschan
2014-09-03 8:22 ` Georg Bauhaus
2014-09-03 8:28 ` Stefan.Lucks
2014-09-03 8:23 ` gdotone
2014-09-03 8:57 ` Pascal Obry
2014-09-03 15:12 ` Stefan.Lucks
2014-09-03 15:52 ` Pascal Obry
2014-09-03 17:48 ` Georg Bauhaus
2014-09-03 18:28 ` Peter Chapin
2014-09-03 18:52 ` Adam Beneschan
2014-09-03 21:47 ` gautier_niouzes
[not found] ` <91e173a8-7451-4609-b141-ce3c6b19455f@googlegroups.com>
2014-09-04 5:56 ` Pascal Obry
2014-09-03 22:42 ` Georg Bauhaus
2014-09-03 21:02 ` Stefan.Lucks
2014-10-01 21:15 ` Randy Brukardt
2014-09-03 16:58 ` Jeffrey Carter
2014-09-04 18:19 ` Keith Thompson
2014-09-03 15:32 ` Shark8
2014-09-04 2:37 ` robin.vowels
2014-09-04 7:20 ` Georg Bauhaus
2014-09-04 12:46 ` robin.vowels
2014-09-04 15:44 ` G.B.
2014-09-12 2:52 ` Shark8
2014-09-01 19:08 ` Niklas Holsti
2014-09-01 20:34 ` G.B.
2014-09-01 20:53 ` Niklas Holsti
2014-09-02 13:14 ` G.B.
2014-09-02 14:38 ` kalvin.news
2014-09-02 23:33 ` Randy Brukardt [this message]
2014-09-03 8:17 ` Georg Bauhaus
2014-09-01 21:15 ` Simon Wright
2014-09-02 15:01 ` Adam Beneschan
2014-09-02 16:35 ` Simon Wright
2014-09-02 17:14 ` Jeffrey Carter
2014-09-02 19:02 ` Niklas Holsti
2014-09-02 20:10 ` mockturtle
2014-09-02 23:36 ` Randy Brukardt
2014-09-01 19:13 ` Anh Vo
2014-09-01 21:04 ` gdotone
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox