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,fc6f9338f3a892fe
X-Google-Attributes: gid103376,public
Path: 
 controlnews3.google.com!news1.google.com!news.glorb.com!newsfeed00.sul.t-online.de!t-online.de!news-lei1.dfn.de!news-ham1.dfn.de!news.uni-hamburg.de!cs.tu-berlin.de!uni-duisburg.de!not-for-mail
From: Georg Bauhaus <sb463ba@l1-hrz.uni-duisburg.de>
Newsgroups: comp.lang.ada
Subject: Re: A couple of questions
Date: Sun, 2 May 2004 08:55:35 +0000 (UTC)
Organization: GMUGHDU
Message-ID: <c72d27$cpo$1@a1-hrz.uni-duisburg.de>
References: <c6usqs$31m$1@sparta.btinternet.com>
 <c70ep1$ruk$1@hercules.btinternet.com>
 <mailman.43.1083427387.313.comp.lang.ada@ada-france.org>
 <c70rns$pof$1@titan.btinternet.com>
NNTP-Posting-Host: l1-hrz.uni-duisburg.de
X-Trace: a1-hrz.uni-duisburg.de 1083488135 13112 134.91.1.34 (2 May 2004
 08:55:35 GMT)
X-Complaints-To: usenet@news.uni-duisburg.de
NNTP-Posting-Date: Sun, 2 May 2004 08:55:35 +0000 (UTC)
User-Agent: tin/1.5.8-20010221 ("Blue Water") (UNIX) (HP-UX/B.11.00
 (9000/800))
Xref: controlnews3.google.com comp.lang.ada:177
Date: 2004-05-02T08:55:35+00:00
List-Id: <comp.lang.ada>

Yeric <NOSPAM@nospam.com> wrote:
 
: I am still however going to try and learn this other language, and
: since it is a well respected language in this group, I will name it as
: Eiffel.
: 
: Why am I considering both and not just taking the good word of you all ?

Actually there are two ways to use both languages for writing a program.
One is .NET, the other uses the standard mechanisms for calling
external subprograms in either language.

: I understand this now, it was design by contract that I misunderstood
: thinking that it would handle external calls, but logically it cant I guess,

Oh it can. If programmers decide they know the outcome of calling
an external routine, the can say so in the contract.
After all, even without explicit DbC you have to specify the type of the
result and this is a contract item too.

There is an Ada Issue (288) discussing pragmas Pre_Assert,
Classwide_Pre_Assert, and Post_Assert for inclusion in the next
standard. They formalise DbC for future Ada programs.

The names have been changed from Precondition and Postcondition,
unfortunatly, falling short of customary Ada names' quality in my view.


-- Georg