Class NullnessChecker

  extended by javax.annotation.processing.AbstractProcessor
      extended by com.sun.source.util.AbstractTypeProcessor
          extended by checkers.util.AggregateChecker
              extended by checkers.nullness.NullnessChecker
All Implemented Interfaces:

public class NullnessChecker
extends AggregateChecker

A typechecker plug-in for the Rawness type system qualifier that finds (and verifies the absence of) null-pointer errors.

See Also:
NonNull, Nullable, Raw
See the Checker Framework manual:
Nullness Checker

Field Summary
Modifier and Type Field and Description
Fields inherited from class javax.annotation.processing.AbstractProcessor
Constructor Summary
Constructor and Description
Method Summary
Modifier and Type Method and Description
protected  Collection<Class<? extends SourceChecker>> getSupportedCheckers()
          Returns the list of supported checkers to be run together.
Methods inherited from class checkers.util.AggregateChecker
getSupportedAnnotationTypes, getSupportedOptions, getSupportedSourceVersion, init, typeProcess, typeProcessingOver
Methods inherited from class com.sun.source.util.AbstractTypeProcessor
Methods inherited from class javax.annotation.processing.AbstractProcessor
getCompletions, isInitialized
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail


public NullnessChecker()
Method Detail


protected Collection<Class<? extends SourceChecker>> getSupportedCheckers()
Description copied from class: AggregateChecker
Returns the list of supported checkers to be run together. Subclasses need to override this method.

Specified by:
getSupportedCheckers in class AggregateChecker