前提条件を破った場合、どのような挙動をするのか？ - 都元ダイスケ IT-PRESS

「Nullチェックされている前提の処理」とJavadocに書いたとき、「throws NullPo…」は書くんだろうか。んー、コード上は発生しうるけど、実際発生しないから不要なのかな はてなブックマーク - u1tnkのブックマーク / 2009年12月29日 まぁ、このブログで書いている話は、あくまでも「俺式」ということをご理解いただいた上で。（ここに書いた事が全て、って訳じゃありません。他にも色々ポリシーはあると思うが、自分はこれが一番良いと考えている。） 自分の考えは、契約プログラミングに基づいてます。DbC（Design by Contract）って奴ですね。 あるメソッドが「Nullチェックされている前提の処理」というのは、引数にnullは入ってこない前提、ということですよね。そしてJavadocを書くということは恐らくこのメソッドは公開API（publicかprotected）

[sugimori]

公開APIは例外か

[mitukiii]

分かりやすい

[glass-_-onion]

わかりやすい説明。ライブラリ作成するときに意識する。

[coppieee]

契約プログラミング言語だれか作ってー！

[yojik]

ある条件下でExceptionを出すというのは事前/事後/不変条件の定義から外れる。正直System.exitしちゃっていいくらいの気持ちで書くのが事前/事後/不変条件 (JavaならError搬出かassert) | ただエントリみたいなやり方は良いと思う

[zetta1985]

javadoc=仕様

[SiroKuro]

「入力値を処理する」とか「入力値を編集する」とか書いてあるソース見てブチ切れそうになった経験があります。情報的な価値がゼロの記述だよねこれって。