Javaプログラマが catch すんの忘れるのは計算機に探させよう

Java Pathfinder (jpf) というツールがあって、これは汎用バグ検査ツールなのです。特に、 catch し忘れた例外を、あんた忘れてはるで、と調べてくれるので簡単に紹介してみました。
12
Hideyuki Tanaka @tanakh

http://d.hatena.ne.jp/katzchang/20110204/p1 良く解らんが、Javaプログラマってのは、検査例外を書くのが面倒だって理由で、RuntimeExceptionに例外をくるむのが普通なの?

2011-02-10 00:22:57
Ikegami Daisuke @ikegami__

まず、どんな例外が飛ぶか、わかるひとにしかわからんし、こまったねというのは Java の共通問題ではないかと

2011-02-10 00:25:14
Ikegami Daisuke @ikegami__

Java の exception 追いかけは JPF つかうといいんじゃないかな、いつもうまくいくとは限らないけど : http://babelfish.arc.nasa.gov/trac/jpf

2011-02-10 00:28:57
Ikegami Daisuke @ikegami__

仕事してないので、Java のデバグとかしなくなってひさしい

2011-02-10 00:29:18
Ikegami Daisuke @ikegami__

気の利いた具体例がさっとでてこない : SQL の exception を JPF でばっさり

2011-02-10 00:32:52
Ikegami Daisuke @ikegami__

おかねもらわないと Java のことかんがえたくないらしいです、だめな子だ

2011-02-10 00:33:28
きしだൠ(K1S) @kis

@tanakh 面倒というか、無意味なものが多かったりするので、RuntimeExceptionにくるむことは多いと思います。

2011-02-10 03:04:07
Hideyuki Tanaka @tanakh

@kis 例外自体が無意味だということは、検査例外の多くの部分も、実際のところあまり役に立たないということになるでしょうか。

2011-02-10 03:06:11
きしだൠ(K1S) @kis

@tanakh 言語で義務付けてコードの可読性や作業性をさげるほどのメリットはあまりない気がします。例外処理でなにか回復処理をする/できるということはあまりなくて、結局処理全体を中止してメッセージなりログなりを出すことが多いです。

2011-02-10 03:13:52
きしだൠ(K1S) @kis

@tanakh この記事が面白いです。時期的にはRailsが出てJavaのめんどくささが批判されてたころ。 「Javaの理論と実践: 例外をめぐる議論」 http://www.ibm.com/developerworks/jp/java/library/j-jtp05254/

2011-02-10 03:22:49
Ikegami Daisuke @ikegami__

jpf のバージョンがふるかったというオチ…

2011-02-10 09:58:57
Ikegami Daisuke @ikegami__

jpf うごいたー ( ● ω ● )

2011-02-10 10:20:57
Ikegami Daisuke @ikegami__

jpf で Exception 捕まえたぞい

2011-02-10 10:46:23
Ikegami Daisuke @ikegami__

jpf : プログラマが catch していない例外も見つけるツール、便利 : http://twitpic.com/3y5gls : http://javapathfinder.sourceforge.net/

2011-02-10 11:03:12
拡大
Ikegami Daisuke @ikegami__

昨晩簡単じゃろ、と思ったのに、今朝起きてインストールからはじめて半日もかかってしまった…

2011-02-10 11:04:14
Ikegami Daisuke @ikegami__

公式 RT が多ければ、解説記事書きます (めんどうなのでやりたくない)

2011-02-10 11:05:23
Ikegami Daisuke @ikegami__

@haruyama sourceforge より、そちらのほうがよいリンクです : jpf

2011-02-10 11:27:43