Re: jsr 305

2015-04-02 Thread Sergey Bylokhov
Hi, Joe. It is interesting does anybody plan something related? I still think that using something similar to [1] will greatly improve of jdk development. [1] http://types.cs.washington.edu/checker-framework 20.08.14 0:56, Joe Darcy wrote: Sergey, JSR 305 is officially marked "dorman

Re: jsr 305

2014-08-19 Thread Joe Darcy
Sergey, JSR 305 is officially marked "dormant" in the JCP: https://www.jcp.org/en/jsr/detail?id=305 At this point, the addition of annotations in that vein should probably occur under the banner of a different effort. Cheers, -Joe On 08/19/2014 11:16 AM, Sergey Bylokhov

Re: jsr 305

2014-08-19 Thread Sergey Bylokhov
Hi, Joe. There are no news about this jsr in jdk9? I guess it will be useful in jdk development also. On 20.09.2011 23:00, Joe Darcy wrote: Hello. First, a procedural point, the party responsible for making progress on a JSR is the spec lead, which in the case of JSR 305 is Bill Pugh. When