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.3 required=5.0 tests=BAYES_00,INVALID_MSGID autolearn=no autolearn_force=no version=3.4.4 X-Google-Language: ENGLISH,ASCII-7-bit X-Google-Thread: 103376,2ea02452876a15e1 X-Google-Attributes: gid103376,public From: croizier@rennes.enst-bretagne.fr (Valery Croizier) Subject: Re: Real OO (was Choice of OO primitives in Ada95) Date: 1996/02/22 Message-ID: #1/1 X-Deja-AN: 140686078 distribution: world sender: croizier@borniche.rennes.enst-bretagne.fr references: <199602221711.SAA18350@email.enst.fr> content-type: text/plain; charset=US-ASCII organization: ENST de Bretagne, Rennes, France mime-version: 1.0 newsgroups: comp.lang.ada Date: 1996-02-22T00:00:00+00:00 List-Id: In article <199602221711.SAA18350@email.enst.fr> Jean-Pierre Rosen writes: > >3) The only significant OO language I know of that offers this is Eiffel. > > Assertions are executable conditions which must be satisfied to guarantee > > that an abstraction has a valid state whenever it is updated. These include: > I have a package for 3) if you want. It's less than 50 lines long, including > comments. If you can simulate Eiffel-like assertions in a trivial way, then please show it. I know how to check arguments and raise an exception, but not so that these checkings are inherited by children, like in Eiffel. -- Valery CROIZIER Valery.Croizier@enst-bretagne.fr