问题标签 [jml]

如何在 WindowsXP 中为 ESC/Java2 设置我的执行环境？此外，如何在 WindowsXP 中使用 ESC/Java2 构建和运行项目。很难从他们的规范/自述文件和文档中分辨出来，特别是考虑到他们似乎更多地谈论基于 Unix 的操作系统这一事实。

我想知道如何\old(Expression[Id])评估表单的 JML 表达式，即如果我有\old(vector[value-1])表达式，是否\old也指“值”或仅指vector[value-1]. 提前致谢！

我正在使用 Eclipse 进行 Java 编程。我尝试通过 Eclipse 的更新程序从该站点进行安装，但虽然它没有引发任何错误，但我没有看到他们说我应该看到的菜单。

也许我必须先安装一些东西？也许还有其他更简单的 JML 选项？你们用什么？

假设我有以下代码：

我可以在这里做两件事：

使用代码合同（在这种情况下，注释中的内容）。当 sumNumbers 运行并且 a < 10 时，它会立即抛出异常（尽管它似乎不是很有描述性）：

或者...

抛出异常。异常可以像我想要的那样具有描述性。我还要检查函数的末尾，看看后置条件是否为真。

你会在这里使用哪个，为什么？

与 C# 中的代码协定相反，在 JML 中，代码协定只是在方法标头中以注释形式使用的文本。那么，将它们作为注释公开不是更好吗？这样，即使在编译信息时，也会保留在 .class 的元数据上，这与注释相反，会被删除。

我错过了什么吗？

我想在 JML 中做到这一点：

我无法使其工作，在 JML 规范中看到了很多示例，但找不到如何做到这一点的方法。

那么，我该怎么做呢？

我有一个 JML 问题。有什么区别

并将其声明为

关于array_的元素？在每种情况下，他们拥有什么属性？

提前致谢。

我需要设置一个后置条件，确保在 size_ 为 0 时返回 null。基于

我怎么能在 jml 中做到这一点？有任何想法吗？以下不起作用：

提前致谢

我正在寻找 Java 的替代规范语言选项，例如 JML。

有人知道吗？

谢谢。

通过在我的项目中添加 getpropertyaction 类，我设法通过 android 上的 jml 库连接到 msn。在 android 2.2 上工作得很好，我可以登录、获取联系人、发送和接收消息等..

在android 2.1上，当我按下登录按钮时它没有让我登录......我在日志（DDMS）中没有任何错误......它只是停留