ADA - 前和 post 条件不起作用？

Question

我正在尝试在 ada 中根据自己的 pre 和 post 条件进行学习。

Answer 1

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

编辑： 我对 jdoodle 了解不多，但它似乎不能向编译器传递参数，只有当 运行 你的程序...

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

procedure Tp2q4 is
   pragma Assertion_Policy(Check);

   --...