2006年08月04日
集中講義二日目
- 2006-08-04 (Fri)
- 一般
今日は途中で抜けたのだが，内容はSPIN使ってモデルチェッキングしてみましょうと．とりあえず時相論理は頭がこんがらがることが良くわかった．
- Comments: 0
- TrackBack (Close): -
継承したメソッドは…
Axis2 で ServiceClass として指定したクラスのオーバライドせずに引き継いだメソッドを公開しようとしたら java2wsdl がうまく動いてくれなかった．メッセージの中身がすべて空になってこけまくる．何かやり方があるのか仕様なのか．よく分からんことで時間を無駄にした．
エラー時に例外投げずにいきなり終了する（System.exit）するライブラリの実装って使いたくないんだけど… これが遠隔地のサーバ上で起きるからデバッグが非常にめんどくさい．System.exit 実行時の挙動を適当に変える方法は無いものか？
- Comments: 0
- TrackBack (Close): -