Re: [Jmlspecs-developers] error while using jmlc

[Gary T. L. <le...@cs...>]

Hi Kui Dai,

I'm wondering what program you used to unpack the release, and whether
you used different programs to unpack it on the different machines
you used?

On Thu, 26 Feb 2004 ku...@cs... wrote:

>   thanks for ur answer.
>   I was using the JML 4.1, and I just downloaded the latest version (JML
> 4.1) and installed it. But it still doesn't work, the result is
> following: and the error message is a little bit different. BTW, when I
> was at the office the old version works fine.
>   My platform : Win2000, JDK 1.4.1
> 
> result:
> D:\download\Concordia\jml\sources>jmlc Test01.java
> parsing Test01.java
> parsing ..\..\..\..\JML\specs\java\lang\Object.jml
> parsing ..\..\..\..\JML\specs\java\lang\Class.jml
> parsing ..\..\..\..\JML\specs\java\lang\String.jml
> parsing ..\..\..\..\JML\specs\java\util\Locale.jml
> parsing ..\..\..\..\JML\specs\java\util\regex\Pattern.refines-spec
> parsing ..\..\..\..\JML\specs\java\util\HashMap.refines-spec
> parsing ..\..\..\..\JML\specs\java\util\AbstractMap.refines-spec
> parsing ..\..\..\..\JML\specs\java\util\AbstractList.refines-spec
> parsing ..\..\..\..\JML\specs\java\util\AbstractCollection.jml
> typechecking Test01.java
> parsing ..\..\..\..\JML\specs\java\lang\Comparable.spec
> parsing ..\..\..\..\JML\specs\java\lang\CharSequence.spec
> parsing ..\..\..\..\JML\specs\java\util\Collection.spec
> parsing ..\..\..\..\JML\specs\java\util\Iterator.spec
> parsing ..\..\..\..\JML\specs\java\util\iterator.spec
> File "..\..\..\..\JML\specs\java\util\Collection.spec", line 86, character
> 15 error: Cannot find type "Iterator"

-- 

        Gary T. Leavens
        Department of Computer Science, Iowa State University
        229 Atanasoff Hall, Ames, Iowa 50011-1041 USA
        http://www.cs.iastate.edu/~leavens  phone: +1-515-294-1580