JML 유형을 찾을 수 없습니다.

일부 간단한 클래스를 테스트하기 위해 JML을 사용하고 있습니다. Interval.java, SequenceInterval.java 및 TestSequence.java 클래스가 모두 동일한 패키지 (기본 패키지)에 있습니다. 나는 그것이 같은 오류를 보여줍니다 jmlc 사용 SequenceInterval를 컴파일 할 때 :JML 유형을 찾을 수 없습니다.

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"

I 형 간격의 객체를 사용하는 모든 라인. ESCJava와 JML을 사용하는 것은 이번이 처음인데, 저는 이것에 대한 초보자입니다. 내가 아픔을 잊었 니? '모델 가져 오기'주석에 대해 읽었지 만, Java 코드에서 Interval 클래스를 사용할 때 필요한 것은 아닙니다. 그렇다면이 오류를 어떻게 제거 할 수 있습니까? 분명히 classpath에서 문제가 아닙니다. Tnx

출처

2011-03-11 joanna

+1 용 ESCJava – MrSmith42

대부분 Interval.java를 jmlc에도 전달해야합니다. Interval.java가 컴파일되지 않았으므로 (.class 파일이 클래스 경로에 생성되도록) ESC/Java2는 유형에 대해 알지 못합니다.

출처

2011-03-30 00:45:18

JML 유형을 찾을 수 없습니다.

답변

관련 문제