All Downloads are FREE. Search and download functionalities are using the official Maven repository.
  • Log In
  • Register
    • Search JAR files by class name

    Download checker JAR 3.42.0-eisop1 with all dependencies


    The Checker Framework enhances Java's type system to make it more powerful and useful. This lets software developers detect and prevent errors in their Java programs. The Checker Framework includes compiler plug-ins ("checkers") that find bugs or verify their absence. It also permits you to write your own compiler plug-ins.

    Files of the artifact checker version 3.42.0-eisop1 from the group io.github.eisop.

    Test

    Artifact checker
    Group io.github.eisop
    Version 3.42.0-eisop1
    Last update 02. January 2024
    Tags: enhances software developers checkers absence detect their lets checker your type prevent that bugs java find verify compiler make write more this includes also framework system powerful permits plug programs useful errors
    Organization not specified
    URL https://eisop.github.io/
    License GNU General Public License, version 2 (GPL2), with the classpath exception
    Dependencies amount 0
    Dependencies No dependencies
    There are maybe transitive dependencies!
    There is a newer version: 3.42.0-eisop4
    Show newest version
    Show more of this group  Show more artifacts with this name
    Show all versions of checker Show documentation

    Please rate this JAR file. Is it a good library?

    0 downloads

    Source code of checker version 3.42.0-eisop1

    META-INF
    META-INF.META-INF.LICENSE.txt
    META-INF.META-INF.MANIFEST.MF
    com.google.errorprone.annotations
    com.google.errorprone.annotations.com.google.errorprone.annotations.FormatMethod
    org.checkerframework.checker.builder.qual
    org.checkerframework.checker.builder.qual.org.checkerframework.checker.builder.qual.CalledMethods
    org.checkerframework.checker.builder.qual.org.checkerframework.checker.builder.qual.NotCalledMethods
    org.checkerframework.checker.builder.qual.org.checkerframework.checker.builder.qual.ReturnsReceiver
    org.checkerframework.checker.calledmethods
    org.checkerframework.checker.calledmethods.org.checkerframework.checker.calledmethods.CalledMethodsAnalysis
    org.checkerframework.checker.calledmethods.org.checkerframework.checker.calledmethods.CalledMethodsAnnotatedTypeFactory
    org.checkerframework.checker.calledmethods.org.checkerframework.checker.calledmethods.CalledMethodsChecker
    org.checkerframework.checker.calledmethods.org.checkerframework.checker.calledmethods.CalledMethodsTransfer
    org.checkerframework.checker.calledmethods.org.checkerframework.checker.calledmethods.CalledMethodsVisitor
    org.checkerframework.checker.calledmethods.org.checkerframework.checker.calledmethods.EnsuresCalledMethodOnExceptionContract
    org.checkerframework.checker.calledmethods.builder
    org.checkerframework.checker.calledmethods.builder.org.checkerframework.checker.calledmethods.builder.AutoValueSupport
    org.checkerframework.checker.calledmethods.builder.org.checkerframework.checker.calledmethods.builder.BuilderFrameworkSupport
    org.checkerframework.checker.calledmethods.builder.org.checkerframework.checker.calledmethods.builder.BuilderFrameworkSupportUtils
    org.checkerframework.checker.calledmethods.builder.org.checkerframework.checker.calledmethods.builder.LombokSupport
    org.checkerframework.checker.calledmethods.qual
    org.checkerframework.checker.calledmethods.qual.org.checkerframework.checker.calledmethods.qual.CalledMethods
    org.checkerframework.checker.calledmethods.qual.org.checkerframework.checker.calledmethods.qual.CalledMethodsBottom
    org.checkerframework.checker.calledmethods.qual.org.checkerframework.checker.calledmethods.qual.CalledMethodsPredicate
    org.checkerframework.checker.calledmethods.qual.org.checkerframework.checker.calledmethods.qual.EnsuresCalledMethods
    org.checkerframework.checker.calledmethods.qual.org.checkerframework.checker.calledmethods.qual.EnsuresCalledMethodsIf
    org.checkerframework.checker.calledmethods.qual.org.checkerframework.checker.calledmethods.qual.EnsuresCalledMethodsOnException
    org.checkerframework.checker.calledmethods.qual.org.checkerframework.checker.calledmethods.qual.EnsuresCalledMethodsVarArgs
    org.checkerframework.checker.calledmethods.qual.org.checkerframework.checker.calledmethods.qual.RequiresCalledMethods
    org.checkerframework.checker.compilermsgs
    org.checkerframework.checker.compilermsgs.org.checkerframework.checker.compilermsgs.CompilerMessagesAnnotatedTypeFactory
    org.checkerframework.checker.compilermsgs.org.checkerframework.checker.compilermsgs.CompilerMessagesChecker
    org.checkerframework.checker.compilermsgs.qual
    org.checkerframework.checker.compilermsgs.qual.org.checkerframework.checker.compilermsgs.qual.CompilerMessageKey
    org.checkerframework.checker.compilermsgs.qual.org.checkerframework.checker.compilermsgs.qual.CompilerMessageKeyBottom
    org.checkerframework.checker.compilermsgs.qual.org.checkerframework.checker.compilermsgs.qual.UnknownCompilerMessageKey
    org.checkerframework.checker.compilermsgs.qual.org.checkerframework.checker.compilermsgs.qual.package-info
    org.checkerframework.checker.fenum
    org.checkerframework.checker.fenum.org.checkerframework.checker.fenum.FenumAnnotatedTypeFactory
    org.checkerframework.checker.fenum.org.checkerframework.checker.fenum.FenumChecker
    org.checkerframework.checker.fenum.org.checkerframework.checker.fenum.FenumVisitor
    org.checkerframework.checker.fenum.org.checkerframework.checker.fenum.package-info
    org.checkerframework.checker.fenum.qual
    org.checkerframework.checker.fenum.qual.org.checkerframework.checker.fenum.qual.AwtAlphaCompositingRule
    org.checkerframework.checker.fenum.qual.org.checkerframework.checker.fenum.qual.AwtColorSpace
    org.checkerframework.checker.fenum.qual.org.checkerframework.checker.fenum.qual.AwtCursorType
    org.checkerframework.checker.fenum.qual.org.checkerframework.checker.fenum.qual.AwtFlowLayout
    org.checkerframework.checker.fenum.qual.org.checkerframework.checker.fenum.qual.Fenum
    org.checkerframework.checker.fenum.qual.org.checkerframework.checker.fenum.qual.FenumBottom
    org.checkerframework.checker.fenum.qual.org.checkerframework.checker.fenum.qual.FenumTop
    org.checkerframework.checker.fenum.qual.org.checkerframework.checker.fenum.qual.FenumUnqualified
    org.checkerframework.checker.fenum.qual.org.checkerframework.checker.fenum.qual.PolyFenum
    org.checkerframework.checker.fenum.qual.org.checkerframework.checker.fenum.qual.SwingBoxOrientation
    org.checkerframework.checker.fenum.qual.org.checkerframework.checker.fenum.qual.SwingCompassDirection
    org.checkerframework.checker.fenum.qual.org.checkerframework.checker.fenum.qual.SwingElementOrientation
    org.checkerframework.checker.fenum.qual.org.checkerframework.checker.fenum.qual.SwingHorizontalOrientation
    org.checkerframework.checker.fenum.qual.org.checkerframework.checker.fenum.qual.SwingSplitPaneOrientation
    org.checkerframework.checker.fenum.qual.org.checkerframework.checker.fenum.qual.SwingTextOrientation
    org.checkerframework.checker.fenum.qual.org.checkerframework.checker.fenum.qual.SwingTitleJustification
    org.checkerframework.checker.fenum.qual.org.checkerframework.checker.fenum.qual.SwingTitlePosition
    org.checkerframework.checker.fenum.qual.org.checkerframework.checker.fenum.qual.SwingVerticalOrientation
    org.checkerframework.checker.formatter
    org.checkerframework.checker.formatter.org.checkerframework.checker.formatter.FormatterAnnotatedTypeFactory
    org.checkerframework.checker.formatter.org.checkerframework.checker.formatter.FormatterChecker
    org.checkerframework.checker.formatter.org.checkerframework.checker.formatter.FormatterTransfer
    org.checkerframework.checker.formatter.org.checkerframework.checker.formatter.FormatterTreeUtil
    org.checkerframework.checker.formatter.org.checkerframework.checker.formatter.FormatterVisitor
    org.checkerframework.checker.formatter.qual
    org.checkerframework.checker.formatter.qual.org.checkerframework.checker.formatter.qual.ConversionCategory
    org.checkerframework.checker.formatter.qual.org.checkerframework.checker.formatter.qual.Format
    org.checkerframework.checker.formatter.qual.org.checkerframework.checker.formatter.qual.FormatBottom
    org.checkerframework.checker.formatter.qual.org.checkerframework.checker.formatter.qual.FormatMethod
    org.checkerframework.checker.formatter.qual.org.checkerframework.checker.formatter.qual.InvalidFormat
    org.checkerframework.checker.formatter.qual.org.checkerframework.checker.formatter.qual.ReturnsFormat
    org.checkerframework.checker.formatter.qual.org.checkerframework.checker.formatter.qual.UnknownFormat
    org.checkerframework.checker.formatter.util
    org.checkerframework.checker.formatter.util.org.checkerframework.checker.formatter.util.FormatUtil
    org.checkerframework.checker.guieffect
    org.checkerframework.checker.guieffect.org.checkerframework.checker.guieffect.Effect
    org.checkerframework.checker.guieffect.org.checkerframework.checker.guieffect.GuiEffectChecker
    org.checkerframework.checker.guieffect.org.checkerframework.checker.guieffect.GuiEffectTypeFactory
    org.checkerframework.checker.guieffect.org.checkerframework.checker.guieffect.GuiEffectVisitor
    org.checkerframework.checker.guieffect.qual
    org.checkerframework.checker.guieffect.qual.org.checkerframework.checker.guieffect.qual.AlwaysSafe
    org.checkerframework.checker.guieffect.qual.org.checkerframework.checker.guieffect.qual.PolyUI
    org.checkerframework.checker.guieffect.qual.org.checkerframework.checker.guieffect.qual.PolyUIEffect
    org.checkerframework.checker.guieffect.qual.org.checkerframework.checker.guieffect.qual.PolyUIType
    org.checkerframework.checker.guieffect.qual.org.checkerframework.checker.guieffect.qual.SafeEffect
    org.checkerframework.checker.guieffect.qual.org.checkerframework.checker.guieffect.qual.SafeType
    org.checkerframework.checker.guieffect.qual.org.checkerframework.checker.guieffect.qual.UI
    org.checkerframework.checker.guieffect.qual.org.checkerframework.checker.guieffect.qual.UIEffect
    org.checkerframework.checker.guieffect.qual.org.checkerframework.checker.guieffect.qual.UIPackage
    org.checkerframework.checker.guieffect.qual.org.checkerframework.checker.guieffect.qual.UIType
    org.checkerframework.checker.i18n
    org.checkerframework.checker.i18n.org.checkerframework.checker.i18n.I18nAnnotatedTypeFactory
    org.checkerframework.checker.i18n.org.checkerframework.checker.i18n.I18nChecker
    org.checkerframework.checker.i18n.org.checkerframework.checker.i18n.I18nSubchecker
    org.checkerframework.checker.i18n.org.checkerframework.checker.i18n.LocalizableKeyAnnotatedTypeFactory
    org.checkerframework.checker.i18n.org.checkerframework.checker.i18n.LocalizableKeyChecker
    org.checkerframework.checker.i18n.qual
    org.checkerframework.checker.i18n.qual.org.checkerframework.checker.i18n.qual.LocalizableKey
    org.checkerframework.checker.i18n.qual.org.checkerframework.checker.i18n.qual.LocalizableKeyBottom
    org.checkerframework.checker.i18n.qual.org.checkerframework.checker.i18n.qual.Localized
    org.checkerframework.checker.i18n.qual.org.checkerframework.checker.i18n.qual.UnknownLocalizableKey
    org.checkerframework.checker.i18n.qual.org.checkerframework.checker.i18n.qual.UnknownLocalized
    org.checkerframework.checker.i18nformatter
    org.checkerframework.checker.i18nformatter.org.checkerframework.checker.i18nformatter.I18nFormatterAnnotatedTypeFactory
    org.checkerframework.checker.i18nformatter.org.checkerframework.checker.i18nformatter.I18nFormatterChecker
    org.checkerframework.checker.i18nformatter.org.checkerframework.checker.i18nformatter.I18nFormatterTransfer
    org.checkerframework.checker.i18nformatter.org.checkerframework.checker.i18nformatter.I18nFormatterTreeUtil
    org.checkerframework.checker.i18nformatter.org.checkerframework.checker.i18nformatter.I18nFormatterVisitor
    org.checkerframework.checker.i18nformatter.qual
    org.checkerframework.checker.i18nformatter.qual.org.checkerframework.checker.i18nformatter.qual.I18nChecksFormat
    org.checkerframework.checker.i18nformatter.qual.org.checkerframework.checker.i18nformatter.qual.I18nConversionCategory
    org.checkerframework.checker.i18nformatter.qual.org.checkerframework.checker.i18nformatter.qual.I18nFormat
    org.checkerframework.checker.i18nformatter.qual.org.checkerframework.checker.i18nformatter.qual.I18nFormatBottom
    org.checkerframework.checker.i18nformatter.qual.org.checkerframework.checker.i18nformatter.qual.I18nFormatFor
    org.checkerframework.checker.i18nformatter.qual.org.checkerframework.checker.i18nformatter.qual.I18nInvalidFormat
    org.checkerframework.checker.i18nformatter.qual.org.checkerframework.checker.i18nformatter.qual.I18nMakeFormat
    org.checkerframework.checker.i18nformatter.qual.org.checkerframework.checker.i18nformatter.qual.I18nUnknownFormat
    org.checkerframework.checker.i18nformatter.qual.org.checkerframework.checker.i18nformatter.qual.I18nValidFormat
    org.checkerframework.checker.i18nformatter.util
    org.checkerframework.checker.i18nformatter.util.org.checkerframework.checker.i18nformatter.util.I18nFormatUtil
    org.checkerframework.checker.index
    org.checkerframework.checker.index.org.checkerframework.checker.index.BaseAnnotatedTypeFactoryForIndexChecker
    org.checkerframework.checker.index.org.checkerframework.checker.index.IndexAbstractTransfer
    org.checkerframework.checker.index.org.checkerframework.checker.index.IndexChecker
    org.checkerframework.checker.index.org.checkerframework.checker.index.IndexMethodIdentifier
    org.checkerframework.checker.index.org.checkerframework.checker.index.IndexRefinementInfo
    org.checkerframework.checker.index.org.checkerframework.checker.index.IndexUtil
    org.checkerframework.checker.index.org.checkerframework.checker.index.OffsetDependentTypesHelper
    org.checkerframework.checker.index.org.checkerframework.checker.index.Subsequence
    org.checkerframework.checker.index.inequality
    org.checkerframework.checker.index.inequality.org.checkerframework.checker.index.inequality.LessThanAnnotatedTypeFactory
    org.checkerframework.checker.index.inequality.org.checkerframework.checker.index.inequality.LessThanChecker
    org.checkerframework.checker.index.inequality.org.checkerframework.checker.index.inequality.LessThanTransfer
    org.checkerframework.checker.index.inequality.org.checkerframework.checker.index.inequality.LessThanVisitor
    org.checkerframework.checker.index.lowerbound
    org.checkerframework.checker.index.lowerbound.org.checkerframework.checker.index.lowerbound.LowerBoundAnnotatedTypeFactory
    org.checkerframework.checker.index.lowerbound.org.checkerframework.checker.index.lowerbound.LowerBoundChecker
    org.checkerframework.checker.index.lowerbound.org.checkerframework.checker.index.lowerbound.LowerBoundTransfer
    org.checkerframework.checker.index.lowerbound.org.checkerframework.checker.index.lowerbound.LowerBoundVisitor
    org.checkerframework.checker.index.qual
    org.checkerframework.checker.index.qual.org.checkerframework.checker.index.qual.EnsuresLTLengthOf
    org.checkerframework.checker.index.qual.org.checkerframework.checker.index.qual.EnsuresLTLengthOfIf
    org.checkerframework.checker.index.qual.org.checkerframework.checker.index.qual.GTENegativeOne
    org.checkerframework.checker.index.qual.org.checkerframework.checker.index.qual.HasSubsequence
    org.checkerframework.checker.index.qual.org.checkerframework.checker.index.qual.IndexFor
    org.checkerframework.checker.index.qual.org.checkerframework.checker.index.qual.IndexOrHigh
    org.checkerframework.checker.index.qual.org.checkerframework.checker.index.qual.IndexOrLow
    org.checkerframework.checker.index.qual.org.checkerframework.checker.index.qual.LTEqLengthOf
    org.checkerframework.checker.index.qual.org.checkerframework.checker.index.qual.LTLengthOf
    org.checkerframework.checker.index.qual.org.checkerframework.checker.index.qual.LTOMLengthOf
    org.checkerframework.checker.index.qual.org.checkerframework.checker.index.qual.LengthOf
    org.checkerframework.checker.index.qual.org.checkerframework.checker.index.qual.LessThan
    org.checkerframework.checker.index.qual.org.checkerframework.checker.index.qual.LessThanBottom
    org.checkerframework.checker.index.qual.org.checkerframework.checker.index.qual.LessThanUnknown
    org.checkerframework.checker.index.qual.org.checkerframework.checker.index.qual.LowerBoundBottom
    org.checkerframework.checker.index.qual.org.checkerframework.checker.index.qual.LowerBoundUnknown
    org.checkerframework.checker.index.qual.org.checkerframework.checker.index.qual.NegativeIndexFor
    org.checkerframework.checker.index.qual.org.checkerframework.checker.index.qual.NonNegative
    org.checkerframework.checker.index.qual.org.checkerframework.checker.index.qual.PolyIndex
    org.checkerframework.checker.index.qual.org.checkerframework.checker.index.qual.PolyLength
    org.checkerframework.checker.index.qual.org.checkerframework.checker.index.qual.PolyLowerBound
    org.checkerframework.checker.index.qual.org.checkerframework.checker.index.qual.PolySameLen
    org.checkerframework.checker.index.qual.org.checkerframework.checker.index.qual.PolyUpperBound
    org.checkerframework.checker.index.qual.org.checkerframework.checker.index.qual.Positive
    org.checkerframework.checker.index.qual.org.checkerframework.checker.index.qual.SameLen
    org.checkerframework.checker.index.qual.org.checkerframework.checker.index.qual.SameLenBottom
    org.checkerframework.checker.index.qual.org.checkerframework.checker.index.qual.SameLenUnknown
    org.checkerframework.checker.index.qual.org.checkerframework.checker.index.qual.SearchIndexBottom
    org.checkerframework.checker.index.qual.org.checkerframework.checker.index.qual.SearchIndexFor
    org.checkerframework.checker.index.qual.org.checkerframework.checker.index.qual.SearchIndexUnknown
    org.checkerframework.checker.index.qual.org.checkerframework.checker.index.qual.SubstringIndexBottom
    org.checkerframework.checker.index.qual.org.checkerframework.checker.index.qual.SubstringIndexFor
    org.checkerframework.checker.index.qual.org.checkerframework.checker.index.qual.SubstringIndexUnknown
    org.checkerframework.checker.index.qual.org.checkerframework.checker.index.qual.UpperBoundBottom
    org.checkerframework.checker.index.qual.org.checkerframework.checker.index.qual.UpperBoundLiteral
    org.checkerframework.checker.index.qual.org.checkerframework.checker.index.qual.UpperBoundUnknown
    org.checkerframework.checker.index.samelen
    org.checkerframework.checker.index.samelen.org.checkerframework.checker.index.samelen.SameLenAnnotatedTypeFactory
    org.checkerframework.checker.index.samelen.org.checkerframework.checker.index.samelen.SameLenChecker
    org.checkerframework.checker.index.samelen.org.checkerframework.checker.index.samelen.SameLenTransfer
    org.checkerframework.checker.index.samelen.org.checkerframework.checker.index.samelen.SameLenVisitor
    org.checkerframework.checker.index.searchindex
    org.checkerframework.checker.index.searchindex.org.checkerframework.checker.index.searchindex.SearchIndexAnnotatedTypeFactory
    org.checkerframework.checker.index.searchindex.org.checkerframework.checker.index.searchindex.SearchIndexChecker
    org.checkerframework.checker.index.searchindex.org.checkerframework.checker.index.searchindex.SearchIndexTransfer
    org.checkerframework.checker.index.substringindex
    org.checkerframework.checker.index.substringindex.org.checkerframework.checker.index.substringindex.SubstringIndexAnnotatedTypeFactory
    org.checkerframework.checker.index.substringindex.org.checkerframework.checker.index.substringindex.SubstringIndexChecker
    org.checkerframework.checker.index.upperbound
    org.checkerframework.checker.index.upperbound.org.checkerframework.checker.index.upperbound.OffsetEquation
    org.checkerframework.checker.index.upperbound.org.checkerframework.checker.index.upperbound.UBQualifier
    org.checkerframework.checker.index.upperbound.org.checkerframework.checker.index.upperbound.UpperBoundAnnotatedTypeFactory
    org.checkerframework.checker.index.upperbound.org.checkerframework.checker.index.upperbound.UpperBoundChecker
    org.checkerframework.checker.index.upperbound.org.checkerframework.checker.index.upperbound.UpperBoundTransfer
    org.checkerframework.checker.index.upperbound.org.checkerframework.checker.index.upperbound.UpperBoundVisitor
    org.checkerframework.checker.initialization
    org.checkerframework.checker.initialization.org.checkerframework.checker.initialization.InitializationAnalysis
    org.checkerframework.checker.initialization.org.checkerframework.checker.initialization.InitializationAnnotatedTypeFactory
    org.checkerframework.checker.initialization.org.checkerframework.checker.initialization.InitializationChecker
    org.checkerframework.checker.initialization.org.checkerframework.checker.initialization.InitializationFieldAccessAnnotatedTypeFactory
    org.checkerframework.checker.initialization.org.checkerframework.checker.initialization.InitializationFieldAccessSubchecker
    org.checkerframework.checker.initialization.org.checkerframework.checker.initialization.InitializationFieldAccessTreeAnnotator
    org.checkerframework.checker.initialization.org.checkerframework.checker.initialization.InitializationFieldAccessVisitor
    org.checkerframework.checker.initialization.org.checkerframework.checker.initialization.InitializationParentAnnotatedTypeFactory
    org.checkerframework.checker.initialization.org.checkerframework.checker.initialization.InitializationStore
    org.checkerframework.checker.initialization.org.checkerframework.checker.initialization.InitializationTransfer
    org.checkerframework.checker.initialization.org.checkerframework.checker.initialization.InitializationVisitor
    org.checkerframework.checker.initialization.qual
    org.checkerframework.checker.initialization.qual.org.checkerframework.checker.initialization.qual.FBCBottom
    org.checkerframework.checker.initialization.qual.org.checkerframework.checker.initialization.qual.HoldsForDefaultValue
    org.checkerframework.checker.initialization.qual.org.checkerframework.checker.initialization.qual.Initialized
    org.checkerframework.checker.initialization.qual.org.checkerframework.checker.initialization.qual.NotOnlyInitialized
    org.checkerframework.checker.initialization.qual.org.checkerframework.checker.initialization.qual.PolyInitialized
    org.checkerframework.checker.initialization.qual.org.checkerframework.checker.initialization.qual.UnderInitialization
    org.checkerframework.checker.initialization.qual.org.checkerframework.checker.initialization.qual.UnknownInitialization
    org.checkerframework.checker.interning
    org.checkerframework.checker.interning.org.checkerframework.checker.interning.InterningAnnotatedTypeFactory
    org.checkerframework.checker.interning.org.checkerframework.checker.interning.InterningChecker
    org.checkerframework.checker.interning.org.checkerframework.checker.interning.InterningVisitor
    org.checkerframework.checker.interning.org.checkerframework.checker.interning.package-info
    org.checkerframework.checker.interning.qual
    org.checkerframework.checker.interning.qual.org.checkerframework.checker.interning.qual.CompareToMethod
    org.checkerframework.checker.interning.qual.org.checkerframework.checker.interning.qual.EqualsMethod
    org.checkerframework.checker.interning.qual.org.checkerframework.checker.interning.qual.FindDistinct
    org.checkerframework.checker.interning.qual.org.checkerframework.checker.interning.qual.InternMethod
    org.checkerframework.checker.interning.qual.org.checkerframework.checker.interning.qual.Interned
    org.checkerframework.checker.interning.qual.org.checkerframework.checker.interning.qual.InternedDistinct
    org.checkerframework.checker.interning.qual.org.checkerframework.checker.interning.qual.PolyInterned
    org.checkerframework.checker.interning.qual.org.checkerframework.checker.interning.qual.UnknownInterned
    org.checkerframework.checker.interning.qual.org.checkerframework.checker.interning.qual.UsesObjectEquals
    org.checkerframework.checker.lock
    org.checkerframework.checker.lock.org.checkerframework.checker.lock.LockAnalysis
    org.checkerframework.checker.lock.org.checkerframework.checker.lock.LockAnnotatedTypeFactory
    org.checkerframework.checker.lock.org.checkerframework.checker.lock.LockChecker
    org.checkerframework.checker.lock.org.checkerframework.checker.lock.LockStore
    org.checkerframework.checker.lock.org.checkerframework.checker.lock.LockTransfer
    org.checkerframework.checker.lock.org.checkerframework.checker.lock.LockTreeAnnotator
    org.checkerframework.checker.lock.org.checkerframework.checker.lock.LockVisitor
    org.checkerframework.checker.lock.qual
    org.checkerframework.checker.lock.qual.org.checkerframework.checker.lock.qual.EnsuresLockHeld
    org.checkerframework.checker.lock.qual.org.checkerframework.checker.lock.qual.EnsuresLockHeldIf
    org.checkerframework.checker.lock.qual.org.checkerframework.checker.lock.qual.GuardSatisfied
    org.checkerframework.checker.lock.qual.org.checkerframework.checker.lock.qual.GuardedBy
    org.checkerframework.checker.lock.qual.org.checkerframework.checker.lock.qual.GuardedByBottom
    org.checkerframework.checker.lock.qual.org.checkerframework.checker.lock.qual.GuardedByUnknown
    org.checkerframework.checker.lock.qual.org.checkerframework.checker.lock.qual.Holding
    org.checkerframework.checker.lock.qual.org.checkerframework.checker.lock.qual.LockHeld
    org.checkerframework.checker.lock.qual.org.checkerframework.checker.lock.qual.LockPossiblyHeld
    org.checkerframework.checker.lock.qual.org.checkerframework.checker.lock.qual.LockingFree
    org.checkerframework.checker.lock.qual.org.checkerframework.checker.lock.qual.MayReleaseLocks
    org.checkerframework.checker.lock.qual.org.checkerframework.checker.lock.qual.NewObject
    org.checkerframework.checker.lock.qual.org.checkerframework.checker.lock.qual.PolyGuardedBy
    org.checkerframework.checker.lock.qual.org.checkerframework.checker.lock.qual.ReleasesNoLocks
    org.checkerframework.checker.mustcall
    org.checkerframework.checker.mustcall.org.checkerframework.checker.mustcall.CreatesMustCallForElementSupplier
    org.checkerframework.checker.mustcall.org.checkerframework.checker.mustcall.CreatesMustCallForToJavaExpression
    org.checkerframework.checker.mustcall.org.checkerframework.checker.mustcall.MustCallAnnotatedTypeFactory
    org.checkerframework.checker.mustcall.org.checkerframework.checker.mustcall.MustCallChecker
    org.checkerframework.checker.mustcall.org.checkerframework.checker.mustcall.MustCallNoCreatesMustCallForChecker
    org.checkerframework.checker.mustcall.org.checkerframework.checker.mustcall.MustCallTransfer
    org.checkerframework.checker.mustcall.org.checkerframework.checker.mustcall.MustCallTypeAnnotator
    org.checkerframework.checker.mustcall.org.checkerframework.checker.mustcall.MustCallVisitor
    org.checkerframework.checker.mustcall.qual
    org.checkerframework.checker.mustcall.qual.org.checkerframework.checker.mustcall.qual.CreatesMustCallFor
    org.checkerframework.checker.mustcall.qual.org.checkerframework.checker.mustcall.qual.InheritableMustCall
    org.checkerframework.checker.mustcall.qual.org.checkerframework.checker.mustcall.qual.MustCall
    org.checkerframework.checker.mustcall.qual.org.checkerframework.checker.mustcall.qual.MustCallAlias
    org.checkerframework.checker.mustcall.qual.org.checkerframework.checker.mustcall.qual.MustCallUnknown
    org.checkerframework.checker.mustcall.qual.org.checkerframework.checker.mustcall.qual.NotOwning
    org.checkerframework.checker.mustcall.qual.org.checkerframework.checker.mustcall.qual.Owning
    org.checkerframework.checker.mustcall.qual.org.checkerframework.checker.mustcall.qual.PolyMustCall
    org.checkerframework.checker.nullness
    org.checkerframework.checker.nullness.org.checkerframework.checker.nullness.CollectionToArrayHeuristics
    org.checkerframework.checker.nullness.org.checkerframework.checker.nullness.KeyForAnalysis
    org.checkerframework.checker.nullness.org.checkerframework.checker.nullness.KeyForAnnotatedTypeFactory
    org.checkerframework.checker.nullness.org.checkerframework.checker.nullness.KeyForPropagationTreeAnnotator
    org.checkerframework.checker.nullness.org.checkerframework.checker.nullness.KeyForPropagator
    org.checkerframework.checker.nullness.org.checkerframework.checker.nullness.KeyForStore
    org.checkerframework.checker.nullness.org.checkerframework.checker.nullness.KeyForSubchecker
    org.checkerframework.checker.nullness.org.checkerframework.checker.nullness.KeyForTransfer
    org.checkerframework.checker.nullness.org.checkerframework.checker.nullness.KeyForValue
    org.checkerframework.checker.nullness.org.checkerframework.checker.nullness.NullnessChecker
    org.checkerframework.checker.nullness.org.checkerframework.checker.nullness.NullnessNoInitAnalysis
    org.checkerframework.checker.nullness.org.checkerframework.checker.nullness.NullnessNoInitAnnotatedTypeFactory
    org.checkerframework.checker.nullness.org.checkerframework.checker.nullness.NullnessNoInitAnnotatedTypeFormatter
    org.checkerframework.checker.nullness.org.checkerframework.checker.nullness.NullnessNoInitStore
    org.checkerframework.checker.nullness.org.checkerframework.checker.nullness.NullnessNoInitSubchecker
    org.checkerframework.checker.nullness.org.checkerframework.checker.nullness.NullnessNoInitTransfer
    org.checkerframework.checker.nullness.org.checkerframework.checker.nullness.NullnessNoInitValue
    org.checkerframework.checker.nullness.org.checkerframework.checker.nullness.NullnessNoInitVisitor
    org.checkerframework.checker.nullness.org.checkerframework.checker.nullness.SystemGetPropertyHandler
    org.checkerframework.checker.nullness.qual
    org.checkerframework.checker.nullness.qual.org.checkerframework.checker.nullness.qual.AssertNonNullIfNonNull
    org.checkerframework.checker.nullness.qual.org.checkerframework.checker.nullness.qual.EnsuresKeyFor
    org.checkerframework.checker.nullness.qual.org.checkerframework.checker.nullness.qual.EnsuresKeyForIf
    org.checkerframework.checker.nullness.qual.org.checkerframework.checker.nullness.qual.EnsuresNonNull
    org.checkerframework.checker.nullness.qual.org.checkerframework.checker.nullness.qual.EnsuresNonNullIf
    org.checkerframework.checker.nullness.qual.org.checkerframework.checker.nullness.qual.KeyFor
    org.checkerframework.checker.nullness.qual.org.checkerframework.checker.nullness.qual.KeyForBottom
    org.checkerframework.checker.nullness.qual.org.checkerframework.checker.nullness.qual.MonotonicNonNull
    org.checkerframework.checker.nullness.qual.org.checkerframework.checker.nullness.qual.NonNull
    org.checkerframework.checker.nullness.qual.org.checkerframework.checker.nullness.qual.Nullable
    org.checkerframework.checker.nullness.qual.org.checkerframework.checker.nullness.qual.PolyKeyFor
    org.checkerframework.checker.nullness.qual.org.checkerframework.checker.nullness.qual.PolyNull
    org.checkerframework.checker.nullness.qual.org.checkerframework.checker.nullness.qual.RequiresNonNull
    org.checkerframework.checker.nullness.qual.org.checkerframework.checker.nullness.qual.UnknownKeyFor
    org.checkerframework.checker.nullness.util
    org.checkerframework.checker.nullness.util.org.checkerframework.checker.nullness.util.NullnessUtil
    org.checkerframework.checker.nullness.util.org.checkerframework.checker.nullness.util.Opt
    org.checkerframework.checker.optional
    org.checkerframework.checker.optional.org.checkerframework.checker.optional.OptionalAnnotatedTypeFactory
    org.checkerframework.checker.optional.org.checkerframework.checker.optional.OptionalChecker
    org.checkerframework.checker.optional.org.checkerframework.checker.optional.OptionalTransfer
    org.checkerframework.checker.optional.org.checkerframework.checker.optional.OptionalVisitor
    org.checkerframework.checker.optional.qual
    org.checkerframework.checker.optional.qual.org.checkerframework.checker.optional.qual.EnsuresPresent
    org.checkerframework.checker.optional.qual.org.checkerframework.checker.optional.qual.EnsuresPresentIf
    org.checkerframework.checker.optional.qual.org.checkerframework.checker.optional.qual.MaybePresent
    org.checkerframework.checker.optional.qual.org.checkerframework.checker.optional.qual.OptionalBottom
    org.checkerframework.checker.optional.qual.org.checkerframework.checker.optional.qual.OptionalCreator
    org.checkerframework.checker.optional.qual.org.checkerframework.checker.optional.qual.OptionalEliminator
    org.checkerframework.checker.optional.qual.org.checkerframework.checker.optional.qual.OptionalPropagator
    org.checkerframework.checker.optional.qual.org.checkerframework.checker.optional.qual.PolyPresent
    org.checkerframework.checker.optional.qual.org.checkerframework.checker.optional.qual.Present
    org.checkerframework.checker.optional.qual.org.checkerframework.checker.optional.qual.RequiresPresent
    org.checkerframework.checker.optional.util
    org.checkerframework.checker.optional.util.org.checkerframework.checker.optional.util.OptionalUtil
    org.checkerframework.checker.propkey
    org.checkerframework.checker.propkey.org.checkerframework.checker.propkey.PropertyKeyAnnotatedTypeFactory
    org.checkerframework.checker.propkey.org.checkerframework.checker.propkey.PropertyKeyChecker
    org.checkerframework.checker.propkey.qual
    org.checkerframework.checker.propkey.qual.org.checkerframework.checker.propkey.qual.PropertyKey
    org.checkerframework.checker.propkey.qual.org.checkerframework.checker.propkey.qual.PropertyKeyBottom
    org.checkerframework.checker.propkey.qual.org.checkerframework.checker.propkey.qual.UnknownPropertyKey
    org.checkerframework.checker.regex
    org.checkerframework.checker.regex.org.checkerframework.checker.regex.RegexAnnotatedTypeFactory
    org.checkerframework.checker.regex.org.checkerframework.checker.regex.RegexChecker
    org.checkerframework.checker.regex.org.checkerframework.checker.regex.RegexTransfer
    org.checkerframework.checker.regex.org.checkerframework.checker.regex.RegexVisitor
    org.checkerframework.checker.regex.qual
    org.checkerframework.checker.regex.qual.org.checkerframework.checker.regex.qual.PartialRegex
    org.checkerframework.checker.regex.qual.org.checkerframework.checker.regex.qual.PolyRegex
    org.checkerframework.checker.regex.qual.org.checkerframework.checker.regex.qual.Regex
    org.checkerframework.checker.regex.qual.org.checkerframework.checker.regex.qual.RegexBottom
    org.checkerframework.checker.regex.qual.org.checkerframework.checker.regex.qual.UnknownRegex
    org.checkerframework.checker.regex.util
    org.checkerframework.checker.regex.util.org.checkerframework.checker.regex.util.RegexUtil
    org.checkerframework.checker.resourceleak
    org.checkerframework.checker.resourceleak.org.checkerframework.checker.resourceleak.MustCallConsistencyAnalyzer
    org.checkerframework.checker.resourceleak.org.checkerframework.checker.resourceleak.ResourceLeakAnalysis
    org.checkerframework.checker.resourceleak.org.checkerframework.checker.resourceleak.ResourceLeakAnnotatedTypeFactory
    org.checkerframework.checker.resourceleak.org.checkerframework.checker.resourceleak.ResourceLeakChecker
    org.checkerframework.checker.resourceleak.org.checkerframework.checker.resourceleak.ResourceLeakTransfer
    org.checkerframework.checker.resourceleak.org.checkerframework.checker.resourceleak.ResourceLeakVisitor
    org.checkerframework.checker.resourceleak.org.checkerframework.checker.resourceleak.SetOfTypes
    org.checkerframework.checker.signature
    org.checkerframework.checker.signature.org.checkerframework.checker.signature.SignatureAnnotatedTypeFactory
    org.checkerframework.checker.signature.org.checkerframework.checker.signature.SignatureChecker
    org.checkerframework.checker.signature.org.checkerframework.checker.signature.SignatureTransfer
    org.checkerframework.checker.signature.qual
    org.checkerframework.checker.signature.qual.org.checkerframework.checker.signature.qual.ArrayWithoutPackage
    org.checkerframework.checker.signature.qual.org.checkerframework.checker.signature.qual.BinaryName
    org.checkerframework.checker.signature.qual.org.checkerframework.checker.signature.qual.BinaryNameOrPrimitiveType
    org.checkerframework.checker.signature.qual.org.checkerframework.checker.signature.qual.BinaryNameWithoutPackage
    org.checkerframework.checker.signature.qual.org.checkerframework.checker.signature.qual.CanonicalName
    org.checkerframework.checker.signature.qual.org.checkerframework.checker.signature.qual.CanonicalNameAndBinaryName
    org.checkerframework.checker.signature.qual.org.checkerframework.checker.signature.qual.CanonicalNameOrEmpty
    org.checkerframework.checker.signature.qual.org.checkerframework.checker.signature.qual.CanonicalNameOrPrimitiveType
    org.checkerframework.checker.signature.qual.org.checkerframework.checker.signature.qual.ClassGetName
    org.checkerframework.checker.signature.qual.org.checkerframework.checker.signature.qual.ClassGetSimpleName
    org.checkerframework.checker.signature.qual.org.checkerframework.checker.signature.qual.DotSeparatedIdentifiers
    org.checkerframework.checker.signature.qual.org.checkerframework.checker.signature.qual.DotSeparatedIdentifiersOrPrimitiveType
    org.checkerframework.checker.signature.qual.org.checkerframework.checker.signature.qual.FieldDescriptor
    org.checkerframework.checker.signature.qual.org.checkerframework.checker.signature.qual.FieldDescriptorForPrimitive
    org.checkerframework.checker.signature.qual.org.checkerframework.checker.signature.qual.FieldDescriptorWithoutPackage
    org.checkerframework.checker.signature.qual.org.checkerframework.checker.signature.qual.FqBinaryName
    org.checkerframework.checker.signature.qual.org.checkerframework.checker.signature.qual.FullyQualifiedName
    org.checkerframework.checker.signature.qual.org.checkerframework.checker.signature.qual.Identifier
    org.checkerframework.checker.signature.qual.org.checkerframework.checker.signature.qual.IdentifierOrPrimitiveType
    org.checkerframework.checker.signature.qual.org.checkerframework.checker.signature.qual.InternalForm
    org.checkerframework.checker.signature.qual.org.checkerframework.checker.signature.qual.MethodDescriptor
    org.checkerframework.checker.signature.qual.org.checkerframework.checker.signature.qual.PolySignature
    org.checkerframework.checker.signature.qual.org.checkerframework.checker.signature.qual.PrimitiveType
    org.checkerframework.checker.signature.qual.org.checkerframework.checker.signature.qual.SignatureBottom
    org.checkerframework.checker.signature.qual.org.checkerframework.checker.signature.qual.SignatureUnknown
    org.checkerframework.checker.signedness
    org.checkerframework.checker.signedness.org.checkerframework.checker.signedness.SignednessAnnotatedTypeFactory
    org.checkerframework.checker.signedness.org.checkerframework.checker.signedness.SignednessChecker
    org.checkerframework.checker.signedness.org.checkerframework.checker.signedness.SignednessShifts
    org.checkerframework.checker.signedness.org.checkerframework.checker.signedness.SignednessVisitor
    org.checkerframework.checker.signedness.qual
    org.checkerframework.checker.signedness.qual.org.checkerframework.checker.signedness.qual.PolySigned
    org.checkerframework.checker.signedness.qual.org.checkerframework.checker.signedness.qual.Signed
    org.checkerframework.checker.signedness.qual.org.checkerframework.checker.signedness.qual.SignedPositive
    org.checkerframework.checker.signedness.qual.org.checkerframework.checker.signedness.qual.SignednessBottom
    org.checkerframework.checker.signedness.qual.org.checkerframework.checker.signedness.qual.SignednessGlb
    org.checkerframework.checker.signedness.qual.org.checkerframework.checker.signedness.qual.UnknownSignedness
    org.checkerframework.checker.signedness.qual.org.checkerframework.checker.signedness.qual.Unsigned
    org.checkerframework.checker.signedness.util
    org.checkerframework.checker.signedness.util.org.checkerframework.checker.signedness.util.SignednessUtil
    org.checkerframework.checker.signedness.util.org.checkerframework.checker.signedness.util.SignednessUtilExtra
    org.checkerframework.checker.tainting
    org.checkerframework.checker.tainting.org.checkerframework.checker.tainting.TaintingAnnotatedTypeFactory
    org.checkerframework.checker.tainting.org.checkerframework.checker.tainting.TaintingChecker
    org.checkerframework.checker.tainting.org.checkerframework.checker.tainting.TaintingVisitor
    org.checkerframework.checker.tainting.qual
    org.checkerframework.checker.tainting.qual.org.checkerframework.checker.tainting.qual.PolyTainted
    org.checkerframework.checker.tainting.qual.org.checkerframework.checker.tainting.qual.Tainted
    org.checkerframework.checker.tainting.qual.org.checkerframework.checker.tainting.qual.Untainted
    org.checkerframework.checker.units
    org.checkerframework.checker.units.org.checkerframework.checker.units.UnitsAnnotatedTypeFactory
    org.checkerframework.checker.units.org.checkerframework.checker.units.UnitsAnnotatedTypeFormatter
    org.checkerframework.checker.units.org.checkerframework.checker.units.UnitsAnnotationClassLoader
    org.checkerframework.checker.units.org.checkerframework.checker.units.UnitsChecker
    org.checkerframework.checker.units.org.checkerframework.checker.units.UnitsRelations
    org.checkerframework.checker.units.org.checkerframework.checker.units.UnitsRelationsDefault
    org.checkerframework.checker.units.org.checkerframework.checker.units.UnitsRelationsTools
    org.checkerframework.checker.units.org.checkerframework.checker.units.UnitsVisitor
    org.checkerframework.checker.units.qual
    org.checkerframework.checker.units.qual.org.checkerframework.checker.units.qual.A
    org.checkerframework.checker.units.qual.org.checkerframework.checker.units.qual.Acceleration
    org.checkerframework.checker.units.qual.org.checkerframework.checker.units.qual.Angle
    org.checkerframework.checker.units.qual.org.checkerframework.checker.units.qual.Area
    org.checkerframework.checker.units.qual.org.checkerframework.checker.units.qual.C
    org.checkerframework.checker.units.qual.org.checkerframework.checker.units.qual.Current
    org.checkerframework.checker.units.qual.org.checkerframework.checker.units.qual.Force
    org.checkerframework.checker.units.qual.org.checkerframework.checker.units.qual.K
    org.checkerframework.checker.units.qual.org.checkerframework.checker.units.qual.Length
    org.checkerframework.checker.units.qual.org.checkerframework.checker.units.qual.Luminance
    org.checkerframework.checker.units.qual.org.checkerframework.checker.units.qual.Mass
    org.checkerframework.checker.units.qual.org.checkerframework.checker.units.qual.MixedUnits
    org.checkerframework.checker.units.qual.org.checkerframework.checker.units.qual.N
    org.checkerframework.checker.units.qual.org.checkerframework.checker.units.qual.PolyUnit
    org.checkerframework.checker.units.qual.org.checkerframework.checker.units.qual.Prefix
    org.checkerframework.checker.units.qual.org.checkerframework.checker.units.qual.Speed
    org.checkerframework.checker.units.qual.org.checkerframework.checker.units.qual.Substance
    org.checkerframework.checker.units.qual.org.checkerframework.checker.units.qual.Temperature
    org.checkerframework.checker.units.qual.org.checkerframework.checker.units.qual.Time
    org.checkerframework.checker.units.qual.org.checkerframework.checker.units.qual.UnitsBottom
    org.checkerframework.checker.units.qual.org.checkerframework.checker.units.qual.UnitsMultiple
    org.checkerframework.checker.units.qual.org.checkerframework.checker.units.qual.UnitsRelations
    org.checkerframework.checker.units.qual.org.checkerframework.checker.units.qual.UnknownUnits
    org.checkerframework.checker.units.qual.org.checkerframework.checker.units.qual.Volume
    org.checkerframework.checker.units.qual.org.checkerframework.checker.units.qual.cd
    org.checkerframework.checker.units.qual.org.checkerframework.checker.units.qual.degrees
    org.checkerframework.checker.units.qual.org.checkerframework.checker.units.qual.g
    org.checkerframework.checker.units.qual.org.checkerframework.checker.units.qual.h
    org.checkerframework.checker.units.qual.org.checkerframework.checker.units.qual.kN
    org.checkerframework.checker.units.qual.org.checkerframework.checker.units.qual.kg
    org.checkerframework.checker.units.qual.org.checkerframework.checker.units.qual.km
    org.checkerframework.checker.units.qual.org.checkerframework.checker.units.qual.km2
    org.checkerframework.checker.units.qual.org.checkerframework.checker.units.qual.km3
    org.checkerframework.checker.units.qual.org.checkerframework.checker.units.qual.kmPERh
    org.checkerframework.checker.units.qual.org.checkerframework.checker.units.qual.m
    org.checkerframework.checker.units.qual.org.checkerframework.checker.units.qual.m2
    org.checkerframework.checker.units.qual.org.checkerframework.checker.units.qual.m3
    org.checkerframework.checker.units.qual.org.checkerframework.checker.units.qual.mPERs
    org.checkerframework.checker.units.qual.org.checkerframework.checker.units.qual.mPERs2
    org.checkerframework.checker.units.qual.org.checkerframework.checker.units.qual.min
    org.checkerframework.checker.units.qual.org.checkerframework.checker.units.qual.mm
    org.checkerframework.checker.units.qual.org.checkerframework.checker.units.qual.mm2
    org.checkerframework.checker.units.qual.org.checkerframework.checker.units.qual.mm3
    org.checkerframework.checker.units.qual.org.checkerframework.checker.units.qual.mol
    org.checkerframework.checker.units.qual.org.checkerframework.checker.units.qual.radians
    org.checkerframework.checker.units.qual.org.checkerframework.checker.units.qual.s
    org.checkerframework.checker.units.qual.org.checkerframework.checker.units.qual.t
    org.checkerframework.checker.units.util
    org.checkerframework.checker.units.util.org.checkerframework.checker.units.util.UnitsTools
    org.checkerframework.common.accumulation
    org.checkerframework.common.accumulation.org.checkerframework.common.accumulation.AccumulationAnalysis
    org.checkerframework.common.accumulation.org.checkerframework.common.accumulation.AccumulationAnnotatedTypeFactory
    org.checkerframework.common.accumulation.org.checkerframework.common.accumulation.AccumulationChecker
    org.checkerframework.common.accumulation.org.checkerframework.common.accumulation.AccumulationStore
    org.checkerframework.common.accumulation.org.checkerframework.common.accumulation.AccumulationTransfer
    org.checkerframework.common.accumulation.org.checkerframework.common.accumulation.AccumulationValue
    org.checkerframework.common.accumulation.org.checkerframework.common.accumulation.AccumulationVisitor
    org.checkerframework.common.aliasing
    org.checkerframework.common.aliasing.org.checkerframework.common.aliasing.AliasingAnnotatedTypeFactory
    org.checkerframework.common.aliasing.org.checkerframework.common.aliasing.AliasingChecker
    org.checkerframework.common.aliasing.org.checkerframework.common.aliasing.AliasingTransfer
    org.checkerframework.common.aliasing.org.checkerframework.common.aliasing.AliasingVisitor
    org.checkerframework.common.aliasing.qual
    org.checkerframework.common.aliasing.qual.org.checkerframework.common.aliasing.qual.LeakedToResult
    org.checkerframework.common.aliasing.qual.org.checkerframework.common.aliasing.qual.MaybeAliased
    org.checkerframework.common.aliasing.qual.org.checkerframework.common.aliasing.qual.MaybeLeaked
    org.checkerframework.common.aliasing.qual.org.checkerframework.common.aliasing.qual.NonLeaked
    org.checkerframework.common.aliasing.qual.org.checkerframework.common.aliasing.qual.Unique
    org.checkerframework.common.basetype
    org.checkerframework.common.basetype.org.checkerframework.common.basetype.BaseAnnotatedTypeFactory
    org.checkerframework.common.basetype.org.checkerframework.common.basetype.BaseTypeChecker
    org.checkerframework.common.basetype.org.checkerframework.common.basetype.BaseTypeValidator
    org.checkerframework.common.basetype.org.checkerframework.common.basetype.BaseTypeVisitor
    org.checkerframework.common.basetype.org.checkerframework.common.basetype.TypeValidator
    org.checkerframework.common.basetype.org.checkerframework.common.basetype.package-info
    org.checkerframework.common.initializedfields
    org.checkerframework.common.initializedfields.org.checkerframework.common.initializedfields.InitializedFieldsAnnotatedTypeFactory
    org.checkerframework.common.initializedfields.org.checkerframework.common.initializedfields.InitializedFieldsChecker
    org.checkerframework.common.initializedfields.org.checkerframework.common.initializedfields.InitializedFieldsTransfer
    org.checkerframework.common.initializedfields.qual
    org.checkerframework.common.initializedfields.qual.org.checkerframework.common.initializedfields.qual.EnsuresInitializedFields
    org.checkerframework.common.initializedfields.qual.org.checkerframework.common.initializedfields.qual.InitializedFields
    org.checkerframework.common.initializedfields.qual.org.checkerframework.common.initializedfields.qual.InitializedFieldsBottom
    org.checkerframework.common.initializedfields.qual.org.checkerframework.common.initializedfields.qual.PolyInitializedFields
    org.checkerframework.common.reflection
    org.checkerframework.common.reflection.org.checkerframework.common.reflection.ClassValAnnotatedTypeFactory
    org.checkerframework.common.reflection.org.checkerframework.common.reflection.ClassValChecker
    org.checkerframework.common.reflection.org.checkerframework.common.reflection.ClassValVisitor
    org.checkerframework.common.reflection.org.checkerframework.common.reflection.DefaultReflectionResolver
    org.checkerframework.common.reflection.org.checkerframework.common.reflection.MethodValAnnotatedTypeFactory
    org.checkerframework.common.reflection.org.checkerframework.common.reflection.MethodValChecker
    org.checkerframework.common.reflection.org.checkerframework.common.reflection.MethodValVisitor
    org.checkerframework.common.reflection.org.checkerframework.common.reflection.ReflectionResolver
    org.checkerframework.common.reflection.qual
    org.checkerframework.common.reflection.qual.org.checkerframework.common.reflection.qual.ClassBound
    org.checkerframework.common.reflection.qual.org.checkerframework.common.reflection.qual.ClassVal
    org.checkerframework.common.reflection.qual.org.checkerframework.common.reflection.qual.ClassValBottom
    org.checkerframework.common.reflection.qual.org.checkerframework.common.reflection.qual.ForName
    org.checkerframework.common.reflection.qual.org.checkerframework.common.reflection.qual.GetClass
    org.checkerframework.common.reflection.qual.org.checkerframework.common.reflection.qual.GetConstructor
    org.checkerframework.common.reflection.qual.org.checkerframework.common.reflection.qual.GetMethod
    org.checkerframework.common.reflection.qual.org.checkerframework.common.reflection.qual.Invoke
    org.checkerframework.common.reflection.qual.org.checkerframework.common.reflection.qual.MethodVal
    org.checkerframework.common.reflection.qual.org.checkerframework.common.reflection.qual.MethodValBottom
    org.checkerframework.common.reflection.qual.org.checkerframework.common.reflection.qual.NewInstance
    org.checkerframework.common.reflection.qual.org.checkerframework.common.reflection.qual.UnknownClass
    org.checkerframework.common.reflection.qual.org.checkerframework.common.reflection.qual.UnknownMethod
    org.checkerframework.common.returnsreceiver
    org.checkerframework.common.returnsreceiver.org.checkerframework.common.returnsreceiver.FluentAPIGenerator
    org.checkerframework.common.returnsreceiver.org.checkerframework.common.returnsreceiver.ReturnsReceiverAnnotatedTypeFactory
    org.checkerframework.common.returnsreceiver.org.checkerframework.common.returnsreceiver.ReturnsReceiverChecker
    org.checkerframework.common.returnsreceiver.org.checkerframework.common.returnsreceiver.ReturnsReceiverVisitor
    org.checkerframework.common.returnsreceiver.qual
    org.checkerframework.common.returnsreceiver.qual.org.checkerframework.common.returnsreceiver.qual.BottomThis
    org.checkerframework.common.returnsreceiver.qual.org.checkerframework.common.returnsreceiver.qual.This
    org.checkerframework.common.returnsreceiver.qual.org.checkerframework.common.returnsreceiver.qual.UnknownThis
    org.checkerframework.common.subtyping
    org.checkerframework.common.subtyping.org.checkerframework.common.subtyping.SubtypingAnnotatedTypeFactory
    org.checkerframework.common.subtyping.org.checkerframework.common.subtyping.SubtypingAnnotationClassLoader
    org.checkerframework.common.subtyping.org.checkerframework.common.subtyping.SubtypingChecker
    org.checkerframework.common.subtyping.qual
    org.checkerframework.common.subtyping.qual.org.checkerframework.common.subtyping.qual.Bottom
    org.checkerframework.common.subtyping.qual.org.checkerframework.common.subtyping.qual.Unqualified
    org.checkerframework.common.util
    org.checkerframework.common.util.org.checkerframework.common.util.TypeVisualizer
    org.checkerframework.common.util.count
    org.checkerframework.common.util.count.org.checkerframework.common.util.count.AnnotationStatistics
    org.checkerframework.common.util.count.org.checkerframework.common.util.count.JavaCodeStatistics
    org.checkerframework.common.util.debug
    org.checkerframework.common.util.debug.org.checkerframework.common.util.debug.DoNothingProcessor
    org.checkerframework.common.util.debug.org.checkerframework.common.util.debug.SignaturePrinter
    org.checkerframework.common.util.debug.org.checkerframework.common.util.debug.TreeDebug
    org.checkerframework.common.util.debug.org.checkerframework.common.util.debug.TreePrinter
    org.checkerframework.common.util.debug.org.checkerframework.common.util.debug.TypeOutputtingChecker
    org.checkerframework.common.util.report
    org.checkerframework.common.util.report.org.checkerframework.common.util.report.ReportChecker
    org.checkerframework.common.util.report.org.checkerframework.common.util.report.ReportVisitor
    org.checkerframework.common.util.report.qual
    org.checkerframework.common.util.report.qual.org.checkerframework.common.util.report.qual.ReportCall
    org.checkerframework.common.util.report.qual.org.checkerframework.common.util.report.qual.ReportCreation
    org.checkerframework.common.util.report.qual.org.checkerframework.common.util.report.qual.ReportInherit
    org.checkerframework.common.util.report.qual.org.checkerframework.common.util.report.qual.ReportOverride
    org.checkerframework.common.util.report.qual.org.checkerframework.common.util.report.qual.ReportReadWrite
    org.checkerframework.common.util.report.qual.org.checkerframework.common.util.report.qual.ReportUnqualified
    org.checkerframework.common.util.report.qual.org.checkerframework.common.util.report.qual.ReportUse
    org.checkerframework.common.util.report.qual.org.checkerframework.common.util.report.qual.ReportWrite
    org.checkerframework.common.value
    org.checkerframework.common.value.org.checkerframework.common.value.JavaExpressionOptimizer
    org.checkerframework.common.value.org.checkerframework.common.value.RangeOrListOfValues
    org.checkerframework.common.value.org.checkerframework.common.value.ReflectiveEvaluator
    org.checkerframework.common.value.org.checkerframework.common.value.ValueAnnotatedTypeFactory
    org.checkerframework.common.value.org.checkerframework.common.value.ValueChecker
    org.checkerframework.common.value.org.checkerframework.common.value.ValueCheckerUtils
    org.checkerframework.common.value.org.checkerframework.common.value.ValueMethodIdentifier
    org.checkerframework.common.value.org.checkerframework.common.value.ValueQualifierHierarchy
    org.checkerframework.common.value.org.checkerframework.common.value.ValueTransfer
    org.checkerframework.common.value.org.checkerframework.common.value.ValueTreeAnnotator
    org.checkerframework.common.value.org.checkerframework.common.value.ValueTypeAnnotator
    org.checkerframework.common.value.org.checkerframework.common.value.ValueVisitor
    org.checkerframework.common.value.qual
    org.checkerframework.common.value.qual.org.checkerframework.common.value.qual.ArrayLen
    org.checkerframework.common.value.qual.org.checkerframework.common.value.qual.ArrayLenRange
    org.checkerframework.common.value.qual.org.checkerframework.common.value.qual.BoolVal
    org.checkerframework.common.value.qual.org.checkerframework.common.value.qual.BottomVal
    org.checkerframework.common.value.qual.org.checkerframework.common.value.qual.DoesNotMatchRegex
    org.checkerframework.common.value.qual.org.checkerframework.common.value.qual.DoubleVal
    org.checkerframework.common.value.qual.org.checkerframework.common.value.qual.EnsuresMinLenIf
    org.checkerframework.common.value.qual.org.checkerframework.common.value.qual.EnumVal
    org.checkerframework.common.value.qual.org.checkerframework.common.value.qual.IntRange
    org.checkerframework.common.value.qual.org.checkerframework.common.value.qual.IntRangeFromGTENegativeOne
    org.checkerframework.common.value.qual.org.checkerframework.common.value.qual.IntRangeFromNonNegative
    org.checkerframework.common.value.qual.org.checkerframework.common.value.qual.IntRangeFromPositive
    org.checkerframework.common.value.qual.org.checkerframework.common.value.qual.IntVal
    org.checkerframework.common.value.qual.org.checkerframework.common.value.qual.MatchesRegex
    org.checkerframework.common.value.qual.org.checkerframework.common.value.qual.MinLen
    org.checkerframework.common.value.qual.org.checkerframework.common.value.qual.MinLenFieldInvariant
    org.checkerframework.common.value.qual.org.checkerframework.common.value.qual.PolyValue
    org.checkerframework.common.value.qual.org.checkerframework.common.value.qual.StaticallyExecutable
    org.checkerframework.common.value.qual.org.checkerframework.common.value.qual.StringVal
    org.checkerframework.common.value.qual.org.checkerframework.common.value.qual.UnknownVal
    org.checkerframework.common.value.util
    org.checkerframework.common.value.util.org.checkerframework.common.value.util.ByteMath
    org.checkerframework.common.value.util.org.checkerframework.common.value.util.DoubleMath
    org.checkerframework.common.value.util.org.checkerframework.common.value.util.FloatMath
    org.checkerframework.common.value.util.org.checkerframework.common.value.util.IntegerMath
    org.checkerframework.common.value.util.org.checkerframework.common.value.util.LongMath
    org.checkerframework.common.value.util.org.checkerframework.common.value.util.NumberMath
    org.checkerframework.common.value.util.org.checkerframework.common.value.util.NumberUtils
    org.checkerframework.common.value.util.org.checkerframework.common.value.util.Range
    org.checkerframework.common.value.util.org.checkerframework.common.value.util.ShortMath
    org.checkerframework.dataflow.analysis
    org.checkerframework.dataflow.analysis.org.checkerframework.dataflow.analysis.AbstractAnalysis
    org.checkerframework.dataflow.analysis.org.checkerframework.dataflow.analysis.AbstractValue
    org.checkerframework.dataflow.analysis.org.checkerframework.dataflow.analysis.Analysis
    org.checkerframework.dataflow.analysis.org.checkerframework.dataflow.analysis.AnalysisResult
    org.checkerframework.dataflow.analysis.org.checkerframework.dataflow.analysis.BackwardAnalysis
    org.checkerframework.dataflow.analysis.org.checkerframework.dataflow.analysis.BackwardAnalysisImpl
    org.checkerframework.dataflow.analysis.org.checkerframework.dataflow.analysis.BackwardTransferFunction
    org.checkerframework.dataflow.analysis.org.checkerframework.dataflow.analysis.ConditionalTransferResult
    org.checkerframework.dataflow.analysis.org.checkerframework.dataflow.analysis.ForwardAnalysis
    org.checkerframework.dataflow.analysis.org.checkerframework.dataflow.analysis.ForwardAnalysisImpl
    org.checkerframework.dataflow.analysis.org.checkerframework.dataflow.analysis.ForwardTransferFunction
    org.checkerframework.dataflow.analysis.org.checkerframework.dataflow.analysis.RegularTransferResult
    org.checkerframework.dataflow.analysis.org.checkerframework.dataflow.analysis.Store
    org.checkerframework.dataflow.analysis.org.checkerframework.dataflow.analysis.TransferFunction
    org.checkerframework.dataflow.analysis.org.checkerframework.dataflow.analysis.TransferInput
    org.checkerframework.dataflow.analysis.org.checkerframework.dataflow.analysis.TransferResult
    org.checkerframework.dataflow.analysis.org.checkerframework.dataflow.analysis.UnusedAbstractValue
    org.checkerframework.dataflow.busyexpr
    org.checkerframework.dataflow.busyexpr.org.checkerframework.dataflow.busyexpr.BusyExprStore
    org.checkerframework.dataflow.busyexpr.org.checkerframework.dataflow.busyexpr.BusyExprTransfer
    org.checkerframework.dataflow.busyexpr.org.checkerframework.dataflow.busyexpr.BusyExprValue
    org.checkerframework.dataflow.cfg
    org.checkerframework.dataflow.cfg.org.checkerframework.dataflow.cfg.CFGProcessor
    org.checkerframework.dataflow.cfg.org.checkerframework.dataflow.cfg.ControlFlowGraph
    org.checkerframework.dataflow.cfg.org.checkerframework.dataflow.cfg.UnderlyingAST
    org.checkerframework.dataflow.cfg.block
    org.checkerframework.dataflow.cfg.block.org.checkerframework.dataflow.cfg.block.Block
    org.checkerframework.dataflow.cfg.block.org.checkerframework.dataflow.cfg.block.BlockImpl
    org.checkerframework.dataflow.cfg.block.org.checkerframework.dataflow.cfg.block.ConditionalBlock
    org.checkerframework.dataflow.cfg.block.org.checkerframework.dataflow.cfg.block.ConditionalBlockImpl
    org.checkerframework.dataflow.cfg.block.org.checkerframework.dataflow.cfg.block.ExceptionBlock
    org.checkerframework.dataflow.cfg.block.org.checkerframework.dataflow.cfg.block.ExceptionBlockImpl
    org.checkerframework.dataflow.cfg.block.org.checkerframework.dataflow.cfg.block.RegularBlock
    org.checkerframework.dataflow.cfg.block.org.checkerframework.dataflow.cfg.block.RegularBlockImpl
    org.checkerframework.dataflow.cfg.block.org.checkerframework.dataflow.cfg.block.SingleSuccessorBlock
    org.checkerframework.dataflow.cfg.block.org.checkerframework.dataflow.cfg.block.SingleSuccessorBlockImpl
    org.checkerframework.dataflow.cfg.block.org.checkerframework.dataflow.cfg.block.SpecialBlock
    org.checkerframework.dataflow.cfg.block.org.checkerframework.dataflow.cfg.block.SpecialBlockImpl
    org.checkerframework.dataflow.cfg.builder
    org.checkerframework.dataflow.cfg.builder.org.checkerframework.dataflow.cfg.builder.CFGBuilder
    org.checkerframework.dataflow.cfg.builder.org.checkerframework.dataflow.cfg.builder.CFGTranslationPhaseOne
    org.checkerframework.dataflow.cfg.builder.org.checkerframework.dataflow.cfg.builder.CFGTranslationPhaseThree
    org.checkerframework.dataflow.cfg.builder.org.checkerframework.dataflow.cfg.builder.CFGTranslationPhaseTwo
    org.checkerframework.dataflow.cfg.builder.org.checkerframework.dataflow.cfg.builder.ConditionalJump
    org.checkerframework.dataflow.cfg.builder.org.checkerframework.dataflow.cfg.builder.ExtendedNode
    org.checkerframework.dataflow.cfg.builder.org.checkerframework.dataflow.cfg.builder.Label
    org.checkerframework.dataflow.cfg.builder.org.checkerframework.dataflow.cfg.builder.LabelCell
    org.checkerframework.dataflow.cfg.builder.org.checkerframework.dataflow.cfg.builder.MissingEdge
    org.checkerframework.dataflow.cfg.builder.org.checkerframework.dataflow.cfg.builder.NodeHolder
    org.checkerframework.dataflow.cfg.builder.org.checkerframework.dataflow.cfg.builder.NodeWithExceptionsHolder
    org.checkerframework.dataflow.cfg.builder.org.checkerframework.dataflow.cfg.builder.PhaseOneResult
    org.checkerframework.dataflow.cfg.builder.org.checkerframework.dataflow.cfg.builder.TreeInfo
    org.checkerframework.dataflow.cfg.builder.org.checkerframework.dataflow.cfg.builder.TryCatchFrame
    org.checkerframework.dataflow.cfg.builder.org.checkerframework.dataflow.cfg.builder.TryFinallyFrame
    org.checkerframework.dataflow.cfg.builder.org.checkerframework.dataflow.cfg.builder.TryFinallyScopeMap
    org.checkerframework.dataflow.cfg.builder.org.checkerframework.dataflow.cfg.builder.TryFrame
    org.checkerframework.dataflow.cfg.builder.org.checkerframework.dataflow.cfg.builder.TryStack
    org.checkerframework.dataflow.cfg.builder.org.checkerframework.dataflow.cfg.builder.UnconditionalJump
    org.checkerframework.dataflow.cfg.node
    org.checkerframework.dataflow.cfg.node.org.checkerframework.dataflow.cfg.node.AbstractNodeVisitor
    org.checkerframework.dataflow.cfg.node.org.checkerframework.dataflow.cfg.node.ArrayAccessNode
    org.checkerframework.dataflow.cfg.node.org.checkerframework.dataflow.cfg.node.ArrayCreationNode
    org.checkerframework.dataflow.cfg.node.org.checkerframework.dataflow.cfg.node.ArrayTypeNode
    org.checkerframework.dataflow.cfg.node.org.checkerframework.dataflow.cfg.node.AssertionErrorNode
    org.checkerframework.dataflow.cfg.node.org.checkerframework.dataflow.cfg.node.AssignmentNode
    org.checkerframework.dataflow.cfg.node.org.checkerframework.dataflow.cfg.node.BinaryOperationNode
    org.checkerframework.dataflow.cfg.node.org.checkerframework.dataflow.cfg.node.BitwiseAndNode
    org.checkerframework.dataflow.cfg.node.org.checkerframework.dataflow.cfg.node.BitwiseComplementNode
    org.checkerframework.dataflow.cfg.node.org.checkerframework.dataflow.cfg.node.BitwiseOrNode
    org.checkerframework.dataflow.cfg.node.org.checkerframework.dataflow.cfg.node.BitwiseXorNode
    org.checkerframework.dataflow.cfg.node.org.checkerframework.dataflow.cfg.node.BooleanLiteralNode
    org.checkerframework.dataflow.cfg.node.org.checkerframework.dataflow.cfg.node.CaseNode
    org.checkerframework.dataflow.cfg.node.org.checkerframework.dataflow.cfg.node.CatchMarkerNode
    org.checkerframework.dataflow.cfg.node.org.checkerframework.dataflow.cfg.node.CharacterLiteralNode
    org.checkerframework.dataflow.cfg.node.org.checkerframework.dataflow.cfg.node.ClassDeclarationNode
    org.checkerframework.dataflow.cfg.node.org.checkerframework.dataflow.cfg.node.ClassNameNode
    org.checkerframework.dataflow.cfg.node.org.checkerframework.dataflow.cfg.node.ConditionalAndNode
    org.checkerframework.dataflow.cfg.node.org.checkerframework.dataflow.cfg.node.ConditionalNotNode
    org.checkerframework.dataflow.cfg.node.org.checkerframework.dataflow.cfg.node.ConditionalOrNode
    org.checkerframework.dataflow.cfg.node.org.checkerframework.dataflow.cfg.node.DeconstructorPatternNode
    org.checkerframework.dataflow.cfg.node.org.checkerframework.dataflow.cfg.node.DoubleLiteralNode
    org.checkerframework.dataflow.cfg.node.org.checkerframework.dataflow.cfg.node.EqualToNode
    org.checkerframework.dataflow.cfg.node.org.checkerframework.dataflow.cfg.node.ExplicitThisNode
    org.checkerframework.dataflow.cfg.node.org.checkerframework.dataflow.cfg.node.ExpressionStatementNode
    org.checkerframework.dataflow.cfg.node.org.checkerframework.dataflow.cfg.node.FieldAccessNode
    org.checkerframework.dataflow.cfg.node.org.checkerframework.dataflow.cfg.node.FloatLiteralNode
    org.checkerframework.dataflow.cfg.node.org.checkerframework.dataflow.cfg.node.FloatingDivisionNode
    org.checkerframework.dataflow.cfg.node.org.checkerframework.dataflow.cfg.node.FloatingRemainderNode
    org.checkerframework.dataflow.cfg.node.org.checkerframework.dataflow.cfg.node.FunctionalInterfaceNode
    org.checkerframework.dataflow.cfg.node.org.checkerframework.dataflow.cfg.node.GreaterThanNode
    org.checkerframework.dataflow.cfg.node.org.checkerframework.dataflow.cfg.node.GreaterThanOrEqualNode
    org.checkerframework.dataflow.cfg.node.org.checkerframework.dataflow.cfg.node.ImplicitThisNode
    org.checkerframework.dataflow.cfg.node.org.checkerframework.dataflow.cfg.node.InstanceOfNode
    org.checkerframework.dataflow.cfg.node.org.checkerframework.dataflow.cfg.node.IntegerDivisionNode
    org.checkerframework.dataflow.cfg.node.org.checkerframework.dataflow.cfg.node.IntegerLiteralNode
    org.checkerframework.dataflow.cfg.node.org.checkerframework.dataflow.cfg.node.IntegerRemainderNode
    org.checkerframework.dataflow.cfg.node.org.checkerframework.dataflow.cfg.node.LambdaResultExpressionNode
    org.checkerframework.dataflow.cfg.node.org.checkerframework.dataflow.cfg.node.LeftShiftNode
    org.checkerframework.dataflow.cfg.node.org.checkerframework.dataflow.cfg.node.LessThanNode
    org.checkerframework.dataflow.cfg.node.org.checkerframework.dataflow.cfg.node.LessThanOrEqualNode
    org.checkerframework.dataflow.cfg.node.org.checkerframework.dataflow.cfg.node.LocalVariableNode
    org.checkerframework.dataflow.cfg.node.org.checkerframework.dataflow.cfg.node.LongLiteralNode
    org.checkerframework.dataflow.cfg.node.org.checkerframework.dataflow.cfg.node.MarkerNode
    org.checkerframework.dataflow.cfg.node.org.checkerframework.dataflow.cfg.node.MethodAccessNode
    org.checkerframework.dataflow.cfg.node.org.checkerframework.dataflow.cfg.node.MethodInvocationNode
    org.checkerframework.dataflow.cfg.node.org.checkerframework.dataflow.cfg.node.NarrowingConversionNode
    org.checkerframework.dataflow.cfg.node.org.checkerframework.dataflow.cfg.node.Node
    org.checkerframework.dataflow.cfg.node.org.checkerframework.dataflow.cfg.node.NodeVisitor
    org.checkerframework.dataflow.cfg.node.org.checkerframework.dataflow.cfg.node.NotEqualNode
    org.checkerframework.dataflow.cfg.node.org.checkerframework.dataflow.cfg.node.NullChkNode
    org.checkerframework.dataflow.cfg.node.org.checkerframework.dataflow.cfg.node.NullLiteralNode
    org.checkerframework.dataflow.cfg.node.org.checkerframework.dataflow.cfg.node.NumericalAdditionNode
    org.checkerframework.dataflow.cfg.node.org.checkerframework.dataflow.cfg.node.NumericalMinusNode
    org.checkerframework.dataflow.cfg.node.org.checkerframework.dataflow.cfg.node.NumericalMultiplicationNode
    org.checkerframework.dataflow.cfg.node.org.checkerframework.dataflow.cfg.node.NumericalPlusNode
    org.checkerframework.dataflow.cfg.node.org.checkerframework.dataflow.cfg.node.NumericalSubtractionNode
    org.checkerframework.dataflow.cfg.node.org.checkerframework.dataflow.cfg.node.ObjectCreationNode
    org.checkerframework.dataflow.cfg.node.org.checkerframework.dataflow.cfg.node.PackageNameNode
    org.checkerframework.dataflow.cfg.node.org.checkerframework.dataflow.cfg.node.ParameterizedTypeNode
    org.checkerframework.dataflow.cfg.node.org.checkerframework.dataflow.cfg.node.PrimitiveTypeNode
    org.checkerframework.dataflow.cfg.node.org.checkerframework.dataflow.cfg.node.ReturnNode
    org.checkerframework.dataflow.cfg.node.org.checkerframework.dataflow.cfg.node.ShortLiteralNode
    org.checkerframework.dataflow.cfg.node.org.checkerframework.dataflow.cfg.node.SignedRightShiftNode
    org.checkerframework.dataflow.cfg.node.org.checkerframework.dataflow.cfg.node.StringConcatenateNode
    org.checkerframework.dataflow.cfg.node.org.checkerframework.dataflow.cfg.node.StringConversionNode
    org.checkerframework.dataflow.cfg.node.org.checkerframework.dataflow.cfg.node.StringLiteralNode
    org.checkerframework.dataflow.cfg.node.org.checkerframework.dataflow.cfg.node.SuperNode
    org.checkerframework.dataflow.cfg.node.org.checkerframework.dataflow.cfg.node.SwitchExpressionNode
    org.checkerframework.dataflow.cfg.node.org.checkerframework.dataflow.cfg.node.SynchronizedNode
    org.checkerframework.dataflow.cfg.node.org.checkerframework.dataflow.cfg.node.TernaryExpressionNode
    org.checkerframework.dataflow.cfg.node.org.checkerframework.dataflow.cfg.node.ThisNode
    org.checkerframework.dataflow.cfg.node.org.checkerframework.dataflow.cfg.node.ThrowNode
    org.checkerframework.dataflow.cfg.node.org.checkerframework.dataflow.cfg.node.TypeCastNode
    org.checkerframework.dataflow.cfg.node.org.checkerframework.dataflow.cfg.node.UnaryOperationNode
    org.checkerframework.dataflow.cfg.node.org.checkerframework.dataflow.cfg.node.UnsignedRightShiftNode
    org.checkerframework.dataflow.cfg.node.org.checkerframework.dataflow.cfg.node.ValueLiteralNode
    org.checkerframework.dataflow.cfg.node.org.checkerframework.dataflow.cfg.node.VariableDeclarationNode
    org.checkerframework.dataflow.cfg.node.org.checkerframework.dataflow.cfg.node.WideningConversionNode
    org.checkerframework.dataflow.cfg.playground
    org.checkerframework.dataflow.cfg.playground.org.checkerframework.dataflow.cfg.playground.BusyExpressionPlayground
    org.checkerframework.dataflow.cfg.playground.org.checkerframework.dataflow.cfg.playground.ConstantPropagationPlayground
    org.checkerframework.dataflow.cfg.playground.org.checkerframework.dataflow.cfg.playground.LiveVariablePlayground
    org.checkerframework.dataflow.cfg.playground.org.checkerframework.dataflow.cfg.playground.ReachingDefinitionPlayground
    org.checkerframework.dataflow.cfg.visualize
    org.checkerframework.dataflow.cfg.visualize.org.checkerframework.dataflow.cfg.visualize.AbstractCFGVisualizer
    org.checkerframework.dataflow.cfg.visualize.org.checkerframework.dataflow.cfg.visualize.CFGVisualizeLauncher
    org.checkerframework.dataflow.cfg.visualize.org.checkerframework.dataflow.cfg.visualize.CFGVisualizeOptions
    org.checkerframework.dataflow.cfg.visualize.org.checkerframework.dataflow.cfg.visualize.CFGVisualizer
    org.checkerframework.dataflow.cfg.visualize.org.checkerframework.dataflow.cfg.visualize.DOTCFGVisualizer
    org.checkerframework.dataflow.cfg.visualize.org.checkerframework.dataflow.cfg.visualize.StringCFGVisualizer
    org.checkerframework.dataflow.constantpropagation
    org.checkerframework.dataflow.constantpropagation.org.checkerframework.dataflow.constantpropagation.Constant
    org.checkerframework.dataflow.constantpropagation.org.checkerframework.dataflow.constantpropagation.ConstantPropagationStore
    org.checkerframework.dataflow.constantpropagation.org.checkerframework.dataflow.constantpropagation.ConstantPropagationTransfer
    org.checkerframework.dataflow.expression
    org.checkerframework.dataflow.expression.org.checkerframework.dataflow.expression.ArrayAccess
    org.checkerframework.dataflow.expression.org.checkerframework.dataflow.expression.ArrayCreation
    org.checkerframework.dataflow.expression.org.checkerframework.dataflow.expression.BinaryOperation
    org.checkerframework.dataflow.expression.org.checkerframework.dataflow.expression.ClassName
    org.checkerframework.dataflow.expression.org.checkerframework.dataflow.expression.FieldAccess
    org.checkerframework.dataflow.expression.org.checkerframework.dataflow.expression.FormalParameter
    org.checkerframework.dataflow.expression.org.checkerframework.dataflow.expression.JavaExpression
    org.checkerframework.dataflow.expression.org.checkerframework.dataflow.expression.JavaExpressionConverter
    org.checkerframework.dataflow.expression.org.checkerframework.dataflow.expression.JavaExpressionScanner
    org.checkerframework.dataflow.expression.org.checkerframework.dataflow.expression.JavaExpressionVisitor
    org.checkerframework.dataflow.expression.org.checkerframework.dataflow.expression.LocalVariable
    org.checkerframework.dataflow.expression.org.checkerframework.dataflow.expression.MethodCall
    org.checkerframework.dataflow.expression.org.checkerframework.dataflow.expression.ThisReference
    org.checkerframework.dataflow.expression.org.checkerframework.dataflow.expression.UnaryOperation
    org.checkerframework.dataflow.expression.org.checkerframework.dataflow.expression.Unknown
    org.checkerframework.dataflow.expression.org.checkerframework.dataflow.expression.ValueLiteral
    org.checkerframework.dataflow.expression.org.checkerframework.dataflow.expression.ViewpointAdaptJavaExpression
    org.checkerframework.dataflow.livevariable
    org.checkerframework.dataflow.livevariable.org.checkerframework.dataflow.livevariable.LiveVarNode
    org.checkerframework.dataflow.livevariable.org.checkerframework.dataflow.livevariable.LiveVarStore
    org.checkerframework.dataflow.livevariable.org.checkerframework.dataflow.livevariable.LiveVarTransfer
    org.checkerframework.dataflow.livevariable.org.checkerframework.dataflow.livevariable.package-info
    org.checkerframework.dataflow.qual
    org.checkerframework.dataflow.qual.org.checkerframework.dataflow.qual.AssertMethod
    org.checkerframework.dataflow.qual.org.checkerframework.dataflow.qual.Deterministic
    org.checkerframework.dataflow.qual.org.checkerframework.dataflow.qual.Impure
    org.checkerframework.dataflow.qual.org.checkerframework.dataflow.qual.Pure
    org.checkerframework.dataflow.qual.org.checkerframework.dataflow.qual.SideEffectFree
    org.checkerframework.dataflow.qual.org.checkerframework.dataflow.qual.TerminatesExecution
    org.checkerframework.dataflow.reachingdef
    org.checkerframework.dataflow.reachingdef.org.checkerframework.dataflow.reachingdef.ReachingDefinitionNode
    org.checkerframework.dataflow.reachingdef.org.checkerframework.dataflow.reachingdef.ReachingDefinitionStore
    org.checkerframework.dataflow.reachingdef.org.checkerframework.dataflow.reachingdef.ReachingDefinitionTransfer
    org.checkerframework.dataflow.util
    org.checkerframework.dataflow.util.org.checkerframework.dataflow.util.NodeUtils
    org.checkerframework.dataflow.util.org.checkerframework.dataflow.util.PurityChecker
    org.checkerframework.dataflow.util.org.checkerframework.dataflow.util.PurityUtils
    org.checkerframework.framework.ajava
    org.checkerframework.framework.ajava.org.checkerframework.framework.ajava.AnnotationEqualityVisitor
    org.checkerframework.framework.ajava.org.checkerframework.framework.ajava.AnnotationFileStore
    org.checkerframework.framework.ajava.org.checkerframework.framework.ajava.AnnotationMirrorToAnnotationExprConversion
    org.checkerframework.framework.ajava.org.checkerframework.framework.ajava.AnnotationTransferVisitor
    org.checkerframework.framework.ajava.org.checkerframework.framework.ajava.DefaultJointVisitor
    org.checkerframework.framework.ajava.org.checkerframework.framework.ajava.DoubleJavaParserVisitor
    org.checkerframework.framework.ajava.org.checkerframework.framework.ajava.ExpectedTreesVisitor
    org.checkerframework.framework.ajava.org.checkerframework.framework.ajava.InsertAjavaAnnotations
    org.checkerframework.framework.ajava.org.checkerframework.framework.ajava.JointJavacJavaParserVisitor
    org.checkerframework.framework.ajava.org.checkerframework.framework.ajava.JointVisitorWithDefaultAction
    org.checkerframework.framework.ajava.org.checkerframework.framework.ajava.TreeScannerWithDefaults
    org.checkerframework.framework.ajava.org.checkerframework.framework.ajava.TypeAnnotationMover
    org.checkerframework.framework.flow
    org.checkerframework.framework.flow.org.checkerframework.framework.flow.CFAbstractAnalysis
    org.checkerframework.framework.flow.org.checkerframework.framework.flow.CFAbstractStore
    org.checkerframework.framework.flow.org.checkerframework.framework.flow.CFAbstractTransfer
    org.checkerframework.framework.flow.org.checkerframework.framework.flow.CFAbstractValue
    org.checkerframework.framework.flow.org.checkerframework.framework.flow.CFAnalysis
    org.checkerframework.framework.flow.org.checkerframework.framework.flow.CFCFGBuilder
    org.checkerframework.framework.flow.org.checkerframework.framework.flow.CFStore
    org.checkerframework.framework.flow.org.checkerframework.framework.flow.CFTransfer
    org.checkerframework.framework.flow.org.checkerframework.framework.flow.CFTreeBuilder
    org.checkerframework.framework.flow.org.checkerframework.framework.flow.CFValue
    org.checkerframework.framework.flow.org.checkerframework.framework.flow.package-info
    org.checkerframework.framework.qual
    org.checkerframework.framework.qual.org.checkerframework.framework.qual.AnnotatedFor
    org.checkerframework.framework.qual.org.checkerframework.framework.qual.CFComment
    org.checkerframework.framework.qual.org.checkerframework.framework.qual.ConditionalPostconditionAnnotation
    org.checkerframework.framework.qual.org.checkerframework.framework.qual.Covariant
    org.checkerframework.framework.qual.org.checkerframework.framework.qual.DefaultFor
    org.checkerframework.framework.qual.org.checkerframework.framework.qual.DefaultQualifier
    org.checkerframework.framework.qual.org.checkerframework.framework.qual.DefaultQualifierForUse
    org.checkerframework.framework.qual.org.checkerframework.framework.qual.DefaultQualifierInHierarchy
    org.checkerframework.framework.qual.org.checkerframework.framework.qual.EnsuresQualifier
    org.checkerframework.framework.qual.org.checkerframework.framework.qual.EnsuresQualifierIf
    org.checkerframework.framework.qual.org.checkerframework.framework.qual.FieldInvariant
    org.checkerframework.framework.qual.org.checkerframework.framework.qual.FromByteCode
    org.checkerframework.framework.qual.org.checkerframework.framework.qual.FromStubFile
    org.checkerframework.framework.qual.org.checkerframework.framework.qual.HasQualifierParameter
    org.checkerframework.framework.qual.org.checkerframework.framework.qual.IgnoreInWholeProgramInference
    org.checkerframework.framework.qual.org.checkerframework.framework.qual.InheritedAnnotation
    org.checkerframework.framework.qual.org.checkerframework.framework.qual.InvisibleQualifier
    org.checkerframework.framework.qual.org.checkerframework.framework.qual.JavaExpression
    org.checkerframework.framework.qual.org.checkerframework.framework.qual.LiteralKind
    org.checkerframework.framework.qual.org.checkerframework.framework.qual.MonotonicQualifier
    org.checkerframework.framework.qual.org.checkerframework.framework.qual.NoDefaultQualifierForUse
    org.checkerframework.framework.qual.org.checkerframework.framework.qual.NoQualifierParameter
    org.checkerframework.framework.qual.org.checkerframework.framework.qual.PolymorphicQualifier
    org.checkerframework.framework.qual.org.checkerframework.framework.qual.PostconditionAnnotation
    org.checkerframework.framework.qual.org.checkerframework.framework.qual.PreconditionAnnotation
    org.checkerframework.framework.qual.org.checkerframework.framework.qual.PurityUnqualified
    org.checkerframework.framework.qual.org.checkerframework.framework.qual.QualifierArgument
    org.checkerframework.framework.qual.org.checkerframework.framework.qual.QualifierForLiterals
    org.checkerframework.framework.qual.org.checkerframework.framework.qual.RelevantJavaTypes
    org.checkerframework.framework.qual.org.checkerframework.framework.qual.RequiresQualifier
    org.checkerframework.framework.qual.org.checkerframework.framework.qual.StubFiles
    org.checkerframework.framework.qual.org.checkerframework.framework.qual.SubtypeOf
    org.checkerframework.framework.qual.org.checkerframework.framework.qual.TargetLocations
    org.checkerframework.framework.qual.org.checkerframework.framework.qual.TypeKind
    org.checkerframework.framework.qual.org.checkerframework.framework.qual.TypeUseLocation
    org.checkerframework.framework.qual.org.checkerframework.framework.qual.Unused
    org.checkerframework.framework.qual.org.checkerframework.framework.qual.UpperBoundFor
    org.checkerframework.framework.qual.org.checkerframework.framework.qual.package-info
    org.checkerframework.framework.source
    org.checkerframework.framework.source.org.checkerframework.framework.source.AggregateChecker
    org.checkerframework.framework.source.org.checkerframework.framework.source.DiagMessage
    org.checkerframework.framework.source.org.checkerframework.framework.source.SourceChecker
    org.checkerframework.framework.source.org.checkerframework.framework.source.SourceVisitor
    org.checkerframework.framework.source.org.checkerframework.framework.source.SupportedLintOptions
    org.checkerframework.framework.source.org.checkerframework.framework.source.SupportedOptions
    org.checkerframework.framework.source.org.checkerframework.framework.source.SuppressWarningsPrefix
    org.checkerframework.framework.source.org.checkerframework.framework.source.package-info
    org.checkerframework.framework.stub
    org.checkerframework.framework.stub.org.checkerframework.framework.stub.AnnotationFileElementTypes
    org.checkerframework.framework.stub.org.checkerframework.framework.stub.AnnotationFileParser
    org.checkerframework.framework.stub.org.checkerframework.framework.stub.AnnotationFileResource
    org.checkerframework.framework.stub.org.checkerframework.framework.stub.AnnotationFileUtil
    org.checkerframework.framework.stub.org.checkerframework.framework.stub.FileAnnotationFileResource
    org.checkerframework.framework.stub.org.checkerframework.framework.stub.JarEntryAnnotationFileResource
    org.checkerframework.framework.stub.org.checkerframework.framework.stub.JavaStubifier
    org.checkerframework.framework.stub.org.checkerframework.framework.stub.RemoveAnnotationsForInference
    org.checkerframework.framework.stub.org.checkerframework.framework.stub.StubGenerator
    org.checkerframework.framework.type
    org.checkerframework.framework.type.org.checkerframework.framework.type.AbstractViewpointAdapter
    org.checkerframework.framework.type.org.checkerframework.framework.type.AnnotatedTypeCopier
    org.checkerframework.framework.type.org.checkerframework.framework.type.AnnotatedTypeCopierWithReplacement
    org.checkerframework.framework.type.org.checkerframework.framework.type.AnnotatedTypeFactory
    org.checkerframework.framework.type.org.checkerframework.framework.type.AnnotatedTypeFormatter
    org.checkerframework.framework.type.org.checkerframework.framework.type.AnnotatedTypeMirror
    org.checkerframework.framework.type.org.checkerframework.framework.type.AnnotatedTypeParameterBounds
    org.checkerframework.framework.type.org.checkerframework.framework.type.AnnotatedTypeReplacer
    org.checkerframework.framework.type.org.checkerframework.framework.type.AnnotationClassLoader
    org.checkerframework.framework.type.org.checkerframework.framework.type.AsSuperVisitor
    org.checkerframework.framework.type.org.checkerframework.framework.type.BoundsInitializer
    org.checkerframework.framework.type.org.checkerframework.framework.type.DeclarationsIntoElements
    org.checkerframework.framework.type.org.checkerframework.framework.type.DefaultAnnotatedTypeFormatter
    org.checkerframework.framework.type.org.checkerframework.framework.type.DefaultInferredTypesApplier
    org.checkerframework.framework.type.org.checkerframework.framework.type.DefaultTypeHierarchy
    org.checkerframework.framework.type.org.checkerframework.framework.type.ElementAnnotationApplier
    org.checkerframework.framework.type.org.checkerframework.framework.type.ElementQualifierHierarchy
    org.checkerframework.framework.type.org.checkerframework.framework.type.EqualityAtmComparer
    org.checkerframework.framework.type.org.checkerframework.framework.type.GenericAnnotatedTypeFactory
    org.checkerframework.framework.type.org.checkerframework.framework.type.HashcodeAtmVisitor
    org.checkerframework.framework.type.org.checkerframework.framework.type.MostlyNoElementQualifierHierarchy
    org.checkerframework.framework.type.org.checkerframework.framework.type.NoElementQualifierHierarchy
    org.checkerframework.framework.type.org.checkerframework.framework.type.QualifierHierarchy
    org.checkerframework.framework.type.org.checkerframework.framework.type.QualifierUpperBounds
    org.checkerframework.framework.type.org.checkerframework.framework.type.StructuralEqualityComparer
    org.checkerframework.framework.type.org.checkerframework.framework.type.StructuralEqualityVisitHistory
    org.checkerframework.framework.type.org.checkerframework.framework.type.SubtypeIsSubsetQualifierHierarchy
    org.checkerframework.framework.type.org.checkerframework.framework.type.SubtypeIsSupersetQualifierHierarchy
    org.checkerframework.framework.type.org.checkerframework.framework.type.SubtypeVisitHistory
    org.checkerframework.framework.type.org.checkerframework.framework.type.SupertypeFinder
    org.checkerframework.framework.type.org.checkerframework.framework.type.SyntheticArrays
    org.checkerframework.framework.type.org.checkerframework.framework.type.TypeFromClassVisitor
    org.checkerframework.framework.type.org.checkerframework.framework.type.TypeFromExpressionVisitor
    org.checkerframework.framework.type.org.checkerframework.framework.type.TypeFromMemberVisitor
    org.checkerframework.framework.type.org.checkerframework.framework.type.TypeFromTree
    org.checkerframework.framework.type.org.checkerframework.framework.type.TypeFromTreeVisitor
    org.checkerframework.framework.type.org.checkerframework.framework.type.TypeFromTypeTreeVisitor
    org.checkerframework.framework.type.org.checkerframework.framework.type.TypeHierarchy
    org.checkerframework.framework.type.org.checkerframework.framework.type.TypeVariableSubstitutor
    org.checkerframework.framework.type.org.checkerframework.framework.type.TypesIntoElements
    org.checkerframework.framework.type.org.checkerframework.framework.type.ViewpointAdapter
    org.checkerframework.framework.type.org.checkerframework.framework.type.package-info
    org.checkerframework.framework.type.poly
    org.checkerframework.framework.type.poly.org.checkerframework.framework.type.poly.AbstractQualifierPolymorphism
    org.checkerframework.framework.type.poly.org.checkerframework.framework.type.poly.DefaultQualifierPolymorphism
    org.checkerframework.framework.type.poly.org.checkerframework.framework.type.poly.QualifierPolymorphism
    org.checkerframework.framework.type.treeannotator
    org.checkerframework.framework.type.treeannotator.org.checkerframework.framework.type.treeannotator.DebugListTreeAnnotator
    org.checkerframework.framework.type.treeannotator.org.checkerframework.framework.type.treeannotator.ListTreeAnnotator
    org.checkerframework.framework.type.treeannotator.org.checkerframework.framework.type.treeannotator.LiteralTreeAnnotator
    org.checkerframework.framework.type.treeannotator.org.checkerframework.framework.type.treeannotator.PropagationTreeAnnotator
    org.checkerframework.framework.type.treeannotator.org.checkerframework.framework.type.treeannotator.TreeAnnotator
    org.checkerframework.framework.type.typeannotator
    org.checkerframework.framework.type.typeannotator.org.checkerframework.framework.type.typeannotator.DefaultForTypeAnnotator
    org.checkerframework.framework.type.typeannotator.org.checkerframework.framework.type.typeannotator.DefaultQualifierForUseTypeAnnotator
    org.checkerframework.framework.type.typeannotator.org.checkerframework.framework.type.typeannotator.IrrelevantTypeAnnotator
    org.checkerframework.framework.type.typeannotator.org.checkerframework.framework.type.typeannotator.ListTypeAnnotator
    org.checkerframework.framework.type.typeannotator.org.checkerframework.framework.type.typeannotator.PropagationTypeAnnotator
    org.checkerframework.framework.type.typeannotator.org.checkerframework.framework.type.typeannotator.TypeAnnotator
    org.checkerframework.framework.type.visitor
    org.checkerframework.framework.type.visitor.org.checkerframework.framework.type.visitor.AbstractAtmComboVisitor
    org.checkerframework.framework.type.visitor.org.checkerframework.framework.type.visitor.AnnotatedTypeCombiner
    org.checkerframework.framework.type.visitor.org.checkerframework.framework.type.visitor.AnnotatedTypeScanner
    org.checkerframework.framework.type.visitor.org.checkerframework.framework.type.visitor.AnnotatedTypeVisitor
    org.checkerframework.framework.type.visitor.org.checkerframework.framework.type.visitor.AtmComboVisitor
    org.checkerframework.framework.type.visitor.org.checkerframework.framework.type.visitor.DoubleAnnotatedTypeScanner
    org.checkerframework.framework.type.visitor.org.checkerframework.framework.type.visitor.EquivalentAtmComboScanner
    org.checkerframework.framework.type.visitor.org.checkerframework.framework.type.visitor.SimpleAnnotatedTypeScanner
    org.checkerframework.framework.type.visitor.org.checkerframework.framework.type.visitor.SimpleAnnotatedTypeVisitor
    org.checkerframework.framework.type.visitor.org.checkerframework.framework.type.visitor.package-info
    org.checkerframework.framework.util
    org.checkerframework.framework.util.org.checkerframework.framework.util.AnnotatedTypes
    org.checkerframework.framework.util.org.checkerframework.framework.util.AnnotationFormatter
    org.checkerframework.framework.util.org.checkerframework.framework.util.AtmCombo
    org.checkerframework.framework.util.org.checkerframework.framework.util.AtmLubVisitor
    org.checkerframework.framework.util.org.checkerframework.framework.util.CheckerMain
    org.checkerframework.framework.util.org.checkerframework.framework.util.Contract
    org.checkerframework.framework.util.org.checkerframework.framework.util.ContractsFromMethod
    org.checkerframework.framework.util.org.checkerframework.framework.util.DefaultAnnotationFormatter
    org.checkerframework.framework.util.org.checkerframework.framework.util.DefaultQualifierKindHierarchy
    org.checkerframework.framework.util.org.checkerframework.framework.util.ExecUtil
    org.checkerframework.framework.util.org.checkerframework.framework.util.FieldInvariants
    org.checkerframework.framework.util.org.checkerframework.framework.util.Heuristics
    org.checkerframework.framework.util.org.checkerframework.framework.util.JavaExpressionParseUtil
    org.checkerframework.framework.util.org.checkerframework.framework.util.JavaParserUtil
    org.checkerframework.framework.util.org.checkerframework.framework.util.OptionConfiguration
    org.checkerframework.framework.util.org.checkerframework.framework.util.PurityAnnotatedTypeFactory
    org.checkerframework.framework.util.org.checkerframework.framework.util.PurityChecker
    org.checkerframework.framework.util.org.checkerframework.framework.util.QualifierKind
    org.checkerframework.framework.util.org.checkerframework.framework.util.QualifierKindHierarchy
    org.checkerframework.framework.util.org.checkerframework.framework.util.StringToJavaExpression
    org.checkerframework.framework.util.org.checkerframework.framework.util.TreePathCacher
    org.checkerframework.framework.util.org.checkerframework.framework.util.TypeArgumentMapper
    org.checkerframework.framework.util.org.checkerframework.framework.util.TypeInformationPresenter
    org.checkerframework.framework.util.org.checkerframework.framework.util.VoidVisitorWithDefaultAction
    org.checkerframework.framework.util.defaults
    org.checkerframework.framework.util.defaults.org.checkerframework.framework.util.defaults.Default
    org.checkerframework.framework.util.defaults.org.checkerframework.framework.util.defaults.DefaultSet
    org.checkerframework.framework.util.defaults.org.checkerframework.framework.util.defaults.QualifierDefaults
    org.checkerframework.framework.util.dependenttypes
    org.checkerframework.framework.util.dependenttypes.org.checkerframework.framework.util.dependenttypes.DependentTypesError
    org.checkerframework.framework.util.dependenttypes.org.checkerframework.framework.util.dependenttypes.DependentTypesHelper
    org.checkerframework.framework.util.dependenttypes.org.checkerframework.framework.util.dependenttypes.DependentTypesTreeAnnotator
    org.checkerframework.framework.util.element
    org.checkerframework.framework.util.element.org.checkerframework.framework.util.element.ClassTypeParamApplier
    org.checkerframework.framework.util.element.org.checkerframework.framework.util.element.ElementAnnotationUtil
    org.checkerframework.framework.util.element.org.checkerframework.framework.util.element.IndexedElementAnnotationApplier
    org.checkerframework.framework.util.element.org.checkerframework.framework.util.element.MethodApplier
    org.checkerframework.framework.util.element.org.checkerframework.framework.util.element.MethodTypeParamApplier
    org.checkerframework.framework.util.element.org.checkerframework.framework.util.element.ParamApplier
    org.checkerframework.framework.util.element.org.checkerframework.framework.util.element.SuperTypeApplier
    org.checkerframework.framework.util.element.org.checkerframework.framework.util.element.TargetedElementAnnotationApplier
    org.checkerframework.framework.util.element.org.checkerframework.framework.util.element.TypeDeclarationApplier
    org.checkerframework.framework.util.element.org.checkerframework.framework.util.element.TypeParamElementAnnotationApplier
    org.checkerframework.framework.util.element.org.checkerframework.framework.util.element.TypeVarUseApplier
    org.checkerframework.framework.util.element.org.checkerframework.framework.util.element.VariableApplier
    org.checkerframework.framework.util.typeinference
    org.checkerframework.framework.util.typeinference.org.checkerframework.framework.util.typeinference.DefaultTypeArgumentInference
    org.checkerframework.framework.util.typeinference.org.checkerframework.framework.util.typeinference.GlbUtil
    org.checkerframework.framework.util.typeinference.org.checkerframework.framework.util.typeinference.TypeArgInferenceUtil
    org.checkerframework.framework.util.typeinference.org.checkerframework.framework.util.typeinference.TypeArgumentInference
    org.checkerframework.framework.util.typeinference.constraint
    org.checkerframework.framework.util.typeinference.constraint.org.checkerframework.framework.util.typeinference.constraint.A2F
    org.checkerframework.framework.util.typeinference.constraint.org.checkerframework.framework.util.typeinference.constraint.A2FReducer
    org.checkerframework.framework.util.typeinference.constraint.org.checkerframework.framework.util.typeinference.constraint.AFConstraint
    org.checkerframework.framework.util.typeinference.constraint.org.checkerframework.framework.util.typeinference.constraint.AFReducer
    org.checkerframework.framework.util.typeinference.constraint.org.checkerframework.framework.util.typeinference.constraint.AFReducingVisitor
    org.checkerframework.framework.util.typeinference.constraint.org.checkerframework.framework.util.typeinference.constraint.F2A
    org.checkerframework.framework.util.typeinference.constraint.org.checkerframework.framework.util.typeinference.constraint.F2AReducer
    org.checkerframework.framework.util.typeinference.constraint.org.checkerframework.framework.util.typeinference.constraint.FIsA
    org.checkerframework.framework.util.typeinference.constraint.org.checkerframework.framework.util.typeinference.constraint.FIsAReducer
    org.checkerframework.framework.util.typeinference.constraint.org.checkerframework.framework.util.typeinference.constraint.TIsU
    org.checkerframework.framework.util.typeinference.constraint.org.checkerframework.framework.util.typeinference.constraint.TSubU
    org.checkerframework.framework.util.typeinference.constraint.org.checkerframework.framework.util.typeinference.constraint.TSuperU
    org.checkerframework.framework.util.typeinference.constraint.org.checkerframework.framework.util.typeinference.constraint.TUConstraint
    org.checkerframework.framework.util.typeinference.solver
    org.checkerframework.framework.util.typeinference.solver.org.checkerframework.framework.util.typeinference.solver.ConstraintMap
    org.checkerframework.framework.util.typeinference.solver.org.checkerframework.framework.util.typeinference.solver.ConstraintMapBuilder
    org.checkerframework.framework.util.typeinference.solver.org.checkerframework.framework.util.typeinference.solver.EqualitiesSolver
    org.checkerframework.framework.util.typeinference.solver.org.checkerframework.framework.util.typeinference.solver.InferenceResult
    org.checkerframework.framework.util.typeinference.solver.org.checkerframework.framework.util.typeinference.solver.InferredValue
    org.checkerframework.framework.util.typeinference.solver.org.checkerframework.framework.util.typeinference.solver.SubtypesSolver
    org.checkerframework.framework.util.typeinference.solver.org.checkerframework.framework.util.typeinference.solver.SupertypesSolver
    org.checkerframework.framework.util.typeinference.solver.org.checkerframework.framework.util.typeinference.solver.TargetConstraints
    org.checkerframework.javacutil
    org.checkerframework.javacutil.org.checkerframeworkcutil.AbstractTypeProcessor
    org.checkerframework.javacutil.org.checkerframeworkcutil.AnnotationBuilder
    org.checkerframework.javacutil.org.checkerframeworkcutil.AnnotationMirrorMap
    org.checkerframework.javacutil.org.checkerframeworkcutil.AnnotationMirrorSet
    org.checkerframework.javacutil.org.checkerframeworkcutil.AnnotationProvider
    org.checkerframework.javacutil.org.checkerframeworkcutil.AnnotationUtils
    org.checkerframework.javacutil.org.checkerframeworkcutil.BasicAnnotationProvider
    org.checkerframework.javacutil.org.checkerframeworkcutil.BasicTypeProcessor
    org.checkerframework.javacutil.org.checkerframeworkcutil.BugInCF
    org.checkerframework.javacutil.org.checkerframeworkcutil.CollectionUtils
    org.checkerframework.javacutil.org.checkerframeworkcutil.DeepCopyable
    org.checkerframework.javacutil.org.checkerframeworkcutil.ElementUtils
    org.checkerframework.javacutil.org.checkerframeworkcutil.InternalUtils
    org.checkerframework.javacutil.org.checkerframeworkcutil.Pair
    org.checkerframework.javacutil.org.checkerframeworkcutil.Resolver
    org.checkerframework.javacutil.org.checkerframeworkcutil.SwitchExpressionScanner
    org.checkerframework.javacutil.org.checkerframeworkcutil.SystemUtil
    org.checkerframework.javacutil.org.checkerframeworkcutil.TreePathUtil
    org.checkerframework.javacutil.org.checkerframeworkcutil.TreeUtils
    org.checkerframework.javacutil.org.checkerframeworkcutil.TreeUtilsAfterJava11
    org.checkerframework.javacutil.org.checkerframeworkcutil.TypeAnnotationUtils
    org.checkerframework.javacutil.org.checkerframeworkcutil.TypeKindUtils
    org.checkerframework.javacutil.org.checkerframeworkcutil.TypeSystemError
    org.checkerframework.javacutil.org.checkerframeworkcutil.TypesUtils
    org.checkerframework.javacutil.org.checkerframeworkcutil.UserError
    org.checkerframework.javacutil.trees
    org.checkerframework.javacutil.trees.org.checkerframeworkcutil.trees.DetachedVarSymbol
    org.checkerframework.javacutil.trees.org.checkerframeworkcutil.trees.TreeBuilder
    org.checkerframework.javacutil.trees.org.checkerframeworkcutil.trees.TreeParser
    org.jmlspecs.annotation
    org.jmlspecs.annotation.org.jmlspecs.annotation.Pure




    © 2015 - 2024 Weber Informatics LLC | Privacy Policy