Skip to content

Commit

Permalink
Add fwd ref into CF Manual
Browse files Browse the repository at this point in the history
An intro of "Nullness Checker" section will reference "Generics and polymorphism"
section to mention that defaults in the latter differs from defaults for
a non-generic parameter, e.g. a Method argument.

That should help a new reader to catch the difference sooner.
resolves: eisop#795
  • Loading branch information
Aleksandr Vasilev committed Jun 29, 2024
1 parent 4716f84 commit 5c89631
Showing 1 changed file with 3 additions and 1 deletion.
4 changes: 3 additions & 1 deletion docs/manual/nullness-checker.tex
Original file line number Diff line number Diff line change
Expand Up @@ -12,7 +12,9 @@
\refqualclass{checker/nullness/qual}{Nullable}.
\refqualclass{checker/nullness/qual}{NonNull} is rarely written, because it is
the default. All of the annotations are explained in
Section~\ref{nullness-annotations}.
Section~\ref{nullness-annotations}. Things are a bit more complicated
(including the defaults) when one deals with a generic type, see
Section~\ref{generics}.

To run the Nullness Checker, supply the
\code{-processor org.checkerframework.checker.nullness.NullnessChecker}
Expand Down

0 comments on commit 5c89631

Please sign in to comment.