Class NullnessNoInitAnnotatedTypeFactory.NullnessTypeAnnotator

java.lang.Object
org.checkerframework.framework.type.visitor.AnnotatedTypeScanner<Void,Void>
org.checkerframework.framework.type.typeannotator.TypeAnnotator
org.checkerframework.checker.nullness.NullnessNoInitAnnotatedTypeFactory.NullnessTypeAnnotator
All Implemented Interfaces:
AnnotatedTypeVisitor<Void,Void>
Enclosing class:
NullnessNoInitAnnotatedTypeFactory

protected class NullnessNoInitAnnotatedTypeFactory.NullnessTypeAnnotator extends TypeAnnotator
This type annotator ensures that constructor return types are NONNULL, unless there is an explicit different annotation.