[Checkers] Fwd: Re: JSR 308 uncaught exception

[Mahmood Ali]

Hi Mike,

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.

Regards,
Mahmood

On Aug 14, 2008, at 7:22 AM, Michael Ernst wrote:

> Mahmood-
>
> Here is an exception in the Checker Framework that still occurs for  
> me.
>
> In the build.xml file, I had to change two lines that contain "/ 
> scratch",
> 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.
>
>                    -Mike
>
>
> 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
>
>
> Hi!
>
> 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.
>
> Regards,
>
> Andrzej
> <jutil.tar.gz>
>
>
>
>
> _______________________________________________
> checkers mailing list
> checkers at lists.csail.mit.edu
> https://lists.csail.mit.edu/mailman/listinfo/checkers

-------------- next part --------------
An HTML attachment was scrubbed...
URL: https://lists.csail.mit.edu/mailman/private/checkers/attachments/20080814/b6598e4e/attachment.htm