File: README

package info (click to toggle)
checker-framework-java 3.2.0%2Bds-3
  • links: PTS, VCS
  • area: main
  • in suites: forky, sid, trixie
  • size: 23,104 kB
  • sloc: java: 145,916; xml: 839; sh: 518; makefile: 404; perl: 26
file content (12 lines) | stat: -rw-r--r-- 387 bytes parent folder | download | duplicates (3) 
1
2
3
4
5
6
7
8
9
10
11
12
 
The classes in this directory contain errors.
We want to process as many of the files as possible and not
stop at the first error.
See the message thread at

https://groups.google.com/forum/#!topic/checker-framework-discuss/4A0Z3z8vcXA

Performing

javac -processor org.checkerframework.checker.nonnull.NonNullFbcChecker *.java

should result in 2 errors and 1 warning, not only 1 each.