@634

アサーション(assertion)

Advertisement

事後条件

なんらかの処理を行った後に、値の正当性を証明する

例。
public JPanel createJPanel(JPanel panel){
    if(panel == null){
        panel = new JPanel();
    }

    // 略

    // この場所では panel は絶対に null ではない
    assert panel != null;

    return panel;
}
メソッドが値を返す直前に、変数 panel が null ではないことを保証。
nullの場合でもなんらかの処理を行いたい場合はアサーションは不適切。あくまでも本来の処理の流れと混同しないことがポイント。

Advertisement

ショートカット

634
このカテゴリのトップページに戻る
634labs
   UIコレクションギャラリー

サイト検索

Google

Web サイト内

Y!ログール