Re: Asercje i

Article View: pl.comp.objects

Article #13539

#13539

From: Aneta
Date: Sun, 20 Nov 2005 15:32

21 lines
1748 bytes

> Skad ci sie to wzielo?... Assertions w Javie robi sie tak:

Zakladajac że uzywasz Javy >= 1.4. Ja z pewnych wzgledów zmuszona jestem
uzywac 1.3 a tam nie mam czegos takiego jak "assert".

Poza tym nie w tym rzecz. Ja rozumiem że kwestie takie jak warunki wejsciowe,
wyjsciowe i inwarianty klas (czyli rzeczy składające się na "Design by
Contract") to niemal specyfikacja na poziomie języka (samo DBC to w zasadzie
projektowanie). Ale rzecz wlasnie w tym, że Eiffel wspomaga to doskonale na
poziomie składni. Stad moje pytanie, czy Waszym zdaniem asercje i samo DBC
jest w Javie trudniej/mniej elegancko realizowane. 

eh, mam nadzieje że nie przyczepicie się do moich (zapewne) niefortunnych
konstrukcji jezykowych (specyfikacja na poziomie języka itp). Mam nadzieję, że
nie zagmatwalam zbyt mocno.

Pozdr. Aneta

-- 
Wysłano z serwisu Usenet w portalu Gazeta.pl -> http://www.gazeta.pl/usenet/

Technical Details

Message-ID: <dlq4tn$38f$1@inews.gazeta.pl>

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

References: <dlpqs2$joq$1@inews.gazeta.pl> <6c31o1tdmvr143vecpdjoivn0asrg6lsr4@4ax.com>

Show Full Headers

Complete Article Headers

Path: mbox-mo1.pugleaf.net!news-archive.icm.edu.pl!news.gazeta.pl!not-for-mail
From: " Aneta" <aneta_ra@NOSPAM.gazeta.pl>
Newsgroups: pl.comp.objects
Subject: Re: Asercje i
Date: Sun, 20 Nov 2005 15:32:07 +0000 (UTC)
Organization: "Portal Gazeta.pl -> http://www.gazeta.pl"
Lines: 21
Message-ID: <dlq4tn$38f$1@inews.gazeta.pl>
References: <dlpqs2$joq$1@inews.gazeta.pl> <6c31o1tdmvr143vecpdjoivn0asrg6lsr4@4ax.com>
NNTP-Posting-Host: chello083144071233.chello.pl
X-Trace: inews.gazeta.pl 1132500727 3343 172.20.26.235 (20 Nov 2005 15:32:07 GMT)
X-Complaints-To: usenet@agora.pl
NNTP-Posting-Date: Sun, 20 Nov 2005 15:32:07 +0000 (UTC)
X-User: aneta_ra
X-Forwarded-For: 172.20.6.161
X-Remote-IP: chello083144071233.chello.pl
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

Reply to Parent Message