質問: Contract Inheritance問題による設計。か。

「質問への1つの応答: Contract Inheritance問題による設計。か」。

1. ダグは言う:
   2004年11月11日5:10 AMの

   必須条件およびpostconditionsは方法と関連付けられる。 ジャワのある特定の方法は単一インターフェイスからだけ受継ぐことができるまたはクラスは、そうそこにANDingおよびOリングについての質問ではない。

   打ち消し方法が親方法の必須条件かpostconditionを変更する時:

   必須条件のために、親必須条件は最初にテストされる。 その必須条件が失敗すれば、現在のクラスの方法の必須条件はテストされ、どちらかが成功すれば、そして呼出しが現在のクラス以外からそしてあったら不変クラスはテストされる。

   postconditionsのために、親postconditionは最初にテストされる。 そのpostconditionが成功すれば、現在のクラスの方法のpostconditionはテストされ、それが成功すれば、そして呼出しが現在のクラスのの外からそしてあったら不変クラスはテストされる。

   しかしコンストラクターのために規則は異なっている。 コンストラクターのポイントが不変クラスを確立するべきであるので必須条件だけ記入項目不変クラスではなくでテストされる。 出口で、不変クラスは最初にテストされ、それがそれから成功すればpostconditionはテストされる。 注: コンストラクターは、彼ら鎖でつながれる受継がれない; 遺産規則は適用しない。

   クラスのための不変はである不変クラスおよびクラスの組合せ すべてのinvariantsは本当でなければ常にならない従って命令は幾分関係がない。 まだ、Eiffelは以下の順を指定する: 不変このクラスはそれから属性(としてあなたがジャワですることができない)何か育てる定義し直されるあらゆる方法と関連付けられるinvariants、そしてinvariantsを。

あなたの思考を聞く先に見ること。