[Checkers] Fwd: Re: JSR 308 uncaught exception
mahmood at MIT.EDU
Thu Aug 14 08:29:57 EDT 2008
Errr.... This is that tab reporting error. Converting tabs to spaces
made the code compilable and the nullness checker issued 16 errors.
I will look into the tab problem later this afternoon.
On Aug 14, 2008, at 7:22 AM, Michael Ernst wrote:
> Here is an exception in the Checker Framework that still occurs for
> In the build.xml file, I had to change two lines that contain "/
> then I was able to run "ant check-nullness" and I got the crash.
> Andrzej remarked that running a checker on just the one file where the
> crash manifests itself does not cause the crash, so there is some
> interaction happening.
> From: Andrzej Wasylkowski <wasylkowski at st.cs.uni-sb.de>
> Date: July 2, 2008 8:36:07 AM EDT
> To: Michael Ernst <mernst at mpi-sws.mpg.de>
> Subject: Re: JSR 308 uncaught exception
> OK, so I attach the .tar.gz wth the project. You will probably have
> to edit the build.xml file to make the compilation work for you.
> Both the File.createTempFile error and the crash appear if you do
> 'ant check-nullness'. Let me know how it goes.
> checkers mailing list
> checkers at lists.csail.mit.edu
-------------- next part --------------
An HTML attachment was scrubbed...
More information about the checkers