Download checker-framework-1.5.0.jar
checker/checker-framework-1.5.0.jar.zip( 809 k)
The download jar file contains the following class files or Java source files.
META-INF/MANIFEST.MF
checkers.basetype.BaseTypeChecker.class
checkers.basetype.BaseTypeVisitor.class
checkers.basic.BasicChecker.class
checkers.compilermsgs.CompilerMessagesAnnotatedTypeFactory.class
checkers.compilermsgs.CompilerMessagesChecker.class
checkers.compilermsgs.quals.CompilerMessageKey.class
checkers.fenum.FenumAnnotatedTypeFactory.class
checkers.fenum.FenumChecker.class
checkers.fenum.FenumVisitor.class
checkers.fenum.quals.AwtAlphaCompositingRule.class
checkers.fenum.quals.AwtColorSpace.class
checkers.fenum.quals.AwtCursorType.class
checkers.fenum.quals.AwtFlowLayout.class
checkers.fenum.quals.Fenum.class
checkers.fenum.quals.FenumTop.class
checkers.fenum.quals.FenumUnqualified.class
checkers.fenum.quals.SwingBoxOrientation.class
checkers.fenum.quals.SwingCompassDirection.class
checkers.fenum.quals.SwingElementOrientation.class
checkers.fenum.quals.SwingHorizontalOrientation.class
checkers.fenum.quals.SwingSplitPaneOrientation.class
checkers.fenum.quals.SwingTextOrientation.class
checkers.fenum.quals.SwingTitleJustification.class
checkers.fenum.quals.SwingTitlePosition.class
checkers.fenum.quals.SwingVerticalOrientation.class
checkers.flow.AbstractFlow.class
checkers.flow.DefaultFlow.class
checkers.flow.DefaultFlowState.class
checkers.flow.Flow.class
checkers.flow.FlowState.class
checkers.flow.GenKillBits.class
checkers.i18n.I18nAnnotatedTypeFactory.class
checkers.i18n.I18nChecker.class
checkers.i18n.I18nSubchecker.class
checkers.i18n.LocalizableKeyAnnotatedTypeFactory.class
checkers.i18n.LocalizableKeyChecker.class
checkers.i18n.quals.LocalizableKey.class
checkers.i18n.quals.Localized.class
checkers.igj.IGJAnnotatedTypeFactory.class
checkers.igj.IGJBottom.class
checkers.igj.IGJChecker.class
checkers.igj.IGJVisitor.class
checkers.igj.quals.Assignable.class
checkers.igj.quals.AssignsFields.class
checkers.igj.quals.I.class
checkers.igj.quals.Immutable.class
checkers.igj.quals.Mutable.class
checkers.igj.quals.ReadOnly.class
checkers.interning.InterningAnnotatedTypeFactory.class
checkers.interning.InterningChecker.class
checkers.interning.InterningVisitor.class
checkers.interning.quals.Interned.class
checkers.interning.quals.PolyInterned.class
checkers.interning.quals.UsesObjectEquals.class
checkers.javari.JavariAnnotatedTypeFactory.class
checkers.javari.JavariChecker.class
checkers.javari.JavariVisitor.class
checkers.javari.quals.Assignable.class
checkers.javari.quals.Mutable.class
checkers.javari.quals.PolyRead.class
checkers.javari.quals.QReadOnly.class
checkers.javari.quals.ReadOnly.class
checkers.javari.quals.ThisMutable.class
checkers.linear.LinearAnnotatedTypeFactory.class
checkers.linear.LinearChecker.class
checkers.linear.LinearVisitor.class
checkers.linear.quals.Linear.class
checkers.linear.quals.Normal.class
checkers.linear.quals.Unusable.class
checkers.lock.LockAnnotatedTypeFactory.class
checkers.lock.LockChecker.class
checkers.lock.LockVisitor.class
checkers.lock.quals.GuardedBy.class
checkers.lock.quals.Holding.class
checkers.nullness.CollectionToArrayHeuristics.class
checkers.nullness.KeyForAnnotatedTypeFactory.class
checkers.nullness.KeyForSubchecker.class
checkers.nullness.KeyForVisitor.class
checkers.nullness.MapGetHeuristics.class
checkers.nullness.NullnessAnnotatedTypeFactory.class
checkers.nullness.NullnessChecker.class
checkers.nullness.NullnessFlow.class
checkers.nullness.NullnessFlowConditions.class
checkers.nullness.NullnessFlowState.class
checkers.nullness.NullnessSubchecker.class
checkers.nullness.NullnessUtils.class
checkers.nullness.NullnessVisitor.class
checkers.nullness.RawnessSubchecker.class
checkers.nullness.RawnessVisitor.class
checkers.nullness.SystemGetPropertyHandler.class
checkers.nullness.quals.AssertNonNullAfter.class
checkers.nullness.quals.AssertNonNullIfFalse.class
checkers.nullness.quals.AssertNonNullIfNonNull.class
checkers.nullness.quals.AssertNonNullIfTrue.class
checkers.nullness.quals.AssertParametersNonNull.class
checkers.nullness.quals.Covariant.class
checkers.nullness.quals.KeyFor.class
checkers.nullness.quals.KeyForBottom.class
checkers.nullness.quals.LazyNonNull.class
checkers.nullness.quals.NonNull.class
checkers.nullness.quals.NonNullOnEntry.class
checkers.nullness.quals.NonRaw.class
checkers.nullness.quals.Nullable.class
checkers.nullness.quals.PolyNull.class
checkers.nullness.quals.PolyRaw.class
checkers.nullness.quals.Primitive.class
checkers.nullness.quals.Pure.class
checkers.nullness.quals.Raw.class
checkers.oigj.ImmutabilityAnnotatedTypeFactory.class
checkers.oigj.ImmutabilitySubchecker.class
checkers.oigj.ImmutabilityVisitor.class
checkers.oigj.OIGJChecker.class
checkers.oigj.OIGJMutabilityBottom.class
checkers.oigj.OwnershipAnnotatedTypeFactory.class
checkers.oigj.OwnershipSubchecker.class
checkers.oigj.OwnershipVisitor.class
checkers.oigj.quals.Assignable.class
checkers.oigj.quals.AssignsFields.class
checkers.oigj.quals.Dominator.class
checkers.oigj.quals.I.class
checkers.oigj.quals.Immutable.class
checkers.oigj.quals.Modifier.class
checkers.oigj.quals.Mutable.class
checkers.oigj.quals.O.class
checkers.oigj.quals.ReadOnly.class
checkers.oigj.quals.WildCard.class
checkers.oigj.quals.World.class
checkers.propkey.PropertyKeyAnnotatedTypeFactory.class
checkers.propkey.PropertyKeyChecker.class
checkers.propkey.quals.PropertyKey.class
checkers.quals.Bottom.class
checkers.quals.DefaultLocation.class
checkers.quals.DefaultQualifier.class
checkers.quals.DefaultQualifierInHierarchy.class
checkers.quals.DefaultQualifiers.class
checkers.quals.Dependent.class
checkers.quals.ImplicitFor.class
checkers.quals.InvisibleQualifier.class
checkers.quals.PolyAll.class
checkers.quals.PolymorphicQualifier.class
checkers.quals.StubFiles.class
checkers.quals.SubtypeOf.class
checkers.quals.TypeQualifier.class
checkers.quals.TypeQualifiers.class
checkers.quals.Unqualified.class
checkers.quals.Unused.class
checkers.regex.RegexAnnotatedTypeFactory.class
checkers.regex.RegexChecker.class
checkers.regex.RegexFlow.class
checkers.regex.RegexUtil.class
checkers.regex.RegexVisitor.class
checkers.regex.quals.PartialRegex.class
checkers.regex.quals.PolyRegex.class
checkers.regex.quals.Regex.class
checkers.regex.quals.RegexBottom.class
checkers.signature.SignatureAnnotatedTypeFactory.class
checkers.signature.SignatureChecker.class
checkers.signature.quals.BinaryName.class
checkers.signature.quals.BinaryNameForNonArray.class
checkers.signature.quals.ClassGetName.class
checkers.signature.quals.FieldDescriptor.class
checkers.signature.quals.FieldDescriptorForArray.class
checkers.signature.quals.FullyQualifiedName.class
checkers.signature.quals.MethodDescriptor.class
checkers.signature.quals.PolySignature.class
checkers.signature.quals.SignatureBottom.class
checkers.signature.quals.SourceName.class
checkers.signature.quals.SourceNameForNonArray.class
checkers.signature.quals.UnannotatedString.class
checkers.source.AbstractTypeProcessor.class
checkers.source.AggregateChecker.class
checkers.source.Result.class
checkers.source.SourceChecker.class
checkers.source.SourceVisitor.class
checkers.source.SupportedLintOptions.class
checkers.source.SuppressWarningsKey.class
checkers.tainting.TaintingChecker.class
checkers.tainting.quals.PolyTainted.class
checkers.tainting.quals.Tainted.class
checkers.tainting.quals.Untainted.class
checkers.types.AnnotatedTypeFactory.class
checkers.types.AnnotatedTypeMirror.class
checkers.types.BasicAnnotatedTypeFactory.class
checkers.types.GeneralAnnotatedTypeFactory.class
checkers.types.GeneralQualifierHierarchy.class
checkers.types.QualifierHierarchy.class
checkers.types.TreeAnnotator.class
checkers.types.TypeAnnotator.class
checkers.types.TypeFromElement.class
checkers.types.TypeFromTree.class
checkers.types.TypeHierarchy.class
checkers.types.VisitorState.class
checkers.types.visitors.AnnotatedTypeComparer.class
checkers.types.visitors.AnnotatedTypeScanner.class
checkers.types.visitors.AnnotatedTypeVisitor.class
checkers.types.visitors.SimpleAnnotatedTypeScanner.class
checkers.types.visitors.SimpleAnnotatedTypeVisitor.class
checkers.units.UnitsAnnotatedTypeFactory.class
checkers.units.UnitsChecker.class
checkers.units.UnitsRelations.class
checkers.units.UnitsRelationsDefault.class
checkers.units.UnitsTools.class
checkers.units.UnitsVisitor.class
checkers.units.quals.A.class
checkers.units.quals.Area.class
checkers.units.quals.C.class
checkers.units.quals.Current.class
checkers.units.quals.K.class
checkers.units.quals.Length.class
checkers.units.quals.Luminance.class
checkers.units.quals.Mass.class
checkers.units.quals.MixedUnits.class
checkers.units.quals.Prefix.class
checkers.units.quals.Speed.class
checkers.units.quals.Substance.class
checkers.units.quals.Temperature.class
checkers.units.quals.Time.class
checkers.units.quals.UnitsMultiple.class
checkers.units.quals.UnitsRelations.class
checkers.units.quals.cd.class
checkers.units.quals.g.class
checkers.units.quals.h.class
checkers.units.quals.kg.class
checkers.units.quals.km.class
checkers.units.quals.km2.class
checkers.units.quals.kmPERh.class
checkers.units.quals.m.class
checkers.units.quals.m2.class
checkers.units.quals.mPERs.class
checkers.units.quals.min.class
checkers.units.quals.mm.class
checkers.units.quals.mm2.class
checkers.units.quals.mol.class
checkers.units.quals.s.class
checkers.util.AnnotatedTypes.class
checkers.util.AnnotationBuilder.class
checkers.util.AnnotationUtils.class
checkers.util.CheckerDevelMain.class
checkers.util.CheckerMain.class
checkers.util.DependentTypes.class
checkers.util.ElementUtils.class
checkers.util.ExecUtil.class
checkers.util.GraphQualifierHierarchy.class
checkers.util.Heuristics.class
checkers.util.InternalUtils.class
checkers.util.MultiGraphQualifierHierarchy.class
checkers.util.Pair.class
checkers.util.PluginUtil.class
checkers.util.QualifierDefaults.class
checkers.util.QualifierPolymorphism.class
checkers.util.Resolver.class
checkers.util.TreeUtils.class
checkers.util.TypesUtils.class
checkers.util.count.AnnotationsCounter.class
checkers.util.count.Locations.class
checkers.util.debug.EmptyProcessor.class
checkers.util.debug.SignaturePrinter.class
checkers.util.debug.TreeDebug.class
checkers.util.debug.TreePrinter.class
checkers.util.dist.ManualTaglet.class
checkers.util.report.ReportChecker.class
checkers.util.report.ReportVisitor.class
checkers.util.report.quals.ReportCall.class
checkers.util.report.quals.ReportCreation.class
checkers.util.report.quals.ReportInherit.class
checkers.util.report.quals.ReportOverride.class
checkers.util.report.quals.ReportReadWrite.class
checkers.util.report.quals.ReportUse.class
checkers.util.report.quals.ReportWrite.class
checkers.util.stub.FileStubResource.class
checkers.util.stub.JarEntryStubResource.class
checkers.util.stub.StubGenerator.class
checkers.util.stub.StubParser.class
checkers.util.stub.StubResource.class
checkers.util.stub.StubUtil.class
checkers.util.test.CheckerParameterized.class
checkers.util.test.CheckerTest.class
checkers.util.test.ParameterizedCheckerTest.class
checkers.util.test.TestInput.class
checkers.util.test.TestRun.class
checkers.util.test.TestUtilities.class
checkers.util.trees.TreeParser.class
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/messages.properties
com.sun.istack.Interned.class
com.sun.istack.NotNull.class
com.sun.istack.Nullable.class
edu.umd.cs.findbugs.annotations.CheckForNull.class
edu.umd.cs.findbugs.annotations.NonNull.class
edu.umd.cs.findbugs.annotations.Nullable.class
edu.umd.cs.findbugs.annotations.UnknownNullness.class
japa.parser.ASTHelper.class
japa.parser.ASTParser.class
japa.parser.ASTParserConstants.class
japa.parser.ASTParserTokenManager.class
japa.parser.JavaCharStream.class
japa.parser.JavaParser.class
japa.parser.ParseException.class
japa.parser.Token.class
japa.parser.TokenMgrError.class
japa.parser.ast.BlockComment.class
japa.parser.ast.Comment.class
japa.parser.ast.CompilationUnit.class
japa.parser.ast.ImportDeclaration.class
japa.parser.ast.IndexUnit.class
japa.parser.ast.LineComment.class
japa.parser.ast.Node.class
japa.parser.ast.PackageDeclaration.class
japa.parser.ast.TypeParameter.class
japa.parser.ast.body.AnnotationDeclaration.class
japa.parser.ast.body.AnnotationMemberDeclaration.class
japa.parser.ast.body.BodyDeclaration.class
japa.parser.ast.body.ClassOrInterfaceDeclaration.class
japa.parser.ast.body.ConstructorDeclaration.class
japa.parser.ast.body.EmptyMemberDeclaration.class
japa.parser.ast.body.EmptyTypeDeclaration.class
japa.parser.ast.body.EnumConstantDeclaration.class
japa.parser.ast.body.EnumDeclaration.class
japa.parser.ast.body.FieldDeclaration.class
japa.parser.ast.body.InitializerDeclaration.class
japa.parser.ast.body.JavadocComment.class
japa.parser.ast.body.MethodDeclaration.class
japa.parser.ast.body.ModifierSet.class
japa.parser.ast.body.Parameter.class
japa.parser.ast.body.TypeDeclaration.class
japa.parser.ast.body.VariableDeclarator.class
japa.parser.ast.body.VariableDeclaratorId.class
japa.parser.ast.expr.AnnotationExpr.class
japa.parser.ast.expr.ArrayAccessExpr.class
japa.parser.ast.expr.ArrayCreationExpr.class
japa.parser.ast.expr.ArrayInitializerExpr.class
japa.parser.ast.expr.AssignExpr.class
japa.parser.ast.expr.BinaryExpr.class
japa.parser.ast.expr.BooleanLiteralExpr.class
japa.parser.ast.expr.CastExpr.class
japa.parser.ast.expr.CharLiteralExpr.class
japa.parser.ast.expr.ClassExpr.class
japa.parser.ast.expr.ConditionalExpr.class
japa.parser.ast.expr.DoubleLiteralExpr.class
japa.parser.ast.expr.EnclosedExpr.class
japa.parser.ast.expr.Expression.class
japa.parser.ast.expr.FieldAccessExpr.class
japa.parser.ast.expr.InstanceOfExpr.class
japa.parser.ast.expr.IntegerLiteralExpr.class
japa.parser.ast.expr.IntegerLiteralMinValueExpr.class
japa.parser.ast.expr.LiteralExpr.class
japa.parser.ast.expr.LongLiteralExpr.class
japa.parser.ast.expr.LongLiteralMinValueExpr.class
japa.parser.ast.expr.MarkerAnnotationExpr.class
japa.parser.ast.expr.MemberValuePair.class
japa.parser.ast.expr.MethodCallExpr.class
japa.parser.ast.expr.NameExpr.class
japa.parser.ast.expr.NormalAnnotationExpr.class
japa.parser.ast.expr.NullLiteralExpr.class
japa.parser.ast.expr.ObjectCreationExpr.class
japa.parser.ast.expr.QualifiedNameExpr.class
japa.parser.ast.expr.SingleMemberAnnotationExpr.class
japa.parser.ast.expr.StringLiteralExpr.class
japa.parser.ast.expr.SuperExpr.class
japa.parser.ast.expr.ThisExpr.class
japa.parser.ast.expr.UnaryExpr.class
japa.parser.ast.expr.VariableDeclarationExpr.class
japa.parser.ast.stmt.AssertStmt.class
japa.parser.ast.stmt.BlockStmt.class
japa.parser.ast.stmt.BreakStmt.class
japa.parser.ast.stmt.CatchClause.class
japa.parser.ast.stmt.ContinueStmt.class
japa.parser.ast.stmt.DoStmt.class
japa.parser.ast.stmt.EmptyStmt.class
japa.parser.ast.stmt.ExplicitConstructorInvocationStmt.class
japa.parser.ast.stmt.ExpressionStmt.class
japa.parser.ast.stmt.ForStmt.class
japa.parser.ast.stmt.ForeachStmt.class
japa.parser.ast.stmt.IfStmt.class
japa.parser.ast.stmt.LabeledStmt.class
japa.parser.ast.stmt.ReturnStmt.class
japa.parser.ast.stmt.Statement.class
japa.parser.ast.stmt.SwitchEntryStmt.class
japa.parser.ast.stmt.SwitchStmt.class
japa.parser.ast.stmt.SynchronizedStmt.class
japa.parser.ast.stmt.ThrowStmt.class
japa.parser.ast.stmt.TryStmt.class
japa.parser.ast.stmt.TypeDeclarationStmt.class
japa.parser.ast.stmt.WhileStmt.class
japa.parser.ast.type.ClassOrInterfaceType.class
japa.parser.ast.type.PrimitiveType.class
japa.parser.ast.type.ReferenceType.class
japa.parser.ast.type.Type.class
japa.parser.ast.type.VoidType.class
japa.parser.ast.type.WildcardType.class
japa.parser.ast.visitor.DumpVisitor.class
japa.parser.ast.visitor.EqualsVisitor.class
japa.parser.ast.visitor.GenericVisitor.class
japa.parser.ast.visitor.GenericVisitorAdapter.class
japa.parser.ast.visitor.ModifierVisitorAdapter.class
japa.parser.ast.visitor.SimpleVoidVisitor.class
japa.parser.ast.visitor.VoidVisitor.class
japa.parser.ast.visitor.VoidVisitorAdapter.class
javax.annotation.CheckForNull.class
javax.annotation.Nonnull.class
javax.annotation.Nullable.class
javax.validation.constraints.NotNull.class
net.jcip.annotations.GuardedBy.class
net.jcip.annotations.Immutable.class
org.eclipse.jdt.annotation.NonNull.class
org.eclipse.jdt.annotation.Nullable.class
org.jetbrains.annotations.NotNull.class
org.jetbrains.annotations.Nullable.class
org.jmlspecs.annotation.Immutable.class
org.jmlspecs.annotation.NonNull.class
org.jmlspecs.annotation.Nullable.class
org.jmlspecs.annotation.Pure.class
org.jmlspecs.annotation.Readonly.class
org.netbeans.api.annotations.common.CheckForNull.class
org.netbeans.api.annotations.common.NonNull.class
org.netbeans.api.annotations.common.NullAllowed.class
org.netbeans.api.annotations.common.NullUnknown.class
Related examples in the same category