组织ID: |
org.checkerframework |
项目ID: |
checker-qual |
版本: |
1.8.10 |
最后修改时间: |
2019-10-31 13:40:10 |
包类型: |
jar |
标题: |
Checker Qual |
描述: |
Checker Qual is the set of annotations (qualifiers) and supporting classes
used by the Checker Framework to type check Java source code. Please
see artifact:
org.checkerframework:checker
|
相关URL: |
http://checkerframework.org |
大小: |
155.77KB |
|
Maven引入代码: |
<dependency>
<groupId>org.checkerframework</groupId>
<artifactId>checker-qual</artifactId>
<version>1.8.10</version>
</dependency>
|
Gradle引入代码: |
org.checkerframework:checker-qual:1.8.10
|
下载Jar包: |
|
POM文件内容: |
<project xmlns="http://maven.apache.org/POM/4.0.0" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance"
xsi:schemaLocation="http://maven.apache.org/POM/4.0.0 http://maven.apache.org/xsd/maven-4.0.0.xsd">
<modelVersion>4.0.0</modelVersion>
<packaging>jar</packaging>
<name>Checker Qual</name>
<url>http://checkerframework.org</url>
<description>
Checker Qual is the set of annotations (qualifiers) and supporting classes
used by the Checker Framework to type check Java source code. Please
see artifact:
org.checkerframework:checker
</description>
<groupId>org.checkerframework</groupId>
<artifactId>checker-qual</artifactId>
<licenses>
<license>
<name>GNU General Public License, version 2 (GPL2), with the classpath exception</name>
<url>http://www.gnu.org/software/classpath/license.html</url>
<distribution>repo</distribution>
</license>
<license>
<name>The MIT License</name>
<url>http://opensource.org/licenses/MIT</url>
<distribution>repo</distribution>
</license>
</licenses>
<!-- The comments in the version number are used to do a text substitution. Don't remove them.
See checker-framework/bin/poms/updateVersion.sh -->
<version><!-- checker-framework-version -->1.8.10<!-- /checker-framework-version --></version>
<scm>
<url>https://code.google.com/p/checker-framework/</url>
<connection>https://code.google.com/p/checker-framework/</connection>
</scm>
<developers>
<developer>
<id>Michael Ernst <mernst@cs.washington.edu></id>
<name>Michael Ernst</name>
<email>mernst@cs.washington.edu</email>
<url>http://homes.cs.washington.edu/~mernst/</url>
<organization>University of Washington</organization>
<organizationUrl>https://www.cs.washington.edu/</organizationUrl>
</developer>
<developer>
<id>wmdietl</id>
<name>Werner M. Dietl</name>
<email>wdietl@uwaterloo.ca</email>
<organization>University of Waterloo</organization>
<organizationUrl>http://uwaterloo.ca/</organizationUrl>
</developer>
<developer>
<id>Suzanne Millstein <smillst@cs.washington.edu></id>
<name>Suzanne Millstein</name>
<email>smillst@cs.washington.edu</email>
<organization>University of Washington PLSE Group</organization>
<organizationUrl>https://www.cs.washington.edu/research/plse/</organizationUrl>
</developer>
<developer>
<id>David McArthur <mcarthur@cs.washington.edu<</id>
<name>David McArthur</name>
<email>mcarthur@cs.washington.edu</email>
<organization>University of Washington PLSE Group</organization>
<organizationUrl>https://www.cs.washington.edu/research/plse/</organizationUrl>
</developer>
<developer>
<id>Javier Thaine <jthaine@cs.washington.edu<</id>
<name>David McArthur</name>
<email>jthaine@cs.washington.edu</email>
<organization>University of Washington PLSE Group</organization>
<organizationUrl>https://www.cs.washington.edu/research/plse/</organizationUrl>
</developer>
<developer>
<id>Dan Brown <dbro@cs.washington.edu<</id>
<name>Dan Brown</name>
<email>dbro@cs.washington.edu</email>
<organization>University of Washington PLSE Group</organization>
<organizationUrl>https://www.cs.washington.edu/research/plse/</organizationUrl>
</developer>
<developer>
<id>jonathangburke@gmail.com</id>
<name>Jonathan G. Burke</name>
<email>jburke@cs.washington.edu</email>
<organization>University of Washington PLSE Group</organization>
<organizationUrl>https://www.cs.washington.edu/research/plse/</organizationUrl>
</developer>
</developers>
</project>
|
Jar包内容: |
META-INF/MANIFEST.MF
org.checkerframework.checker.compilermsgs.qual.CompilerMessageKey.class
org.checkerframework.checker.experimental.regex_qual_poly.qual.ClassRegexParam.class
org.checkerframework.checker.experimental.regex_qual_poly.qual.MethodRegexParam.class
org.checkerframework.checker.experimental.regex_qual_poly.qual.MultiClassRegexParam.class
org.checkerframework.checker.experimental.regex_qual_poly.qual.MultiMethodRegexParam.class
org.checkerframework.checker.experimental.regex_qual_poly.qual.MultiPolyRegex.class
org.checkerframework.checker.experimental.regex_qual_poly.qual.MultiRegex.class
org.checkerframework.checker.experimental.regex_qual_poly.qual.MultiVar.class
org.checkerframework.checker.experimental.regex_qual_poly.qual.MultiWild.class
org.checkerframework.checker.experimental.regex_qual_poly.qual.PolyRegex.class
org.checkerframework.checker.experimental.regex_qual_poly.qual.Regex.class
org.checkerframework.checker.experimental.regex_qual_poly.qual.Var.class
org.checkerframework.checker.experimental.regex_qual_poly.qual.Wild.class
org.checkerframework.checker.experimental.tainting_qual.qual.PolyTainted.class
org.checkerframework.checker.experimental.tainting_qual.qual.Tainted.class
org.checkerframework.checker.experimental.tainting_qual.qual.Untainted.class
org.checkerframework.checker.experimental.tainting_qual_poly.qual.ClassTaintingParam.class
org.checkerframework.checker.experimental.tainting_qual_poly.qual.MethodTaintingParam.class
org.checkerframework.checker.experimental.tainting_qual_poly.qual.MultiClassTaintingParam.class
org.checkerframework.checker.experimental.tainting_qual_poly.qual.MultiMethodTaintingParam.class
org.checkerframework.checker.experimental.tainting_qual_poly.qual.MultiPolyTainting.class
org.checkerframework.checker.experimental.tainting_qual_poly.qual.MultiTainted.class
org.checkerframework.checker.experimental.tainting_qual_poly.qual.MultiUntainted.class
org.checkerframework.checker.experimental.tainting_qual_poly.qual.MultiVar.class
org.checkerframework.checker.experimental.tainting_qual_poly.qual.MultiWild.class
org.checkerframework.checker.experimental.tainting_qual_poly.qual.PolyTainting.class
org.checkerframework.checker.experimental.tainting_qual_poly.qual.Tainted.class
org.checkerframework.checker.experimental.tainting_qual_poly.qual.Untainted.class
org.checkerframework.checker.experimental.tainting_qual_poly.qual.Var.class
org.checkerframework.checker.experimental.tainting_qual_poly.qual.Wild.class
org.checkerframework.checker.fenum.qual.AwtAlphaCompositingRule.class
org.checkerframework.checker.fenum.qual.AwtColorSpace.class
org.checkerframework.checker.fenum.qual.AwtCursorType.class
org.checkerframework.checker.fenum.qual.AwtFlowLayout.class
org.checkerframework.checker.fenum.qual.Fenum.class
org.checkerframework.checker.fenum.qual.FenumTop.class
org.checkerframework.checker.fenum.qual.FenumUnqualified.class
org.checkerframework.checker.fenum.qual.SwingBoxOrientation.class
org.checkerframework.checker.fenum.qual.SwingCompassDirection.class
org.checkerframework.checker.fenum.qual.SwingElementOrientation.class
org.checkerframework.checker.fenum.qual.SwingHorizontalOrientation.class
org.checkerframework.checker.fenum.qual.SwingSplitPaneOrientation.class
org.checkerframework.checker.fenum.qual.SwingTextOrientation.class
org.checkerframework.checker.fenum.qual.SwingTitleJustification.class
org.checkerframework.checker.fenum.qual.SwingTitlePosition.class
org.checkerframework.checker.fenum.qual.SwingVerticalOrientation.class
org.checkerframework.checker.formatter.FormatUtil$Conversion.class
org.checkerframework.checker.formatter.FormatUtil$ExcessiveOrMissingFormatArgumentException.class
org.checkerframework.checker.formatter.FormatUtil$IllegalFormatConversionCategoryException.class
org.checkerframework.checker.formatter.FormatUtil.class
org.checkerframework.checker.formatter.qual.ConversionCategory.class
org.checkerframework.checker.formatter.qual.Format.class
org.checkerframework.checker.formatter.qual.FormatBottom.class
org.checkerframework.checker.formatter.qual.FormatMethod.class
org.checkerframework.checker.formatter.qual.InvalidFormat.class
org.checkerframework.checker.formatter.qual.ReturnsFormat.class
org.checkerframework.checker.formatter.qual.UnknownFormat.class
org.checkerframework.checker.guieffect.qual.AlwaysSafe.class
org.checkerframework.checker.guieffect.qual.PolyUI.class
org.checkerframework.checker.guieffect.qual.PolyUIEffect.class
org.checkerframework.checker.guieffect.qual.PolyUIType.class
org.checkerframework.checker.guieffect.qual.SafeEffect.class
org.checkerframework.checker.guieffect.qual.SafeType.class
org.checkerframework.checker.guieffect.qual.UI.class
org.checkerframework.checker.guieffect.qual.UIEffect.class
org.checkerframework.checker.guieffect.qual.UIPackage.class
org.checkerframework.checker.guieffect.qual.UIType.class
org.checkerframework.checker.i18n.qual.LocalizableKey.class
org.checkerframework.checker.i18n.qual.Localized.class
org.checkerframework.checker.i18n.qual.UnknownLocalized.class
org.checkerframework.checker.igj.qual.Assignable.class
org.checkerframework.checker.igj.qual.AssignsFields.class
org.checkerframework.checker.igj.qual.I.class
org.checkerframework.checker.igj.qual.Immutable.class
org.checkerframework.checker.igj.qual.Mutable.class
org.checkerframework.checker.igj.qual.ReadOnly.class
org.checkerframework.checker.initialization.qual.FBCBottom.class
org.checkerframework.checker.initialization.qual.Initialized.class
org.checkerframework.checker.initialization.qual.NotOnlyInitialized.class
org.checkerframework.checker.initialization.qual.UnderInitialization.class
org.checkerframework.checker.initialization.qual.UnknownInitialization.class
org.checkerframework.checker.interning.qual.Interned.class
org.checkerframework.checker.interning.qual.PolyInterned.class
org.checkerframework.checker.interning.qual.UnknownInterned.class
org.checkerframework.checker.interning.qual.UsesObjectEquals.class
org.checkerframework.checker.javari.qual.Assignable.class
org.checkerframework.checker.javari.qual.Mutable.class
org.checkerframework.checker.javari.qual.PolyRead.class
org.checkerframework.checker.javari.qual.QReadOnly.class
org.checkerframework.checker.javari.qual.ReadOnly.class
org.checkerframework.checker.javari.qual.ThisMutable.class
org.checkerframework.checker.linear.qual.Linear.class
org.checkerframework.checker.linear.qual.Normal.class
org.checkerframework.checker.linear.qual.Unusable.class
org.checkerframework.checker.lock.qual.EnsuresLockHeld.class
org.checkerframework.checker.lock.qual.EnsuresLockHeldIf.class
org.checkerframework.checker.lock.qual.GuardedBy.class
org.checkerframework.checker.lock.qual.Holding.class
org.checkerframework.checker.lock.qual.HoldingOnEntry.class
org.checkerframework.checker.lock.qual.LockHeld.class
org.checkerframework.checker.lock.qual.LockPossiblyHeld.class
org.checkerframework.checker.nullness.NullnessUtils.class
org.checkerframework.checker.nullness.qual.AssertNonNullIfNonNull.class
org.checkerframework.checker.nullness.qual.Covariant.class
org.checkerframework.checker.nullness.qual.EnsuresNonNull.class
org.checkerframework.checker.nullness.qual.EnsuresNonNullIf.class
org.checkerframework.checker.nullness.qual.KeyFor.class
org.checkerframework.checker.nullness.qual.KeyForBottom.class
org.checkerframework.checker.nullness.qual.LazyNonNull.class
org.checkerframework.checker.nullness.qual.MonotonicNonNull.class
org.checkerframework.checker.nullness.qual.NonNull.class
org.checkerframework.checker.nullness.qual.NonRaw.class
org.checkerframework.checker.nullness.qual.Nullable.class
org.checkerframework.checker.nullness.qual.PolyNull.class
org.checkerframework.checker.nullness.qual.PolyRaw.class
org.checkerframework.checker.nullness.qual.Raw.class
org.checkerframework.checker.nullness.qual.RequiresNonNull.class
org.checkerframework.checker.nullness.qual.UnknownKeyFor.class
org.checkerframework.checker.oigj.qual.Assignable.class
org.checkerframework.checker.oigj.qual.AssignsFields.class
org.checkerframework.checker.oigj.qual.Dominator.class
org.checkerframework.checker.oigj.qual.I.class
org.checkerframework.checker.oigj.qual.Immutable.class
org.checkerframework.checker.oigj.qual.Modifier.class
org.checkerframework.checker.oigj.qual.Mutable.class
org.checkerframework.checker.oigj.qual.O.class
org.checkerframework.checker.oigj.qual.ReadOnly.class
org.checkerframework.checker.oigj.qual.WildCard.class
org.checkerframework.checker.oigj.qual.World.class
org.checkerframework.checker.propkey.qual.PropertyKey.class
org.checkerframework.checker.propkey.qual.PropertyKeyBottom.class
org.checkerframework.checker.propkey.qual.UnknownPropertyKey.class
org.checkerframework.checker.regex.RegexUtil$CheckedPatternSyntaxException.class
org.checkerframework.checker.regex.RegexUtil.class
org.checkerframework.checker.regex.qual.PartialRegex.class
org.checkerframework.checker.regex.qual.PolyRegex.class
org.checkerframework.checker.regex.qual.Regex.class
org.checkerframework.checker.regex.qual.RegexBottom.class
org.checkerframework.checker.regex.qual.UnknownRegex.class
org.checkerframework.checker.signature.qual.BinaryName.class
org.checkerframework.checker.signature.qual.BinaryNameForNonArray.class
org.checkerframework.checker.signature.qual.ClassGetName.class
org.checkerframework.checker.signature.qual.FieldDescriptor.class
org.checkerframework.checker.signature.qual.FieldDescriptorForArray.class
org.checkerframework.checker.signature.qual.FullyQualifiedName.class
org.checkerframework.checker.signature.qual.MethodDescriptor.class
org.checkerframework.checker.signature.qual.PolySignature.class
org.checkerframework.checker.signature.qual.SignatureBottom.class
org.checkerframework.checker.signature.qual.SourceName.class
org.checkerframework.checker.signature.qual.SourceNameForNonArray.class
org.checkerframework.checker.signature.qual.UnannotatedString.class
org.checkerframework.checker.tainting.qual.PolyTainted.class
org.checkerframework.checker.tainting.qual.Tainted.class
org.checkerframework.checker.tainting.qual.Untainted.class
org.checkerframework.checker.units.UnitsTools.class
org.checkerframework.checker.units.qual.A.class
org.checkerframework.checker.units.qual.Acceleration.class
org.checkerframework.checker.units.qual.Angle.class
org.checkerframework.checker.units.qual.Area.class
org.checkerframework.checker.units.qual.C.class
org.checkerframework.checker.units.qual.Current.class
org.checkerframework.checker.units.qual.K.class
org.checkerframework.checker.units.qual.Length.class
org.checkerframework.checker.units.qual.Luminance.class
org.checkerframework.checker.units.qual.Mass.class
org.checkerframework.checker.units.qual.MixedUnits.class
org.checkerframework.checker.units.qual.Prefix.class
org.checkerframework.checker.units.qual.Speed.class
org.checkerframework.checker.units.qual.Substance.class
org.checkerframework.checker.units.qual.Temperature.class
org.checkerframework.checker.units.qual.Time.class
org.checkerframework.checker.units.qual.UnitsBottom.class
org.checkerframework.checker.units.qual.UnitsMultiple.class
org.checkerframework.checker.units.qual.UnitsRelations.class
org.checkerframework.checker.units.qual.UnknownUnits.class
org.checkerframework.checker.units.qual.cd.class
org.checkerframework.checker.units.qual.degrees.class
org.checkerframework.checker.units.qual.g.class
org.checkerframework.checker.units.qual.h.class
org.checkerframework.checker.units.qual.kg.class
org.checkerframework.checker.units.qual.km.class
org.checkerframework.checker.units.qual.km2.class
org.checkerframework.checker.units.qual.kmPERh.class
org.checkerframework.checker.units.qual.m.class
org.checkerframework.checker.units.qual.m2.class
org.checkerframework.checker.units.qual.mPERs.class
org.checkerframework.checker.units.qual.mPERs2.class
org.checkerframework.checker.units.qual.min.class
org.checkerframework.checker.units.qual.mm.class
org.checkerframework.checker.units.qual.mm2.class
org.checkerframework.checker.units.qual.mol.class
org.checkerframework.checker.units.qual.radians.class
org.checkerframework.checker.units.qual.s.class
org.checkerframework.common.aliasing.qual.LeakedToResult.class
org.checkerframework.common.aliasing.qual.MaybeAliased.class
org.checkerframework.common.aliasing.qual.MaybeLeaked.class
org.checkerframework.common.aliasing.qual.NonLeaked.class
org.checkerframework.common.aliasing.qual.Unique.class
org.checkerframework.common.reflection.qual.ClassBound.class
org.checkerframework.common.reflection.qual.ClassVal.class
org.checkerframework.common.reflection.qual.ClassValBottom.class
org.checkerframework.common.reflection.qual.MethodVal.class
org.checkerframework.common.reflection.qual.MethodValBottom.class
#内容未全部加载,请点击展开加载全部代码(NowJava.com)
|
依赖Jar: |
无
|