JSR-305: Annotations for Software Defect Detection

We're treading dangerously close to AOP-territory here. I think relying on visibility to

Don't know if this been mentioned before, but how about a class level @HashKey annotation for

Hi, we at Verigy (www.verigy.com)are using both FindBugs and Coverity for static code analysis. One

> In particular, with this change, the @ParametersAreNonnullByDefault at > the package level

We do some null-handling stuff in Guice. If the user wants to inject a null, Guice will explode

Draft of my JSR-305 article is up at http://today.java.net/cs/user/print/a/549 This is not yet

The RegEx annotation _is_ just a shorthand for @Syntax("RegEx"), but it also provides a

I like it. I propose to adopt it. Bill On Aug 16, 2008, at 12:20 PM, Elliotte Harold wrote: > >

On Aug 16, 2008, at 5:30 PM, Elliotte Harold wrote: > 1. Is anyone aware of efforts to build some

The way the type qualifiers and when attributes work, it really means that the element labeled will

Fixed. Now use only spaces (4 space idents). Bill On Aug 2, 2008, at 10:18 AM, Elliotte Harold wrote:

I propose adding several additional canonical values to the Syntax annotation. Specifically: HTML

The CheckForSigned annotation indicates that values passed may be negative and that the method should

On Jul 16, 1:09 am, Bill Pugh <p...@cs.umd.edu> wrote: > OK, we now have pretty much full

It sounds like this definition is good enough to say when a tool must not give a warning. In all

Although I think this is an interesting topic to work on, my feeling it is too much of a research

On Jul 1, 12:13 am, Brian Goetz <br...@briangoetz.com> wrote: > While @GuardedBy was not

I'd very much like to see them included. My preference for package name would be javax.

Bill- > > As another example, some code is thread-safe and some is not. > > Different

Yes, I'll add it. We're using the Simplified BSD license (without either the advertising or

One issue with a LegalIntervals annotation is that much of the time the bounds you would want to

Sorry to have been non-responsive on JSR-305 discussions. The semester and other topics were

Is this project dead? -- Jerry James

I might as well fix a few more typos I have found today. Here's an updated version of the patch.

Here is a patch to make "mvn compile" work. Without it, the compilation of the sample use

> Does attacking the problem from the other side make it any simpler? > What is the highest

First of all I have to say I have no experience of how are proporsals for JSR done (I'm just

I'm new to this group and though I've read several old threads, sorry if this discussion has

New material has been added to provide enhance knowledge towards organizational processes..... http:/

If one describes a class or history invariant of a class currently with Java annotations, there are