Download checker-framework-1.5.0-sources.jar
checker/checker-framework-1.5.0-sources.jar.zip( 442 k)
The download jar file contains the following class files or Java source files.
META-INF/MANIFEST.MF
checkers.basetype.BaseTypeChecker.java
checkers.basetype.BaseTypeVisitor.java
checkers.basetype.package-info.java
checkers.basic.BasicChecker.java
checkers.compilermsgs.CompilerMessagesAnnotatedTypeFactory.java
checkers.compilermsgs.CompilerMessagesChecker.java
checkers.compilermsgs.quals.CompilerMessageKey.java
checkers.fenum.FenumAnnotatedTypeFactory.java
checkers.fenum.FenumChecker.java
checkers.fenum.FenumVisitor.java
checkers.fenum.quals.AwtAlphaCompositingRule.java
checkers.fenum.quals.AwtColorSpace.java
checkers.fenum.quals.AwtCursorType.java
checkers.fenum.quals.AwtFlowLayout.java
checkers.fenum.quals.Fenum.java
checkers.fenum.quals.FenumTop.java
checkers.fenum.quals.FenumUnqualified.java
checkers.fenum.quals.SwingBoxOrientation.java
checkers.fenum.quals.SwingCompassDirection.java
checkers.fenum.quals.SwingElementOrientation.java
checkers.fenum.quals.SwingHorizontalOrientation.java
checkers.fenum.quals.SwingSplitPaneOrientation.java
checkers.fenum.quals.SwingTextOrientation.java
checkers.fenum.quals.SwingTitleJustification.java
checkers.fenum.quals.SwingTitlePosition.java
checkers.fenum.quals.SwingVerticalOrientation.java
checkers.flow.AbstractFlow.java
checkers.flow.DefaultFlow.java
checkers.flow.DefaultFlowState.java
checkers.flow.Flow.java
checkers.flow.FlowState.java
checkers.flow.GenKillBits.java
checkers.flow.package-info.java
checkers.i18n.I18nAnnotatedTypeFactory.java
checkers.i18n.I18nChecker.java
checkers.i18n.I18nSubchecker.java
checkers.i18n.LocalizableKeyAnnotatedTypeFactory.java
checkers.i18n.LocalizableKeyChecker.java
checkers.i18n.quals.LocalizableKey.java
checkers.i18n.quals.Localized.java
checkers.igj.IGJAnnotatedTypeFactory.java
checkers.igj.IGJBottom.java
checkers.igj.IGJChecker.java
checkers.igj.IGJVisitor.java
checkers.igj.package-info.java
checkers.igj.quals.Assignable.java
checkers.igj.quals.AssignsFields.java
checkers.igj.quals.I.java
checkers.igj.quals.Immutable.java
checkers.igj.quals.Mutable.java
checkers.igj.quals.ReadOnly.java
checkers.igj.quals.package-info.java
checkers.interning.InterningAnnotatedTypeFactory.java
checkers.interning.InterningChecker.java
checkers.interning.InterningVisitor.java
checkers.interning.package-info.java
checkers.interning.quals.Interned.java
checkers.interning.quals.PolyInterned.java
checkers.interning.quals.UsesObjectEquals.java
checkers.javari.JavariAnnotatedTypeFactory.java
checkers.javari.JavariChecker.java
checkers.javari.JavariVisitor.java
checkers.javari.package-info.java
checkers.javari.quals.Assignable.java
checkers.javari.quals.Mutable.java
checkers.javari.quals.PolyRead.java
checkers.javari.quals.QReadOnly.java
checkers.javari.quals.ReadOnly.java
checkers.javari.quals.ThisMutable.java
checkers.linear.LinearAnnotatedTypeFactory.java
checkers.linear.LinearChecker.java
checkers.linear.LinearVisitor.java
checkers.linear.quals.Linear.java
checkers.linear.quals.Normal.java
checkers.linear.quals.Unusable.java
checkers.lock.LockAnnotatedTypeFactory.java
checkers.lock.LockChecker.java
checkers.lock.LockVisitor.java
checkers.lock.quals.GuardedBy.java
checkers.lock.quals.Holding.java
checkers.nullness.CollectionToArrayHeuristics.java
checkers.nullness.KeyForAnnotatedTypeFactory.java
checkers.nullness.KeyForSubchecker.java
checkers.nullness.KeyForVisitor.java
checkers.nullness.MapGetHeuristics.java
checkers.nullness.NullnessAnnotatedTypeFactory.java
checkers.nullness.NullnessChecker.java
checkers.nullness.NullnessFlow.java
checkers.nullness.NullnessFlowConditions.java
checkers.nullness.NullnessFlowState.java
checkers.nullness.NullnessSubchecker.java
checkers.nullness.NullnessUtils.java
checkers.nullness.NullnessVisitor.java
checkers.nullness.RawnessSubchecker.java
checkers.nullness.RawnessVisitor.java
checkers.nullness.SystemGetPropertyHandler.java
checkers.nullness.package-info.java
checkers.nullness.quals.AssertNonNullAfter.java
checkers.nullness.quals.AssertNonNullIfFalse.java
checkers.nullness.quals.AssertNonNullIfNonNull.java
checkers.nullness.quals.AssertNonNullIfTrue.java
checkers.nullness.quals.AssertParametersNonNull.java
checkers.nullness.quals.Covariant.java
checkers.nullness.quals.KeyFor.java
checkers.nullness.quals.KeyForBottom.java
checkers.nullness.quals.LazyNonNull.java
checkers.nullness.quals.NonNull.java
checkers.nullness.quals.NonNullOnEntry.java
checkers.nullness.quals.NonRaw.java
checkers.nullness.quals.Nullable.java
checkers.nullness.quals.PolyNull.java
checkers.nullness.quals.PolyRaw.java
checkers.nullness.quals.Primitive.java
checkers.nullness.quals.Pure.java
checkers.nullness.quals.Raw.java
checkers.oigj.ImmutabilityAnnotatedTypeFactory.java
checkers.oigj.ImmutabilitySubchecker.java
checkers.oigj.ImmutabilityVisitor.java
checkers.oigj.OIGJChecker.java
checkers.oigj.OIGJMutabilityBottom.java
checkers.oigj.OwnershipAnnotatedTypeFactory.java
checkers.oigj.OwnershipSubchecker.java
checkers.oigj.OwnershipVisitor.java
checkers.oigj.package-info.java
checkers.oigj.quals.Assignable.java
checkers.oigj.quals.AssignsFields.java
checkers.oigj.quals.Dominator.java
checkers.oigj.quals.I.java
checkers.oigj.quals.Immutable.java
checkers.oigj.quals.Modifier.java
checkers.oigj.quals.Mutable.java
checkers.oigj.quals.O.java
checkers.oigj.quals.ReadOnly.java
checkers.oigj.quals.WildCard.java
checkers.oigj.quals.World.java
checkers.propkey.PropertyKeyAnnotatedTypeFactory.java
checkers.propkey.PropertyKeyChecker.java
checkers.propkey.quals.PropertyKey.java
checkers.quals.Bottom.java
checkers.quals.DefaultLocation.java
checkers.quals.DefaultQualifier.java
checkers.quals.DefaultQualifierInHierarchy.java
checkers.quals.DefaultQualifiers.java
checkers.quals.Dependent.java
checkers.quals.ImplicitFor.java
checkers.quals.InvisibleQualifier.java
checkers.quals.PolyAll.java
checkers.quals.PolymorphicQualifier.java
checkers.quals.StubFiles.java
checkers.quals.SubtypeOf.java
checkers.quals.TypeQualifier.java
checkers.quals.TypeQualifiers.java
checkers.quals.Unqualified.java
checkers.quals.Unused.java
checkers.quals.package-info.java
checkers.regex.RegexAnnotatedTypeFactory.java
checkers.regex.RegexChecker.java
checkers.regex.RegexFlow.java
checkers.regex.RegexUtil.java
checkers.regex.RegexVisitor.java
checkers.regex.quals.PartialRegex.java
checkers.regex.quals.PolyRegex.java
checkers.regex.quals.Regex.java
checkers.regex.quals.RegexBottom.java
checkers.signature.SignatureAnnotatedTypeFactory.java
checkers.signature.SignatureChecker.java
checkers.signature.quals.BinaryName.java
checkers.signature.quals.BinaryNameForNonArray.java
checkers.signature.quals.ClassGetName.java
checkers.signature.quals.FieldDescriptor.java
checkers.signature.quals.FieldDescriptorForArray.java
checkers.signature.quals.FullyQualifiedName.java
checkers.signature.quals.MethodDescriptor.java
checkers.signature.quals.PolySignature.java
checkers.signature.quals.SignatureBottom.java
checkers.signature.quals.SourceName.java
checkers.signature.quals.SourceNameForNonArray.java
checkers.signature.quals.UnannotatedString.java
checkers.source.AbstractTypeProcessor.java
checkers.source.AggregateChecker.java
checkers.source.Result.java
checkers.source.SourceChecker.java
checkers.source.SourceVisitor.java
checkers.source.SupportedLintOptions.java
checkers.source.SuppressWarningsKey.java
checkers.source.package-info.java
checkers.tainting.TaintingAnnotatedTypeFactory.java
checkers.tainting.TaintingChecker.java
checkers.tainting.quals.PolyTainted.java
checkers.tainting.quals.Tainted.java
checkers.tainting.quals.Untainted.java
checkers.types.AnnotatedTypeFactory.java
checkers.types.AnnotatedTypeMirror.java
checkers.types.BasicAnnotatedTypeFactory.java
checkers.types.GeneralAnnotatedTypeFactory.java
checkers.types.QualifierHierarchy.java
checkers.types.TreeAnnotator.java
checkers.types.TypeAnnotator.java
checkers.types.TypeFromElement.java
checkers.types.TypeFromTree.java
checkers.types.TypeHierarchy.java
checkers.types.VisitorState.java
checkers.types.package-info.java
checkers.types.visitors.AnnotatedTypeComparer.java
checkers.types.visitors.AnnotatedTypeScanner.java
checkers.types.visitors.AnnotatedTypeVisitor.java
checkers.types.visitors.SimpleAnnotatedTypeScanner.java
checkers.types.visitors.SimpleAnnotatedTypeVisitor.java
checkers.units.UnitsAnnotatedTypeFactory.java
checkers.units.UnitsChecker.java
checkers.units.UnitsRelations.java
checkers.units.UnitsRelationsDefault.java
checkers.units.UnitsTools.java
checkers.units.UnitsVisitor.java
checkers.units.quals.A.java
checkers.units.quals.Area.java
checkers.units.quals.C.java
checkers.units.quals.Current.java
checkers.units.quals.K.java
checkers.units.quals.Length.java
checkers.units.quals.Luminance.java
checkers.units.quals.Mass.java
checkers.units.quals.MixedUnits.java
checkers.units.quals.Prefix.java
checkers.units.quals.Speed.java
checkers.units.quals.Substance.java
checkers.units.quals.Temperature.java
checkers.units.quals.Time.java
checkers.units.quals.UnitsMultiple.java
checkers.units.quals.UnitsRelations.java
checkers.units.quals.cd.java
checkers.units.quals.g.java
checkers.units.quals.h.java
checkers.units.quals.kg.java
checkers.units.quals.km.java
checkers.units.quals.km2.java
checkers.units.quals.kmPERh.java
checkers.units.quals.m.java
checkers.units.quals.m2.java
checkers.units.quals.mPERs.java
checkers.units.quals.min.java
checkers.units.quals.mm.java
checkers.units.quals.mm2.java
checkers.units.quals.mol.java
checkers.units.quals.s.java
checkers.util.AnnotatedTypes.java
checkers.util.AnnotationBuilder.java
checkers.util.AnnotationUtils.java
checkers.util.CheckerDevelMain.java
checkers.util.CheckerMain.java
checkers.util.DependentTypes.java
checkers.util.ElementUtils.java
checkers.util.ExecUtil.java
checkers.util.GraphQualifierHierarchy.java
checkers.util.Heuristics.java
checkers.util.InternalUtils.java
checkers.util.MultiGraphQualifierHierarchy.java
checkers.util.Pair.java
checkers.util.PluginUtil.java
checkers.util.QualifierDefaults.java
checkers.util.QualifierPolymorphism.java
checkers.util.Resolver.java
checkers.util.TreeUtils.java
checkers.util.TypesUtils.java
checkers.util.count.AnnotationsCounter.java
checkers.util.count.Locations.java
checkers.util.debug.EmptyProcessor.java
checkers.util.debug.SignaturePrinter.java
checkers.util.debug.TreeDebug.java
checkers.util.debug.TreePrinter.java
checkers.util.dist.ManualTaglet.java
checkers.util.report.ReportChecker.java
checkers.util.report.ReportVisitor.java
checkers.util.report.quals.ReportCall.java
checkers.util.report.quals.ReportCreation.java
checkers.util.report.quals.ReportInherit.java
checkers.util.report.quals.ReportOverride.java
checkers.util.report.quals.ReportReadWrite.java
checkers.util.report.quals.ReportUse.java
checkers.util.report.quals.ReportWrite.java
checkers.util.stub.FileStubResource.java
checkers.util.stub.JarEntryStubResource.java
checkers.util.stub.StubGenerator.java
checkers.util.stub.StubParser.java
checkers.util.stub.StubResource.java
checkers.util.stub.StubUtil.java
checkers.util.test.CheckerParameterized.java
checkers.util.test.CheckerTest.java
checkers.util.test.ParameterizedCheckerTest.java
checkers.util.test.TestInput.java
checkers.util.test.TestRun.java
checkers.util.test.TestUtilities.java
checkers.util.trees.TreeParser.java
checkers/basetype/messages.properties
checkers/compilermsgs/messages.properties
checkers/fenum/jdk.astub
checkers/fenum/messages.properties
checkers/i18n/jdk.astub
checkers/interning/jdk.astub
checkers/interning/messages.properties
checkers/javari/messages.properties
checkers/linear/messages.properties
checkers/lock/messages.properties
checkers/nullness/messages.properties
checkers/propkey/jdk.astub
checkers/regex/jdk.astub
checkers/regex/messages.properties
checkers/signature/jdk.astub
checkers/tainting/jdk.astub
checkers/util/report/README
checkers/util/report/messages.properties
com.sun.istack.Interned.java
com.sun.istack.NotNull.java
com.sun.istack.Nullable.java
edu.umd.cs.findbugs.annotations.CheckForNull.java
edu.umd.cs.findbugs.annotations.NonNull.java
edu.umd.cs.findbugs.annotations.Nullable.java
edu.umd.cs.findbugs.annotations.UnknownNullness.java
javax.annotation.CheckForNull.java
javax.annotation.Nonnull.java
javax.annotation.Nullable.java
javax.validation.constraints.NotNull.java
net.jcip.annotations.GuardedBy.java
net.jcip.annotations.Immutable.java
org.eclipse.jdt.annotation.NonNull.java
org.eclipse.jdt.annotation.Nullable.java
org.jetbrains.annotations.NotNull.java
org.jetbrains.annotations.Nullable.java
org.jmlspecs.annotation.Immutable.java
org.jmlspecs.annotation.NonNull.java
org.jmlspecs.annotation.Nullable.java
org.jmlspecs.annotation.Pure.java
org.jmlspecs.annotation.Readonly.java
org.netbeans.api.annotations.common.CheckForNull.java
org.netbeans.api.annotations.common.NonNull.java
org.netbeans.api.annotations.common.NullAllowed.java
org.netbeans.api.annotations.common.NullUnknown.java
org/jmlspecs/annotation/README
Related examples in the same category