jar

edu.washington.cs.types.checker : checker-quals

Maven & Gradle

Mar 31, 2014

Checker framework's type qualifiers · Annotations ("type qualifiers") from the checker framework

Table Of Contents

Latest Version

Download edu.washington.cs.types.checker : checker-quals JAR file - Latest Versions:

All Versions

Download edu.washington.cs.types.checker : checker-quals JAR file - All Versions:

Version Vulnerabilities Size Updated
1.7.x
1.6.x
1.5.x

View Java Class Source Code in JAR file

  1. Download JD-GUI to open JAR file and explore Java source code file (.class .java)
  2. Click menu "File → Open File..." or just drag-and-drop the JAR file in the JD-GUI window checker-quals-1.7.5.jar file.
    Once you open a JAR file, all the java classes in the JAR file will be displayed.

checkers.linear.quals

├─ checkers.linear.quals.Linear.class - [JAR]

├─ checkers.linear.quals.Normal.class - [JAR]

├─ checkers.linear.quals.Unusable.class - [JAR]

checkers.formatter.quals

├─ checkers.formatter.quals.ConversionCategory.class - [JAR]

├─ checkers.formatter.quals.Format.class - [JAR]

├─ checkers.formatter.quals.FormatBottom.class - [JAR]

├─ checkers.formatter.quals.FormatMethod.class - [JAR]

├─ checkers.formatter.quals.InvalidFormat.class - [JAR]

├─ checkers.formatter.quals.ReturnsFormat.class - [JAR]

├─ checkers.formatter.quals.UnknownFormat.class - [JAR]

checkers.nullness

├─ checkers.nullness.NullnessUtils.class - [JAR]

checkers.propkey.quals

├─ checkers.propkey.quals.PropertyKey.class - [JAR]

├─ checkers.propkey.quals.PropertyKeyBottom.class - [JAR]

├─ checkers.propkey.quals.UnknownPropertyKey.class - [JAR]

checkers.reflection.quals

├─ checkers.reflection.quals.ClassBound.class - [JAR]

├─ checkers.reflection.quals.ClassVal.class - [JAR]

├─ checkers.reflection.quals.ClassValBottom.class - [JAR]

├─ checkers.reflection.quals.MethodVal.class - [JAR]

├─ checkers.reflection.quals.MethodValBottom.class - [JAR]

├─ checkers.reflection.quals.UnknownClass.class - [JAR]

├─ checkers.reflection.quals.UnknownMethod.class - [JAR]

dataflow.quals

├─ dataflow.quals.Deterministic.class - [JAR]

├─ dataflow.quals.Pure.class - [JAR]

├─ dataflow.quals.SideEffectFree.class - [JAR]

├─ dataflow.quals.TerminatesExecution.class - [JAR]

checkers.compilermsgs.quals

├─ checkers.compilermsgs.quals.CompilerMessageKey.class - [JAR]

checkers.regex

├─ checkers.regex.RegexUtil.class - [JAR]

checkers.tainting.quals

├─ checkers.tainting.quals.PolyTainted.class - [JAR]

├─ checkers.tainting.quals.Tainted.class - [JAR]

├─ checkers.tainting.quals.Untainted.class - [JAR]

checkers.initialization.quals

├─ checkers.initialization.quals.FBCBottom.class - [JAR]

├─ checkers.initialization.quals.Initialized.class - [JAR]

├─ checkers.initialization.quals.NotOnlyInitialized.class - [JAR]

├─ checkers.initialization.quals.UnderInitialization.class - [JAR]

├─ checkers.initialization.quals.UnknownInitialization.class - [JAR]

checkers.i18n.quals

├─ checkers.i18n.quals.LocalizableKey.class - [JAR]

├─ checkers.i18n.quals.Localized.class - [JAR]

├─ checkers.i18n.quals.UnknownLocalized.class - [JAR]

checkers.units.quals

├─ checkers.units.quals.A.class - [JAR]

├─ checkers.units.quals.Acceleration.class - [JAR]

├─ checkers.units.quals.Angle.class - [JAR]

├─ checkers.units.quals.Area.class - [JAR]

├─ checkers.units.quals.C.class - [JAR]

├─ checkers.units.quals.Current.class - [JAR]

├─ checkers.units.quals.K.class - [JAR]

├─ checkers.units.quals.Length.class - [JAR]

├─ checkers.units.quals.Luminance.class - [JAR]

├─ checkers.units.quals.Mass.class - [JAR]

├─ checkers.units.quals.MixedUnits.class - [JAR]

├─ checkers.units.quals.Prefix.class - [JAR]

├─ checkers.units.quals.Speed.class - [JAR]

├─ checkers.units.quals.Substance.class - [JAR]

├─ checkers.units.quals.Temperature.class - [JAR]

├─ checkers.units.quals.Time.class - [JAR]

├─ checkers.units.quals.UnitsBottom.class - [JAR]

├─ checkers.units.quals.UnitsMultiple.class - [JAR]

├─ checkers.units.quals.UnitsRelations.class - [JAR]

├─ checkers.units.quals.UnknownUnits.class - [JAR]

├─ checkers.units.quals.cd.class - [JAR]

├─ checkers.units.quals.degrees.class - [JAR]

├─ checkers.units.quals.g.class - [JAR]

├─ checkers.units.quals.h.class - [JAR]

├─ checkers.units.quals.kg.class - [JAR]

├─ checkers.units.quals.km.class - [JAR]

├─ checkers.units.quals.km2.class - [JAR]

├─ checkers.units.quals.kmPERh.class - [JAR]

├─ checkers.units.quals.m.class - [JAR]

├─ checkers.units.quals.m2.class - [JAR]

├─ checkers.units.quals.mPERs.class - [JAR]

├─ checkers.units.quals.mPERs2.class - [JAR]

├─ checkers.units.quals.min.class - [JAR]

├─ checkers.units.quals.mm.class - [JAR]

├─ checkers.units.quals.mm2.class - [JAR]

├─ checkers.units.quals.mol.class - [JAR]

├─ checkers.units.quals.radians.class - [JAR]

├─ checkers.units.quals.s.class - [JAR]

checkers.interning.quals

├─ checkers.interning.quals.Interned.class - [JAR]

├─ checkers.interning.quals.PolyInterned.class - [JAR]

├─ checkers.interning.quals.UnknownInterned.class - [JAR]

├─ checkers.interning.quals.UsesObjectEquals.class - [JAR]

checkers.value.quals

├─ checkers.value.quals.Analyzable.class - [JAR]

├─ checkers.value.quals.ArrayLen.class - [JAR]

├─ checkers.value.quals.BoolVal.class - [JAR]

├─ checkers.value.quals.BottomVal.class - [JAR]

├─ checkers.value.quals.ByteVal.class - [JAR]

├─ checkers.value.quals.CharVal.class - [JAR]

├─ checkers.value.quals.DoubleVal.class - [JAR]

├─ checkers.value.quals.FloatVal.class - [JAR]

├─ checkers.value.quals.IntVal.class - [JAR]

├─ checkers.value.quals.LongVal.class - [JAR]

├─ checkers.value.quals.ShortVal.class - [JAR]

├─ checkers.value.quals.StringVal.class - [JAR]

├─ checkers.value.quals.UnknownVal.class - [JAR]

checkers.util.report.quals

├─ checkers.util.report.quals.ReportCall.class - [JAR]

├─ checkers.util.report.quals.ReportCreation.class - [JAR]

├─ checkers.util.report.quals.ReportInherit.class - [JAR]

├─ checkers.util.report.quals.ReportOverride.class - [JAR]

├─ checkers.util.report.quals.ReportReadWrite.class - [JAR]

├─ checkers.util.report.quals.ReportUse.class - [JAR]

├─ checkers.util.report.quals.ReportWrite.class - [JAR]

checkers.regex.quals

├─ checkers.regex.quals.PartialRegex.class - [JAR]

├─ checkers.regex.quals.PolyRegex.class - [JAR]

├─ checkers.regex.quals.Regex.class - [JAR]

├─ checkers.regex.quals.RegexBottom.class - [JAR]

├─ checkers.regex.quals.UnknownRegex.class - [JAR]

checkers.guieffects.quals

├─ checkers.guieffects.quals.AlwaysSafe.class - [JAR]

├─ checkers.guieffects.quals.PolyUI.class - [JAR]

├─ checkers.guieffects.quals.PolyUIEffect.class - [JAR]

├─ checkers.guieffects.quals.PolyUIType.class - [JAR]

├─ checkers.guieffects.quals.SafeEffect.class - [JAR]

├─ checkers.guieffects.quals.SafeType.class - [JAR]

├─ checkers.guieffects.quals.UI.class - [JAR]

├─ checkers.guieffects.quals.UIEffect.class - [JAR]

├─ checkers.guieffects.quals.UIPackage.class - [JAR]

├─ checkers.guieffects.quals.UIType.class - [JAR]

checkers.javari.quals

├─ checkers.javari.quals.Assignable.class - [JAR]

├─ checkers.javari.quals.Mutable.class - [JAR]

├─ checkers.javari.quals.PolyRead.class - [JAR]

├─ checkers.javari.quals.QReadOnly.class - [JAR]

├─ checkers.javari.quals.ReadOnly.class - [JAR]

├─ checkers.javari.quals.ThisMutable.class - [JAR]

checkers.signature.quals

├─ checkers.signature.quals.BinaryName.class - [JAR]

├─ checkers.signature.quals.BinaryNameForNonArray.class - [JAR]

├─ checkers.signature.quals.ClassGetName.class - [JAR]

├─ checkers.signature.quals.FieldDescriptor.class - [JAR]

├─ checkers.signature.quals.FieldDescriptorForArray.class - [JAR]

├─ checkers.signature.quals.FullyQualifiedName.class - [JAR]

├─ checkers.signature.quals.MethodDescriptor.class - [JAR]

├─ checkers.signature.quals.PolySignature.class - [JAR]

├─ checkers.signature.quals.SignatureBottom.class - [JAR]

├─ checkers.signature.quals.SourceName.class - [JAR]

├─ checkers.signature.quals.SourceNameForNonArray.class - [JAR]

├─ checkers.signature.quals.UnannotatedString.class - [JAR]

checkers.fenum.quals

├─ checkers.fenum.quals.AwtAlphaCompositingRule.class - [JAR]

├─ checkers.fenum.quals.AwtColorSpace.class - [JAR]

├─ checkers.fenum.quals.AwtCursorType.class - [JAR]

├─ checkers.fenum.quals.AwtFlowLayout.class - [JAR]

├─ checkers.fenum.quals.Fenum.class - [JAR]

├─ checkers.fenum.quals.FenumTop.class - [JAR]

├─ checkers.fenum.quals.FenumUnqualified.class - [JAR]

├─ checkers.fenum.quals.SwingBoxOrientation.class - [JAR]

├─ checkers.fenum.quals.SwingCompassDirection.class - [JAR]

├─ checkers.fenum.quals.SwingElementOrientation.class - [JAR]

├─ checkers.fenum.quals.SwingHorizontalOrientation.class - [JAR]

├─ checkers.fenum.quals.SwingSplitPaneOrientation.class - [JAR]

├─ checkers.fenum.quals.SwingTextOrientation.class - [JAR]

├─ checkers.fenum.quals.SwingTitleJustification.class - [JAR]

├─ checkers.fenum.quals.SwingTitlePosition.class - [JAR]

├─ checkers.fenum.quals.SwingVerticalOrientation.class - [JAR]

checkers.oigj.quals

├─ checkers.oigj.quals.Assignable.class - [JAR]

├─ checkers.oigj.quals.AssignsFields.class - [JAR]

├─ checkers.oigj.quals.Dominator.class - [JAR]

├─ checkers.oigj.quals.I.class - [JAR]

├─ checkers.oigj.quals.Immutable.class - [JAR]

├─ checkers.oigj.quals.Modifier.class - [JAR]

├─ checkers.oigj.quals.Mutable.class - [JAR]

├─ checkers.oigj.quals.O.class - [JAR]

├─ checkers.oigj.quals.ReadOnly.class - [JAR]

├─ checkers.oigj.quals.WildCard.class - [JAR]

├─ checkers.oigj.quals.World.class - [JAR]

checkers.quals

├─ checkers.quals.Bottom.class - [JAR]

├─ checkers.quals.ConditionalPostconditionAnnotation.class - [JAR]

├─ checkers.quals.DefaultFor.class - [JAR]

├─ checkers.quals.DefaultLocation.class - [JAR]

├─ checkers.quals.DefaultQualifier.class - [JAR]

├─ checkers.quals.DefaultQualifierInHierarchy.class - [JAR]

├─ checkers.quals.DefaultQualifiers.class - [JAR]

├─ checkers.quals.Dependent.class - [JAR]

├─ checkers.quals.EnsuresQualifier.class - [JAR]

├─ checkers.quals.EnsuresQualifierIf.class - [JAR]

├─ checkers.quals.EnsuresQualifiers.class - [JAR]

├─ checkers.quals.EnsuresQualifiersIf.class - [JAR]

├─ checkers.quals.FromByteCode.class - [JAR]

├─ checkers.quals.FromStubFile.class - [JAR]

├─ checkers.quals.ImplicitFor.class - [JAR]

├─ checkers.quals.InvisibleQualifier.class - [JAR]

├─ checkers.quals.MonotonicQualifier.class - [JAR]

├─ checkers.quals.PolyAll.class - [JAR]

├─ checkers.quals.PolymorphicQualifier.class - [JAR]

├─ checkers.quals.PostconditionAnnotation.class - [JAR]

├─ checkers.quals.PreconditionAnnotation.class - [JAR]

├─ checkers.quals.RequiresQualifier.class - [JAR]

├─ checkers.quals.RequiresQualifiers.class - [JAR]

├─ checkers.quals.StubFiles.class - [JAR]

├─ checkers.quals.SubtypeOf.class - [JAR]

├─ checkers.quals.TypeQualifier.class - [JAR]

├─ checkers.quals.TypeQualifiers.class - [JAR]

├─ checkers.quals.Unqualified.class - [JAR]

├─ checkers.quals.Unused.class - [JAR]

checkers.igj.quals

├─ checkers.igj.quals.Assignable.class - [JAR]

├─ checkers.igj.quals.AssignsFields.class - [JAR]

├─ checkers.igj.quals.I.class - [JAR]

├─ checkers.igj.quals.Immutable.class - [JAR]

├─ checkers.igj.quals.Mutable.class - [JAR]

├─ checkers.igj.quals.ReadOnly.class - [JAR]

checkers.nullness.quals

├─ checkers.nullness.quals.AssertNonNullIfNonNull.class - [JAR]

├─ checkers.nullness.quals.Covariant.class - [JAR]

├─ checkers.nullness.quals.EnsuresNonNull.class - [JAR]

├─ checkers.nullness.quals.EnsuresNonNullIf.class - [JAR]

├─ checkers.nullness.quals.KeyFor.class - [JAR]

├─ checkers.nullness.quals.KeyForBottom.class - [JAR]

├─ checkers.nullness.quals.LazyNonNull.class - [JAR]

├─ checkers.nullness.quals.MonotonicNonNull.class - [JAR]

├─ checkers.nullness.quals.NonNull.class - [JAR]

├─ checkers.nullness.quals.NonRaw.class - [JAR]

├─ checkers.nullness.quals.Nullable.class - [JAR]

├─ checkers.nullness.quals.PolyNull.class - [JAR]

├─ checkers.nullness.quals.PolyRaw.class - [JAR]

├─ checkers.nullness.quals.Raw.class - [JAR]

├─ checkers.nullness.quals.RequiresNonNull.class - [JAR]

├─ checkers.nullness.quals.UnknownKeyFor.class - [JAR]

checkers.lock.quals

├─ checkers.lock.quals.GuardedBy.class - [JAR]

├─ checkers.lock.quals.GuardedByBottom.class - [JAR]

├─ checkers.lock.quals.GuardedByTop.class - [JAR]

├─ checkers.lock.quals.Holding.class - [JAR]