From: "Randy Brukardt" <randy@rrsoftware.com>
Subject: Re: Class wide preconditions: error in the Ada 2012 Rationale?
Date: Thu, 8 Nov 2012 20:13:23 -0600
Date: 2012-11-08T20:13:23-06:00 [thread overview]
Message-ID: <k7hos5$p9j$1@munin.nbi.dk> (raw)
In-Reply-To: op.wnhfv7yjule2fv@cardamome
[-- Warning: decoded text below may be mangled, UTF-8 assumed --]
[-- Attachment #1: Type: text/plain, Size: 695 bytes --]
"Yannick Duch�ne (Hibou57)" <yannick_duchene@yahoo.fr> wrote in message
news:op.wnhfv7yjule2fv@cardamome...
Le Fri, 09 Nov 2012 01:57:51 +0100, Randy Brukardt <randy@rrsoftware.com>
a �crit:
>> (I wanted to make that a requirement, but that was shot down.)
>How shot down? (if the question is not too much inquisitive)
I don't recall the details, but I think most people wanted as few
restrictions as possible. "Methodological restrictions" have a bad history
in Ada, and thus we often avoid them. Clearly a tool like AdaControl can
enforce style rules beyond those the language requires, and that was thought
to be the best option here.
Randy.
prev parent reply other threads:[~2012-11-16 8:54 UTC|newest]
Thread overview: 6+ messages / expand[flat|nested] mbox.gz Atom feed top
2012-11-05 20:41 Class wide preconditions: error in the Ada 2012 Rationale? Yannick Duchêne (Hibou57)
2012-11-05 20:43 ` Yannick Duchêne (Hibou57)
2012-11-06 1:04 ` sbelmont700
2012-11-09 0:57 ` Randy Brukardt
2012-11-09 1:32 ` Yannick Duchêne (Hibou57)
2012-11-09 2:13 ` Randy Brukardt [this message]
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox