checker-compat-qual-2.0.0.jar中文-英文对照文档.zip

org.checkerframeworkchecker-compat-qual2.0.0API文档接口文档中文文档中英对照JavaJavaDoc操作手册Maven依赖Gradle依赖Java开发使用指南离线文档Java编程寒水馨
文件基础信息

文件名称: checker-compat-qual-2.0.0.jar中文-英文对照文档.zip

文件类型: Java 组件中文文档
文件大小: 6.41 MB

选择下载方式

方式1:微信扫码支付下载
文件价格:¥2
支付完成后自动开始下载
方式2:兑换码下载
前往 链动小铺 购买【Java 组件中文文档兑换码】

文件简介

checker-compat-qual-2.0.0.jar中文-英文对照文档.zip 中包含以下内容

  1. 中文-英文对照文档:位于压缩包内的“文档”文件夹中
  2. 说明文件:使用说明.txt、README.md
  3. Maven依赖:checker-compat-qual-2.0.0.jar Maven依赖信息(可用于项目pom.xml).txt
  4. Gradle依赖:checker-compat-qual-2.0.0.jar Gradle依赖信息(可用于项目build.gradle).txt
  5. jar包下载地址:checker-compat-qual-2.0.0.jar下载地址(官方地址+国内镜像地址).txt
  6. 源码下载地址:checker-compat-qual-2.0.0-sources.jar下载地址(官方地址+国内镜像地址).txt

使用方法

  1. 解压 checker-compat-qual-2.0.0.jar中文-英文对照文档.zip,找到 解压后的文件夹>文档>index.html,双击index.html即可用浏览器打开查看。
  2. 为了防止解压后路径太长导致浏览器无法打开,推荐在解压时选择“解压到当前文件夹”(放心,自带文件夹,文件不会散落一地)。
  3. 有时,一套Java组件会有多个jar,所以在下载前,请仔细阅读本篇描述,以确保这就是你需要的文件。

组件信息

简介

  • 名称: Checker Qual
  • 描述: Checker Qual 是 Checker Framework 用于对 Java 源代码进行类型检查所使用的一组注解(限定符)和支持类。请参见构件:org.checkerframework:checker
  • 版本: 2.0.0

Maven依赖

<dependency>
	<groupId>org.checkerframework</groupId>
	<artifactId>checker-compat-qual</artifactId>
	<version>2.0.0</version>
</dependency>

Gradle依赖

Gradle:
	implementation group: 'org.checkerframework', name: 'checker-compat-qual', version: '2.0.0'
Gradle (Short):
	implementation 'org.checkerframework:checker-compat-qual:2.0.0'
Gradle (Kotlin):
	implementation("org.checkerframework:checker-compat-qual:2.0.0")

寒水馨 Java 组件中文文档系列说明

  • 文档为 Java 组件的中文翻译文档
  • 文档由 寒水馨 翻译整理,非官方版本
  • 本系列文档获取地址:https://hanshuixin.org
  • 本文档为人性化翻译,精心制作,请放心使用
  • 本文档为双语同时展示,一行原文、一行译文,可逐行对照,避免了原文/译文来回切换的麻烦
  • 有原文可参照,不再担心翻译偏差误导
  • 边学技术、边学英语
  • 只翻译了该翻译的内容,如:注释、说明、描述、用法讲解 等
  • 不该翻译的内容保持原样,如:类名、方法名、包名、类型、关键字、代码 等

版权声明与来源信息

本翻译文档基于以下开源项目制作,严格遵守各项目的开源许可证,并在此列出其版权归属与许可证信息。

本组件包含的 Java package(包)

org.checkerframework.checker.compilermsgs
org.checkerframework.checker.compilermsgs.qual
org.checkerframework.checker.experimental.regex_qual
org.checkerframework.checker.experimental.tainting_qual
org.checkerframework.checker.experimental.tainting_qual.qual
org.checkerframework.checker.fenum
org.checkerframework.checker.fenum.qual
org.checkerframework.checker.formatter
org.checkerframework.checker.formatter.qual
org.checkerframework.checker.guieffect
org.checkerframework.checker.guieffect.qual
org.checkerframework.checker.i18n
org.checkerframework.checker.i18n.qual
org.checkerframework.checker.i18nformatter
org.checkerframework.checker.i18nformatter.qual
org.checkerframework.checker.i18nformatter.unittests
org.checkerframework.checker.initialization
org.checkerframework.checker.initialization.qual
org.checkerframework.checker.interning
org.checkerframework.checker.interning.qual
org.checkerframework.checker.linear
org.checkerframework.checker.linear.qual
org.checkerframework.checker.lock
org.checkerframework.checker.lock.qual
org.checkerframework.checker.nullness
org.checkerframework.checker.nullness.compatqual
org.checkerframework.checker.nullness.qual
org.checkerframework.checker.propkey
org.checkerframework.checker.propkey.qual
org.checkerframework.checker.regex
org.checkerframework.checker.regex.classic
org.checkerframework.checker.regex.classic.qual
org.checkerframework.checker.regex.qual
org.checkerframework.checker.signature
org.checkerframework.checker.signature.qual
org.checkerframework.checker.tainting
org.checkerframework.checker.tainting.classic
org.checkerframework.checker.tainting.classic.qual
org.checkerframework.checker.tainting.qual
org.checkerframework.checker.units
org.checkerframework.checker.units.qual
org.checkerframework.common.aliasing
org.checkerframework.common.aliasing.qual
org.checkerframework.common.basetype
org.checkerframework.common.reflection
org.checkerframework.common.reflection.qual
org.checkerframework.common.subtyping
org.checkerframework.common.util
org.checkerframework.common.util.count
org.checkerframework.common.util.debug
org.checkerframework.common.util.report
org.checkerframework.common.util.report.qual
org.checkerframework.common.value
org.checkerframework.common.value.qual
org.checkerframework.common.value.util
org.checkerframework.common.wholeprograminference
org.checkerframework.dataflow.analysis
org.checkerframework.dataflow.cfg
org.checkerframework.dataflow.cfg.block
org.checkerframework.dataflow.cfg.node
org.checkerframework.dataflow.cfg.playground
org.checkerframework.dataflow.constantpropagation
org.checkerframework.dataflow.qual
org.checkerframework.dataflow.util
org.checkerframework.framework.flow
org.checkerframework.framework.flow.util
org.checkerframework.framework.qual
org.checkerframework.framework.source
org.checkerframework.framework.test
org.checkerframework.framework.test.diagnostics
org.checkerframework.framework.type
org.checkerframework.framework.type.treeannotator
org.checkerframework.framework.type.typeannotator
org.checkerframework.framework.type.visitor
org.checkerframework.framework.util
org.checkerframework.framework.util.defaults
org.checkerframework.framework.util.element
org.checkerframework.framework.util.typeinference
org.checkerframework.framework.util.typeinference.constraint
org.checkerframework.framework.util.typeinference.solver
org.checkerframework.javacutil
org.checkerframework.javacutil.dist
org.checkerframework.javacutil.trees
org.checkerframework.qualframework.base
org.checkerframework.qualframework.base.dataflow
org.checkerframework.qualframework.base.format
org.checkerframework.qualframework.poly
org.checkerframework.qualframework.poly.format
org.checkerframework.qualframework.poly.qual
org.checkerframework.qualframework.util
org.checkerframework.stubparser
org.checkerframework.stubparser.ast
org.checkerframework.stubparser.ast.body
org.checkerframework.stubparser.ast.expr
org.checkerframework.stubparser.ast.stmt
org.checkerframework.stubparser.ast.type
org.checkerframework.stubparser.ast.visitor

本组件包含的 Java class(类)

org.checkerframework.checker.compilermsgs.CompilerMessagesAnnotatedTypeFactory
org.checkerframework.checker.compilermsgs.CompilerMessagesChecker
org.checkerframework.checker.compilermsgs.qual.CompilerMessageKey
org.checkerframework.checker.experimental.regex_qual.Regex
org.checkerframework.checker.experimental.regex_qual.Regex.PartialRegex
org.checkerframework.checker.experimental.regex_qual.Regex.RegexVal
org.checkerframework.checker.experimental.regex_qual.RegexAnnotationConverter
org.checkerframework.checker.experimental.regex_qual.RegexCheckerAdapter
org.checkerframework.checker.experimental.regex_qual.RegexQualChecker
org.checkerframework.checker.experimental.regex_qual.RegexQualifiedTransfer
org.checkerframework.checker.experimental.regex_qual.RegexQualifiedTypeFactory
org.checkerframework.checker.experimental.regex_qual.RegexQualifierHierarchy
org.checkerframework.checker.experimental.regex_qual.RegexTypecheckVisitor
org.checkerframework.checker.experimental.tainting_qual.Tainting
org.checkerframework.checker.experimental.tainting_qual.TaintingAnnotationConverter
org.checkerframework.checker.experimental.tainting_qual.TaintingChecker
org.checkerframework.checker.experimental.tainting_qual.TaintingCheckerAdapter
org.checkerframework.checker.experimental.tainting_qual.TaintingQualifiedTypeFactory
org.checkerframework.checker.experimental.tainting_qual.TaintingQualifierHierarchy
org.checkerframework.checker.experimental.tainting_qual.qual.PolyTainted
org.checkerframework.checker.experimental.tainting_qual.qual.Tainted
org.checkerframework.checker.experimental.tainting_qual.qual.Untainted
org.checkerframework.checker.fenum.FenumAnnotatedTypeFactory
org.checkerframework.checker.fenum.FenumChecker
org.checkerframework.checker.fenum.FenumVisitor
org.checkerframework.checker.fenum.qual.AwtAlphaCompositingRule
org.checkerframework.checker.fenum.qual.AwtColorSpace
org.checkerframework.checker.fenum.qual.AwtCursorType
org.checkerframework.checker.fenum.qual.AwtFlowLayout
org.checkerframework.checker.fenum.qual.Fenum
org.checkerframework.checker.fenum.qual.FenumBottom
org.checkerframework.checker.fenum.qual.FenumTop
org.checkerframework.checker.fenum.qual.FenumUnqualified
org.checkerframework.checker.fenum.qual.SwingBoxOrientation
org.checkerframework.checker.fenum.qual.SwingCompassDirection
org.checkerframework.checker.fenum.qual.SwingElementOrientation
org.checkerframework.checker.fenum.qual.SwingHorizontalOrientation
org.checkerframework.checker.fenum.qual.SwingSplitPaneOrientation
org.checkerframework.checker.fenum.qual.SwingTextOrientation
org.checkerframework.checker.fenum.qual.SwingTitleJustification
org.checkerframework.checker.fenum.qual.SwingTitlePosition
org.checkerframework.checker.fenum.qual.SwingVerticalOrientation
org.checkerframework.checker.formatter.FormatUtil
org.checkerframework.checker.formatter.FormatUtil.ExcessiveOrMissingFormatArgumentException
org.checkerframework.checker.formatter.FormatUtil.IllegalFormatConversionCategoryException
org.checkerframework.checker.formatter.FormatterAnalysis
org.checkerframework.checker.formatter.FormatterAnnotatedTypeFactory
org.checkerframework.checker.formatter.FormatterChecker
org.checkerframework.checker.formatter.FormatterTransfer
org.checkerframework.checker.formatter.FormatterTreeUtil
org.checkerframework.checker.formatter.FormatterTreeUtil.InvocationType
org.checkerframework.checker.formatter.FormatterTreeUtil.Result
org.checkerframework.checker.formatter.FormatterVisitor
org.checkerframework.checker.formatter.qual.ConversionCategory
org.checkerframework.checker.formatter.qual.Format
org.checkerframework.checker.formatter.qual.FormatBottom
org.checkerframework.checker.formatter.qual.FormatMethod
org.checkerframework.checker.formatter.qual.InvalidFormat
org.checkerframework.checker.formatter.qual.ReturnsFormat
org.checkerframework.checker.formatter.qual.UnknownFormat
org.checkerframework.checker.guieffect.Effect
org.checkerframework.checker.guieffect.Effect.EffectRange
org.checkerframework.checker.guieffect.GuiEffectChecker
org.checkerframework.checker.guieffect.GuiEffectTypeFactory
org.checkerframework.checker.guieffect.GuiEffectVisitor
org.checkerframework.checker.guieffect.qual.AlwaysSafe
org.checkerframework.checker.guieffect.qual.PolyUI
org.checkerframework.checker.guieffect.qual.PolyUIEffect
org.checkerframework.checker.guieffect.qual.PolyUIType
org.checkerframework.checker.guieffect.qual.SafeEffect
org.checkerframework.checker.guieffect.qual.SafeType
org.checkerframework.checker.guieffect.qual.UI
org.checkerframework.checker.guieffect.qual.UIEffect
org.checkerframework.checker.guieffect.qual.UIPackage
org.checkerframework.checker.guieffect.qual.UIType
org.checkerframework.checker.i18n.I18nAnnotatedTypeFactory
org.checkerframework.checker.i18n.I18nChecker
org.checkerframework.checker.i18n.I18nSubchecker
org.checkerframework.checker.i18n.LocalizableKeyAnnotatedTypeFactory
org.checkerframework.checker.i18n.LocalizableKeyChecker
org.checkerframework.checker.i18n.qual.LocalizableKey
org.checkerframework.checker.i18n.qual.Localized
org.checkerframework.checker.i18n.qual.UnknownLocalized
org.checkerframework.checker.i18nformatter.I18nFormatUtil
org.checkerframework.checker.i18nformatter.I18nFormatterAnalysis
org.checkerframework.checker.i18nformatter.I18nFormatterAnnotatedTypeFactory
org.checkerframework.checker.i18nformatter.I18nFormatterChecker
org.checkerframework.checker.i18nformatter.I18nFormatterTransfer
org.checkerframework.checker.i18nformatter.I18nFormatterTreeUtil
org.checkerframework.checker.i18nformatter.I18nFormatterTreeUtil.FormatType
org.checkerframework.checker.i18nformatter.I18nFormatterVisitor
org.checkerframework.checker.i18nformatter.qual.I18nChecksFormat
org.checkerframework.checker.i18nformatter.qual.I18nConversionCategory
org.checkerframework.checker.i18nformatter.qual.I18nFormat
org.checkerframework.checker.i18nformatter.qual.I18nFormatBottom
org.checkerframework.checker.i18nformatter.qual.I18nFormatFor
org.checkerframework.checker.i18nformatter.qual.I18nInvalidFormat
org.checkerframework.checker.i18nformatter.qual.I18nMakeFormat
org.checkerframework.checker.i18nformatter.qual.I18nUnknownFormat
org.checkerframework.checker.i18nformatter.qual.I18nValidFormat
org.checkerframework.checker.i18nformatter.unittests.I18nConversionCategoryTest
org.checkerframework.checker.i18nformatter.unittests.I18nHasFormatTest
org.checkerframework.checker.initialization.InitializationAnnotatedTypeFactory
org.checkerframework.checker.initialization.InitializationChecker
org.checkerframework.checker.initialization.InitializationStore
org.checkerframework.checker.initialization.InitializationTransfer
org.checkerframework.checker.initialization.InitializationVisitor
org.checkerframework.checker.initialization.qual.FBCBottom
org.checkerframework.checker.initialization.qual.Initialized
org.checkerframework.checker.initialization.qual.NotOnlyInitialized
org.checkerframework.checker.initialization.qual.UnderInitialization
org.checkerframework.checker.initialization.qual.UnknownInitialization
org.checkerframework.checker.interning.InterningAnnotatedTypeFactory
org.checkerframework.checker.interning.InterningChecker
org.checkerframework.checker.interning.InterningVisitor
org.checkerframework.checker.interning.qual.Interned
org.checkerframework.checker.interning.qual.PolyInterned
org.checkerframework.checker.interning.qual.UnknownInterned
org.checkerframework.checker.interning.qual.UsesObjectEquals
org.checkerframework.checker.linear.LinearAnnotatedTypeFactory
org.checkerframework.checker.linear.LinearChecker
org.checkerframework.checker.linear.LinearVisitor
org.checkerframework.checker.linear.qual.Linear
org.checkerframework.checker.linear.qual.Normal
org.checkerframework.checker.linear.qual.Unusable
org.checkerframework.checker.lock.LockAnalysis
org.checkerframework.checker.lock.LockAnnotatedTypeFactory
org.checkerframework.checker.lock.LockChecker
org.checkerframework.checker.lock.LockStore
org.checkerframework.checker.lock.LockTransfer
org.checkerframework.checker.lock.LockTreeAnnotator
org.checkerframework.checker.lock.LockVisitor
org.checkerframework.checker.lock.qual.EnsuresLockHeld
org.checkerframework.checker.lock.qual.EnsuresLockHeldIf
org.checkerframework.checker.lock.qual.GuardSatisfied
org.checkerframework.checker.lock.qual.GuardedBy
org.checkerframework.checker.lock.qual.GuardedByBottom
org.checkerframework.checker.lock.qual.GuardedByUnknown
org.checkerframework.checker.lock.qual.Holding
org.checkerframework.checker.lock.qual.LockHeld
org.checkerframework.checker.lock.qual.LockPossiblyHeld
org.checkerframework.checker.lock.qual.LockingFree
org.checkerframework.checker.lock.qual.MayReleaseLocks
org.checkerframework.checker.lock.qual.ReleasesNoLocks
org.checkerframework.checker.nullness.AbstractNullnessChecker
org.checkerframework.checker.nullness.CollectionToArrayHeuristics
org.checkerframework.checker.nullness.KeyForAnalysis
org.checkerframework.checker.nullness.KeyForAnnotatedTypeFactory
org.checkerframework.checker.nullness.KeyForPropagationTreeAnnotator
org.checkerframework.checker.nullness.KeyForPropagator
org.checkerframework.checker.nullness.KeyForPropagator.PropagationDirection
org.checkerframework.checker.nullness.KeyForSubchecker
org.checkerframework.checker.nullness.KeyForTransfer
org.checkerframework.checker.nullness.KeyForVisitor
org.checkerframework.checker.nullness.NullnessAnalysis
org.checkerframework.checker.nullness.NullnessAnnotatedTypeFactory
org.checkerframework.checker.nullness.NullnessAnnotatedTypeFormatter
org.checkerframework.checker.nullness.NullnessAnnotatedTypeFormatter.NullnessFormattingVisitor
org.checkerframework.checker.nullness.NullnessChecker
org.checkerframework.checker.nullness.NullnessRawnessChecker
org.checkerframework.checker.nullness.NullnessStore
org.checkerframework.checker.nullness.NullnessTransfer
org.checkerframework.checker.nullness.NullnessUtils
org.checkerframework.checker.nullness.NullnessValue
org.checkerframework.checker.nullness.NullnessVisitor
org.checkerframework.checker.nullness.SystemGetPropertyHandler
org.checkerframework.checker.nullness.compatqual.KeyForDecl
org.checkerframework.checker.nullness.compatqual.KeyForType
org.checkerframework.checker.nullness.compatqual.MonotonicNonNullDecl
org.checkerframework.checker.nullness.compatqual.MonotonicNonNullType
org.checkerframework.checker.nullness.compatqual.NonNullDecl
org.checkerframework.checker.nullness.compatqual.NonNullType
org.checkerframework.checker.nullness.compatqual.NullableDecl
org.checkerframework.checker.nullness.compatqual.NullableType
org.checkerframework.checker.nullness.compatqual.PolyNullDecl
org.checkerframework.checker.nullness.compatqual.PolyNullType
org.checkerframework.checker.nullness.qual.AssertNonNullIfNonNull
org.checkerframework.checker.nullness.qual.Covariant
org.checkerframework.checker.nullness.qual.EnsuresNonNull
org.checkerframework.checker.nullness.qual.EnsuresNonNullIf
org.checkerframework.checker.nullness.qual.KeyFor
org.checkerframework.checker.nullness.qual.KeyForBottom
org.checkerframework.checker.nullness.qual.LazyNonNull
org.checkerframework.checker.nullness.qual.MonotonicNonNull
org.checkerframework.checker.nullness.qual.NonNull
org.checkerframework.checker.nullness.qual.NonRaw
org.checkerframework.checker.nullness.qual.Nullable
org.checkerframework.checker.nullness.qual.PolyKeyFor
org.checkerframework.checker.nullness.qual.PolyNull
org.checkerframework.checker.nullness.qual.PolyRaw
org.checkerframework.checker.nullness.qual.Raw
org.checkerframework.checker.nullness.qual.RequiresNonNull
org.checkerframework.checker.nullness.qual.UnknownKeyFor
org.checkerframework.checker.propkey.PropertyKeyAnnotatedTypeFactory
org.checkerframework.checker.propkey.PropertyKeyChecker
org.checkerframework.checker.propkey.qual.PropertyKey
org.checkerframework.checker.propkey.qual.PropertyKeyBottom
org.checkerframework.checker.propkey.qual.UnknownPropertyKey
org.checkerframework.checker.regex.RegexAnnotationConverter
org.checkerframework.checker.regex.RegexChecker
org.checkerframework.checker.regex.RegexQualPolyChecker
org.checkerframework.checker.regex.RegexQualifiedTransfer
org.checkerframework.checker.regex.RegexQualifiedTypeFactory
org.checkerframework.checker.regex.RegexTypecheckVisitor
org.checkerframework.checker.regex.RegexUtil
org.checkerframework.checker.regex.RegexUtil.CheckedPatternSyntaxException
org.checkerframework.checker.regex.classic.RegexAnalysis
org.checkerframework.checker.regex.classic.RegexClassicAnnotatedTypeFactory
org.checkerframework.checker.regex.classic.RegexClassicChecker
org.checkerframework.checker.regex.classic.RegexClassicVisitor
org.checkerframework.checker.regex.classic.RegexTransfer
org.checkerframework.checker.regex.classic.qual.PartialRegex
org.checkerframework.checker.regex.classic.qual.PolyRegex
org.checkerframework.checker.regex.classic.qual.RegexBottom
org.checkerframework.checker.regex.classic.qual.UnknownRegex
org.checkerframework.checker.regex.qual.ClassRegexParam
org.checkerframework.checker.regex.qual.MethodRegexParam
org.checkerframework.checker.regex.qual.MultiClassRegexParam
org.checkerframework.checker.regex.qual.MultiMethodRegexParam
org.checkerframework.checker.regex.qual.MultiPolyRegex
org.checkerframework.checker.regex.qual.MultiRegex
org.checkerframework.checker.regex.qual.MultiVar
org.checkerframework.checker.regex.qual.MultiWild
org.checkerframework.checker.regex.qual.PolyRegex
org.checkerframework.checker.regex.qual.Regex
org.checkerframework.checker.regex.qual.Var
org.checkerframework.checker.regex.qual.Wild
org.checkerframework.checker.signature.SignatureAnnotatedTypeFactory
org.checkerframework.checker.signature.SignatureChecker
org.checkerframework.checker.signature.qual.BinaryName
org.checkerframework.checker.signature.qual.BinaryNameForNonArray
org.checkerframework.checker.signature.qual.BinaryNameForNonArrayInUnnamedPackage
org.checkerframework.checker.signature.qual.BinaryNameInUnnamedPackage
org.checkerframework.checker.signature.qual.ClassGetName
org.checkerframework.checker.signature.qual.ClassGetSimpleName
org.checkerframework.checker.signature.qual.FieldDescriptor
org.checkerframework.checker.signature.qual.FieldDescriptorForArray
org.checkerframework.checker.signature.qual.FullyQualifiedName
org.checkerframework.checker.signature.qual.Identifier
org.checkerframework.checker.signature.qual.IdentifierOrArray
org.checkerframework.checker.signature.qual.InternalForm
org.checkerframework.checker.signature.qual.MethodDescriptor
org.checkerframework.checker.signature.qual.PolySignature
org.checkerframework.checker.signature.qual.SignatureBottom
org.checkerframework.checker.signature.qual.SignatureUnknown
org.checkerframework.checker.signature.qual.SourceNameForNonArrayNonInner
org.checkerframework.checker.signature.qual.SourceNameForNonInner
org.checkerframework.checker.tainting.Tainting
org.checkerframework.checker.tainting.TaintingAnnotationConverter
org.checkerframework.checker.tainting.TaintingChecker
org.checkerframework.checker.tainting.TaintingQualChecker
org.checkerframework.checker.tainting.TaintingQualifiedTypeFactory
org.checkerframework.checker.tainting.TaintingQualifierHierarchy
org.checkerframework.checker.tainting.classic.TaintingClassicAnnotatedTypeFactory
org.checkerframework.checker.tainting.classic.TaintingClassicChecker
org.checkerframework.checker.tainting.classic.qual.PolyTainted
org.checkerframework.checker.tainting.classic.qual.Tainted
org.checkerframework.checker.tainting.classic.qual.Untainted
org.checkerframework.checker.tainting.qual.ClassTaintingParam
org.checkerframework.checker.tainting.qual.MethodTaintingParam
org.checkerframework.checker.tainting.qual.MultiClassTaintingParam
org.checkerframework.checker.tainting.qual.MultiMethodTaintingParam
org.checkerframework.checker.tainting.qual.MultiPolyTainted
org.checkerframework.checker.tainting.qual.MultiTainted
org.checkerframework.checker.tainting.qual.MultiUntainted
org.checkerframework.checker.tainting.qual.MultiVar
org.checkerframework.checker.tainting.qual.MultiWild
org.checkerframework.checker.tainting.qual.PolyTainted
org.checkerframework.checker.tainting.qual.Tainted
org.checkerframework.checker.tainting.qual.Untainted
org.checkerframework.checker.tainting.qual.Var
org.checkerframework.checker.tainting.qual.Wild
org.checkerframework.checker.units.UnitsAnnotatedTypeFactory
org.checkerframework.checker.units.UnitsAnnotatedTypeFormatter
org.checkerframework.checker.units.UnitsAnnotatedTypeFormatter.UnitsAnnotationFormatter
org.checkerframework.checker.units.UnitsAnnotatedTypeFormatter.UnitsFormattingVisitor
org.checkerframework.checker.units.UnitsAnnotationClassLoader
org.checkerframework.checker.units.UnitsChecker
org.checkerframework.checker.units.UnitsRelations
org.checkerframework.checker.units.UnitsRelationsDefault
org.checkerframework.checker.units.UnitsRelationsTools
org.checkerframework.checker.units.UnitsTools
org.checkerframework.checker.units.UnitsVisitor
org.checkerframework.checker.units.qual.A
org.checkerframework.checker.units.qual.Acceleration
org.checkerframework.checker.units.qual.Angle
org.checkerframework.checker.units.qual.Area
org.checkerframework.checker.units.qual.C
org.checkerframework.checker.units.qual.Current
org.checkerframework.checker.units.qual.K
org.checkerframework.checker.units.qual.Length
org.checkerframework.checker.units.qual.Luminance
org.checkerframework.checker.units.qual.Mass
org.checkerframework.checker.units.qual.MixedUnits
org.checkerframework.checker.units.qual.PolyUnit
org.checkerframework.checker.units.qual.Prefix
org.checkerframework.checker.units.qual.Speed
org.checkerframework.checker.units.qual.Substance
org.checkerframework.checker.units.qual.Temperature
org.checkerframework.checker.units.qual.Time
org.checkerframework.checker.units.qual.UnitsBottom
org.checkerframework.checker.units.qual.UnitsMultiple
org.checkerframework.checker.units.qual.UnitsRelations
org.checkerframework.checker.units.qual.UnknownUnits
org.checkerframework.checker.units.qual.cd
org.checkerframework.checker.units.qual.degrees
org.checkerframework.checker.units.qual.g
org.checkerframework.checker.units.qual.h
org.checkerframework.checker.units.qual.kg
org.checkerframework.checker.units.qual.km
org.checkerframework.checker.units.qual.km2
org.checkerframework.checker.units.qual.kmPERh
org.checkerframework.checker.units.qual.m
org.checkerframework.checker.units.qual.m2
org.checkerframework.checker.units.qual.mPERs
org.checkerframework.checker.units.qual.mPERs2
org.checkerframework.checker.units.qual.min
org.checkerframework.checker.units.qual.mm
org.checkerframework.checker.units.qual.mm2
org.checkerframework.checker.units.qual.mol
org.checkerframework.checker.units.qual.radians
org.checkerframework.checker.units.qual.s
org.checkerframework.common.aliasing.AliasingAnnotatedTypeFactory
org.checkerframework.common.aliasing.AliasingChecker
org.checkerframework.common.aliasing.AliasingTransfer
org.checkerframework.common.aliasing.AliasingVisitor
org.checkerframework.common.aliasing.qual.LeakedToResult
org.checkerframework.common.aliasing.qual.MaybeAliased
org.checkerframework.common.aliasing.qual.MaybeLeaked
org.checkerframework.common.aliasing.qual.NonLeaked
org.checkerframework.common.aliasing.qual.Unique
org.checkerframework.common.basetype.BaseAnnotatedTypeFactory
org.checkerframework.common.basetype.BaseTypeChecker
org.checkerframework.common.basetype.BaseTypeContext
org.checkerframework.common.basetype.BaseTypeValidator
org.checkerframework.common.basetype.BaseTypeVisitor
org.checkerframework.common.basetype.TypeValidator
org.checkerframework.common.reflection.ClassValAnnotatedTypeFactory
org.checkerframework.common.reflection.ClassValChecker
org.checkerframework.common.reflection.ClassValVisitor
org.checkerframework.common.reflection.DefaultReflectionResolver
org.checkerframework.common.reflection.MethodValAnnotatedTypeFactory
org.checkerframework.common.reflection.MethodValChecker
org.checkerframework.common.reflection.MethodValVisitor
org.checkerframework.common.reflection.ReflectionResolver
org.checkerframework.common.reflection.qual.ClassBound
org.checkerframework.common.reflection.qual.ClassVal
org.checkerframework.common.reflection.qual.ClassValBottom
org.checkerframework.common.reflection.qual.ForName
org.checkerframework.common.reflection.qual.GetClass
org.checkerframework.common.reflection.qual.GetConstructor
org.checkerframework.common.reflection.qual.GetMethod
org.checkerframework.common.reflection.qual.Invoke
org.checkerframework.common.reflection.qual.MethodVal
org.checkerframework.common.reflection.qual.MethodValBottom
org.checkerframework.common.reflection.qual.NewInstance
org.checkerframework.common.reflection.qual.UnknownClass
org.checkerframework.common.reflection.qual.UnknownMethod
org.checkerframework.common.subtyping.SubtypingAnnotatedTypeFactory
org.checkerframework.common.subtyping.SubtypingChecker
org.checkerframework.common.util.TypeVisualizer
org.checkerframework.common.util.count.AnnotationsCounter
org.checkerframework.common.util.count.Locations
org.checkerframework.common.util.debug.EmptyProcessor
org.checkerframework.common.util.debug.SignaturePrinter
org.checkerframework.common.util.debug.TreeDebug
org.checkerframework.common.util.debug.TreeDebug.Visitor
org.checkerframework.common.util.debug.TreePrinter
org.checkerframework.common.util.debug.TypeOutputtingChecker
org.checkerframework.common.util.debug.TypeOutputtingChecker.Visitor
org.checkerframework.common.util.report.ReportChecker
org.checkerframework.common.util.report.ReportVisitor
org.checkerframework.common.util.report.qual.ReportCall
org.checkerframework.common.util.report.qual.ReportCreation
org.checkerframework.common.util.report.qual.ReportInherit
org.checkerframework.common.util.report.qual.ReportOverride
org.checkerframework.common.util.report.qual.ReportReadWrite
org.checkerframework.common.util.report.qual.ReportUnqualified
org.checkerframework.common.util.report.qual.ReportUse
org.checkerframework.common.util.report.qual.ReportWrite
org.checkerframework.common.value.Operators
org.checkerframework.common.value.ReflectiveEvalutator
org.checkerframework.common.value.ValueAnnotatedTypeFactory
org.checkerframework.common.value.ValueChecker
org.checkerframework.common.value.ValueCheckerUtils
org.checkerframework.common.value.ValueTransfer
org.checkerframework.common.value.ValueVisitor
org.checkerframework.common.value.qual.ArrayLen
org.checkerframework.common.value.qual.BoolVal
org.checkerframework.common.value.qual.BottomVal
org.checkerframework.common.value.qual.DoubleVal
org.checkerframework.common.value.qual.IntVal
org.checkerframework.common.value.qual.StaticallyExecutable
org.checkerframework.common.value.qual.StringVal
org.checkerframework.common.value.qual.UnknownVal
org.checkerframework.common.value.util.ByteMath
org.checkerframework.common.value.util.DoubleMath
org.checkerframework.common.value.util.FloatMath
org.checkerframework.common.value.util.IntegerMath
org.checkerframework.common.value.util.LongMath
org.checkerframework.common.value.util.NumberMath
org.checkerframework.common.value.util.NumberUtils
org.checkerframework.common.value.util.ShortMath
org.checkerframework.common.wholeprograminference.AnnotationConverter
org.checkerframework.common.wholeprograminference.WholeProgramInference
org.checkerframework.common.wholeprograminference.WholeProgramInferenceScenes
org.checkerframework.common.wholeprograminference.WholeProgramInferenceScenesHelper
org.checkerframework.dataflow.analysis.AbstractValue
org.checkerframework.dataflow.analysis.Analysis
org.checkerframework.dataflow.analysis.Analysis.Worklist
org.checkerframework.dataflow.analysis.AnalysisResult
org.checkerframework.dataflow.analysis.ConditionalTransferResult
org.checkerframework.dataflow.analysis.FlowExpressions
org.checkerframework.dataflow.analysis.FlowExpressions.ArrayAccess
org.checkerframework.dataflow.analysis.FlowExpressions.ArrayCreation
org.checkerframework.dataflow.analysis.FlowExpressions.ClassName
org.checkerframework.dataflow.analysis.FlowExpressions.FieldAccess
org.checkerframework.dataflow.analysis.FlowExpressions.LocalVariable
org.checkerframework.dataflow.analysis.FlowExpressions.MethodCall
org.checkerframework.dataflow.analysis.FlowExpressions.Receiver
org.checkerframework.dataflow.analysis.FlowExpressions.ThisReference
org.checkerframework.dataflow.analysis.FlowExpressions.Unknown
org.checkerframework.dataflow.analysis.FlowExpressions.ValueLiteral
org.checkerframework.dataflow.analysis.RegularTransferResult
org.checkerframework.dataflow.analysis.Store
org.checkerframework.dataflow.analysis.Store.FlowRule
org.checkerframework.dataflow.analysis.Store.Kind
org.checkerframework.dataflow.analysis.TransferFunction
org.checkerframework.dataflow.analysis.TransferInput
org.checkerframework.dataflow.analysis.TransferResult
org.checkerframework.dataflow.cfg.CFGBuilder
org.checkerframework.dataflow.cfg.CFGBuilder.CFGTranslationPhaseThree
org.checkerframework.dataflow.cfg.CFGBuilder.CFGTranslationPhaseThree.PredecessorHolder
org.checkerframework.dataflow.cfg.CFGBuilder.ConditionalJump
org.checkerframework.dataflow.cfg.CFGBuilder.ExtendedNode
org.checkerframework.dataflow.cfg.CFGBuilder.ExtendedNode.ExtendedNodeType
org.checkerframework.dataflow.cfg.CFGBuilder.Label
org.checkerframework.dataflow.cfg.CFGBuilder.NodeHolder
org.checkerframework.dataflow.cfg.CFGBuilder.NodeWithExceptionsHolder
org.checkerframework.dataflow.cfg.CFGBuilder.PhaseOneResult
org.checkerframework.dataflow.cfg.CFGBuilder.TryCatchFrame
org.checkerframework.dataflow.cfg.CFGBuilder.TryFrame
org.checkerframework.dataflow.cfg.CFGBuilder.TryStack
org.checkerframework.dataflow.cfg.CFGBuilder.Tuple
org.checkerframework.dataflow.cfg.CFGBuilder.UnconditionalJump
org.checkerframework.dataflow.cfg.CFGVisualizer
org.checkerframework.dataflow.cfg.ControlFlowGraph
org.checkerframework.dataflow.cfg.DOTCFGVisualizer
org.checkerframework.dataflow.cfg.JavaSource2CFGDOT
org.checkerframework.dataflow.cfg.UnderlyingAST
org.checkerframework.dataflow.cfg.UnderlyingAST.CFGLambda
org.checkerframework.dataflow.cfg.UnderlyingAST.CFGMethod
org.checkerframework.dataflow.cfg.UnderlyingAST.CFGStatement
org.checkerframework.dataflow.cfg.UnderlyingAST.Kind
org.checkerframework.dataflow.cfg.block.Block
org.checkerframework.dataflow.cfg.block.Block.BlockType
org.checkerframework.dataflow.cfg.block.BlockImpl
org.checkerframework.dataflow.cfg.block.ConditionalBlock
org.checkerframework.dataflow.cfg.block.ConditionalBlockImpl
org.checkerframework.dataflow.cfg.block.ExceptionBlock
org.checkerframework.dataflow.cfg.block.ExceptionBlockImpl
org.checkerframework.dataflow.cfg.block.RegularBlock
org.checkerframework.dataflow.cfg.block.RegularBlockImpl
org.checkerframework.dataflow.cfg.block.SingleSuccessorBlock
org.checkerframework.dataflow.cfg.block.SingleSuccessorBlockImpl
org.checkerframework.dataflow.cfg.block.SpecialBlock
org.checkerframework.dataflow.cfg.block.SpecialBlock.SpecialBlockType
org.checkerframework.dataflow.cfg.block.SpecialBlockImpl
org.checkerframework.dataflow.cfg.node.AbstractNodeVisitor
org.checkerframework.dataflow.cfg.node.ArrayAccessNode
org.checkerframework.dataflow.cfg.node.ArrayCreationNode
org.checkerframework.dataflow.cfg.node.ArrayTypeNode
org.checkerframework.dataflow.cfg.node.AssertionErrorNode
org.checkerframework.dataflow.cfg.node.AssignmentContext
org.checkerframework.dataflow.cfg.node.AssignmentContext.AssignmentLhsContext
org.checkerframework.dataflow.cfg.node.AssignmentContext.LambdaReturnContext
org.checkerframework.dataflow.cfg.node.AssignmentContext.MethodParameterContext
org.checkerframework.dataflow.cfg.node.AssignmentContext.MethodReturnContext
org.checkerframework.dataflow.cfg.node.AssignmentNode
org.checkerframework.dataflow.cfg.node.BitwiseAndNode
org.checkerframework.dataflow.cfg.node.BitwiseComplementNode
org.checkerframework.dataflow.cfg.node.BitwiseOrNode
org.checkerframework.dataflow.cfg.node.BitwiseXorNode
org.checkerframework.dataflow.cfg.node.BooleanLiteralNode
org.checkerframework.dataflow.cfg.node.CaseNode
org.checkerframework.dataflow.cfg.node.CharacterLiteralNode
org.checkerframework.dataflow.cfg.node.ClassNameNode
org.checkerframework.dataflow.cfg.node.ConditionalAndNode
org.checkerframework.dataflow.cfg.node.ConditionalNotNode
org.checkerframework.dataflow.cfg.node.ConditionalOrNode
org.checkerframework.dataflow.cfg.node.DoubleLiteralNode
org.checkerframework.dataflow.cfg.node.EqualToNode
org.checkerframework.dataflow.cfg.node.ExplicitThisLiteralNode
org.checkerframework.dataflow.cfg.node.FieldAccessNode
org.checkerframework.dataflow.cfg.node.FloatLiteralNode
org.checkerframework.dataflow.cfg.node.FloatingDivisionNode
org.checkerframework.dataflow.cfg.node.FloatingRemainderNode
org.checkerframework.dataflow.cfg.node.FunctionalInterfaceNode
org.checkerframework.dataflow.cfg.node.GreaterThanNode
org.checkerframework.dataflow.cfg.node.GreaterThanOrEqualNode
org.checkerframework.dataflow.cfg.node.ImplicitThisLiteralNode
org.checkerframework.dataflow.cfg.node.InstanceOfNode
org.checkerframework.dataflow.cfg.node.IntegerDivisionNode
org.checkerframework.dataflow.cfg.node.IntegerLiteralNode
org.checkerframework.dataflow.cfg.node.IntegerRemainderNode
org.checkerframework.dataflow.cfg.node.LeftShiftNode
org.checkerframework.dataflow.cfg.node.LessThanNode
org.checkerframework.dataflow.cfg.node.LessThanOrEqualNode
org.checkerframework.dataflow.cfg.node.LocalVariableNode
org.checkerframework.dataflow.cfg.node.LongLiteralNode
org.checkerframework.dataflow.cfg.node.MarkerNode
org.checkerframework.dataflow.cfg.node.MethodAccessNode
org.checkerframework.dataflow.cfg.node.MethodInvocationNode
org.checkerframework.dataflow.cfg.node.NarrowingConversionNode
org.checkerframework.dataflow.cfg.node.Node
org.checkerframework.dataflow.cfg.node.NodeVisitor
org.checkerframework.dataflow.cfg.node.NotEqualNode
org.checkerframework.dataflow.cfg.node.NullChkNode
org.checkerframework.dataflow.cfg.node.NullLiteralNode
org.checkerframework.dataflow.cfg.node.NumericalAdditionNode
org.checkerframework.dataflow.cfg.node.NumericalMinusNode
org.checkerframework.dataflow.cfg.node.NumericalMultiplicationNode
org.checkerframework.dataflow.cfg.node.NumericalPlusNode
org.checkerframework.dataflow.cfg.node.NumericalSubtractionNode
org.checkerframework.dataflow.cfg.node.ObjectCreationNode
org.checkerframework.dataflow.cfg.node.PackageNameNode
org.checkerframework.dataflow.cfg.node.ParameterizedTypeNode
org.checkerframework.dataflow.cfg.node.PrimitiveTypeNode
org.checkerframework.dataflow.cfg.node.ReturnNode
org.checkerframework.dataflow.cfg.node.ShortLiteralNode
org.checkerframework.dataflow.cfg.node.SignedRightShiftNode
org.checkerframework.dataflow.cfg.node.StringConcatenateAssignmentNode
org.checkerframework.dataflow.cfg.node.StringConcatenateNode
org.checkerframework.dataflow.cfg.node.StringConversionNode
org.checkerframework.dataflow.cfg.node.StringLiteralNode
org.checkerframework.dataflow.cfg.node.SuperNode
org.checkerframework.dataflow.cfg.node.SynchronizedNode
org.checkerframework.dataflow.cfg.node.TernaryExpressionNode
org.checkerframework.dataflow.cfg.node.ThisLiteralNode
org.checkerframework.dataflow.cfg.node.ThrowNode
org.checkerframework.dataflow.cfg.node.TypeCastNode
org.checkerframework.dataflow.cfg.node.UnsignedRightShiftNode
org.checkerframework.dataflow.cfg.node.ValueLiteralNode
org.checkerframework.dataflow.cfg.node.VariableDeclarationNode
org.checkerframework.dataflow.cfg.node.WideningConversionNode
org.checkerframework.dataflow.cfg.playground.ConstantPropagationPlayground
org.checkerframework.dataflow.constantpropagation.Constant
org.checkerframework.dataflow.constantpropagation.Constant.Type
org.checkerframework.dataflow.constantpropagation.ConstantPropagationStore
org.checkerframework.dataflow.constantpropagation.ConstantPropagationTransfer
org.checkerframework.dataflow.qual.Deterministic
org.checkerframework.dataflow.qual.Pure
org.checkerframework.dataflow.qual.Pure.Kind
org.checkerframework.dataflow.qual.SideEffectFree
org.checkerframework.dataflow.qual.TerminatesExecution
org.checkerframework.dataflow.util.HashCodeUtils
org.checkerframework.dataflow.util.MostlySingleton
org.checkerframework.dataflow.util.NodeUtils
org.checkerframework.dataflow.util.PurityChecker
org.checkerframework.dataflow.util.PurityChecker.PurityCheckerHelper
org.checkerframework.dataflow.util.PurityChecker.PurityResult
org.checkerframework.dataflow.util.PurityUtils
org.checkerframework.framework.flow.CFAbstractAnalysis
org.checkerframework.framework.flow.CFAbstractStore
org.checkerframework.framework.flow.CFAbstractTransfer
org.checkerframework.framework.flow.CFAbstractValue
org.checkerframework.framework.flow.CFAnalysis
org.checkerframework.framework.flow.CFCFGBuilder
org.checkerframework.framework.flow.CFStore
org.checkerframework.framework.flow.CFTransfer
org.checkerframework.framework.flow.CFTreeBuilder
org.checkerframework.framework.flow.CFValue
org.checkerframework.framework.flow.util.LubTypeVariableAnnotator
org.checkerframework.framework.qual.AnnotatedFor
org.checkerframework.framework.qual.Bottom
org.checkerframework.framework.qual.ConditionalPostconditionAnnotation
org.checkerframework.framework.qual.DefaultFor
org.checkerframework.framework.qual.DefaultInUncheckedCodeFor
org.checkerframework.framework.qual.DefaultQualifier
org.checkerframework.framework.qual.DefaultQualifierInHierarchy
org.checkerframework.framework.qual.DefaultQualifierInHierarchyInUncheckedCode
org.checkerframework.framework.qual.DefaultQualifiers
org.checkerframework.framework.qual.Dependent
org.checkerframework.framework.qual.EnsuresQualifier
org.checkerframework.framework.qual.EnsuresQualifierIf
org.checkerframework.framework.qual.EnsuresQualifiers
org.checkerframework.framework.qual.EnsuresQualifiersIf
org.checkerframework.framework.qual.FieldIsExpression
org.checkerframework.framework.qual.FromByteCode
org.checkerframework.framework.qual.FromStubFile
org.checkerframework.framework.qual.IgnoreInWholeProgramInference
org.checkerframework.framework.qual.ImplicitFor
org.checkerframework.framework.qual.InheritedAnnotation
org.checkerframework.framework.qual.InvisibleQualifier
org.checkerframework.framework.qual.LiteralKind
org.checkerframework.framework.qual.MonotonicQualifier
org.checkerframework.framework.qual.PolyAll
org.checkerframework.framework.qual.PolymorphicQualifier
org.checkerframework.framework.qual.PostconditionAnnotation
org.checkerframework.framework.qual.PreconditionAnnotation
org.checkerframework.framework.qual.RequiresQualifier
org.checkerframework.framework.qual.RequiresQualifiers
org.checkerframework.framework.qual.StubFiles
org.checkerframework.framework.qual.SubtypeOf
org.checkerframework.framework.qual.TargetLocations
org.checkerframework.framework.qual.TypeUseLocation
org.checkerframework.framework.qual.Unqualified
org.checkerframework.framework.qual.Unused
org.checkerframework.framework.source.AggregateChecker
org.checkerframework.framework.source.Result
org.checkerframework.framework.source.Result.DiagMessage
org.checkerframework.framework.source.SourceChecker
org.checkerframework.framework.source.SourceChecker.CheckerError
org.checkerframework.framework.source.SourceVisitor
org.checkerframework.framework.source.SupportedLintOptions
org.checkerframework.framework.source.SupportedOptions
org.checkerframework.framework.source.SuppressWarningsKeys
org.checkerframework.framework.test.CheckerFrameworkTest
org.checkerframework.framework.test.CompilationResult
org.checkerframework.framework.test.ImmutableTestConfiguration
org.checkerframework.framework.test.SimpleOptionMap
org.checkerframework.framework.test.TestConfiguration
org.checkerframework.framework.test.TestConfigurationBuilder
org.checkerframework.framework.test.TestSuite
org.checkerframework.framework.test.TestSuite.Name
org.checkerframework.framework.test.TestUtilities
org.checkerframework.framework.test.TypecheckExecutor
org.checkerframework.framework.test.TypecheckResult
org.checkerframework.framework.test.diagnostics.DiagnosticKind
org.checkerframework.framework.test.diagnostics.JavaDiagnosticReader
org.checkerframework.framework.test.diagnostics.JavaDiagnosticReader.DiagnosticCodec
org.checkerframework.framework.test.diagnostics.TestDiagnostic
org.checkerframework.framework.test.diagnostics.TestDiagnosticLine
org.checkerframework.framework.test.diagnostics.TestDiagnosticUtils
org.checkerframework.framework.type.AnnotatedTypeCopier
org.checkerframework.framework.type.AnnotatedTypeFactory
org.checkerframework.framework.type.AnnotatedTypeFactory.InheritedFromClassAnnotator
org.checkerframework.framework.type.AnnotatedTypeFormatter
org.checkerframework.framework.type.AnnotatedTypeMirror
org.checkerframework.framework.type.AnnotatedTypeMirror.AnnotatedArrayType
org.checkerframework.framework.type.AnnotatedTypeMirror.AnnotatedDeclaredType
org.checkerframework.framework.type.AnnotatedTypeMirror.AnnotatedExecutableType
org.checkerframework.framework.type.AnnotatedTypeMirror.AnnotatedIntersectionType
org.checkerframework.framework.type.AnnotatedTypeMirror.AnnotatedNoType
org.checkerframework.framework.type.AnnotatedTypeMirror.AnnotatedNullType
org.checkerframework.framework.type.AnnotatedTypeMirror.AnnotatedPrimitiveType
org.checkerframework.framework.type.AnnotatedTypeMirror.AnnotatedTypeVariable
org.checkerframework.framework.type.AnnotatedTypeMirror.AnnotatedUnionType
org.checkerframework.framework.type.AnnotatedTypeMirror.AnnotatedWildcardType
org.checkerframework.framework.type.AnnotatedTypeParameterBounds
org.checkerframework.framework.type.AnnotatedTypeReplacer
org.checkerframework.framework.type.AnnotatedTypeReplacer.Visitor
org.checkerframework.framework.type.AnnotationClassLoader
org.checkerframework.framework.type.BoundsInitializer
org.checkerframework.framework.type.DeclarationsIntoElements
org.checkerframework.framework.type.DefaultAnnotatedTypeFormatter
org.checkerframework.framework.type.DefaultAnnotatedTypeFormatter.FormattingVisitor
org.checkerframework.framework.type.DefaultInferredTypesApplier
org.checkerframework.framework.type.DefaultInferredTypesApplier.InferredTypeApplyingVisitor
org.checkerframework.framework.type.DefaultRawnessComparer
org.checkerframework.framework.type.DefaultTypeHierarchy
org.checkerframework.framework.type.ElementAnnotationApplier
org.checkerframework.framework.type.EqualityAtmComparer
org.checkerframework.framework.type.GeneralAnnotatedTypeFactory
org.checkerframework.framework.type.GenericAnnotatedTypeFactory
org.checkerframework.framework.type.GenericAnnotatedTypeFactory.ScanState
org.checkerframework.framework.type.HashcodeAtmVisitor
org.checkerframework.framework.type.QualifierHierarchy
org.checkerframework.framework.type.StructuralEqualityComparer
org.checkerframework.framework.type.SyntheticArrays
org.checkerframework.framework.type.TypeHierarchy
org.checkerframework.framework.type.TypeVariableSubstitutor
org.checkerframework.framework.type.TypesIntoElements
org.checkerframework.framework.type.VisitorState
org.checkerframework.framework.type.treeannotator.DebugListTreeAnnotator
org.checkerframework.framework.type.treeannotator.ImplicitsTreeAnnotator
org.checkerframework.framework.type.treeannotator.ListTreeAnnotator
org.checkerframework.framework.type.treeannotator.PropagationTreeAnnotator
org.checkerframework.framework.type.treeannotator.TreeAnnotator
org.checkerframework.framework.type.typeannotator.ImplicitsTypeAnnotator
org.checkerframework.framework.type.typeannotator.ListTypeAnnotator
org.checkerframework.framework.type.typeannotator.PropagationTypeAnnotator
org.checkerframework.framework.type.typeannotator.TypeAnnotator
org.checkerframework.framework.type.visitor.AbstractAtmComboVisitor
org.checkerframework.framework.type.visitor.AnnotatedTypeComparer
org.checkerframework.framework.type.visitor.AnnotatedTypeMerger
org.checkerframework.framework.type.visitor.AnnotatedTypeScanner
org.checkerframework.framework.type.visitor.AnnotatedTypeVisitor
org.checkerframework.framework.type.visitor.AtmComboVisitor
org.checkerframework.framework.type.visitor.EquivalentAtmComboScanner
org.checkerframework.framework.type.visitor.SimpleAnnotatedTypeScanner
org.checkerframework.framework.type.visitor.SimpleAnnotatedTypeVisitor
org.checkerframework.framework.type.visitor.VisitHistory
org.checkerframework.framework.util.AnnotatedTypes
org.checkerframework.framework.util.AnnotationBuilder
org.checkerframework.framework.util.AnnotationFormatter
org.checkerframework.framework.util.AtmCombo
org.checkerframework.framework.util.BaseContext
org.checkerframework.framework.util.CFContext
org.checkerframework.framework.util.CheckerDevelMain
org.checkerframework.framework.util.CheckerMain
org.checkerframework.framework.util.ComboLog
org.checkerframework.framework.util.ContractsUtils
org.checkerframework.framework.util.DefaultAnnotationFormatter
org.checkerframework.framework.util.DependentTypes
org.checkerframework.framework.util.ExecUtil
org.checkerframework.framework.util.ExecUtil.Redirection
org.checkerframework.framework.util.FlowExpressionParseUtil
org.checkerframework.framework.util.FlowExpressionParseUtil.FlowExpressionContext
org.checkerframework.framework.util.FlowExpressionParseUtil.FlowExpressionParseException
org.checkerframework.framework.util.GraphQualifierHierarchy
org.checkerframework.framework.util.Heuristics
org.checkerframework.framework.util.Heuristics.Matcher
org.checkerframework.framework.util.Heuristics.Matchers
org.checkerframework.framework.util.Heuristics.OfKind
org.checkerframework.framework.util.Heuristics.OrMatcher
org.checkerframework.framework.util.Heuristics.PreceededBy
org.checkerframework.framework.util.Heuristics.WithIn
org.checkerframework.framework.util.Heuristics.WithinTrueBranch
org.checkerframework.framework.util.MultiGraphQualifierHierarchy
org.checkerframework.framework.util.MultiGraphQualifierHierarchy.MultiGraphFactory
org.checkerframework.framework.util.OptionConfiguration
org.checkerframework.framework.util.PluginUtil
org.checkerframework.framework.util.PluginUtil.CheckerProp
org.checkerframework.framework.util.PurityAnnotatedTypeFactory
org.checkerframework.framework.util.PurityChecker
org.checkerframework.framework.util.PurityUnqualified
org.checkerframework.framework.util.QualifierPolymorphism
org.checkerframework.framework.util.Resolver2
org.checkerframework.framework.util.TreePathCacher
org.checkerframework.framework.util.TypeArgumentMapper
org.checkerframework.framework.util.defaults.QualifierDefaults
org.checkerframework.framework.util.defaults.QualifierDefaults.DefaultApplierElement
org.checkerframework.framework.util.element.ClassTypeParamApplier
org.checkerframework.framework.util.element.ElementAnnotationUtil
org.checkerframework.framework.util.element.MethodApplier
org.checkerframework.framework.util.element.MethodTypeParamApplier
org.checkerframework.framework.util.element.ParamApplier
org.checkerframework.framework.util.element.SuperTypeApplier
org.checkerframework.framework.util.element.TypeDeclarationApplier
org.checkerframework.framework.util.element.TypeVarUseApplier
org.checkerframework.framework.util.element.VariableApplier
org.checkerframework.framework.util.typeinference.DefaultTypeArgumentInference
org.checkerframework.framework.util.typeinference.GlbUtil
org.checkerframework.framework.util.typeinference.TypeArgInferenceUtil
org.checkerframework.framework.util.typeinference.TypeArgumentInference
org.checkerframework.framework.util.typeinference.constraint.A2F
org.checkerframework.framework.util.typeinference.constraint.A2FReducer
org.checkerframework.framework.util.typeinference.constraint.AFConstraint
org.checkerframework.framework.util.typeinference.constraint.AFReducer
org.checkerframework.framework.util.typeinference.constraint.F2A
org.checkerframework.framework.util.typeinference.constraint.F2AReducer
org.checkerframework.framework.util.typeinference.constraint.FIsA
org.checkerframework.framework.util.typeinference.constraint.FIsAReducer
org.checkerframework.framework.util.typeinference.constraint.TIsU
org.checkerframework.framework.util.typeinference.constraint.TSubU
org.checkerframework.framework.util.typeinference.constraint.TSuperU
org.checkerframework.framework.util.typeinference.constraint.TUConstraint
org.checkerframework.framework.util.typeinference.solver.ConstraintMap
org.checkerframework.framework.util.typeinference.solver.ConstraintMapBuilder
org.checkerframework.framework.util.typeinference.solver.EqualitiesSolver
org.checkerframework.framework.util.typeinference.solver.InferenceResult
org.checkerframework.framework.util.typeinference.solver.InferredValue
org.checkerframework.framework.util.typeinference.solver.InferredValue.InferredTarget
org.checkerframework.framework.util.typeinference.solver.InferredValue.InferredType
org.checkerframework.framework.util.typeinference.solver.SubtypesSolver
org.checkerframework.framework.util.typeinference.solver.SupertypesSolver
org.checkerframework.framework.util.typeinference.solver.TargetConstraints
org.checkerframework.javacutil.AbstractTypeProcessor
org.checkerframework.javacutil.AnnotationProvider
org.checkerframework.javacutil.AnnotationUtils
org.checkerframework.javacutil.BasicAnnotationProvider
org.checkerframework.javacutil.BasicTypeProcessor
org.checkerframework.javacutil.CollectionUtils
org.checkerframework.javacutil.ElementUtils
org.checkerframework.javacutil.ErrorHandler
org.checkerframework.javacutil.ErrorReporter
org.checkerframework.javacutil.InternalUtils
org.checkerframework.javacutil.Pair
org.checkerframework.javacutil.Resolver
org.checkerframework.javacutil.TreeUtils
org.checkerframework.javacutil.TypeAnnotationUtils
org.checkerframework.javacutil.TypesUtils
org.checkerframework.javacutil.dist.ManualTaglet
org.checkerframework.javacutil.trees.DetachedVarSymbol
org.checkerframework.javacutil.trees.TreeBuilder
org.checkerframework.javacutil.trees.TreeParser
org.checkerframework.qualframework.base.AnnotationConverter
org.checkerframework.qualframework.base.Checker
org.checkerframework.qualframework.base.CheckerAdapter
org.checkerframework.qualframework.base.DefaultQualifiedTypeFactory
org.checkerframework.qualframework.base.DefaultTypeHierarchy
org.checkerframework.qualframework.base.QualifiedTypeFactory
org.checkerframework.qualframework.base.QualifiedTypeMirror
org.checkerframework.qualframework.base.QualifiedTypeMirror.QualifiedArrayType
org.checkerframework.qualframework.base.QualifiedTypeMirror.QualifiedDeclaredType
org.checkerframework.qualframework.base.QualifiedTypeMirror.QualifiedExecutableType
org.checkerframework.qualframework.base.QualifiedTypeMirror.QualifiedIntersectionType
org.checkerframework.qualframework.base.QualifiedTypeMirror.QualifiedNoType
org.checkerframework.qualframework.base.QualifiedTypeMirror.QualifiedNullType
org.checkerframework.qualframework.base.QualifiedTypeMirror.QualifiedParameterDeclaration
org.checkerframework.qualframework.base.QualifiedTypeMirror.QualifiedPrimitiveType
org.checkerframework.qualframework.base.QualifiedTypeMirror.QualifiedTypeDeclaration
org.checkerframework.qualframework.base.QualifiedTypeMirror.QualifiedTypeVariable
org.checkerframework.qualframework.base.QualifiedTypeMirror.QualifiedUnionType
org.checkerframework.qualframework.base.QualifiedTypeMirror.QualifiedWildcardType
org.checkerframework.qualframework.base.QualifiedTypeParameterBounds
org.checkerframework.qualframework.base.QualifiedTypeVisitor
org.checkerframework.qualframework.base.QualifiedTypes
org.checkerframework.qualframework.base.QualifierHierarchy
org.checkerframework.qualframework.base.QualifierMapVisitor
org.checkerframework.qualframework.base.SetQualifierVisitor
org.checkerframework.qualframework.base.SimpleQualifiedTypeVisitor
org.checkerframework.qualframework.base.TreeAnnotator
org.checkerframework.qualframework.base.TypeAnnotator
org.checkerframework.qualframework.base.TypeHierarchy
org.checkerframework.qualframework.base.TypeMirrorConverter
org.checkerframework.qualframework.base.TypeMirrorConverter.Key
org.checkerframework.qualframework.base.TypeVariableSubstitutor
org.checkerframework.qualframework.base.TypeVariableSubstitutorAdapter
org.checkerframework.qualframework.base.TypecheckVisitorAdapter
org.checkerframework.qualframework.base.dataflow.QualAnalysis
org.checkerframework.qualframework.base.dataflow.QualStore
org.checkerframework.qualframework.base.dataflow.QualTransfer
org.checkerframework.qualframework.base.dataflow.QualTransferAdapter
org.checkerframework.qualframework.base.dataflow.QualValue
org.checkerframework.qualframework.base.format.DefaultQualFormatter
org.checkerframework.qualframework.base.format.DefaultQualifiedTypeFormatter
org.checkerframework.qualframework.base.format.QualFormatter
org.checkerframework.qualframework.base.format.QualifiedTypeFormatter
org.checkerframework.qualframework.poly.AnnotationConverterConfiguration
org.checkerframework.qualframework.poly.CombiningOperation
org.checkerframework.qualframework.poly.CombiningOperation.Glb
org.checkerframework.qualframework.poly.CombiningOperation.Lub
org.checkerframework.qualframework.poly.ContainmentHierarchy
org.checkerframework.qualframework.poly.PolyQual
org.checkerframework.qualframework.poly.PolyQual.Combined
org.checkerframework.qualframework.poly.PolyQual.GroundQual
org.checkerframework.qualframework.poly.PolyQual.QualVar
org.checkerframework.qualframework.poly.PolyQualHierarchy
org.checkerframework.qualframework.poly.QualParams
org.checkerframework.qualframework.poly.QualifiedParameterTypeVariableSubstitutor
org.checkerframework.qualframework.poly.QualifierParameterAnnotationConverter
org.checkerframework.qualframework.poly.QualifierParameterChecker
org.checkerframework.qualframework.poly.QualifierParameterHierarchy
org.checkerframework.qualframework.poly.QualifierParameterTreeAnnotator
org.checkerframework.qualframework.poly.QualifierParameterTypeAnnotator
org.checkerframework.qualframework.poly.QualifierParameterTypeFactory
org.checkerframework.qualframework.poly.SimpleQualifierParameterAnnotationConverter
org.checkerframework.qualframework.poly.Wildcard
org.checkerframework.qualframework.poly.format.PrettyQualParamsFormatter
org.checkerframework.qualframework.poly.format.PrettyQualifiedTypeFormatter
org.checkerframework.qualframework.poly.format.QualParamsFormatter
org.checkerframework.qualframework.poly.format.SurfaceSyntaxFormatterConfiguration
org.checkerframework.qualframework.poly.format.SurfaceSyntaxQualParamsFormatter
org.checkerframework.qualframework.poly.format.SurfaceSyntaxQualParamsFormatter.AnnotationParts
org.checkerframework.qualframework.poly.qual.Wildcard
org.checkerframework.qualframework.util.ExtendedArrayType
org.checkerframework.qualframework.util.ExtendedDeclaredType
org.checkerframework.qualframework.util.ExtendedErrorType
org.checkerframework.qualframework.util.ExtendedExecutableType
org.checkerframework.qualframework.util.ExtendedIntersectionType
org.checkerframework.qualframework.util.ExtendedNoType
org.checkerframework.qualframework.util.ExtendedNullType
org.checkerframework.qualframework.util.ExtendedParameterDeclaration
org.checkerframework.qualframework.util.ExtendedPrimitiveType
org.checkerframework.qualframework.util.ExtendedReferenceType
org.checkerframework.qualframework.util.ExtendedTypeDeclaration
org.checkerframework.qualframework.util.ExtendedTypeMirror
org.checkerframework.qualframework.util.ExtendedTypeVariable
org.checkerframework.qualframework.util.ExtendedTypeVisitor
org.checkerframework.qualframework.util.ExtendedUnionType
org.checkerframework.qualframework.util.ExtendedWildcardType
org.checkerframework.qualframework.util.QualifierContext
org.checkerframework.qualframework.util.WrappedAnnotatedTypeMirror
org.checkerframework.qualframework.util.WrappedAnnotatedTypeMirror.WrappedAnnotatedArrayType
org.checkerframework.qualframework.util.WrappedAnnotatedTypeMirror.WrappedAnnotatedDeclaredType
org.checkerframework.qualframework.util.WrappedAnnotatedTypeMirror.WrappedAnnotatedExecutableType
org.checkerframework.qualframework.util.WrappedAnnotatedTypeMirror.WrappedAnnotatedIntersectionType
org.checkerframework.qualframework.util.WrappedAnnotatedTypeMirror.WrappedAnnotatedNoType
org.checkerframework.qualframework.util.WrappedAnnotatedTypeMirror.WrappedAnnotatedNullType
org.checkerframework.qualframework.util.WrappedAnnotatedTypeMirror.WrappedAnnotatedPrimitiveType
org.checkerframework.qualframework.util.WrappedAnnotatedTypeMirror.WrappedAnnotatedTypeVariable
org.checkerframework.qualframework.util.WrappedAnnotatedTypeMirror.WrappedAnnotatedUnionType
org.checkerframework.qualframework.util.WrappedAnnotatedTypeMirror.WrappedAnnotatedWildcardType
org.checkerframework.stubparser.ASTHelper
org.checkerframework.stubparser.ASTParserConstants
org.checkerframework.stubparser.ASTParserTokenManager
org.checkerframework.stubparser.JavaCharStream
org.checkerframework.stubparser.JavaParser
org.checkerframework.stubparser.ParseException
org.checkerframework.stubparser.Token
org.checkerframework.stubparser.TokenMgrError
org.checkerframework.stubparser.ast.BlockComment
org.checkerframework.stubparser.ast.Comment
org.checkerframework.stubparser.ast.CompilationUnit
org.checkerframework.stubparser.ast.ImportDeclaration
org.checkerframework.stubparser.ast.IndexUnit
org.checkerframework.stubparser.ast.LineComment
org.checkerframework.stubparser.ast.Node
org.checkerframework.stubparser.ast.PackageDeclaration
org.checkerframework.stubparser.ast.TypeParameter
org.checkerframework.stubparser.ast.body.AnnotationDeclaration
org.checkerframework.stubparser.ast.body.AnnotationMemberDeclaration
org.checkerframework.stubparser.ast.body.BodyDeclaration
org.checkerframework.stubparser.ast.body.ClassOrInterfaceDeclaration
org.checkerframework.stubparser.ast.body.ConstructorDeclaration
org.checkerframework.stubparser.ast.body.EmptyMemberDeclaration
org.checkerframework.stubparser.ast.body.EmptyTypeDeclaration
org.checkerframework.stubparser.ast.body.EnumConstantDeclaration
org.checkerframework.stubparser.ast.body.EnumDeclaration
org.checkerframework.stubparser.ast.body.FieldDeclaration
org.checkerframework.stubparser.ast.body.InitializerDeclaration
org.checkerframework.stubparser.ast.body.JavadocComment
org.checkerframework.stubparser.ast.body.MethodDeclaration
org.checkerframework.stubparser.ast.body.ModifierSet
org.checkerframework.stubparser.ast.body.Parameter
org.checkerframework.stubparser.ast.body.TypeDeclaration
org.checkerframework.stubparser.ast.body.VariableDeclarator
org.checkerframework.stubparser.ast.body.VariableDeclaratorId
org.checkerframework.stubparser.ast.expr.AnnotationExpr
org.checkerframework.stubparser.ast.expr.ArrayAccessExpr
org.checkerframework.stubparser.ast.expr.ArrayCreationExpr
org.checkerframework.stubparser.ast.expr.ArrayInitializerExpr
org.checkerframework.stubparser.ast.expr.AssignExpr
org.checkerframework.stubparser.ast.expr.AssignExpr.Operator
org.checkerframework.stubparser.ast.expr.BinaryExpr
org.checkerframework.stubparser.ast.expr.BinaryExpr.Operator
org.checkerframework.stubparser.ast.expr.BooleanLiteralExpr
org.checkerframework.stubparser.ast.expr.CastExpr
org.checkerframework.stubparser.ast.expr.CharLiteralExpr
org.checkerframework.stubparser.ast.expr.ClassExpr
org.checkerframework.stubparser.ast.expr.ConditionalExpr
org.checkerframework.stubparser.ast.expr.DoubleLiteralExpr
org.checkerframework.stubparser.ast.expr.EnclosedExpr
org.checkerframework.stubparser.ast.expr.Expression
org.checkerframework.stubparser.ast.expr.FieldAccessExpr
org.checkerframework.stubparser.ast.expr.InstanceOfExpr
org.checkerframework.stubparser.ast.expr.IntegerLiteralExpr
org.checkerframework.stubparser.ast.expr.IntegerLiteralMinValueExpr
org.checkerframework.stubparser.ast.expr.LiteralExpr
org.checkerframework.stubparser.ast.expr.LongLiteralExpr
org.checkerframework.stubparser.ast.expr.LongLiteralMinValueExpr
org.checkerframework.stubparser.ast.expr.MarkerAnnotationExpr
org.checkerframework.stubparser.ast.expr.MemberValuePair
org.checkerframework.stubparser.ast.expr.MethodCallExpr
org.checkerframework.stubparser.ast.expr.NameExpr
org.checkerframework.stubparser.ast.expr.NormalAnnotationExpr
org.checkerframework.stubparser.ast.expr.NullLiteralExpr
org.checkerframework.stubparser.ast.expr.ObjectCreationExpr
org.checkerframework.stubparser.ast.expr.QualifiedNameExpr
org.checkerframework.stubparser.ast.expr.SingleMemberAnnotationExpr
org.checkerframework.stubparser.ast.expr.StringLiteralExpr
org.checkerframework.stubparser.ast.expr.SuperExpr
org.checkerframework.stubparser.ast.expr.ThisExpr
org.checkerframework.stubparser.ast.expr.UnaryExpr
org.checkerframework.stubparser.ast.expr.UnaryExpr.Operator
org.checkerframework.stubparser.ast.expr.VariableDeclarationExpr
org.checkerframework.stubparser.ast.stmt.AssertStmt
org.checkerframework.stubparser.ast.stmt.BlockStmt
org.checkerframework.stubparser.ast.stmt.BreakStmt
org.checkerframework.stubparser.ast.stmt.CatchClause
org.checkerframework.stubparser.ast.stmt.ContinueStmt
org.checkerframework.stubparser.ast.stmt.DoStmt
org.checkerframework.stubparser.ast.stmt.EmptyStmt
org.checkerframework.stubparser.ast.stmt.ExplicitConstructorInvocationStmt
org.checkerframework.stubparser.ast.stmt.ExpressionStmt
org.checkerframework.stubparser.ast.stmt.ForStmt
org.checkerframework.stubparser.ast.stmt.ForeachStmt
org.checkerframework.stubparser.ast.stmt.IfStmt
org.checkerframework.stubparser.ast.stmt.LabeledStmt
org.checkerframework.stubparser.ast.stmt.ReturnStmt
org.checkerframework.stubparser.ast.stmt.Statement
org.checkerframework.stubparser.ast.stmt.SwitchEntryStmt
org.checkerframework.stubparser.ast.stmt.SwitchStmt
org.checkerframework.stubparser.ast.stmt.SynchronizedStmt
org.checkerframework.stubparser.ast.stmt.ThrowStmt
org.checkerframework.stubparser.ast.stmt.TryStmt
org.checkerframework.stubparser.ast.stmt.TypeDeclarationStmt
org.checkerframework.stubparser.ast.stmt.WhileStmt
org.checkerframework.stubparser.ast.type.ClassOrInterfaceType
org.checkerframework.stubparser.ast.type.PrimitiveType
org.checkerframework.stubparser.ast.type.PrimitiveType.Primitive
org.checkerframework.stubparser.ast.type.ReferenceType
org.checkerframework.stubparser.ast.type.Type
org.checkerframework.stubparser.ast.type.VoidType
org.checkerframework.stubparser.ast.type.WildcardType
org.checkerframework.stubparser.ast.visitor.DumpVisitor
org.checkerframework.stubparser.ast.visitor.EqualsVisitor
org.checkerframework.stubparser.ast.visitor.GenericVisitor
org.checkerframework.stubparser.ast.visitor.GenericVisitorAdapter
org.checkerframework.stubparser.ast.visitor.ModifierVisitorAdapter
org.checkerframework.stubparser.ast.visitor.SimpleVoidVisitor
org.checkerframework.stubparser.ast.visitor.VoidVisitor
org.checkerframework.stubparser.ast.visitor.VoidVisitorAdapter