Package org.checkerframework.checker.nullness

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.

Nested Class Summary

Nested classes/interfaces inherited from class org.checkerframework.framework.type.visitor.AnnotatedTypeScanner

AnnotatedTypeScanner.Reduce<R>

Field Summary

Fields inherited from class org.checkerframework.framework.type.typeannotator.TypeAnnotator

atypeFactory

Fields inherited from class org.checkerframework.framework.type.visitor.AnnotatedTypeScanner

defaultResult, reduceFunction, visitedNodes

Constructor Summary

Constructors

Constructor	Description
NullnessTypeAnnotator(NullnessNoInitAnnotatedTypeFactory atypeFactory)	Creates a new NullnessTypeAnnotator.

Method Summary

Modifier and Type	Method	Description
Void	visitExecutable(AnnotatedTypeMirror.AnnotatedExecutableType t, Void p)	Visits an executable type.

Methods inherited from class org.checkerframework.framework.type.visitor.AnnotatedTypeScanner

reduce, reset, scan, scan, scanAndReduce, scanAndReduce, visit, visit, visitArray, visitDeclared, visitIntersection, visitNoType, visitNull, visitPrimitive, visitTypeVariable, visitUnion, visitWildcard

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Details

NullnessTypeAnnotator

public NullnessTypeAnnotator(NullnessNoInitAnnotatedTypeFactory atypeFactory)

Creates a new NullnessTypeAnnotator.

Parameters:

atypeFactory - this factory

Method Details

visitExecutable

public Void visitExecutable(AnnotatedTypeMirror.AnnotatedExecutableType t,
 Void p)

Description copied from class: TypeAnnotator

Visits an executable type.

If this method adds annotations to the type of method parameters, then GenericAnnotatedTypeFactory.addComputedTypeAnnotations(Element, AnnotatedTypeMirror) should be overridden and the same annotations added to the type of elements with kind ElementKind.PARAMETER. Likewise for return types.

Specified by:

visitExecutable in interface AnnotatedTypeVisitor<Void,Void>

Overrides:

visitExecutable in class TypeAnnotator

Parameters:

t - the type to visit

p - a visitor-specified parameter

Returns:

a visitor-specified result