文件名称: checker-qual-3.8.0.jar中文-英文对照文档.zip
<dependency>
<groupId>org.checkerframework</groupId>
<artifactId>checker-qual</artifactId>
<version>3.8.0</version>
</dependency>Gradle:
implementation group: 'org.checkerframework', name: 'checker-qual', version: '3.8.0'
Gradle (Short):
implementation 'org.checkerframework:checker-qual:3.8.0'
Gradle (Kotlin):
implementation("org.checkerframework:checker-qual:3.8.0")本翻译文档基于以下开源项目制作,严格遵守各项目的开源许可证,并在此列出其版权归属与许可证信息。
org.checkerframework.checker.builder.qual
org.checkerframework.checker.calledmethods.qual
org.checkerframework.checker.compilermsgs.qual
org.checkerframework.checker.fenum.qual
org.checkerframework.checker.formatter
org.checkerframework.checker.formatter.qual
org.checkerframework.checker.guieffect.qual
org.checkerframework.checker.i18n.qual
org.checkerframework.checker.i18nformatter
org.checkerframework.checker.i18nformatter.qual
org.checkerframework.checker.index.qual
org.checkerframework.checker.initialization.qual
org.checkerframework.checker.interning.qual
org.checkerframework.checker.lock.qual
org.checkerframework.checker.nullness
org.checkerframework.checker.nullness.qual
org.checkerframework.checker.optional.qual
org.checkerframework.checker.propkey.qual
org.checkerframework.checker.regex
org.checkerframework.checker.regex.qual
org.checkerframework.checker.signature.qual
org.checkerframework.checker.signedness
org.checkerframework.checker.signedness.qual
org.checkerframework.checker.tainting.qual
org.checkerframework.checker.units
org.checkerframework.checker.units.qual
org.checkerframework.common.aliasing.qual
org.checkerframework.common.initializedfields.qual
org.checkerframework.common.reflection.qual
org.checkerframework.common.returnsreceiver.qual
org.checkerframework.common.subtyping.qual
org.checkerframework.common.util.report.qual
org.checkerframework.common.value.qual
org.checkerframework.dataflow.qual
org.checkerframework.framework.qual
org.checkerframework.framework.utilorg.checkerframework.checker.builder.qual.CalledMethods
org.checkerframework.checker.builder.qual.NotCalledMethods
org.checkerframework.checker.builder.qual.ReturnsReceiver
org.checkerframework.checker.calledmethods.qual.CalledMethods
org.checkerframework.checker.calledmethods.qual.CalledMethodsBottom
org.checkerframework.checker.calledmethods.qual.CalledMethodsPredicate
org.checkerframework.checker.calledmethods.qual.EnsuresCalledMethods
org.checkerframework.checker.calledmethods.qual.EnsuresCalledMethodsIf
org.checkerframework.checker.calledmethods.qual.EnsuresCalledMethodsIf.List
org.checkerframework.checker.compilermsgs.qual.CompilerMessageKey
org.checkerframework.checker.compilermsgs.qual.CompilerMessageKeyBottom
org.checkerframework.checker.compilermsgs.qual.UnknownCompilerMessageKey
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.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.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.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.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.qual.EnsuresLTLengthOf
org.checkerframework.checker.index.qual.EnsuresLTLengthOf.List
org.checkerframework.checker.index.qual.EnsuresLTLengthOfIf
org.checkerframework.checker.index.qual.EnsuresLTLengthOfIf.List
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.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.qual.CompareToMethod
org.checkerframework.checker.interning.qual.EqualsMethod
org.checkerframework.checker.interning.qual.FindDistinct
org.checkerframework.checker.interning.qual.InternMethod
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.qual.EnsuresLockHeld
org.checkerframework.checker.lock.qual.EnsuresLockHeld.List
org.checkerframework.checker.lock.qual.EnsuresLockHeldIf
org.checkerframework.checker.lock.qual.EnsuresLockHeldIf.List
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.NullnessUtil
org.checkerframework.checker.nullness.Opt
org.checkerframework.checker.nullness.qual.AssertNonNullIfNonNull
org.checkerframework.checker.nullness.qual.EnsuresKeyFor
org.checkerframework.checker.nullness.qual.EnsuresKeyFor.List
org.checkerframework.checker.nullness.qual.EnsuresKeyForIf
org.checkerframework.checker.nullness.qual.EnsuresKeyForIf.List
org.checkerframework.checker.nullness.qual.EnsuresNonNull
org.checkerframework.checker.nullness.qual.EnsuresNonNull.List
org.checkerframework.checker.nullness.qual.EnsuresNonNullIf
org.checkerframework.checker.nullness.qual.EnsuresNonNullIf.List
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.Nullable
org.checkerframework.checker.nullness.qual.PolyKeyFor
org.checkerframework.checker.nullness.qual.PolyNull
org.checkerframework.checker.nullness.qual.RequiresNonNull
org.checkerframework.checker.nullness.qual.UnknownKeyFor
org.checkerframework.checker.optional.qual.MaybePresent
org.checkerframework.checker.optional.qual.PolyPresent
org.checkerframework.checker.optional.qual.Present
org.checkerframework.checker.propkey.qual.PropertyKey
org.checkerframework.checker.propkey.qual.PropertyKeyBottom
org.checkerframework.checker.propkey.qual.UnknownPropertyKey
org.checkerframework.checker.regex.RegexUtil
org.checkerframework.checker.regex.RegexUtil.CheckedPatternSyntaxException
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.qual.ArrayWithoutPackage
org.checkerframework.checker.signature.qual.BinaryName
org.checkerframework.checker.signature.qual.BinaryNameOrPrimitiveType
org.checkerframework.checker.signature.qual.BinaryNameWithoutPackage
org.checkerframework.checker.signature.qual.CanonicalName
org.checkerframework.checker.signature.qual.CanonicalNameOrEmpty
org.checkerframework.checker.signature.qual.ClassGetName
org.checkerframework.checker.signature.qual.ClassGetSimpleName
org.checkerframework.checker.signature.qual.DotSeparatedIdentifiers
org.checkerframework.checker.signature.qual.DotSeparatedIdentifiersOrPrimitiveType
org.checkerframework.checker.signature.qual.FieldDescriptor
org.checkerframework.checker.signature.qual.FieldDescriptorForPrimitive
org.checkerframework.checker.signature.qual.FieldDescriptorWithoutPackage
org.checkerframework.checker.signature.qual.FqBinaryName
org.checkerframework.checker.signature.qual.FullyQualifiedName
org.checkerframework.checker.signature.qual.Identifier
org.checkerframework.checker.signature.qual.IdentifierOrPrimitiveType
org.checkerframework.checker.signature.qual.InternalForm
org.checkerframework.checker.signature.qual.MethodDescriptor
org.checkerframework.checker.signature.qual.PolySignature
org.checkerframework.checker.signature.qual.PrimitiveType
org.checkerframework.checker.signature.qual.SignatureBottom
org.checkerframework.checker.signature.qual.SignatureUnknown
org.checkerframework.checker.signedness.SignednessUtil
org.checkerframework.checker.signedness.SignednessUtilExtra
org.checkerframework.checker.signedness.qual.PolySigned
org.checkerframework.checker.signedness.qual.Signed
org.checkerframework.checker.signedness.qual.SignedPositive
org.checkerframework.checker.signedness.qual.SignedPositiveFromUnsigned
org.checkerframework.checker.signedness.qual.SignednessBottom
org.checkerframework.checker.signedness.qual.SignednessGlb
org.checkerframework.checker.signedness.qual.UnknownSignedness
org.checkerframework.checker.signedness.qual.Unsigned
org.checkerframework.checker.tainting.qual.PolyTainted
org.checkerframework.checker.tainting.qual.Tainted
org.checkerframework.checker.tainting.qual.Untainted
org.checkerframework.checker.units.UnitsTools
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.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.initializedfields.qual.EnsuresInitializedFields
org.checkerframework.common.initializedfields.qual.EnsuresInitializedFields.List
org.checkerframework.common.initializedfields.qual.InitializedFields
org.checkerframework.common.initializedfields.qual.InitializedFieldsBottom
org.checkerframework.common.initializedfields.qual.PolyInitializedFields
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.returnsreceiver.qual.BottomThis
org.checkerframework.common.returnsreceiver.qual.This
org.checkerframework.common.returnsreceiver.qual.UnknownThis
org.checkerframework.common.subtyping.qual.Bottom
org.checkerframework.common.subtyping.qual.Unqualified
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.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.EnsuresMinLenIf.List
org.checkerframework.common.value.qual.EnumVal
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.MatchesRegex
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.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.framework.qual.AnnotatedFor
org.checkerframework.framework.qual.CFComment
org.checkerframework.framework.qual.ConditionalPostconditionAnnotation
org.checkerframework.framework.qual.Covariant
org.checkerframework.framework.qual.DefaultFor
org.checkerframework.framework.qual.DefaultQualifier
org.checkerframework.framework.qual.DefaultQualifier.List
org.checkerframework.framework.qual.DefaultQualifierForUse
org.checkerframework.framework.qual.DefaultQualifierInHierarchy
org.checkerframework.framework.qual.EnsuresQualifier
org.checkerframework.framework.qual.EnsuresQualifier.List
org.checkerframework.framework.qual.EnsuresQualifierIf
org.checkerframework.framework.qual.EnsuresQualifierIf.List
org.checkerframework.framework.qual.FieldInvariant
org.checkerframework.framework.qual.FromByteCode
org.checkerframework.framework.qual.FromStubFile
org.checkerframework.framework.qual.HasQualifierParameter
org.checkerframework.framework.qual.IgnoreInWholeProgramInference
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.NoDefaultQualifierForUse
org.checkerframework.framework.qual.NoQualifierParameter
org.checkerframework.framework.qual.PolymorphicQualifier
org.checkerframework.framework.qual.PostconditionAnnotation
org.checkerframework.framework.qual.PreconditionAnnotation
org.checkerframework.framework.qual.QualifierArgument
org.checkerframework.framework.qual.QualifierForLiterals
org.checkerframework.framework.qual.RelevantJavaTypes
org.checkerframework.framework.qual.RequiresQualifier
org.checkerframework.framework.qual.RequiresQualifier.List
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.qual.UpperBoundFor
org.checkerframework.framework.util.PurityUnqualified