checkers.nullness
Class NullnessSubchecker

java.lang.Object
  extended by javax.annotation.processing.AbstractProcessor
      extended by com.sun.source.util.AbstractTypeProcessor
          extended by checkers.source.SourceChecker
              extended by checkers.basetype.BaseTypeChecker
                  extended by checkers.nullness.NullnessSubchecker
All Implemented Interfaces:
Processor

@TypeQualifiers(value={Nullable.class,LazyNonNull.class,NonNull.class,PolyNull.class})
@SupportedLintOptions(value={"flow","cast","nulltest"})
public class NullnessSubchecker
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 Checker Framework manual:
Nullness Checker

Field Summary
Modifier and Type Field and Description
 
Fields inherited from class checkers.source.SourceChecker
currentPath, currentRoot, env, messager, messages, trees
 
Fields inherited from class javax.annotation.processing.AbstractProcessor
processingEnv
 
Constructor Summary
Constructor and Description
NullnessSubchecker()
           
 
Method Summary
Modifier and Type Method and Description
 
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
getLintOption, getLintOption, getMessages, getProcessingEnvironment, getShouldSkip, getSupportedAnnotationTypes, getSupportedOptions, getSupportedSourceVersion, getSuppressWarningsKey, message, report, typeProcess
 
Methods inherited from class com.sun.source.util.AbstractTypeProcessor
process, typeProcessingOver
 
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

NullnessSubchecker

public NullnessSubchecker()