function - ADA - 前置条件和后置条件不起作用？

Question

我正在尝试学习 ada 中自己的前置条件和后置条件。

Answer 1

如果使用 GNAT(看起来它是 jdoodle 的默认设置)，您需要启用断言。添加 -gnata 作为命令行参数。

编辑:我对 jdoodle 不太了解，但似乎它不能将参数传递给编译器，只有在运行程序时...

相反，您可以将 pragma Assertion_Policy 添加到您的程序中，如下所示:

procedure Tp2q4 is
   pragma Assertion_Policy(Check);

   --...