JetBrains Zone - Comments for "Using External Annotations"

JSR 305 focus to

qinxian — Sun, 24 Feb 2008 20:11:30 -0500

JSR 305 focus to assist defect detection tools. JSR 308 to extend scope of annotation apply.

The key problem is that that not include compiler.

void doSth(Object @NotNull source){

...

}

@NotNull Object biz1(){return aNonNull;}

Object biz2(){return null;}

void main(){

doSth(biz1());

doSth(biz2());

}

the Compiler should do thing like this:

void main(){

Object result = biz1();

doSth(result);

result=biz2();

if (result!=null)

throw HowProcessIsAnAnotherProblem();

else

doSth(result);

}

Does someone knows who focus compiler extending?

Regards.

not quite Ann.You will need

jwenting — Thu, 21 Feb 2008 01:51:43 -0500

not quite Ann.

You will need the annotations.jar on the classpath at compile time whether you compile inside IntelliJ or out.
So there is a compile time dependency, which you may want to avoid if you have a project where not everyone uses IntelliJ.
Of course the same is true for whatever library you choose. You always end up with a dependency on it, which is why I don't worry about such things except for wanting to make sure I'm not hooking myself into something that's a dead or dying project (and I've no such worries about IntelliJ for the foreseeable future).

Oh, your concerns about

ann — Wed, 20 Feb 2008 13:39:00 -0500

Oh, your concerns about JSR-305 and setting standards for use of annotations are absolutely understandable. With this regard, you might want to know that JetBrains is actually the active member of this JSR, and whatever is finally set, is going to be immediately supported in IntelliJ IDEA.

As for any worries regarding being hooked to the IntelliJ IDEA's annotation library, these external annotations are exactly the mean to avoid that. They allow you to keep your code free of explicit annotations, while still analyzable if you open it in IntelliJ IDEA.

I aggree to that,Even though

serkangunes — Wed, 20 Feb 2008 04:56:46 -0500

I aggree to that,

Even though I like IntelliJ Idea, I wouldn't want my classes depending on their annotation library.

FindBugs also defines an

puredanger — Tue, 19 Feb 2008 12:57:21 -0500

FindBugs also defines an annotation for nullability. But probably a better idea is to have some kind of standard annotation for this kind of thing and that idea is being worked on as JSR 305. Also tangentially related is JSR 308 which would allow annotations on a much broader set of locations in Java (in particular, on types).