checkers.nullness
Class NullnessChecker

java.lang.Object
  javax.annotation.processing.AbstractProcessor
      com.sun.source.util.AbstractTypeProcessor
          checkers.util.AggregateChecker
              checkers.nullness.NullnessChecker

All Implemented Interfaces:

Processor

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

processingEnv

Constructor and Description

NullnessChecker()

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

process

Methods inherited from class javax.annotation.processing.AbstractProcessor

getCompletions, isInitialized, toString

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Constructor Detail

NullnessChecker

public NullnessChecker()

Method Detail

getSupportedCheckers

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