From: "Hibou57 (Yannick Duchêne)" <yannick_duchene@yahoo.fr>
Subject: Require / ensure clauses
Date: Tue, 21 Oct 2008 12:23:35 -0700 (PDT)
Date: 2008-10-21T12:23:35-07:00 [thread overview]
Message-ID: <df98761e-f67d-42e9-a86d-cb9c72a56e64@c60g2000hsf.googlegroups.com> (raw)
Hello dear all of you,
A simple question which live into my mind for sometimes (let say a bit
long) is about the require and ensure clauses of the Eiffel lanuage.
For people who do not known, let say that these are predicate which
assert property on a language or function execution (and returned
result for a function). Well, to be honest, Eiffel also knows things
like invariant (for classes) and variant (for loops), but let keep it
simple (the question) and just talk about require/ensure, .. no more.
So... what about require / ensure clauses in the Ada world ?
How does Ada developpers feel about it ? Does any one of you miss it ?
How do you do ? Use comments whith similar meanings ? Others ?
... here we are... let's simply talk about design by contract with
Ada :)
next reply other threads:[~2008-10-21 19:23 UTC|newest]
Thread overview: 3+ messages / expand[flat|nested] mbox.gz Atom feed top
2008-10-21 19:23 Hibou57 (Yannick Duchêne) [this message]
2008-10-21 19:25 ` Require / ensure clauses Hibou57 (Yannick Duchêne)
2008-10-21 23:48 ` Georg Bauhaus
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox