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

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

文件基础信息

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

文件类型: Java 组件中文文档

文件大小: 5.56 MB

选择下载方式

方式1：前往hanshuixin.org下载

前往 hanshuixin.org ，在hanshuixin.org查看/下载

文件简介

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

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

使用方法

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

组件信息

简介

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

Maven依赖

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

Gradle依赖

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

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

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

版权声明与来源信息

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

组件 GAV 坐标：org.checkerframework:checker-qual:2.8.1
原始项目地址：https://central.sonatype.com/artifact/org.checkerframework/checker-qual/2.8.1
许可证：The MIT License
许可证链接：http://opensource.org/licenses/MIT
所有原始代码及注释版权归其原作者所有

本组件包含的 Java package（包）

org.checkerframework.checker.compilermsgs
org.checkerframework.checker.compilermsgs.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.index
org.checkerframework.checker.index.inequality
org.checkerframework.checker.index.lowerbound
org.checkerframework.checker.index.qual
org.checkerframework.checker.index.samelen
org.checkerframework.checker.index.searchindex
org.checkerframework.checker.index.substringindex
org.checkerframework.checker.index.upperbound
org.checkerframework.checker.initialization
org.checkerframework.checker.initialization.qual
org.checkerframework.checker.interning
org.checkerframework.checker.interning.qual
org.checkerframework.checker.lock
org.checkerframework.checker.lock.qual
org.checkerframework.checker.nullness
org.checkerframework.checker.nullness.qual
org.checkerframework.checker.optional
org.checkerframework.checker.optional.qual
org.checkerframework.checker.propkey
org.checkerframework.checker.propkey.qual
org.checkerframework.checker.regex
org.checkerframework.checker.regex.qual
org.checkerframework.checker.signature
org.checkerframework.checker.signature.qual
org.checkerframework.checker.signedness
org.checkerframework.checker.signedness.qual
org.checkerframework.checker.tainting
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.subtyping.qual
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.qual
org.checkerframework.framework.source
org.checkerframework.framework.stub
org.checkerframework.framework.type
org.checkerframework.framework.type.poly
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.dependenttypes
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.trees
org.jmlspecs.annotation

本组件包含的 Java class（类）

org.checkerframework.checker.compilermsgs.CompilerMessagesAnnotatedTypeFactory
org.checkerframework.checker.compilermsgs.CompilerMessagesChecker
org.checkerframework.checker.compilermsgs.qual.CompilerMessageKey
org.checkerframework.checker.compilermsgs.qual.CompilerMessageKeyBottom
org.checkerframework.checker.compilermsgs.qual.UnknownCompilerMessageKey
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.PolyFenum
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.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.LocalizableKeyBottom
org.checkerframework.checker.i18n.qual.Localized
org.checkerframework.checker.i18n.qual.UnknownLocalizableKey
org.checkerframework.checker.i18n.qual.UnknownLocalized
org.checkerframework.checker.i18nformatter.I18nFormatUtil
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.index.IndexAbstractTransfer
org.checkerframework.checker.index.IndexChecker
org.checkerframework.checker.index.IndexMethodIdentifier
org.checkerframework.checker.index.IndexRefinementInfo
org.checkerframework.checker.index.IndexUtil
org.checkerframework.checker.index.OffsetDependentTypesHelper
org.checkerframework.checker.index.Subsequence
org.checkerframework.checker.index.inequality.LessThanAnnotatedTypeFactory
org.checkerframework.checker.index.inequality.LessThanChecker
org.checkerframework.checker.index.inequality.LessThanTransfer
org.checkerframework.checker.index.inequality.LessThanVisitor
org.checkerframework.checker.index.lowerbound.LowerBoundAnnotatedTypeFactory
org.checkerframework.checker.index.lowerbound.LowerBoundChecker
org.checkerframework.checker.index.lowerbound.LowerBoundTransfer
org.checkerframework.checker.index.lowerbound.LowerBoundVisitor
org.checkerframework.checker.index.qual.EnsuresLTLengthOf
org.checkerframework.checker.index.qual.EnsuresLTLengthOfIf
org.checkerframework.checker.index.qual.GTENegativeOne
org.checkerframework.checker.index.qual.HasSubsequence
org.checkerframework.checker.index.qual.IndexFor
org.checkerframework.checker.index.qual.IndexOrHigh
org.checkerframework.checker.index.qual.IndexOrLow
org.checkerframework.checker.index.qual.LTEqLengthOf
org.checkerframework.checker.index.qual.LTLengthOf
org.checkerframework.checker.index.qual.LTOMLengthOf
org.checkerframework.checker.index.qual.LengthOf
org.checkerframework.checker.index.qual.LessThan
org.checkerframework.checker.index.qual.LessThanBottom
org.checkerframework.checker.index.qual.LessThanUnknown
org.checkerframework.checker.index.qual.LowerBoundBottom
org.checkerframework.checker.index.qual.LowerBoundUnknown
org.checkerframework.checker.index.qual.NegativeIndexFor
org.checkerframework.checker.index.qual.NonNegative
org.checkerframework.checker.index.qual.PolyIndex
org.checkerframework.checker.index.qual.PolyLength
org.checkerframework.checker.index.qual.PolyLowerBound
org.checkerframework.checker.index.qual.PolySameLen
org.checkerframework.checker.index.qual.PolyUpperBound
org.checkerframework.checker.index.qual.Positive
org.checkerframework.checker.index.qual.SameLen
org.checkerframework.checker.index.qual.SameLenBottom
org.checkerframework.checker.index.qual.SameLenUnknown
org.checkerframework.checker.index.qual.SearchIndexBottom
org.checkerframework.checker.index.qual.SearchIndexFor
org.checkerframework.checker.index.qual.SearchIndexUnknown
org.checkerframework.checker.index.qual.SubstringIndexBottom
org.checkerframework.checker.index.qual.SubstringIndexFor
org.checkerframework.checker.index.qual.SubstringIndexUnknown
org.checkerframework.checker.index.qual.UpperBoundBottom
org.checkerframework.checker.index.qual.UpperBoundUnknown
org.checkerframework.checker.index.samelen.SameLenAnnotatedTypeFactory
org.checkerframework.checker.index.samelen.SameLenChecker
org.checkerframework.checker.index.samelen.SameLenTransfer
org.checkerframework.checker.index.samelen.SameLenVisitor
org.checkerframework.checker.index.searchindex.SearchIndexAnnotatedTypeFactory
org.checkerframework.checker.index.searchindex.SearchIndexChecker
org.checkerframework.checker.index.searchindex.SearchIndexTransfer
org.checkerframework.checker.index.substringindex.SubstringIndexAnnotatedTypeFactory
org.checkerframework.checker.index.substringindex.SubstringIndexChecker
org.checkerframework.checker.index.upperbound.OffsetEquation
org.checkerframework.checker.index.upperbound.UBQualifier
org.checkerframework.checker.index.upperbound.UBQualifier.LessThanLengthOf
org.checkerframework.checker.index.upperbound.UBQualifier.UpperBoundUnknownQualifier
org.checkerframework.checker.index.upperbound.UpperBoundAnnotatedTypeFactory
org.checkerframework.checker.index.upperbound.UpperBoundChecker
org.checkerframework.checker.index.upperbound.UpperBoundTransfer
org.checkerframework.checker.index.upperbound.UpperBoundVisitor
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.InternedDistinct
org.checkerframework.checker.interning.qual.PolyInterned
org.checkerframework.checker.interning.qual.UnknownInterned
org.checkerframework.checker.interning.qual.UsesObjectEquals
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.KeyForAnnotatedTypeFactory.KeyForTypeHierarchy
org.checkerframework.checker.nullness.KeyForPropagationTreeAnnotator
org.checkerframework.checker.nullness.KeyForPropagator
org.checkerframework.checker.nullness.KeyForPropagator.PropagationDirection
org.checkerframework.checker.nullness.KeyForStore
org.checkerframework.checker.nullness.KeyForSubchecker
org.checkerframework.checker.nullness.KeyForTransfer
org.checkerframework.checker.nullness.KeyForValue
org.checkerframework.checker.nullness.NullnessAnalysis
org.checkerframework.checker.nullness.NullnessAnnotatedTypeFactory
org.checkerframework.checker.nullness.NullnessAnnotatedTypeFactory.NullnessPropagationTreeAnnotator
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.NullnessUtil
org.checkerframework.checker.nullness.NullnessValue
org.checkerframework.checker.nullness.NullnessVisitor
org.checkerframework.checker.nullness.Opt
org.checkerframework.checker.nullness.SystemGetPropertyHandler
org.checkerframework.checker.nullness.qual.AssertNonNullIfNonNull
org.checkerframework.checker.nullness.qual.EnsuresKeyFor
org.checkerframework.checker.nullness.qual.EnsuresKeyForIf
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.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.optional.OptionalChecker
org.checkerframework.checker.optional.OptionalVisitor
org.checkerframework.checker.optional.qual.MaybePresent
org.checkerframework.checker.optional.qual.PolyPresent
org.checkerframework.checker.optional.qual.Present
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.RegexAnnotatedTypeFactory
org.checkerframework.checker.regex.RegexChecker
org.checkerframework.checker.regex.RegexTransfer
org.checkerframework.checker.regex.RegexUtil
org.checkerframework.checker.regex.RegexUtil.CheckedPatternSyntaxException
org.checkerframework.checker.regex.RegexVisitor
org.checkerframework.checker.regex.qual.PartialRegex
org.checkerframework.checker.regex.qual.PolyRegex
org.checkerframework.checker.regex.qual.Regex
org.checkerframework.checker.regex.qual.RegexBottom
org.checkerframework.checker.regex.qual.UnknownRegex
org.checkerframework.checker.signature.SignatureAnnotatedTypeFactory
org.checkerframework.checker.signature.SignatureChecker
org.checkerframework.checker.signature.qual.BinaryName
org.checkerframework.checker.signature.qual.BinaryNameInUnnamedPackage
org.checkerframework.checker.signature.qual.ClassGetName
org.checkerframework.checker.signature.qual.ClassGetSimpleName
org.checkerframework.checker.signature.qual.DotSeparatedIdentifiers
org.checkerframework.checker.signature.qual.FieldDescriptor
org.checkerframework.checker.signature.qual.FieldDescriptorForPrimitive
org.checkerframework.checker.signature.qual.FieldDescriptorForPrimitiveOrArrayInUnnamedPackage
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.signedness.SignednessAnnotatedTypeFactory
org.checkerframework.checker.signedness.SignednessChecker
org.checkerframework.checker.signedness.SignednessUtil
org.checkerframework.checker.signedness.SignednessUtilExtra
org.checkerframework.checker.signedness.SignednessVisitor
org.checkerframework.checker.signedness.qual.Constant
org.checkerframework.checker.signedness.qual.PolySigned
org.checkerframework.checker.signedness.qual.Signed
org.checkerframework.checker.signedness.qual.SignednessBottom
org.checkerframework.checker.signedness.qual.UnknownSignedness
org.checkerframework.checker.signedness.qual.Unsigned
org.checkerframework.checker.tainting.TaintingChecker
org.checkerframework.checker.tainting.qual.PolyTainted
org.checkerframework.checker.tainting.qual.Tainted
org.checkerframework.checker.tainting.qual.Untainted
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.SubtypingAnnotationClassLoader
org.checkerframework.common.subtyping.SubtypingChecker
org.checkerframework.common.subtyping.qual.Bottom
org.checkerframework.common.subtyping.qual.Unqualified
org.checkerframework.common.util.TypeVisualizer
org.checkerframework.common.util.count.AnnotationStatistics
org.checkerframework.common.util.count.JavaCodeStatistics
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.GeneralAnnotatedTypeFactory
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.ReflectiveEvaluator
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.ArrayLenRange
org.checkerframework.common.value.qual.BoolVal
org.checkerframework.common.value.qual.BottomVal
org.checkerframework.common.value.qual.DoubleVal
org.checkerframework.common.value.qual.EnsuresMinLenIf
org.checkerframework.common.value.qual.IntRange
org.checkerframework.common.value.qual.IntRangeFromGTENegativeOne
org.checkerframework.common.value.qual.IntRangeFromNonNegative
org.checkerframework.common.value.qual.IntRangeFromPositive
org.checkerframework.common.value.qual.IntVal
org.checkerframework.common.value.qual.MinLen
org.checkerframework.common.value.qual.MinLenFieldInvariant
org.checkerframework.common.value.qual.PolyValue
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.Range
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.CFGTranslationPhaseOne
org.checkerframework.dataflow.cfg.CFGBuilder.CFGTranslationPhaseThree
org.checkerframework.dataflow.cfg.CFGBuilder.CFGTranslationPhaseThree.PredecessorHolder
org.checkerframework.dataflow.cfg.CFGBuilder.CFGTranslationPhaseTwo
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.TryFinallyFrame
org.checkerframework.dataflow.cfg.CFGBuilder.TryFinallyScopeCell
org.checkerframework.dataflow.cfg.CFGBuilder.TryFinallyScopeMap
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.BinaryOperationNode
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.ClassDeclarationNode
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.LambdaResultExpressionNode
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.UnaryOperationNode
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.AbstractMostlySingleton
org.checkerframework.dataflow.util.AbstractMostlySingleton.State
org.checkerframework.dataflow.util.IdentityMostlySingleton
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.CFCFGBuilder.CFCFGTranslationPhaseOne
org.checkerframework.framework.flow.CFStore
org.checkerframework.framework.flow.CFTransfer
org.checkerframework.framework.flow.CFTreeBuilder
org.checkerframework.framework.flow.CFValue
org.checkerframework.framework.qual.AnnotatedFor
org.checkerframework.framework.qual.ConditionalPostconditionAnnotation
org.checkerframework.framework.qual.Covariant
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.EnsuresQualifier
org.checkerframework.framework.qual.EnsuresQualifierIf
org.checkerframework.framework.qual.EnsuresQualifiers
org.checkerframework.framework.qual.EnsuresQualifiersIf
org.checkerframework.framework.qual.FieldInvariant
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.JavaExpression
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.QualifierArgument
org.checkerframework.framework.qual.RelevantJavaTypes
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.TypeKind
org.checkerframework.framework.qual.TypeUseLocation
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.SourceVisitor
org.checkerframework.framework.source.SupportedLintOptions
org.checkerframework.framework.source.SupportedOptions
org.checkerframework.framework.source.SuppressWarningsKeys
org.checkerframework.framework.stub.AddAnnotatedFor
org.checkerframework.framework.stub.FileStubResource
org.checkerframework.framework.stub.JarEntryStubResource
org.checkerframework.framework.stub.StubGenerator
org.checkerframework.framework.stub.StubParser
org.checkerframework.framework.stub.StubResource
org.checkerframework.framework.stub.StubUtil
org.checkerframework.framework.stub.ToIndexFileConverter
org.checkerframework.framework.type.AnnotatedTypeCopier
org.checkerframework.framework.type.AnnotatedTypeFactory
org.checkerframework.framework.type.AnnotatedTypeFactory.InheritedFromClassAnnotator
org.checkerframework.framework.type.AnnotatedTypeFactory.ParameterizedExecutableType
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.AsSuperVisitor
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.DefaultTypeHierarchy
org.checkerframework.framework.type.ElementAnnotationApplier
org.checkerframework.framework.type.EqualityAtmComparer
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.SubtypeVisitHistory
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.poly.AbstractQualifierPolymorphism
org.checkerframework.framework.type.poly.DefaultQualifierPolymorphism
org.checkerframework.framework.type.poly.QualifierPolymorphism
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.IrrelevantTypeAnnotator
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.util.AnnotatedTypes
org.checkerframework.framework.util.AnnotationFormatter
org.checkerframework.framework.util.AnnotationMirrorMap
org.checkerframework.framework.util.AnnotationMirrorSet
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.ContractsUtils
org.checkerframework.framework.util.ContractsUtils.ConditionalPostcondition
org.checkerframework.framework.util.ContractsUtils.Contract
org.checkerframework.framework.util.ContractsUtils.Contract.Kind
org.checkerframework.framework.util.ContractsUtils.Postcondition
org.checkerframework.framework.util.ContractsUtils.Precondition
org.checkerframework.framework.util.DefaultAnnotationFormatter
org.checkerframework.framework.util.ExecUtil
org.checkerframework.framework.util.ExecUtil.Redirection
org.checkerframework.framework.util.FieldInvariants
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.PurityAnnotatedTypeFactory
org.checkerframework.framework.util.PurityChecker
org.checkerframework.framework.util.PurityUnqualified
org.checkerframework.framework.util.TreePathCacher
org.checkerframework.framework.util.TypeArgumentMapper
org.checkerframework.framework.util.defaults.Default
org.checkerframework.framework.util.defaults.QualifierDefaults
org.checkerframework.framework.util.defaults.QualifierDefaults.DefaultApplierElement
org.checkerframework.framework.util.dependenttypes.DependentTypesError
org.checkerframework.framework.util.dependenttypes.DependentTypesHelper
org.checkerframework.framework.util.dependenttypes.DependentTypesTreeAnnotator
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.framework.util.typeinference.solver.TargetConstraints.Equalities
org.checkerframework.framework.util.typeinference.solver.TargetConstraints.Subtypes
org.checkerframework.framework.util.typeinference.solver.TargetConstraints.Supertypes
org.checkerframework.javacutil.AbstractTypeProcessor
org.checkerframework.javacutil.AnnotationBuilder
org.checkerframework.javacutil.AnnotationProvider
org.checkerframework.javacutil.AnnotationUtils
org.checkerframework.javacutil.BasicAnnotationProvider
org.checkerframework.javacutil.BasicTypeProcessor
org.checkerframework.javacutil.BugInCF
org.checkerframework.javacutil.CollectionUtils
org.checkerframework.javacutil.ElementUtils
org.checkerframework.javacutil.InternalUtils
org.checkerframework.javacutil.Pair
org.checkerframework.javacutil.PluginUtil
org.checkerframework.javacutil.PluginUtil.CheckerProp
org.checkerframework.javacutil.Resolver
org.checkerframework.javacutil.TreeUtils
org.checkerframework.javacutil.TypeAnnotationUtils
org.checkerframework.javacutil.TypesUtils
org.checkerframework.javacutil.UserError
org.checkerframework.javacutil.trees.DetachedVarSymbol
org.checkerframework.javacutil.trees.TreeBuilder
org.checkerframework.javacutil.trees.TreeParser
org.jmlspecs.annotation.Pure

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

选择下载方式

文件简介

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

使用方法

组件信息

简介

Maven依赖

Gradle依赖

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

版权声明与来源信息

本组件包含的 Java package（包）

本组件包含的 Java class（类）

推荐文件

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

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

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

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

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

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

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

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

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