-
0 votesanswersviews
是否可以在编译时强制执行Design by Contract检查?
读Design by Contract tutorial我偶然发现了以下几行: 埃菲尔的 Contract 不仅仅是一厢情愿的想法 . 它们可以在运行时在编译选项的控制下进行监视 . 然后解释他们将在失败时抛出异常 . 这让我觉得所有 require ensure invariant all 检查都可以在运行时执行或关闭 . 它是否正确?或者它们可以在编译时使用适当的编译器选项强制... -
0 votesanswersviews
eiffel c编译失败:错误LNK2001:未解析的外部符号
我正在尝试熟悉Eiffel语言,所以我安装了Eiffel Studio 18并创建了一个Graphics应用程序 . 编译失败,显示消息: Preparing C compilation using already configured msc C compiler... ERROR: Cannot start "nmake".ERROR: Cannot start "... -
0 votesanswersviews
如何通过命令行强制执行Eiffel的断言?
Eiffel有一个功能Design by Contract . 根据这一点,对于任何例程,都要检查 require 和 ensure 之类的断言是否必须为真 . 但是,我无法通过命令行找出如何强制执行规则,如果断言为false,则必须存在编译器或运行时抛出的错误/异常 . 例如,如果这是根类, class APPLICATION inherit ARGUMENTS create...