在Java中向接口添加不变量

这听起来可能与 JML 和 ESC/Java ,这两种方法在需要比通常的一组技术更高一点的软件质量的项目中得到了相当广泛的采用。

干杯,

伊恩。

我认为Bertrand Meyer的合同编程思想基本上已经过时了。他在埃菲尔铁塔上建立了前置和后置条件,但这种语言在使用范围上低于拉丁语。

有合同库的Java编程; Contractor 是一个。但它的日子来了又去。事实上,即使是埃菲尔铁塔也有办法在生产中关闭它们,因为运行时成本不值得这么做。

只有6个关于堆栈溢出的埃菲尔问题-确实是一个很小的百分比。如果您搜索带有“contract”的SO标签,您将看到一个非常小的数字。对这个网站上的话题不太感兴趣。它声称吸引了世界上最大的专业程序员观众。

什么伟大的编程思想不疯狂!!!我绝对认为这会有用。