Package org.checkerframework.checker.nullness

Class NullnessAnnotatedTypeFactory.NullnessTypeAnnotator

java.lang.Object

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

org.checkerframework.framework.type.typeannotator.TypeAnnotator

InitializationAnnotatedTypeFactory<NullnessValue,NullnessStore,NullnessTransfer,NullnessAnalysis>.CommitmentTypeAnnotator

org.checkerframework.checker.nullness.NullnessAnnotatedTypeFactory.NullnessTypeAnnotator

All Implemented Interfaces:

AnnotatedTypeVisitor<Void,Void>

Enclosing class:

NullnessAnnotatedTypeFactory

protected class NullnessAnnotatedTypeFactory.NullnessTypeAnnotator
extends InitializationAnnotatedTypeFactory<NullnessValue,NullnessStore,NullnessTransfer,NullnessAnalysis>.CommitmentTypeAnnotator

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(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 Details

NullnessTypeAnnotator

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