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: fac41,953e1a6689d791f6 X-Google-Attributes: gidfac41,public X-Google-Thread: 103376,953e1a6689d791f6 X-Google-Attributes: gid103376,public From: jhd@herold.franken.de (Joachim Durchholz) Subject: Re: Eiffel and Java + Ada dispatching Date: 1996/11/12 Message-ID: <6KkYnJwk3RB@herold.franken.de>#1/1 X-Deja-AN: 196272535 references: newsgroups: comp.lang.eiffel,comp.lang.ada Date: 1996-11-12T00:00:00+00:00 List-Id: bobduff@world.std.com wrote 12.11.96: > I'm not sure what you mean by that. That Ada doesn't have assertions? > True. But there's all kinds of other contractual stuff in Ada -- when > you export a type from a package, you define a contract; that is, what > operations there are, and what their parameter names and types are, and > so forth. This is the normal contract on parameter and result types. Eiffel contracts also include arbitrary boolean expressions, extending the contracting idea far into the area of program semantics. Just as a parameter type makes clear what sorts of parameters are required, the preconditions make clear under what circumstances the routine may be called and expected to return a correct result. The Eiffel postconditions list what the routine guarantees to the caller in turn. Regards, -Joachim -- Looking for a new job. Resume available on request. WWW version of resume available under http://www.franken.de/users/herold/jhd/resume/index.html