Date:  Tue, 26 Dec 2000 18:37:47 +0900
From:  Kenji Hiranabe <hiranabe@....jp>
Subject:  [XP-jp:01421] Re: assertion in Java
To:  extremeprogramming-jp@....jp (extremeprogramming-jp ML)
Message-Id:  <20001226183214Y.hiranabe@....jp>
In-Reply-To:  Your message of "Tue, 26 Dec 2000 18:22:14 +0900"	<3a4862b4.6866%Morisue_Yoshihiko@....jp>
References:  <3a4862b4.6866%Morisue_Yoshihiko@....jp>
Posted:  Tue, 26 Dec 2000 18:32:14 +0900
X-Mail-Count: 01421

平鍋です．

On Tue, 26 Dec 2000 18:22:14 +0900,
森末　吉彦 <Morisue_Yoshihiko@....jp> said:

 > 理解できました。

 > public double divide(double a, double b) {
 >    assert(b != 0);
 >    return a/b;
 > }

 > みたいなことができるわけですね。
 > 確かにこれは便利ですね。

そうそう．その通りです．型システムだけでは，すり抜けてしまう
事前の条件をランタイムにチェックするわけです．

 > このassertで設定する内容はJavadocにも反映されるようになると
 > Goodですね。

そうそう．ちなみに iContract という製品は，コメントに

 /**
   * @pre b != 0
   */

と書くんです．そうするとプリコンパイラがコードに assert して
くれます．そんで，JavaDoc にも反映される，と．

>> 2つ目は，パフォーマンス．

 > この無駄を楽に解消できないか、最近漠然と悩んでたんですよ。
 > ブラボーですね！(^o^)

java では難しかった部分ですからね．

以上