Checking More .java at once

[Ales Plsek]

Hi all,

We have a problem when checking more .java files at once.

When executing:
javac -processor checkers.nullness.NullnessChecker *.java
- where GetStarted.java and GetStarted2.java (the classes from the
tutorial containing each 1 error) are present in the directory.

We receive only 1 error message = the checker stops after finding an
error in the first class:
GetStarted.java:6: incompatible types.
@NonNull Object ref = null;
^
found : @Nullable <nulltype>
required: @NonNull Object
1 error

Please, are we doing something wrong?

Thank you,
Best,
Ales

[Michael Ernst]

> We have a problem when checking more .java files at once.

> ...

> We receive only 1 error message = the checker stops after finding an
> error in the first class:

> ...

> Please, are we doing something wrong?

You aren't doing anything wrong. This is how javac is designed, and JSR
308 does not change that. However, the Checker Framework lets you work
around this. Section 2.2 of the Checker Framework manual
(http://types.cs.washington.edu/checker-framework/#running) explains:

The javac compiler halts compilation as soon as an error is found in a
source file. You can pass -Awarns in the command-line to treat checker
errors as warnings. This option allows you to see all the type-checking
errors at once, rather than just the errors in the first file that
contains errors.

-Michael Ernst