[Checkers] NonNull assertions
mahmood at MIT.EDU
Mon Apr 28 20:39:50 EDT 2008
This may not be relevant to this paper. However, I wanted to bring it
up for future reference.
In my case studies, I have noticed that many projects have their own
method of asserting (non-)null-ability.
- Eclipse has Assert.nonNull()
- Google Guice has Objects.nonNull() and ensureNonNull() to assert
- Javac tends to start calling getClass() on parameters as the first
statements in the method declaration block.
More information about the checkers