Re: Asercje i "Design by Contract"

Article View: pl.comp.objects

Article #13558

#13558

From: Piotr Dembiński
Date: Sun, 20 Nov 2005 14:30

24 lines
1681 bytes

" Aneta" <aneta_ra@WYTNIJ.gazeta.pl> writes:

[...]

> Ale czym rózni sie np javowe: 
>  
> if ( thisClassAssertsOn && !(x >=0) )  
>          throw new AssertionFailed("X ujemne, rowne " + x);  
>  
> od asercji proponowanych przez Meyera? 

Od pythonowych na pewno różni się czytelnością.

> Czy rzeczywiscie w Javie nie ma "Design by Contract", czy tylko
> implementuje sie to w tym jezyku mniej elegancko niż w Eiffelu? 

Jej, warunki wstępne i końcowe można sobie zaimplementować praktycznie
w dowolnym języku, tyle że niektóre języki mają do tego lepsze
wsparcie w składni, a inne gorsze.  DBC jest raczej sposobem tworzenia
programów, niż cechą języka programowania.  No i IMO DBC b. dobrze się
'zgrywa' z duck typing i językami z dynamicznym typowaniem.

-- 
http://www.piotr.dembiński.prv.pl

Technical Details

Message-ID: <87oe4f75o9.fsf@hector.domek>

Path: mbox-mo1.pugleaf.net!news-archive.icm.edu.pl!news.gazeta.pl!not-for-mail

References: <dlpqs2$joq$1@inews.gazeta.pl>

Show Full Headers

Complete Article Headers

Path: mbox-mo1.pugleaf.net!news-archive.icm.edu.pl!news.gazeta.pl!not-for-mail
From: Piotr Dembiński <pdemb@gazeta.pl>
Newsgroups: pl.comp.objects
Subject: Re: Asercje i "Design by Contract"
Date: Sun, 20 Nov 2005 15:30:30 +0100
Organization: "Portal Gazeta.pl -> http://www.gazeta.pl"
Lines: 24
Message-ID: <87oe4f75o9.fsf@hector.domek>
References: <dlpqs2$joq$1@inews.gazeta.pl>
NNTP-Posting-Host: die12.neoplus.adsl.tpnet.pl
Mime-Version: 1.0
X-Trace: inews.gazeta.pl 1132496919 16902 83.23.212.12 (20 Nov 2005 14:28:39 GMT)
X-Complaints-To: usenet@agora.pl
NNTP-Posting-Date: Sun, 20 Nov 2005 14:28:39 +0000 (UTC)
Cancel-Lock: sha1:qOWtfsi9CRRdngwFXz+XLH835c0=
X-User: pdemb
User-Agent: Gnus/5.1007 (Gnus v5.10.7) Emacs/21.4 (gnu/linux)
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

Reply to Parent Message