Date:  Wed, 27 Dec 2000 00:22:25 +0900
From:  namuta@....jp
Subject:  [XP-jp:01422] Re: assertion in Java
To:  extremeprogramming-jp@....jp (extremeprogramming-jp ML)
Message-Id:  <20001227002048Z.namuta@....jp>
In-Reply-To:  Your message of "Tue, 26 Dec 2000 18:37:47 +0900"	<20001226183214Y.hiranabe@....jp>
References:  <20001226183214Y.hiranabe@....jp>
Posted:  Wed, 27 Dec 2000 00:20:48 +0900
X-Mail-Count: 01422

中村です．

＃全然XPの話題ではないのですが…

>> そうそう．ちなみに iContract という製品は，コメントに
>> 
>>  /**
>>    * @pre b != 0
>>    */
>> 
>> と書くんです．そうするとプリコンパイラがコードに assert して
>> くれます．そんで，JavaDoc にも反映される，と．
これってiContractに独自のjavadocユーティリティかアドイン(doclet)がついて
いるのでしょうか？
Sunから提供される通常のjavadocユーティリティ(デフォルトのdoclet)の場合，
知らないタグは無視されたはずですが．
＃HTMLファイルに何もないはずです．
＃それどころか，そのタグ以降がなくなってしまうし…


Javaに事前条件／事後条件の機能をGoslingは入れたかったけど他の開発者(？
)に同意してもらえなかったので入れなかったというようなことを何かで見たこ
とがあります．
やっと世の中がそれを受け入れる時代になったということでしょうかね．
＃Eiffelが(C#で話題の)ILのおかげで広まったりして(^^;


以上
-----
NAKAMURA Tadashi