assertions - エッフェル再定義関数は独自のアサーションを定義できますか?

Question

Eiffel で再定義された関数が独自のアサーションを定義できるかどうかを知る必要があります。

Answer 1

はい、できます。しかし、再定義された機能は、親の事前条件を弱め、事後条件を強化することしかできません。明確にするためrequire elseに、再定義された機能で前提条件を として宣言し、事後条件を として宣言してensure then、対応するアサーションを弱体化/強化していることを明確にする必要があります。

詳細な説明については、ドキュメント サイトを参照してください。