問題タブ [post-conditions]

基本的に、特定の必須事後条件をサブクラスに伝播するための仮想メソッドがあります。これは、単純化されたバージョンと、静的チェッカーが生成する奇妙な警告です (編集 - 私の例は不完全でした。それは今です):

これは他のクラスです：

実際、両方の警告は、Contract.Ensure 呼び出しのすぐ下の行で、メソッドの閉じ中かっこを指しています。コードの何が問題になっていますか?

たとえば、次のコードがあります。

これらの用語が正確に何を意味するのか混乱していますか？上記のコードは私が考えているものですが、誰かが私の理論で正しい方向に向けることができますか?

私は OCL が初めてで、事前条件と事後条件がどのように機能するかについて疑問があります。

if then ステートメント内に事後​​条件を配置できますか?

たとえば、次のコードは有効ですか、それとも概念を混ぜているだけですか?

ご助力ありがとうございます

私の課題は、以下に示す Date クラスを完了することです。Date クラスは、月、日、年をプライベート インスタンス変数に格納することで日付をカプセル化します。

以下のコードは、私がこれまでに持っているものです。率直に言って、私は自分が何をすべきかについてかなり混乱しており、質問できるインストラクターもいません。出力は「 2/2/0 」です

編集の更新: 200 などの無効な年を入力すると、エラー メッセージが出力されません。if ステートメントの意図は、年が 4 桁ではないエラーをキャッチすることでした。これは正しいです？助けてくれてありがとう！

以下のクラスのように例外を使用しようとしていますが、kivetelメソッドを呼び出すとプログラムは常に失敗します。事後条件を満たすよりも、再試行部分を呼び出すだけだと思います。しかし、「y_above_zero」事後条件違反で失敗します。

私の質問は短いです。メソッドの事前条件と事後条件はコンパイラによって適用されますか?