View Java Class Source Code in JAR file
- Download JD-GUI to open JAR file and explore Java source code file (.class .java)
- Click menu "File → Open File..." or just drag-and-drop the JAR file in the JD-GUI window checker-framework-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]
dataflow.cfg.node
├─ dataflow.cfg.node.AbstractNodeVisitor.class - [JAR]
├─ dataflow.cfg.node.ArrayAccessNode.class - [JAR]
├─ dataflow.cfg.node.ArrayCreationNode.class - [JAR]
├─ dataflow.cfg.node.ArrayTypeNode.class - [JAR]
├─ dataflow.cfg.node.AssertionErrorNode.class - [JAR]
├─ dataflow.cfg.node.AssignmentContext.class - [JAR]
├─ dataflow.cfg.node.AssignmentNode.class - [JAR]
├─ dataflow.cfg.node.BitwiseAndNode.class - [JAR]
├─ dataflow.cfg.node.BitwiseComplementNode.class - [JAR]
├─ dataflow.cfg.node.BitwiseOrNode.class - [JAR]
├─ dataflow.cfg.node.BitwiseXorNode.class - [JAR]
├─ dataflow.cfg.node.BooleanLiteralNode.class - [JAR]
├─ dataflow.cfg.node.CaseNode.class - [JAR]
├─ dataflow.cfg.node.CharacterLiteralNode.class - [JAR]
├─ dataflow.cfg.node.ClassNameNode.class - [JAR]
├─ dataflow.cfg.node.ConditionalAndNode.class - [JAR]
├─ dataflow.cfg.node.ConditionalNotNode.class - [JAR]
├─ dataflow.cfg.node.ConditionalOrNode.class - [JAR]
├─ dataflow.cfg.node.DoubleLiteralNode.class - [JAR]
├─ dataflow.cfg.node.EqualToNode.class - [JAR]
├─ dataflow.cfg.node.ExplicitThisLiteralNode.class - [JAR]
├─ dataflow.cfg.node.FieldAccessNode.class - [JAR]
├─ dataflow.cfg.node.FloatLiteralNode.class - [JAR]
├─ dataflow.cfg.node.FloatingDivisionNode.class - [JAR]
├─ dataflow.cfg.node.FloatingRemainderNode.class - [JAR]
├─ dataflow.cfg.node.GreaterThanNode.class - [JAR]
├─ dataflow.cfg.node.GreaterThanOrEqualNode.class - [JAR]
├─ dataflow.cfg.node.ImplicitThisLiteralNode.class - [JAR]
├─ dataflow.cfg.node.InstanceOfNode.class - [JAR]
├─ dataflow.cfg.node.IntegerDivisionNode.class - [JAR]
├─ dataflow.cfg.node.IntegerLiteralNode.class - [JAR]
├─ dataflow.cfg.node.IntegerRemainderNode.class - [JAR]
├─ dataflow.cfg.node.LeftShiftNode.class - [JAR]
├─ dataflow.cfg.node.LessThanNode.class - [JAR]
├─ dataflow.cfg.node.LessThanOrEqualNode.class - [JAR]
├─ dataflow.cfg.node.LocalVariableNode.class - [JAR]
├─ dataflow.cfg.node.LongLiteralNode.class - [JAR]
├─ dataflow.cfg.node.MarkerNode.class - [JAR]
├─ dataflow.cfg.node.MethodAccessNode.class - [JAR]
├─ dataflow.cfg.node.MethodInvocationNode.class - [JAR]
├─ dataflow.cfg.node.NarrowingConversionNode.class - [JAR]
├─ dataflow.cfg.node.Node.class - [JAR]
├─ dataflow.cfg.node.NodeVisitor.class - [JAR]
├─ dataflow.cfg.node.NotEqualNode.class - [JAR]
├─ dataflow.cfg.node.NullChkNode.class - [JAR]
├─ dataflow.cfg.node.NullLiteralNode.class - [JAR]
├─ dataflow.cfg.node.NumericalAdditionNode.class - [JAR]
├─ dataflow.cfg.node.NumericalMinusNode.class - [JAR]
├─ dataflow.cfg.node.NumericalMultiplicationNode.class - [JAR]
├─ dataflow.cfg.node.NumericalPlusNode.class - [JAR]
├─ dataflow.cfg.node.NumericalSubtractionNode.class - [JAR]
├─ dataflow.cfg.node.ObjectCreationNode.class - [JAR]
├─ dataflow.cfg.node.PackageNameNode.class - [JAR]
├─ dataflow.cfg.node.ParameterizedTypeNode.class - [JAR]
├─ dataflow.cfg.node.PrimitiveTypeNode.class - [JAR]
├─ dataflow.cfg.node.ReturnNode.class - [JAR]
├─ dataflow.cfg.node.ShortLiteralNode.class - [JAR]
├─ dataflow.cfg.node.SignedRightShiftNode.class - [JAR]
├─ dataflow.cfg.node.StringConcatenateAssignmentNode.class - [JAR]
├─ dataflow.cfg.node.StringConcatenateNode.class - [JAR]
├─ dataflow.cfg.node.StringConversionNode.class - [JAR]
├─ dataflow.cfg.node.StringLiteralNode.class - [JAR]
├─ dataflow.cfg.node.SuperNode.class - [JAR]
├─ dataflow.cfg.node.TernaryExpressionNode.class - [JAR]
├─ dataflow.cfg.node.ThisLiteralNode.class - [JAR]
├─ dataflow.cfg.node.ThrowNode.class - [JAR]
├─ dataflow.cfg.node.TypeCastNode.class - [JAR]
├─ dataflow.cfg.node.UnsignedRightShiftNode.class - [JAR]
├─ dataflow.cfg.node.ValueLiteralNode.class - [JAR]
├─ dataflow.cfg.node.VariableDeclarationNode.class - [JAR]
├─ dataflow.cfg.node.WideningConversionNode.class - [JAR]
dataflow.util
├─ dataflow.util.HashCodeUtils.class - [JAR]
├─ dataflow.util.NodeUtils.class - [JAR]
├─ dataflow.util.PurityChecker.class - [JAR]
├─ dataflow.util.PurityUtils.class - [JAR]
net.jcip.annotations
├─ net.jcip.annotations.GuardedBy.class - [JAR]
├─ net.jcip.annotations.Immutable.class - [JAR]
checkers.util.stub
├─ checkers.util.stub.FileStubResource.class - [JAR]
├─ checkers.util.stub.JarEntryStubResource.class - [JAR]
├─ checkers.util.stub.StubGenerator.class - [JAR]
├─ checkers.util.stub.StubParser.class - [JAR]
├─ checkers.util.stub.StubResource.class - [JAR]
├─ checkers.util.stub.StubUtil.class - [JAR]
checkers.formatter
├─ checkers.formatter.FormatUtil.class - [JAR]
├─ checkers.formatter.FormatterAnalysis.class - [JAR]
├─ checkers.formatter.FormatterAnnotatedTypeFactory.class - [JAR]
├─ checkers.formatter.FormatterChecker.class - [JAR]
├─ checkers.formatter.FormatterTransfer.class - [JAR]
├─ checkers.formatter.FormatterTreeUtil.class - [JAR]
├─ checkers.formatter.FormatterVisitor.class - [JAR]
javacutils.trees
├─ javacutils.trees.DetachedVarSymbol.class - [JAR]
├─ javacutils.trees.TreeBuilder.class - [JAR]
├─ javacutils.trees.TreeParser.class - [JAR]
cfjapa.parser.ast.type
├─ cfjapa.parser.ast.type.ClassOrInterfaceType.class - [JAR]
├─ cfjapa.parser.ast.type.PrimitiveType.class - [JAR]
├─ cfjapa.parser.ast.type.ReferenceType.class - [JAR]
├─ cfjapa.parser.ast.type.Type.class - [JAR]
├─ cfjapa.parser.ast.type.VoidType.class - [JAR]
├─ cfjapa.parser.ast.type.WildcardType.class - [JAR]
checkers.util.count
├─ checkers.util.count.AnnotationsCounter.class - [JAR]
├─ checkers.util.count.Locations.class - [JAR]
checkers.igj
├─ checkers.igj.IGJAnnotatedTypeFactory.class - [JAR]
├─ checkers.igj.IGJBottom.class - [JAR]
├─ checkers.igj.IGJChecker.class - [JAR]
├─ checkers.igj.IGJVisitor.class - [JAR]
javax.annotation
├─ javax.annotation.CheckForNull.class - [JAR]
├─ javax.annotation.Nonnull.class - [JAR]
├─ javax.annotation.Nullable.class - [JAR]
checkers.compilermsgs.quals
├─ checkers.compilermsgs.quals.CompilerMessageKey.class - [JAR]
checkers.signature
├─ checkers.signature.SignatureAnnotatedTypeFactory.class - [JAR]
├─ checkers.signature.SignatureChecker.class - [JAR]
checkers.compilermsgs
├─ checkers.compilermsgs.CompilerMessagesAnnotatedTypeFactory.class - [JAR]
├─ checkers.compilermsgs.CompilerMessagesChecker.class - [JAR]
checkers.i18n.quals
├─ checkers.i18n.quals.LocalizableKey.class - [JAR]
├─ checkers.i18n.quals.Localized.class - [JAR]
├─ checkers.i18n.quals.UnknownLocalized.class - [JAR]
checkers.linear
├─ checkers.linear.LinearAnnotatedTypeFactory.class - [JAR]
├─ checkers.linear.LinearChecker.class - [JAR]
├─ checkers.linear.LinearVisitor.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.guieffects
├─ checkers.guieffects.Effect.class - [JAR]
├─ checkers.guieffects.GUIEffectsChecker.class - [JAR]
├─ checkers.guieffects.GUIEffectsTypeFactory.class - [JAR]
├─ checkers.guieffects.GUIEffectsVisitor.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.propkey
├─ checkers.propkey.PropertyKeyAnnotatedTypeFactory.class - [JAR]
├─ checkers.propkey.PropertyKeyChecker.class - [JAR]
checkers.reflection
├─ checkers.reflection.ClassValAnnotatedTypeFactory.class - [JAR]
├─ checkers.reflection.DefaultReflectionResolver.class - [JAR]
├─ checkers.reflection.MethodValAnnotatedTypeFactory.class - [JAR]
├─ checkers.reflection.ReflectionResolutionAnnotatedTypeFactory.class - [JAR]
├─ checkers.reflection.ReflectionResolver.class - [JAR]
org.jmlspecs.annotation
├─ org.jmlspecs.annotation.Immutable.class - [JAR]
├─ org.jmlspecs.annotation.NonNull.class - [JAR]
├─ org.jmlspecs.annotation.Nullable.class - [JAR]
├─ org.jmlspecs.annotation.Pure.class - [JAR]
├─ org.jmlspecs.annotation.Readonly.class - [JAR]
checkers.oigj
├─ checkers.oigj.ImmutabilityAnnotatedTypeFactory.class - [JAR]
├─ checkers.oigj.ImmutabilitySubchecker.class - [JAR]
├─ checkers.oigj.ImmutabilityVisitor.class - [JAR]
├─ checkers.oigj.OIGJChecker.class - [JAR]
├─ checkers.oigj.OIGJMutabilityBottom.class - [JAR]
├─ checkers.oigj.OwnershipAnnotatedTypeFactory.class - [JAR]
├─ checkers.oigj.OwnershipSubchecker.class - [JAR]
├─ checkers.oigj.OwnershipVisitor.class - [JAR]
javacutils
├─ javacutils.AbstractTypeProcessor.class - [JAR]
├─ javacutils.AnnotationProvider.class - [JAR]
├─ javacutils.AnnotationUtils.class - [JAR]
├─ javacutils.BasicAnnotationProvider.class - [JAR]
├─ javacutils.BasicTypeProcessor.class - [JAR]
├─ javacutils.ElementUtils.class - [JAR]
├─ javacutils.ErrorHandler.class - [JAR]
├─ javacutils.ErrorReporter.class - [JAR]
├─ javacutils.InternalUtils.class - [JAR]
├─ javacutils.Pair.class - [JAR]
├─ javacutils.Resolver.class - [JAR]
├─ javacutils.TreeUtils.class - [JAR]
├─ javacutils.TypeAnnotationUtils.class - [JAR]
├─ javacutils.TypesUtils.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.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]
cfjapa.parser.ast.body
├─ cfjapa.parser.ast.body.AnnotationDeclaration.class - [JAR]
├─ cfjapa.parser.ast.body.AnnotationMemberDeclaration.class - [JAR]
├─ cfjapa.parser.ast.body.BodyDeclaration.class - [JAR]
├─ cfjapa.parser.ast.body.ClassOrInterfaceDeclaration.class - [JAR]
├─ cfjapa.parser.ast.body.ConstructorDeclaration.class - [JAR]
├─ cfjapa.parser.ast.body.EmptyMemberDeclaration.class - [JAR]
├─ cfjapa.parser.ast.body.EmptyTypeDeclaration.class - [JAR]
├─ cfjapa.parser.ast.body.EnumConstantDeclaration.class - [JAR]
├─ cfjapa.parser.ast.body.EnumDeclaration.class - [JAR]
├─ cfjapa.parser.ast.body.FieldDeclaration.class - [JAR]
├─ cfjapa.parser.ast.body.InitializerDeclaration.class - [JAR]
├─ cfjapa.parser.ast.body.JavadocComment.class - [JAR]
├─ cfjapa.parser.ast.body.MethodDeclaration.class - [JAR]
├─ cfjapa.parser.ast.body.ModifierSet.class - [JAR]
├─ cfjapa.parser.ast.body.Parameter.class - [JAR]
├─ cfjapa.parser.ast.body.TypeDeclaration.class - [JAR]
├─ cfjapa.parser.ast.body.VariableDeclarator.class - [JAR]
├─ cfjapa.parser.ast.body.VariableDeclaratorId.class - [JAR]
checkers.tainting
├─ checkers.tainting.TaintingChecker.class - [JAR]
javax.validation.constraints
├─ javax.validation.constraints.NotNull.class - [JAR]
javax.annotation.meta
├─ javax.annotation.meta.When.class - [JAR]
org.eclipse.jdt.annotation
├─ org.eclipse.jdt.annotation.NonNull.class - [JAR]
├─ org.eclipse.jdt.annotation.Nullable.class - [JAR]
checkers.basetype
├─ checkers.basetype.BaseAnnotatedTypeFactory.class - [JAR]
├─ checkers.basetype.BaseTypeChecker.class - [JAR]
├─ checkers.basetype.BaseTypeValidator.class - [JAR]
├─ checkers.basetype.BaseTypeVisitor.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.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]
org.netbeans.api.annotations.common
├─ org.netbeans.api.annotations.common.CheckForNull.class - [JAR]
├─ org.netbeans.api.annotations.common.NonNull.class - [JAR]
├─ org.netbeans.api.annotations.common.NullAllowed.class - [JAR]
├─ org.netbeans.api.annotations.common.NullUnknown.class - [JAR]
dataflow.cfg.playground
├─ dataflow.cfg.playground.ConstantPropagationPlayground.class - [JAR]
checkers.util.report
├─ checkers.util.report.ReportChecker.class - [JAR]
├─ checkers.util.report.ReportVisitor.class - [JAR]
checkers.interning
├─ checkers.interning.InterningAnnotatedTypeFactory.class - [JAR]
├─ checkers.interning.InterningChecker.class - [JAR]
├─ checkers.interning.InterningVisitor.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.javari
├─ checkers.javari.JavariAnnotatedTypeFactory.class - [JAR]
├─ checkers.javari.JavariChecker.class - [JAR]
├─ checkers.javari.JavariVisitor.class - [JAR]
checkers.util.debug
├─ checkers.util.debug.EmptyProcessor.class - [JAR]
├─ checkers.util.debug.SignaturePrinter.class - [JAR]
├─ checkers.util.debug.TreeDebug.class - [JAR]
├─ checkers.util.debug.TreePrinter.class - [JAR]
├─ checkers.util.debug.TypeOutputtingChecker.class - [JAR]
checkers.nullness
├─ checkers.nullness.AbstractNullnessChecker.class - [JAR]
├─ checkers.nullness.AbstractNullnessFbcChecker.class - [JAR]
├─ checkers.nullness.AbstractNullnessRawnessChecker.class - [JAR]
├─ checkers.nullness.CollectionToArrayHeuristics.class - [JAR]
├─ checkers.nullness.KeyForAnnotatedTypeFactory.class - [JAR]
├─ checkers.nullness.KeyForSubchecker.class - [JAR]
├─ checkers.nullness.KeyForVisitor.class - [JAR]
├─ checkers.nullness.MapGetHeuristics.class - [JAR]
├─ checkers.nullness.NullnessAnalysis.class - [JAR]
├─ checkers.nullness.NullnessAnnotatedTypeFactory.class - [JAR]
├─ checkers.nullness.NullnessChecker.class - [JAR]
├─ checkers.nullness.NullnessRawnessChecker.class - [JAR]
├─ checkers.nullness.NullnessStore.class - [JAR]
├─ checkers.nullness.NullnessTransfer.class - [JAR]
├─ checkers.nullness.NullnessUtils.class - [JAR]
├─ checkers.nullness.NullnessValue.class - [JAR]
├─ checkers.nullness.NullnessVisitor.class - [JAR]
├─ checkers.nullness.SystemGetPropertyHandler.class - [JAR]
checkers.propkey.quals
├─ checkers.propkey.quals.PropertyKey.class - [JAR]
├─ checkers.propkey.quals.PropertyKeyBottom.class - [JAR]
├─ checkers.propkey.quals.UnknownPropertyKey.class - [JAR]
com.sun.istack
├─ com.sun.istack.Interned.class - [JAR]
├─ com.sun.istack.NotNull.class - [JAR]
├─ com.sun.istack.Nullable.class - [JAR]
dataflow.cfg.block
├─ dataflow.cfg.block.Block.class - [JAR]
├─ dataflow.cfg.block.BlockImpl.class - [JAR]
├─ dataflow.cfg.block.ConditionalBlock.class - [JAR]
├─ dataflow.cfg.block.ConditionalBlockImpl.class - [JAR]
├─ dataflow.cfg.block.ExceptionBlock.class - [JAR]
├─ dataflow.cfg.block.ExceptionBlockImpl.class - [JAR]
├─ dataflow.cfg.block.RegularBlock.class - [JAR]
├─ dataflow.cfg.block.RegularBlockImpl.class - [JAR]
├─ dataflow.cfg.block.SingleSuccessorBlock.class - [JAR]
├─ dataflow.cfg.block.SingleSuccessorBlockImpl.class - [JAR]
├─ dataflow.cfg.block.SpecialBlock.class - [JAR]
├─ dataflow.cfg.block.SpecialBlockImpl.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]
checkers.types.visitors
├─ checkers.types.visitors.AnnotatedTypeComparer.class - [JAR]
├─ checkers.types.visitors.AnnotatedTypeMerger.class - [JAR]
├─ checkers.types.visitors.AnnotatedTypeScanner.class - [JAR]
├─ checkers.types.visitors.AnnotatedTypeVisitor.class - [JAR]
├─ checkers.types.visitors.SimpleAnnotatedTypeScanner.class - [JAR]
├─ checkers.types.visitors.SimpleAnnotatedTypeVisitor.class - [JAR]
org.jetbrains.annotations
├─ org.jetbrains.annotations.NotNull.class - [JAR]
├─ org.jetbrains.annotations.Nullable.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.i18n
├─ checkers.i18n.I18nAnnotatedTypeFactory.class - [JAR]
├─ checkers.i18n.I18nChecker.class - [JAR]
├─ checkers.i18n.I18nSubchecker.class - [JAR]
├─ checkers.i18n.LocalizableKeyAnnotatedTypeFactory.class - [JAR]
├─ checkers.i18n.LocalizableKeyChecker.class - [JAR]
checkers.units
├─ checkers.units.UnitsAnnotatedTypeFactory.class - [JAR]
├─ checkers.units.UnitsChecker.class - [JAR]
├─ checkers.units.UnitsRelations.class - [JAR]
├─ checkers.units.UnitsRelationsDefault.class - [JAR]
├─ checkers.units.UnitsTools.class - [JAR]
├─ checkers.units.UnitsVisitor.class - [JAR]
cfjapa.parser.ast
├─ cfjapa.parser.ast.BlockComment.class - [JAR]
├─ cfjapa.parser.ast.Comment.class - [JAR]
├─ cfjapa.parser.ast.CompilationUnit.class - [JAR]
├─ cfjapa.parser.ast.ImportDeclaration.class - [JAR]
├─ cfjapa.parser.ast.IndexUnit.class - [JAR]
├─ cfjapa.parser.ast.LineComment.class - [JAR]
├─ cfjapa.parser.ast.Node.class - [JAR]
├─ cfjapa.parser.ast.PackageDeclaration.class - [JAR]
├─ cfjapa.parser.ast.TypeParameter.class - [JAR]
checkers.source
├─ checkers.source.AggregateChecker.class - [JAR]
├─ checkers.source.AggregateVisitor.class - [JAR]
├─ checkers.source.Result.class - [JAR]
├─ checkers.source.SourceChecker.class - [JAR]
├─ checkers.source.SourceVisitor.class - [JAR]
├─ checkers.source.SupportedLintOptions.class - [JAR]
├─ checkers.source.SupportedOptions.class - [JAR]
├─ checkers.source.SuppressWarningsKeys.class - [JAR]
dataflow.constantpropagation
├─ dataflow.constantpropagation.Constant.class - [JAR]
├─ dataflow.constantpropagation.ConstantPropagationStore.class - [JAR]
├─ dataflow.constantpropagation.ConstantPropagationTransfer.class - [JAR]
checkers.regex
├─ checkers.regex.RegexAnalysis.class - [JAR]
├─ checkers.regex.RegexAnnotatedTypeFactory.class - [JAR]
├─ checkers.regex.RegexChecker.class - [JAR]
├─ checkers.regex.RegexTransfer.class - [JAR]
├─ checkers.regex.RegexUtil.class - [JAR]
├─ checkers.regex.RegexVisitor.class - [JAR]
checkers.tainting.quals
├─ checkers.tainting.quals.PolyTainted.class - [JAR]
├─ checkers.tainting.quals.Tainted.class - [JAR]
├─ checkers.tainting.quals.Untainted.class - [JAR]
edu.umd.cs.findbugs.annotations
├─ edu.umd.cs.findbugs.annotations.CheckForNull.class - [JAR]
├─ edu.umd.cs.findbugs.annotations.NonNull.class - [JAR]
├─ edu.umd.cs.findbugs.annotations.Nullable.class - [JAR]
├─ edu.umd.cs.findbugs.annotations.UnknownNullness.class - [JAR]
checkers.flow
├─ checkers.flow.CFAbstractAnalysis.class - [JAR]
├─ checkers.flow.CFAbstractStore.class - [JAR]
├─ checkers.flow.CFAbstractTransfer.class - [JAR]
├─ checkers.flow.CFAbstractValue.class - [JAR]
├─ checkers.flow.CFAnalysis.class - [JAR]
├─ checkers.flow.CFCFGBuilder.class - [JAR]
├─ checkers.flow.CFStore.class - [JAR]
├─ checkers.flow.CFTransfer.class - [JAR]
├─ checkers.flow.CFTreeBuilder.class - [JAR]
├─ checkers.flow.CFValue.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.lock
├─ checkers.lock.LockAnnotatedTypeFactory.class - [JAR]
├─ checkers.lock.LockChecker.class - [JAR]
├─ checkers.lock.LockVisitor.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]
cfjapa.parser.ast.expr
├─ cfjapa.parser.ast.expr.AnnotationExpr.class - [JAR]
├─ cfjapa.parser.ast.expr.ArrayAccessExpr.class - [JAR]
├─ cfjapa.parser.ast.expr.ArrayCreationExpr.class - [JAR]
├─ cfjapa.parser.ast.expr.ArrayInitializerExpr.class - [JAR]
├─ cfjapa.parser.ast.expr.AssignExpr.class - [JAR]
├─ cfjapa.parser.ast.expr.BinaryExpr.class - [JAR]
├─ cfjapa.parser.ast.expr.BooleanLiteralExpr.class - [JAR]
├─ cfjapa.parser.ast.expr.CastExpr.class - [JAR]
├─ cfjapa.parser.ast.expr.CharLiteralExpr.class - [JAR]
├─ cfjapa.parser.ast.expr.ClassExpr.class - [JAR]
├─ cfjapa.parser.ast.expr.ConditionalExpr.class - [JAR]
├─ cfjapa.parser.ast.expr.DoubleLiteralExpr.class - [JAR]
├─ cfjapa.parser.ast.expr.EnclosedExpr.class - [JAR]
├─ cfjapa.parser.ast.expr.Expression.class - [JAR]
├─ cfjapa.parser.ast.expr.FieldAccessExpr.class - [JAR]
├─ cfjapa.parser.ast.expr.InstanceOfExpr.class - [JAR]
├─ cfjapa.parser.ast.expr.IntegerLiteralExpr.class - [JAR]
├─ cfjapa.parser.ast.expr.IntegerLiteralMinValueExpr.class - [JAR]
├─ cfjapa.parser.ast.expr.LiteralExpr.class - [JAR]
├─ cfjapa.parser.ast.expr.LongLiteralExpr.class - [JAR]
├─ cfjapa.parser.ast.expr.LongLiteralMinValueExpr.class - [JAR]
├─ cfjapa.parser.ast.expr.MarkerAnnotationExpr.class - [JAR]
├─ cfjapa.parser.ast.expr.MemberValuePair.class - [JAR]
├─ cfjapa.parser.ast.expr.MethodCallExpr.class - [JAR]
├─ cfjapa.parser.ast.expr.NameExpr.class - [JAR]
├─ cfjapa.parser.ast.expr.NormalAnnotationExpr.class - [JAR]
├─ cfjapa.parser.ast.expr.NullLiteralExpr.class - [JAR]
├─ cfjapa.parser.ast.expr.ObjectCreationExpr.class - [JAR]
├─ cfjapa.parser.ast.expr.QualifiedNameExpr.class - [JAR]
├─ cfjapa.parser.ast.expr.SingleMemberAnnotationExpr.class - [JAR]
├─ cfjapa.parser.ast.expr.StringLiteralExpr.class - [JAR]
├─ cfjapa.parser.ast.expr.SuperExpr.class - [JAR]
├─ cfjapa.parser.ast.expr.ThisExpr.class - [JAR]
├─ cfjapa.parser.ast.expr.UnaryExpr.class - [JAR]
├─ cfjapa.parser.ast.expr.VariableDeclarationExpr.class - [JAR]
checkers.fenum
├─ checkers.fenum.FenumAnnotatedTypeFactory.class - [JAR]
├─ checkers.fenum.FenumChecker.class - [JAR]
├─ checkers.fenum.FenumVisitor.class - [JAR]
cfjapa.parser
├─ cfjapa.parser.ASTHelper.class - [JAR]
├─ cfjapa.parser.ASTParser.class - [JAR]
├─ cfjapa.parser.ASTParserConstants.class - [JAR]
├─ cfjapa.parser.ASTParserTokenManager.class - [JAR]
├─ cfjapa.parser.JavaCharStream.class - [JAR]
├─ cfjapa.parser.JavaParser.class - [JAR]
├─ cfjapa.parser.ParseException.class - [JAR]
├─ cfjapa.parser.Token.class - [JAR]
├─ cfjapa.parser.TokenMgrError.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.util.test
├─ checkers.util.test.CheckerParameterized.class - [JAR]
├─ checkers.util.test.CheckerTest.class - [JAR]
├─ checkers.util.test.ParameterizedCheckerTest.class - [JAR]
├─ checkers.util.test.TestInput.class - [JAR]
├─ checkers.util.test.TestRun.class - [JAR]
├─ checkers.util.test.TestUtilities.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]
dataflow.cfg
├─ dataflow.cfg.CFGBuilder.class - [JAR]
├─ dataflow.cfg.CFGDOTVisualizer.class - [JAR]
├─ dataflow.cfg.ControlFlowGraph.class - [JAR]
├─ dataflow.cfg.JavaSource2CFGDOT.class - [JAR]
├─ dataflow.cfg.UnderlyingAST.class - [JAR]
checkers.types
├─ checkers.types.AnnotatedTypeFactory.class - [JAR]
├─ checkers.types.AnnotatedTypeMirror.class - [JAR]
├─ checkers.types.GeneralAnnotatedTypeFactory.class - [JAR]
├─ checkers.types.GeneralQualifierHierarchy.class - [JAR]
├─ checkers.types.GenericAnnotatedTypeFactory.class - [JAR]
├─ checkers.types.QualifierHierarchy.class - [JAR]
├─ checkers.types.TreeAnnotator.class - [JAR]
├─ checkers.types.TypeAnnotator.class - [JAR]
├─ checkers.types.TypeFromElement.class - [JAR]
├─ checkers.types.TypeFromTree.class - [JAR]
├─ checkers.types.TypeHierarchy.class - [JAR]
├─ checkers.types.TypesIntoElements.class - [JAR]
├─ checkers.types.VisitorState.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]
cfjapa.parser.ast.visitor
├─ cfjapa.parser.ast.visitor.DumpVisitor.class - [JAR]
├─ cfjapa.parser.ast.visitor.EqualsVisitor.class - [JAR]
├─ cfjapa.parser.ast.visitor.GenericVisitor.class - [JAR]
├─ cfjapa.parser.ast.visitor.GenericVisitorAdapter.class - [JAR]
├─ cfjapa.parser.ast.visitor.ModifierVisitorAdapter.class - [JAR]
├─ cfjapa.parser.ast.visitor.SimpleVoidVisitor.class - [JAR]
├─ cfjapa.parser.ast.visitor.VoidVisitor.class - [JAR]
├─ cfjapa.parser.ast.visitor.VoidVisitorAdapter.class - [JAR]
checkers.value
├─ checkers.value.Operators.class - [JAR]
├─ checkers.value.ValueAnnotatedTypeFactory.class - [JAR]
├─ checkers.value.ValueChecker.class - [JAR]
├─ checkers.value.ValueVisitor.class - [JAR]
dataflow.analysis
├─ dataflow.analysis.AbstractValue.class - [JAR]
├─ dataflow.analysis.Analysis.class - [JAR]
├─ dataflow.analysis.AnalysisResult.class - [JAR]
├─ dataflow.analysis.ConditionalTransferResult.class - [JAR]
├─ dataflow.analysis.FlowExpressions.class - [JAR]
├─ dataflow.analysis.RegularTransferResult.class - [JAR]
├─ dataflow.analysis.Store.class - [JAR]
├─ dataflow.analysis.TransferFunction.class - [JAR]
├─ dataflow.analysis.TransferInput.class - [JAR]
├─ dataflow.analysis.TransferResult.class - [JAR]
cfjapa.parser.ast.stmt
├─ cfjapa.parser.ast.stmt.AssertStmt.class - [JAR]
├─ cfjapa.parser.ast.stmt.BlockStmt.class - [JAR]
├─ cfjapa.parser.ast.stmt.BreakStmt.class - [JAR]
├─ cfjapa.parser.ast.stmt.CatchClause.class - [JAR]
├─ cfjapa.parser.ast.stmt.ContinueStmt.class - [JAR]
├─ cfjapa.parser.ast.stmt.DoStmt.class - [JAR]
├─ cfjapa.parser.ast.stmt.EmptyStmt.class - [JAR]
├─ cfjapa.parser.ast.stmt.ExplicitConstructorInvocationStmt.class - [JAR]
├─ cfjapa.parser.ast.stmt.ExpressionStmt.class - [JAR]
├─ cfjapa.parser.ast.stmt.ForStmt.class - [JAR]
├─ cfjapa.parser.ast.stmt.ForeachStmt.class - [JAR]
├─ cfjapa.parser.ast.stmt.IfStmt.class - [JAR]
├─ cfjapa.parser.ast.stmt.LabeledStmt.class - [JAR]
├─ cfjapa.parser.ast.stmt.ReturnStmt.class - [JAR]
├─ cfjapa.parser.ast.stmt.Statement.class - [JAR]
├─ cfjapa.parser.ast.stmt.SwitchEntryStmt.class - [JAR]
├─ cfjapa.parser.ast.stmt.SwitchStmt.class - [JAR]
├─ cfjapa.parser.ast.stmt.SynchronizedStmt.class - [JAR]
├─ cfjapa.parser.ast.stmt.ThrowStmt.class - [JAR]
├─ cfjapa.parser.ast.stmt.TryStmt.class - [JAR]
├─ cfjapa.parser.ast.stmt.TypeDeclarationStmt.class - [JAR]
├─ cfjapa.parser.ast.stmt.WhileStmt.class - [JAR]
checkers.initialization
├─ checkers.initialization.InitializationAnnotatedTypeFactory.class - [JAR]
├─ checkers.initialization.InitializationChecker.class - [JAR]
├─ checkers.initialization.InitializationStore.class - [JAR]
├─ checkers.initialization.InitializationTransfer.class - [JAR]
├─ checkers.initialization.InitializationVisitor.class - [JAR]
checkers.util
├─ checkers.util.AnnotatedTypes.class - [JAR]
├─ checkers.util.AnnotationBuilder.class - [JAR]
├─ checkers.util.CheckerDevelMain.class - [JAR]
├─ checkers.util.CheckerMain.class - [JAR]
├─ checkers.util.ContractsUtils.class - [JAR]
├─ checkers.util.DependentTypes.class - [JAR]
├─ checkers.util.ExecUtil.class - [JAR]
├─ checkers.util.FlowExpressionParseUtil.class - [JAR]
├─ checkers.util.GraphQualifierHierarchy.class - [JAR]
├─ checkers.util.Heuristics.class - [JAR]
├─ checkers.util.MultiGraphQualifierHierarchy.class - [JAR]
├─ checkers.util.PluginUtil.class - [JAR]
├─ checkers.util.PurityChecker.class - [JAR]
├─ checkers.util.QualifierDefaults.class - [JAR]
├─ checkers.util.QualifierPolymorphism.class - [JAR]
├─ checkers.util.Resolver2.class - [JAR]
checkers.subtyping
├─ checkers.subtyping.SubtypingAnnotatedTypeFactory.class - [JAR]
├─ checkers.subtyping.SubtypingChecker.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]
