Non-null analysis in Java
Somedude
lovelydear at mailmetrash.com
Sun Dec 11 02:29:21 PST 2011
Just for the record, non-null static and runtime analysis is implemented
in a number of Java projects.
http://eclipseandjazz.blogspot.com/2011/12/inter-procedural-null-analysis-using.html
Anotation based Static analysis for eclipse
* javax.validation.constraints.NotNull
Created for runtime validation, not static analysis.
* edu.umd.cs.findbugs.annotations.NonNull
Static analysis
* com.intellij.annotations.NotNull
Used by IntelliJ IDEA IDE for static analysis.
* lombok.NonNull
Annotation used to control code generation in Project Lombok.
More information about the Digitalmars-d
mailing list