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: fac41,e01bd86884246855
X-Google-Attributes: gidfac41,public
X-Google-Thread: 103376,fb1663c3ca80b502
X-Google-Attributes: gid103376,public
From: "Veli-Pekka Nousiainen" <vp.nousiainen@kolumbus.fi>
Subject: Re: Aspects (Re: Interesting thread in comp.lang.eiffel)
Date: 2000/07/12
Message-ID: <8kikad$23l$1@news.kolumbus.fi>#1/1
X-Deja-AN: 645621170
References: <8ipvnj$inc$1@wanadoo.fr> <8j67p8$afd$1@nnrp1.deja.com>
 <slrn8leffq.ebq.gisle@spurv.ii.uib.no> <395886DA.CCE008D2@deepthought.com.au>
 <3958B07B.18A5BB8C@acm.com> <y1d65.620$7%3.33446@news.flash.net>
 <395A0ECA.940560D1@acm.com> <8jd4bb$na7$1@toralf.uib.no>
 <8jfabb$1d8$1@nnrp1.deja.com> <8jhq0m$30u5$1@toralf.uib.no>
 <8jt4j7$19hpk$1@ID-9852.news.cis.dfn.de> <3963CDDE.3E8FB644@earthlink.net>
 <3963DEBF.79C40BF1@eiffel.com> <396502D2.BD8A42E7@earthlink.net>
 <39654639.B3760EF2@eiffel.com> <i4k95.7512$7%3.571616@news.flash.net>
 <oqog45g1j0.fsf@premise.demon.co.uk> <85Fa5.11419$7%3.818927@news.flash.net>
 <pb8k8ersvvs.fsf_-_@aimnet.com>
X-Priority: 3
X-MimeOLE: Produced By Microsoft MimeOLE V5.50.4029.2901
Organization: Kolumbus Internet Services Customer
X-MSMail-Priority: Normal
Reply-To: "Veli-Pekka Nousiainen" <spam_vp.nousiainen@kolumbus.fi>
Newsgroups: comp.lang.ada,comp.lang.eiffel
Date: 2000-07-12T00:00:00+00:00
List-Id: <comp.lang.ada>

vp.nousiainen@lapinlahden-teknologiakeskus.fi

"tom" <tmb at ncal point verio point com x@x.x> wrote in message
news:pb8k8ersvvs.fsf_-_@aimnet.com...
> "Ken Garlington" <Ken.Garlington@computer.org> writes:
> > Unfortunately, all the tool does is eliminate the non-contract part. It
> > won't convert something like this:
> >
> > convert (horizontal_bias: INTEGER): INTEGER is
> >       require
> >          horizontal_bias <= Maximum_bias
> >
> > into a plot of horizontal bias vs. ascent angle, or into another form
that a
> > system engineer (as opposed to a software engineer) can understand and
use.
>
> I think that's a major problem with Eiffel-style contracts: they are
> scattered throughout the code, and they are limited to assertion
> checking.  To me, it seems that aspects (www.aspectj.org) are actually
> altogether a better approach.
>
> First, aspects let you implement Eiffel-style contracts and separate them
> out into a separate file.  This makes it possible for, say, a system

Use ISE Eiffel short-form for this. Give it a try !
http://www.eiffel.com/webforms/eiffel_download_ini.html
VPN

> engineer to understand and review them independently.  In fact, you
> can even have separate "cleanroom" development of contracts and actual
> code, which I would expect to be considerably more robust.
>
> Second, aspects let you implement analysis and code understanding
> tools that are more general than contracts.  For example, developing
> an aspect that could be used to make plots for system engineers would
> be nearly trivial (a few lines expressing the idea "whenever any
> method is executed on an instance of this class, note the time, the
> horizontal bias, and the ascent angle") and without affecting the main
> body of code.  That encourages the development of better testing
> tools, and it also makes sure that people don't introduce bugs into
> the main branch of code when writing testing code.
>
> Have people in the Eiffel community looked at aspects?  What do you
> think?
>
> Tom.