checkers.nullness
Class NullnessChecker

java.lang.Object
  extended by javax.annotation.processing.AbstractProcessor
      extended by checkers.source.SourceChecker
          extended by checkers.basetype.BaseTypeChecker
              extended by checkers.nullness.NullnessChecker
All Implemented Interfaces:
Processor

@TypeQualifiers(value={Nullable.class,Raw.class,NonNull.class,PolyNull.class})
@SupportedLintOptions(value={"flow","cast","cast:redundant"})
public class NullnessChecker
extends BaseTypeChecker

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

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

Field Summary
 
Fields inherited from class checkers.source.SourceChecker
currentRoot, env, messager, messages, skipPattern, trees
 
Fields inherited from class javax.annotation.processing.AbstractProcessor
processingEnv
 
Constructor Summary
NullnessChecker()
           
 
Method Summary
 
Methods inherited from class checkers.basetype.BaseTypeChecker
createFactory, createQualifierHierarchy, createSourceVisitor, createSupportedTypeQualifiers, createTypeHierarchy, getQualifierHierarchy, getSupportedLintOptions, getSupportedTypeQualifiers, init, isAssignable, isSubtype, isValidUse
 
Methods inherited from class checkers.source.SourceChecker
attribute, getLintOption, getLintOption, getMessages, getProcessingEnvironment, getShouldSkip, getSupportedAnnotationTypes, getSupportedOptions, getSupportedSourceVersion, getSuppressWarningsKey, message, process, report, shouldSkip
 
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

NullnessChecker

public NullnessChecker()