org.checkerframework.checker.nullness

Classes

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

Enums

• KeyForPropagator.PropagationDirection