org.checkerframework.checker.nullness

Class NullnessAnnotatedTypeFactory.NullnessTypeAnnotator

java.lang.Object

org.checkerframework.framework.type.visitor.AnnotatedTypeScanner<Void,Void>

org.checkerframework.framework.type.typeannotator.TypeAnnotator

org.checkerframework.checker.initialization.InitializationAnnotatedTypeFactory.CommitmentTypeAnnotator

org.checkerframework.checker.nullness.NullnessAnnotatedTypeFactory.NullnessTypeAnnotator

All Implemented Interfaces:

org.checkerframework.framework.type.visitor.AnnotatedTypeVisitor<Void,Void>

Enclosing class:

NullnessAnnotatedTypeFactory

protected class NullnessAnnotatedTypeFactory.NullnessTypeAnnotator
extends InitializationAnnotatedTypeFactory.CommitmentTypeAnnotator

Field Summary

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

typeFactory

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

visitedNodes

Constructor Summary

Constructors

Constructor and Description
NullnessTypeAnnotator(InitializationAnnotatedTypeFactory<?,?,?,?> atypeFactory)

Method Summary

Methods inherited from class org.checkerframework.checker.initialization.InitializationAnnotatedTypeFactory.CommitmentTypeAnnotator

visitExecutable

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 Detail

NullnessTypeAnnotator

public NullnessTypeAnnotator(InitializationAnnotatedTypeFactory<?,?,?,?> atypeFactory)