From mboxrd@z Thu Jan 1 00:00:00 1970 X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me X-Spam-Level: X-Spam-Status: No, score=0.2 required=5.0 tests=BAYES_00,INVALID_MSGID, REPLYTO_WITHOUT_TO_CC autolearn=no autolearn_force=no version=3.4.4 X-Google-Language: ENGLISH,ASCII-7-bit X-Google-Thread: 103376,cd5c71f09395807a X-Google-Attributes: gid103376,public From: Ken Garlington Subject: Re: Assertions in Ada Date: 1997/08/23 Message-ID: <33FF9DEC.2B52@flash.net>#1/1 X-Deja-AN: 268268675 References: Organization: Flashnet Communications, http://www.flash.net Reply-To: Ken.Garlington@computer.org Newsgroups: comp.lang.ada Date: 1997-08-23T00:00:00+00:00 List-Id: Tucker Taft wrote: > > Note that during the 9X design we did consider adding more complete > assertion/invariant constructs, but dropped them in the desire to > reduce the overall scope of the revision. At least in the meetings I attended, there was also a significant conflict among the attendees as to the goals, syntax, etc. of such constructs. I never heard any significant coalition that seemed to agree in any of these areas. Even now, it appears that pragma Assert has some variations among vendors (e.g. the example code in my paper, which works under GNAT, has to have the pragmas moved to work with the Aonix products). > My biggest complaint about Eiffel (and Java, for that matter), however, > is that they don't physically separate interface from implementation (except > via the notion of "deferred" classes). The normal response is that > you can use a tool to "extract" the interface any time you want, > but that seems to break the whole notion of "design by contract." I agree, although maybe we're being too Ada-centric about this. It does seem to complicate matters to have to deal with an extraction, rather than "the thing" itself. > -- > -Tucker Taft stt@inmet.com http://www.inmet.com/~stt/ > Intermetrics, Inc. Burlington, MA USA