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