回答情况：
提问时间：
问题标签：
我正在尝试证明在我的集合中是否存在具有特定状态的对象。我的集合由具有名为getStatus()的方法的对象组成。现在我想证明在这个集合中是否存在具有给定状态的对象。public Order getFirstOrder(Status s)
浏览 2提问于2012-01-31得票数 1
回答已采纳
1回答
我正在尝试使用msn开发一个android应用程序，但在使用jml库时仍然存在同样的问题，我做了很多研究。我试着从这里安装jml，，我如何使用这个库，例如，我可以像eclipse中的任何库一样导入吗？
浏览 1提问于2012-04-11得票数 1
1回答
我正在使用JML测试一些简单的类。我有Interval.java、SequenceInterval.java和TestSequence.java类，它们都在同一个包(默认包)中。当我尝试使用jmlc编译SequenceInterval时，它显示了相同的错误：File这是我第一次使用ESCJava和JML，所以我完全是个新手。我是不是忘了史密斯？我读到过“model import”注释，但这不是我需要的，因为我在Jav
浏览 5提问于2011-03-11得票数 1
1回答
我试图安装Java建模语言(Java modeling language，JML)，但出现了一些错误。我使用Eclipse IDE，Windows10。当我尝试编译或使用JML图标时，Eclipse显示了一条巨大的错误消息。()
我能做些什么来解决这个问题呢？我在上找不到解决方案
浏览 5提问于2020-10-26得票数 0
1回答
在我目前在大学学习的Java课程中，重点是在Javadoc注释中使用@require和@ensure子句等JML构造。我理解这是在实现契约设计范式，并且存在能够使用JML对软件进行数学验证的某些工具(假设这些子句是适当定义的)。
不过，我很好奇他们在工业界的普遍程度。这些条款是否实际使用？如果是的话，范围有多广？
浏览 0提问于2017-05-18得票数 -2
1回答
在任务中，我必须删除JML产生的每一个警告。
如果我在构造函数中调用一个方法，那么我的requires和ensures就不再被验证了，尽管对被调用的函数添加了相同的约束。
浏览 6修改于2020-12-13得票数 2
回答已采纳
我需要一个用于JML的排序方法，我尝试过插入排序，但我不知道我需要什么要求和确保或维护。请帮帮忙。我需要//@requires、//@requires和//@maintaining。
浏览 8提问于2017-12-27得票数 0
我刚刚开始使用OpenJML，下面是我的代码和我的JML警告： 代码： //@ requires myArray !myArray.size() == 1 ) throw new MathLibException(); else} JML
浏览 7修改于2020-07-10得票数 0
我想知道\old(Expression[Id])形式的JML表达式是如何计算的，例如，如果我有\old(vector[value-1])表达式，那么\old是也引用" value“还是仅仅引用vector
浏览 2修改于2009-08-03得票数 0
回答已采纳
类方法的JML后置条件是否可以包含对另一个方法调用的调用public class A public int doA(x)
public
浏览 8提问于2012-11-28得票数 3
回答已采纳
我想用JML做到这一点：void calculatesDistances(int[] array){}
我不能让它工作，在JML规范中看到了很多示例，但找不到一种方法。
浏览 4提问于2010-10-16得票数 1
回答已采纳
我正在使用java开发一个简单的msn客户端，但是我不知道如何使用JML库来设置http代理参数。显然，它不是库中的本机代码=/
浏览 4提问于2011-03-01得票数 0
回答已采纳
decreases之后的语句必须在每个循环中变得更小，并且始终是非零的。但它必须达到0吗？一定要一个一个变小吗？
浏览 3提问于2015-03-05得票数 0
回答已采纳
如何在OpenJML这样的JML工具中验证基本的集合操作，比如intersect、union和difference，在这些工具中不支持"\intersect \set_minus \set_union“
浏览 5提问于2019-10-04得票数 0
腾讯云开发者
Copyright © 2013 - 2026 Tencent Cloud. All Rights Reserved. 腾讯云 版权所有
深圳市腾讯计算机系统有限公司 ICP备案/许可证号：粤B2-20090059 
粤公网安备44030502008569号
腾讯云计算（北京）有限责任公司 京ICP证150476号 | 京ICP备11018762号