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 を使用するのは初めてなので、まったくの初心者です。私はちょっと忘れましたか？「モデルのインポート」アノテーションについて読みましたが、Java コードでクラス Interval を使用しているため、それは必要ありません。では、どうすればこのエラーを取り除くことができますか? 明らかにクラスパスの問題ではありません。TNX

4

1 に答える 1

1

ほとんどの場合、Interval.java も jmlc に渡す必要があります。Interval.java がコンパイルされていない場合 (クラスパスに .class ファイルが生成されているため)、ESC/Java2 はそのタイプを認識しません。

于 2011-03-30T00:45:18.677 に答える