Date:  Tue, 26 Dec 2000 16:47:58 +0900
From:  Toru TAKAHASHI <tooru6.takahashi@....jp>
Subject:  [XP-jp:01419] Re: assertion in Java
To:  extremeprogramming-jp@....jp (extremeprogramming-jp ML)
Message-Id:  <200012260747.QAA11371@....jp>
In-Reply-To:  <20001226144417L.hiranabe@....jp>
References:  <20001226144417L.hiranabe@....jp>
Posted:  Tue, 26 Dec 2000 16:47:17 +0900
X-Mail-Count: 01419

高橋(徹）です。

> 平鍋です．
> 
> Java SDK1.4 (Marline) の仕様を見ていたら，assertion が入って
> いるのですね．
入っています(^^)
JDK1.4に加わる予定の機能では、assertionとloggingがうれしいです。
キーワードとしてassertが追加されるそうです。
仮想マシン仕様は変えずにJava言語仕様を追加するみたいですね。

> これがあると，随分楽になりますね．DbC も UnitTesting
> Framework も．$assertionEnabled は，コンパイラオプション，お
> よび ClassLoader で制御するらしい．
Public Draftでは、Simpleさを失わないこと、過去のライブラリとの
一貫性を保つことを理由に契約による設計の事前・事後条件、不変表明機能は
外したとあります。
DbCを使いたい人は、assertを用いて作ってねということみたいです。

======------======------======
Toru Takahashi,  TOSHIBA Corps. KOMUKAI Works
(office)tooru6.takahashi@....jp
(private)torutk@....jp
         http://www.alles.or.jp/~torutk/