[JSR308] Question to use your checkers in JAVA 7 beta

[Liu, Jun]

Dear Sir,

I was trying your checker plug-in with JAVA 6, and it works well,

But when I install the JAVA 7 beta b55, and try to use your check (
checkers.jar and checkers-quals.jar) to compiler y\the examples in your
check package, I got lots of errors. :-(

 

Could you please help me out?

Q:

1> Does your checkers.jar and checkers-quals.jar work well with Java 7
compiler?

2> If yes, how to use it in Java 7?

 

 

Thanks

 

John

-------------- next part --------------
An HTML attachment was scrubbed...
URL: https://lists.csail.mit.edu/pipermail/jsr308/attachments/20090420/fd7df435/attachment.htm