艾菲爾重新定義的函數可以定義自己的斷言？

Question

我需要知道是否在埃菲爾重新定義的函數可以定義自己的斷言。

Answer 1

是的，它可以。但重新定義的功能只能在削弱其父母的先決條件，加強其後置條件。爲了使其更清楚，您必須在重新定義的功能中聲明您的前提條件爲require else，並將後置條件聲明爲ensure then，以明確您正在弱化/加強相應的斷言。

查看documentation site瞭解更多深入的解釋。