[Checkers] Spaces in commented JSR 308 annotations
mahmood at MIT.EDU
Mon Jun 9 18:43:51 EDT 2008
Thanks for your input.
I have just made a new release of the JSR308 compiler and the checkers.
The new compiler accepts an argument -Xspacesincomments that causes
the compiler to recognize annotation comments when they contain
spaces. You may need to be careful with block comments (not javadocs)
that start with @, though.
On Jun 7, 2008, at 8:42 AM, Michael Ernst wrote:
> Thanks for trying our pluggable type-checkers. I'm sorry you had
> and we want to figure out how to solve your problem. (Do let us
> know if
> you have any other problems that hinder your use of the tools.)
> As I understand it, you had a problem regarding spaces in annotation
> Eclipse's built-in indentation command (invoked via "Source > Correct
> Indentation") inserts space in comments, including those that
> represent JSR
> 308 annotations; for instance, it converts
> List</*@NonNull*/ String> myStrings;
> List</* @NonNull */ String> myStrings;
> Then, the JSR 308 compiler doesn't recognize the annotation comment
> more, because by default the compiler only recognizes annotation
> with no spaces.
> 1. Is the above description correct?
> 2. Is there a way to configure the "Correct Indentation" action so
> that it
> does not insert the extra spaces? (I'm interested in this even if
> you are
> not willing to customize your Eclipse in that manner.)
> 3. You would like an option to the JSR 308 compiler that will cause
> it to
> recognize annotation comments even when they contain spaces. Do you
> other requests regarding the compiler?
> checkers mailing list
> checkers at lists.csail.mit.edu
More information about the checkers