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=-1.9 required=5.0 tests=BAYES_00 autolearn=ham autolearn_force=no version=3.4.4 X-Google-Language: ENGLISH,ASCII-7-bit X-Google-Thread: 103376,b631f5d3a356e34d X-Google-Attributes: gid103376,public X-Google-ArrivalTime: 1995-02-27 20:48:25 PST Path: nntp.gmd.de!newsserver.jvnc.net!news.cac.psu.edu!news.pop.psu.edu!hudson.lm.com!newsfeed.pitt.edu!gatech!swrinde!cs.utexas.edu!math.ohio-state.edu!uwm.edu!msunews!harbinger.cc.monash.edu.au!aggedor.rmit.EDU.AU!goanna.cs.rmit.edu.au!not-for-mail From: ok@goanna.cs.rmit.edu.au (Richard A. O'Keefe) Newsgroups: comp.lang.ada Subject: Re: Anna Date: 28 Feb 1995 15:48:25 +1100 Organization: Comp Sci, RMIT, Melbourne, Australia Message-ID: <3iu9up$9ej@goanna.cs.rmit.edu.au> References: <3hp8ob$n36@goanna.cs.rmit.edu.au> <3hqhe9$h66@watnews1.watson.ibm.com> NNTP-Posting-Host: goanna.cs.rmit.edu.au NNTP-Posting-User: ok Date: 1995-02-28T15:48:25+11:00 List-Id: I asked: Has anything been written about how one ought to go about annotating O-O Ada? ncohen@watson.ibm.com (Norman H. Cohen) writes: >Yes, a book called _Object-Oriented_Software_Construction_, by Bertrand >Meyer. For some reason ;-), all the examples are in Eiffel rather than >Ada 95, but the basic approach carries over. I already have that book, and a set of Eiffel manuals. For that and other reasons, the reply somewhat misses the point. I am well aware of the idea of representation invariants and method invariants inheriting from parents, and I am aware of how that is expressed in Eiffel. The question is: HOW IS THAT TO BE SAID IN ANNA? Is there, for example, a new Anna-95 notation all worked out, or is there perhaps a (relatively) widely understood way of expressing the same idea using existing Anna? -- "The complex-type shall be a simple-type." ISO 10206:1991 (Extended Pascal) Richard A. O'Keefe; http://www.cs.rmit.edu.au/~ok; RMIT Comp.Sci.