Download checker-framework JAR 1.6.1 with all dependencies

Files of the artifact checker-framework version 1.6.1 from the group edu.washington.cs.types.checker.

Artifact checker-framework
Group edu.washington.cs.types.checker
Version 1.6.1

Please rate this JAR file. Is it a good library?

0 downloads

Source code of checker-framework version 1.6.1

META-INF

META-INF.META-INF.MANIFEST.MF

checkers.basetype

checkers.basetype.checkers.basetype.BaseTypeChecker

checkers.basetype.checkers.basetype.BaseTypeVisitor

checkers.basetype.checkers.basetype.messages.properties

checkers.basetype.checkers.basetype.package-info

checkers.basic

checkers.basic.checkers.basic.BasicChecker

checkers.compilermsgs

checkers.compilermsgs.checkers.compilermsgs.CompilerMessagesAnnotatedTypeFactory

checkers.compilermsgs.checkers.compilermsgs.CompilerMessagesChecker

checkers.compilermsgs.checkers.compilermsgs.messages.properties

checkers.compilermsgs.quals

checkers.compilermsgs.quals.checkers.compilermsgs.quals.CompilerMessageKey

checkers.fenum

checkers.fenum.checkers.fenum.FenumAnnotatedTypeFactory

checkers.fenum.checkers.fenum.FenumChecker

checkers.fenum.checkers.fenum.FenumVisitor

checkers.fenum.checkers.fenum.jdk.astub

checkers.fenum.checkers.fenum.messages.properties

checkers.fenum.quals

checkers.fenum.quals.checkers.fenum.quals.AwtAlphaCompositingRule

checkers.fenum.quals.checkers.fenum.quals.AwtColorSpace

checkers.fenum.quals.checkers.fenum.quals.AwtCursorType

checkers.fenum.quals.checkers.fenum.quals.AwtFlowLayout

checkers.fenum.quals.checkers.fenum.quals.Fenum

checkers.fenum.quals.checkers.fenum.quals.FenumTop

checkers.fenum.quals.checkers.fenum.quals.FenumUnqualified

checkers.fenum.quals.checkers.fenum.quals.SwingBoxOrientation

checkers.fenum.quals.checkers.fenum.quals.SwingCompassDirection

checkers.fenum.quals.checkers.fenum.quals.SwingElementOrientation

checkers.fenum.quals.checkers.fenum.quals.SwingHorizontalOrientation

checkers.fenum.quals.checkers.fenum.quals.SwingSplitPaneOrientation

checkers.fenum.quals.checkers.fenum.quals.SwingTextOrientation

checkers.fenum.quals.checkers.fenum.quals.SwingTitleJustification

checkers.fenum.quals.checkers.fenum.quals.SwingTitlePosition

checkers.fenum.quals.checkers.fenum.quals.SwingVerticalOrientation

checkers.flow

checkers.flow.checkers.flow.AbstractFlow

checkers.flow.checkers.flow.DefaultFlow

checkers.flow.checkers.flow.DefaultFlowState

checkers.flow.checkers.flow.Flow

checkers.flow.checkers.flow.FlowState

checkers.flow.checkers.flow.GenKillBits

checkers.flow.checkers.flow.package-info

checkers.i18n

checkers.i18n.checkers.i18n.I18nAnnotatedTypeFactory

checkers.i18n.checkers.i18n.I18nChecker

checkers.i18n.checkers.i18n.I18nSubchecker

checkers.i18n.checkers.i18n.LocalizableKeyAnnotatedTypeFactory

checkers.i18n.checkers.i18n.LocalizableKeyChecker

checkers.i18n.checkers.i18n.jdk.astub

checkers.i18n.quals

checkers.i18n.quals.checkers.i18n.quals.LocalizableKey

checkers.i18n.quals.checkers.i18n.quals.Localized

checkers.igj

checkers.igj.checkers.igj.IGJAnnotatedTypeFactory

checkers.igj.checkers.igj.IGJBottom

checkers.igj.checkers.igj.IGJChecker

checkers.igj.checkers.igj.IGJVisitor

checkers.igj.checkers.igj.package-info

checkers.igj.quals

checkers.igj.quals.checkers.igj.quals.Assignable

checkers.igj.quals.checkers.igj.quals.AssignsFields

checkers.igj.quals.checkers.igj.quals.I

checkers.igj.quals.checkers.igj.quals.Immutable

checkers.igj.quals.checkers.igj.quals.Mutable

checkers.igj.quals.checkers.igj.quals.ReadOnly

checkers.igj.quals.checkers.igj.quals.package-info

checkers.interning

checkers.interning.checkers.interning.InterningAnnotatedTypeFactory

checkers.interning.checkers.interning.InterningChecker

checkers.interning.checkers.interning.InterningVisitor

checkers.interning.checkers.interning.jdk.astub

checkers.interning.checkers.interning.messages.properties

checkers.interning.checkers.interning.package-info

checkers.interning.quals

checkers.interning.quals.checkers.interning.quals.Interned

checkers.interning.quals.checkers.interning.quals.PolyInterned

checkers.interning.quals.checkers.interning.quals.UsesObjectEquals

checkers.javari

checkers.javari.checkersri.JavariAnnotatedTypeFactory

checkers.javari.checkersri.JavariChecker

checkers.javari.checkersri.JavariVisitor

checkers.javari.checkersri.messages.properties

checkers.javari.checkersri.package-info

checkers.javari.quals

checkers.javari.quals.checkersri.quals.Assignable

checkers.javari.quals.checkersri.quals.Mutable

checkers.javari.quals.checkersri.quals.PolyRead

checkers.javari.quals.checkersri.quals.QReadOnly

checkers.javari.quals.checkersri.quals.ReadOnly

checkers.javari.quals.checkersri.quals.ThisMutable

checkers.linear

checkers.linear.checkers.linear.LinearAnnotatedTypeFactory

checkers.linear.checkers.linear.LinearChecker

checkers.linear.checkers.linear.LinearVisitor

checkers.linear.checkers.linear.messages.properties

checkers.linear.quals

checkers.linear.quals.checkers.linear.quals.Linear

checkers.linear.quals.checkers.linear.quals.Normal

checkers.linear.quals.checkers.linear.quals.Unusable

checkers.lock

checkers.lock.checkers.lock.LockAnnotatedTypeFactory

checkers.lock.checkers.lock.LockChecker

checkers.lock.checkers.lock.LockVisitor

checkers.lock.checkers.lock.messages.properties

checkers.lock.quals

checkers.lock.quals.checkers.lock.quals.GuardedBy

checkers.lock.quals.checkers.lock.quals.Holding

checkers.nullness

checkers.nullness.checkers.nullness.CollectionToArrayHeuristics

checkers.nullness.checkers.nullness.KeyForAnnotatedTypeFactory

checkers.nullness.checkers.nullness.KeyForSubchecker

checkers.nullness.checkers.nullness.KeyForVisitor

checkers.nullness.checkers.nullness.MapGetHeuristics

checkers.nullness.checkers.nullness.NullnessAnnotatedTypeFactory

checkers.nullness.checkers.nullness.NullnessChecker

checkers.nullness.checkers.nullness.NullnessFlow

checkers.nullness.checkers.nullness.NullnessFlowConditions

checkers.nullness.checkers.nullness.NullnessFlowState

checkers.nullness.checkers.nullness.NullnessSubchecker

checkers.nullness.checkers.nullness.NullnessUtils

checkers.nullness.checkers.nullness.NullnessVisitor

checkers.nullness.checkers.nullness.RawnessSubchecker

checkers.nullness.checkers.nullness.RawnessVisitor

checkers.nullness.checkers.nullness.SystemGetPropertyHandler

checkers.nullness.checkers.nullness.messages.properties

checkers.nullness.checkers.nullness.package-info

checkers.nullness.quals

checkers.nullness.quals.checkers.nullness.quals.AssertNonNullAfter

checkers.nullness.quals.checkers.nullness.quals.AssertNonNullIfFalse

checkers.nullness.quals.checkers.nullness.quals.AssertNonNullIfNonNull

checkers.nullness.quals.checkers.nullness.quals.AssertNonNullIfTrue

checkers.nullness.quals.checkers.nullness.quals.AssertParametersNonNull

checkers.nullness.quals.checkers.nullness.quals.Covariant

checkers.nullness.quals.checkers.nullness.quals.KeyFor

checkers.nullness.quals.checkers.nullness.quals.KeyForBottom

checkers.nullness.quals.checkers.nullness.quals.LazyNonNull

checkers.nullness.quals.checkers.nullness.quals.NonNull

checkers.nullness.quals.checkers.nullness.quals.NonNullOnEntry

checkers.nullness.quals.checkers.nullness.quals.NonRaw

checkers.nullness.quals.checkers.nullness.quals.Nullable

checkers.nullness.quals.checkers.nullness.quals.PolyNull

checkers.nullness.quals.checkers.nullness.quals.PolyRaw

checkers.nullness.quals.checkers.nullness.quals.Primitive

checkers.nullness.quals.checkers.nullness.quals.Pure

checkers.nullness.quals.checkers.nullness.quals.Raw

checkers.oigj

checkers.oigj.checkers.oigj.ImmutabilityAnnotatedTypeFactory

checkers.oigj.checkers.oigj.ImmutabilitySubchecker

checkers.oigj.checkers.oigj.ImmutabilityVisitor

checkers.oigj.checkers.oigj.OIGJChecker

checkers.oigj.checkers.oigj.OIGJMutabilityBottom

checkers.oigj.checkers.oigj.OwnershipAnnotatedTypeFactory

checkers.oigj.checkers.oigj.OwnershipSubchecker

checkers.oigj.checkers.oigj.OwnershipVisitor

checkers.oigj.checkers.oigj.package-info

checkers.oigj.quals

checkers.oigj.quals.checkers.oigj.quals.Assignable

checkers.oigj.quals.checkers.oigj.quals.AssignsFields

checkers.oigj.quals.checkers.oigj.quals.Dominator

checkers.oigj.quals.checkers.oigj.quals.I

checkers.oigj.quals.checkers.oigj.quals.Immutable

checkers.oigj.quals.checkers.oigj.quals.Modifier

checkers.oigj.quals.checkers.oigj.quals.Mutable

checkers.oigj.quals.checkers.oigj.quals.O

checkers.oigj.quals.checkers.oigj.quals.ReadOnly

checkers.oigj.quals.checkers.oigj.quals.WildCard

checkers.oigj.quals.checkers.oigj.quals.World

checkers.propkey

checkers.propkey.checkers.propkey.PropertyKeyAnnotatedTypeFactory

checkers.propkey.checkers.propkey.PropertyKeyChecker

checkers.propkey.checkers.propkey.jdk.astub

checkers.propkey.quals

checkers.propkey.quals.checkers.propkey.quals.PropertyKey

checkers.quals

checkers.quals.checkers.quals.Bottom

checkers.quals.checkers.quals.DefaultLocation

checkers.quals.checkers.quals.DefaultQualifier

checkers.quals.checkers.quals.DefaultQualifierInHierarchy

checkers.quals.checkers.quals.DefaultQualifiers

checkers.quals.checkers.quals.Dependent

checkers.quals.checkers.quals.ImplicitFor

checkers.quals.checkers.quals.InvisibleQualifier

checkers.quals.checkers.quals.PolyAll

checkers.quals.checkers.quals.PolymorphicQualifier

checkers.quals.checkers.quals.StubFiles

checkers.quals.checkers.quals.SubtypeOf

checkers.quals.checkers.quals.TypeQualifier

checkers.quals.checkers.quals.TypeQualifiers

checkers.quals.checkers.quals.Unqualified

checkers.quals.checkers.quals.Unused

checkers.quals.checkers.quals.package-info

checkers.regex

checkers.regex.checkers.regex.RegexAnnotatedTypeFactory

checkers.regex.checkers.regex.RegexChecker

checkers.regex.checkers.regex.RegexFlow

checkers.regex.checkers.regex.RegexUtil

checkers.regex.checkers.regex.RegexVisitor

checkers.regex.checkers.regex.jdk.astub

checkers.regex.checkers.regex.messages.properties

checkers.regex.quals

checkers.regex.quals.checkers.regex.quals.PartialRegex

checkers.regex.quals.checkers.regex.quals.PolyRegex

checkers.regex.quals.checkers.regex.quals.Regex

checkers.regex.quals.checkers.regex.quals.RegexBottom

checkers.signature

checkers.signature.checkers.signature.SignatureAnnotatedTypeFactory

checkers.signature.checkers.signature.SignatureChecker

checkers.signature.checkers.signature.jdk.astub

checkers.signature.quals

checkers.signature.quals.checkers.signature.quals.BinaryName

checkers.signature.quals.checkers.signature.quals.BinaryNameForNonArray

checkers.signature.quals.checkers.signature.quals.ClassGetName

checkers.signature.quals.checkers.signature.quals.FieldDescriptor

checkers.signature.quals.checkers.signature.quals.FieldDescriptorForArray

checkers.signature.quals.checkers.signature.quals.FullyQualifiedName

checkers.signature.quals.checkers.signature.quals.MethodDescriptor

checkers.signature.quals.checkers.signature.quals.PolySignature

checkers.signature.quals.checkers.signature.quals.SignatureBottom

checkers.signature.quals.checkers.signature.quals.SourceName

checkers.signature.quals.checkers.signature.quals.SourceNameForNonArray

checkers.signature.quals.checkers.signature.quals.UnannotatedString

checkers.source

checkers.source.checkers.source.AbstractTypeProcessor

checkers.source.checkers.source.AggregateChecker

checkers.source.checkers.source.Result

checkers.source.checkers.source.SourceChecker

checkers.source.checkers.source.SourceVisitor

checkers.source.checkers.source.SupportedLintOptions

checkers.source.checkers.source.SuppressWarningsKey

checkers.source.checkers.source.package-info

checkers.tainting

checkers.tainting.checkers.tainting.TaintingAnnotatedTypeFactory

checkers.tainting.checkers.tainting.TaintingChecker

checkers.tainting.checkers.tainting.jdk.astub

checkers.tainting.quals

checkers.tainting.quals.checkers.tainting.quals.PolyTainted

checkers.tainting.quals.checkers.tainting.quals.Tainted

checkers.tainting.quals.checkers.tainting.quals.Untainted

checkers.types

checkers.types.checkers.types.AnnotatedTypeFactory

checkers.types.checkers.types.AnnotatedTypeMirror

checkers.types.checkers.types.BasicAnnotatedTypeFactory

checkers.types.checkers.types.GeneralAnnotatedTypeFactory

checkers.types.checkers.types.QualifierHierarchy

checkers.types.checkers.types.TreeAnnotator

checkers.types.checkers.types.TypeAnnotator

checkers.types.checkers.types.TypeFromElement

checkers.types.checkers.types.TypeFromTree

checkers.types.checkers.types.TypeHierarchy

checkers.types.checkers.types.VisitorState

checkers.types.checkers.types.package-info

checkers.types.visitors

checkers.types.visitors.checkers.types.visitors.AnnotatedTypeComparer

checkers.types.visitors.checkers.types.visitors.AnnotatedTypeScanner

checkers.types.visitors.checkers.types.visitors.AnnotatedTypeVisitor

checkers.types.visitors.checkers.types.visitors.SimpleAnnotatedTypeScanner

checkers.types.visitors.checkers.types.visitors.SimpleAnnotatedTypeVisitor

checkers.units

checkers.units.checkers.units.UnitsAnnotatedTypeFactory

checkers.units.checkers.units.UnitsChecker

checkers.units.checkers.units.UnitsRelations

checkers.units.checkers.units.UnitsRelationsDefault

checkers.units.checkers.units.UnitsTools

checkers.units.checkers.units.UnitsVisitor

checkers.units.quals

checkers.units.quals.checkers.units.quals.A

checkers.units.quals.checkers.units.quals.Area

checkers.units.quals.checkers.units.quals.C

checkers.units.quals.checkers.units.quals.Current

checkers.units.quals.checkers.units.quals.K

checkers.units.quals.checkers.units.quals.Length

checkers.units.quals.checkers.units.quals.Luminance

checkers.units.quals.checkers.units.quals.Mass

checkers.units.quals.checkers.units.quals.MixedUnits

checkers.units.quals.checkers.units.quals.Prefix

checkers.units.quals.checkers.units.quals.Speed

checkers.units.quals.checkers.units.quals.Substance

checkers.units.quals.checkers.units.quals.Temperature

checkers.units.quals.checkers.units.quals.Time

checkers.units.quals.checkers.units.quals.UnitsMultiple

checkers.units.quals.checkers.units.quals.UnitsRelations

checkers.units.quals.checkers.units.quals.cd

checkers.units.quals.checkers.units.quals.g

checkers.units.quals.checkers.units.quals.h

checkers.units.quals.checkers.units.quals.kg

checkers.units.quals.checkers.units.quals.km

checkers.units.quals.checkers.units.quals.km2

checkers.units.quals.checkers.units.quals.kmPERh

checkers.units.quals.checkers.units.quals.m

checkers.units.quals.checkers.units.quals.m2

checkers.units.quals.checkers.units.quals.mPERs

checkers.units.quals.checkers.units.quals.min

checkers.units.quals.checkers.units.quals.mm

checkers.units.quals.checkers.units.quals.mm2

checkers.units.quals.checkers.units.quals.mol

checkers.units.quals.checkers.units.quals.s

checkers.util

checkers.util.checkers.util.AnnotatedTypes

checkers.util.checkers.util.AnnotationBuilder

checkers.util.checkers.util.AnnotationUtils

checkers.util.checkers.util.CheckerDevelMain

checkers.util.checkers.util.CheckerMain

checkers.util.checkers.util.DependentTypes

checkers.util.checkers.util.ElementUtils

checkers.util.checkers.util.ExecUtil

checkers.util.checkers.util.GraphQualifierHierarchy

checkers.util.checkers.util.Heuristics

checkers.util.checkers.util.InternalUtils

checkers.util.checkers.util.MultiGraphQualifierHierarchy

checkers.util.checkers.util.Pair

checkers.util.checkers.util.PluginUtil

checkers.util.checkers.util.QualifierDefaults

checkers.util.checkers.util.QualifierPolymorphism

checkers.util.checkers.util.Resolver

checkers.util.checkers.util.TreeUtils

checkers.util.checkers.util.TypesUtils

checkers.util.count

checkers.util.count.checkers.util.count.AnnotationsCounter

checkers.util.count.checkers.util.count.Locations

checkers.util.debug

checkers.util.debug.checkers.util.debug.EmptyProcessor

checkers.util.debug.checkers.util.debug.SignaturePrinter

checkers.util.debug.checkers.util.debug.TreeDebug

checkers.util.debug.checkers.util.debug.TreePrinter

checkers.util.debug.checkers.util.debug.TypeOutputtingChecker

checkers.util.dist

checkers.util.dist.checkers.util.dist.ManualTaglet

checkers.util.report

checkers.util.report.checkers.util.report.README

checkers.util.report.checkers.util.report.ReportChecker

checkers.util.report.checkers.util.report.ReportVisitor

checkers.util.report.checkers.util.report.messages.properties

checkers.util.report.quals

checkers.util.report.quals.checkers.util.report.quals.ReportCall

checkers.util.report.quals.checkers.util.report.quals.ReportCreation

checkers.util.report.quals.checkers.util.report.quals.ReportInherit

checkers.util.report.quals.checkers.util.report.quals.ReportOverride

checkers.util.report.quals.checkers.util.report.quals.ReportReadWrite

checkers.util.report.quals.checkers.util.report.quals.ReportUse

checkers.util.report.quals.checkers.util.report.quals.ReportWrite

checkers.util.stub

checkers.util.stub.checkers.util.stub.FileStubResource

checkers.util.stub.checkers.util.stub.JarEntryStubResource

checkers.util.stub.checkers.util.stub.StubGenerator

checkers.util.stub.checkers.util.stub.StubParser

checkers.util.stub.checkers.util.stub.StubResource

checkers.util.stub.checkers.util.stub.StubUtil

checkers.util.test

checkers.util.test.checkers.util.test.CheckerParameterized

checkers.util.test.checkers.util.test.CheckerTest

checkers.util.test.checkers.util.test.ParameterizedCheckerTest

checkers.util.test.checkers.util.test.TestInput

checkers.util.test.checkers.util.test.TestRun

checkers.util.test.checkers.util.test.TestUtilities

checkers.util.trees

checkers.util.trees.checkers.util.trees.TreeParser

com.sun.istack

com.sun.istack.com.sun.istack.Interned

com.sun.istack.com.sun.istack.NotNull

com.sun.istack.com.sun.istack.Nullable

edu.umd.cs.findbugs.annotations

edu.umd.cs.findbugs.annotations.edu.umd.cs.findbugs.annotations.CheckForNull

edu.umd.cs.findbugs.annotations.edu.umd.cs.findbugs.annotations.NonNull

edu.umd.cs.findbugs.annotations.edu.umd.cs.findbugs.annotations.Nullable

edu.umd.cs.findbugs.annotations.edu.umd.cs.findbugs.annotations.UnknownNullness

javax.annotation

javax.annotation.javax.annotation.CheckForNull

javax.annotation.javax.annotation.Nonnull

javax.annotation.javax.annotation.Nullable

javax.validation.constraints

javax.validation.constraints.javax.validation.constraints.NotNull

net.jcip.annotations

net.jcip.annotations.net.jcip.annotations.GuardedBy

net.jcip.annotations.net.jcip.annotations.Immutable

org.eclipse.jdt.annotation

org.eclipse.jdt.annotation.org.eclipse.jdt.annotation.NonNull

org.eclipse.jdt.annotation.org.eclipse.jdt.annotation.Nullable

org.jetbrains.annotations

org.jetbrains.annotations.org.jetbrains.annotations.NotNull

org.jetbrains.annotations.org.jetbrains.annotations.Nullable

org.jmlspecs.annotation

org.jmlspecs.annotation.org.jmlspecs.annotation.Immutable

org.jmlspecs.annotation.org.jmlspecs.annotation.NonNull

org.jmlspecs.annotation.org.jmlspecs.annotation.Nullable

org.jmlspecs.annotation.org.jmlspecs.annotation.Pure

org.jmlspecs.annotation.org.jmlspecs.annotation.README

org.jmlspecs.annotation.org.jmlspecs.annotation.Readonly

org.netbeans.api.annotations.common

org.netbeans.api.annotations.common.org.netbeans.api.annotations.common.CheckForNull

org.netbeans.api.annotations.common.org.netbeans.api.annotations.common.NonNull

org.netbeans.api.annotations.common.org.netbeans.api.annotations.common.NullAllowed

org.netbeans.api.annotations.common.org.netbeans.api.annotations.common.NullUnknown