org.checkerframework.checker.nullness

Classes

• AbstractNullnessChecker
• CollectionToArrayHeuristics
• KeyForAnalysis
• KeyForAnnotatedTypeFactory
• KeyForAnnotatedTypeFactory.KeyForTypeHierarchy
• KeyForPropagationTreeAnnotator
• KeyForPropagator
• KeyForStore
• KeyForSubchecker
• KeyForTransfer
• KeyForValue
• NullnessAnalysis
• NullnessAnnotatedTypeFactory
• NullnessAnnotatedTypeFactory.NullnessPropagationAnnotator
• NullnessAnnotatedTypeFormatter
• NullnessAnnotatedTypeFormatter.NullnessFormattingVisitor
• NullnessChecker
• NullnessRawnessChecker
• NullnessStore
• NullnessTransfer
• NullnessUtil
• NullnessValue
• NullnessVisitor
• SystemGetPropertyHandler

Enums

• KeyForPropagator.PropagationDirection