Я использую JML для тестирования некоторых простых классов.У меня есть класс Interval.java, SequenceInterval.java и TestSequence.java, все в одном пакете (пакет по умолчанию).Когда я пытаюсь скомпилировать SequenceInterval с использованием jmlc, он показывает ту же ошибку:
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, поэтому я новичок в этом деле.Я забыл что-то?Я читал об аннотации «импорт модели», но это не то, что мне нужно, так как я использую класс Interval в своем Java-коде.Итак, как мне избавиться от этой ошибки?Это, очевидно, не проблема с classpath.Tnx