Skip to content

Commit

Permalink
Correct link to NonRaw
Browse files Browse the repository at this point in the history
  • Loading branch information
smillst committed Apr 3, 2017
1 parent 0eebf2c commit 0035708
Showing 1 changed file with 2 additions and 2 deletions.
4 changes: 2 additions & 2 deletions docs/manual/nullness-checker.tex
Original file line number Diff line number Diff line change
Expand Up @@ -2133,11 +2133,11 @@ \subsubsection{How an object becomes non-raw\label{becoming-non-raw}}
\code{this} starts out with \refqualclass{checker/nullness/qual}{Raw} type.
As soon as all of the \refqualclass{checker/nullness/qual}{NonNull} fields
in class $C$ have been initialized, then \code{this} is treated as
\refqualclass{checker/initialization/qual}{NonRaw}\code{(\emph{C})}.
\refqualclass{checker/nullness/qual}{NonRaw}\code{(\emph{C})}.
This means that \code{this} is still being initialized, but all
initialization of $C$'s fields is complete, including all fields of supertypes.
Eventually, when all constructors complete, the type is simply
\refqualclass{checker/initialization/qual}{NonRaw}.
\refqualclass{checker/nullness/qual}{NonRaw}.

The Nullness Checker issues an error if the constructor fails to initialize
any \code{@NonNull} field. This ensures that the object is in a legal (non-raw)
Expand Down

0 comments on commit 0035708

Please sign in to comment.