From: Georg Bauhaus <bauhaus@futureapps.invalid>
Subject: Re: Is there a way to do large block of source code comments
Date: Wed, 03 Sep 2014 10:17:16 +0200
Date: 2014-09-03T10:17:16+02:00 [thread overview]
Message-ID: <lu6iqd$n08$1@dont-email.me> (raw)
In-Reply-To: <lu5k4h$c19$1@loke.gir.dk>
On 03.09.14 01:33, Randy Brukardt wrote:
> "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
There's the huge misunderstanding. My fault not explaining it well.
Comments, as outlined, are definitely parts of contracts, and crucially so,
because a party can be held responsible if the comment is wrong.
"Contract based programming" is the important activity(!) that gives
asserting conditions the same significance as asserting comments.
- If a contract is wrong, the program needs to be fixed.
- If a comment is wrong, the, uhm, comment needs to be fixed???
(Ah. That's the engineers getaway car. I see.)
If comments can be "attached" to some declaration in the sense of 13.1.1,
that's a means to an end, thanks for the reference.
Won't send.
next prev parent reply other threads:[~2014-09-03 8:17 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
2014-09-03 8:17 ` Georg Bauhaus [this message]
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