checkers.nullness

Class NullnessChecker

java.lang.Object

javax.annotation.processing.AbstractProcessor

checkers.source.AbstractTypeProcessor

checkers.source.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

Fields inherited from class checkers.source.AggregateChecker

checkers

Fields inherited from class javax.annotation.processing.AbstractProcessor

processingEnv

Constructor Summary

Constructors

Constructor and Description
NullnessChecker()

Method Summary

Methods

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.source.AggregateChecker

getSupportedAnnotationTypes, getSupportedOptions, getSupportedSourceVersion, init, typeProcess, typeProcessingOver, typeProcessingStart

Methods inherited from class checkers.source.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