1

我正在使用 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。那么，我该如何摆脱这个错误呢？这显然不是类路径的问题。肿瘤坏死因子

4

1 回答 1

1

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

于 2011-03-30T00:45:18.677 回答