checkers.nullness

Class RawnessSubchecker

java.lang.Object

javax.annotation.processing.AbstractProcessor

checkers.source.AbstractTypeProcessor

checkers.source.SourceChecker

checkers.basetype.BaseTypeChecker

checkers.nullness.RawnessSubchecker

All Implemented Interfaces:

Processor

public class RawnessSubchecker
extends BaseTypeChecker

A typechecker that is part of the Nullness type system. The Rawness Subchecker checks whether an object has been fully initialized by the constructor. If not, then some fields (that are annotated as @NonNull may still be null.

See Also:

NonNull, Nullable, Raw

See the Checker Framework manual:

Nullness Checker

Nested Class Summary

Nested classes/interfaces inherited from class checkers.source.SourceChecker

SourceChecker.CheckerError

Field Summary

Fields inherited from class checkers.source.SourceChecker

currentPath, currentRoot, messager, messages, trees

Fields inherited from class javax.annotation.processing.AbstractProcessor

processingEnv

Constructor Summary

Constructors

Constructor and Description
RawnessSubchecker()

Method Summary

Methods

Modifier and Type	Method and Description
Collection<@ReadOnly String>	getSuppressWarningsKey()

Methods inherited from class checkers.basetype.BaseTypeChecker

createFactory, createQualifierHierarchy, createQualifierHierarchy, createQualifierHierarchyFactory, createSourceVisitor, createSupportedTypeQualifiers, createTypeHierarchy, getQualifierHierarchy, getSupportedLintOptions, getSupportedTypeQualifiers, getTypeHierarchy, initChecker, invokeConstructorFor

Methods inherited from class checkers.source.SourceChecker

errorAbort, errorAbort, formatStackTrace, fullMessageOf, getLintOption, getLintOption, getMessages, getProcessingEnvironment, getProperties, getSupportedAnnotationTypes, getSupportedOptions, getSupportedSourceVersion, message, report, shouldSkipDefs, shouldSkipDefs, shouldSkipUses, typeProcess, typeProcessingStart

Methods inherited from class checkers.source.AbstractTypeProcessor

init, process, typeProcessingOver

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

RawnessSubchecker

public RawnessSubchecker()

Method Detail

getSuppressWarningsKey

public Collection<@ReadOnly String> getSuppressWarningsKey()

Overrides:

getSuppressWarningsKey in class SourceChecker

Returns:

String keys that a checker honors for suppressing warnings and errors that it issues

See Also:

SuppressWarningsKey