checkers.nullness
Class NullnessSubchecker
java.lang.Object
javax.annotation.processing.AbstractProcessor
com.sun.source.util.AbstractTypeProcessor
checkers.source.SourceChecker
checkers.basetype.BaseTypeChecker
checkers.nullness.NullnessSubchecker
- All Implemented Interfaces:
- Processor
@TypeQualifiers(value={Nullable.class,LazyNonNull.class,NonNull.class,PolyNull.class})
@SupportedLintOptions(value={"flow","cast","cast:redundant","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 checkers manual:
- Nullness Checker
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, shouldSkip, typeProcess |
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
NullnessSubchecker
public NullnessSubchecker()