JML 找不到类型答案

【问题标题】：JML Cannot find typeJML 找不到类型
【发布时间】：2011-03-11 13:21:43
【问题描述】：

我正在使用 JML 来测试一些简单的类。我有类 Interval.java 、 SequenceInterval.java 和 TestSequence.java，都在同一个包（默认包）中。当我尝试使用 jmlc 编译 SequenceInterval 时，它显示相同的错误：

D:\work_java\VV_Lab1\src\JML>jmlc -Q SequenceInterval.java
File "SequenceInterval.java", line 22, character 42 error: Cannot find type "Interval"
File "SequenceInterval.java", line 35, character 15 error: Cannot find type "Interval"

每一行我都使用一个 Interval 类型的对象。这是我第一次使用 ESCJava 和 JML，所以我完全是新手。我忘了smth吗？我阅读了有关“模型导入”注释的信息，但这不是我需要的，因为我在 Java 代码中使用了类 Interval。那么，我该如何摆脱这个错误呢？这显然不是类路径的问题。天呐

【问题讨论】：

标签： jml

【解决方案1】：

您很可能还需要将 Interval.java 也传递给 jmlc。如果 Interval.java 没有被编译（因此在类路径上生成了一个 .class 文件），ESC/Java2 将不知道类型。

【讨论】：