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 framework-3.0.0-b2.jar file.
Once you open a JAR file, all the java classes in the JAR file will be displayed.
org.checkerframework.common.wholeprograminference
├─ org.checkerframework.common.wholeprograminference.AnnotationConverter.class - [JAR]
├─ org.checkerframework.common.wholeprograminference.WholeProgramInference.class - [JAR]
├─ org.checkerframework.common.wholeprograminference.WholeProgramInferenceScenes.class - [JAR]
├─ org.checkerframework.common.wholeprograminference.WholeProgramInferenceScenesHelper.class - [JAR]
org.checkerframework.framework.util
├─ org.checkerframework.framework.util.AnnotatedTypes.class - [JAR]
├─ org.checkerframework.framework.util.AnnotationFormatter.class - [JAR]
├─ org.checkerframework.framework.util.AnnotationMirrorMap.class - [JAR]
├─ org.checkerframework.framework.util.AnnotationMirrorSet.class - [JAR]
├─ org.checkerframework.framework.util.AtmCombo.class - [JAR]
├─ org.checkerframework.framework.util.AtmKind.class - [JAR]
├─ org.checkerframework.framework.util.AtmLubVisitor.class - [JAR]
├─ org.checkerframework.framework.util.BaseContext.class - [JAR]
├─ org.checkerframework.framework.util.CFContext.class - [JAR]
├─ org.checkerframework.framework.util.CheckerDevelMain.class - [JAR]
├─ org.checkerframework.framework.util.CheckerMain.class - [JAR]
├─ org.checkerframework.framework.util.ContractsUtils.class - [JAR]
├─ org.checkerframework.framework.util.DefaultAnnotationFormatter.class - [JAR]
├─ org.checkerframework.framework.util.ExecUtil.class - [JAR]
├─ org.checkerframework.framework.util.FieldInvariants.class - [JAR]
├─ org.checkerframework.framework.util.FlowExpressionParseUtil.class - [JAR]
├─ org.checkerframework.framework.util.GraphQualifierHierarchy.class - [JAR]
├─ org.checkerframework.framework.util.Heuristics.class - [JAR]
├─ org.checkerframework.framework.util.MultiGraphQualifierHierarchy.class - [JAR]
├─ org.checkerframework.framework.util.OptionConfiguration.class - [JAR]
├─ org.checkerframework.framework.util.PurityAnnotatedTypeFactory.class - [JAR]
├─ org.checkerframework.framework.util.PurityChecker.class - [JAR]
├─ org.checkerframework.framework.util.PurityUnqualified.class - [JAR]
├─ org.checkerframework.framework.util.TreePathCacher.class - [JAR]
├─ org.checkerframework.framework.util.TypeArgumentMapper.class - [JAR]
org.checkerframework.framework.util.dependenttypes
├─ org.checkerframework.framework.util.dependenttypes.DependentTypesError.class - [JAR]
├─ org.checkerframework.framework.util.dependenttypes.DependentTypesHelper.class - [JAR]
├─ org.checkerframework.framework.util.dependenttypes.DependentTypesTreeAnnotator.class - [JAR]
org.checkerframework.common.util.count
├─ org.checkerframework.common.util.count.AnnotationStatistics.class - [JAR]
├─ org.checkerframework.common.util.count.JavaCodeStatistics.class - [JAR]
org.checkerframework.common.subtyping
├─ org.checkerframework.common.subtyping.SubtypingAnnotatedTypeFactory.class - [JAR]
├─ org.checkerframework.common.subtyping.SubtypingAnnotationClassLoader.class - [JAR]
├─ org.checkerframework.common.subtyping.SubtypingChecker.class - [JAR]
org.checkerframework.framework.type
├─ org.checkerframework.framework.type.AnnotatedTypeCopier.class - [JAR]
├─ org.checkerframework.framework.type.AnnotatedTypeFactory.class - [JAR]
├─ org.checkerframework.framework.type.AnnotatedTypeFormatter.class - [JAR]
├─ org.checkerframework.framework.type.AnnotatedTypeMirror.class - [JAR]
├─ org.checkerframework.framework.type.AnnotatedTypeParameterBounds.class - [JAR]
├─ org.checkerframework.framework.type.AnnotatedTypeReplacer.class - [JAR]
├─ org.checkerframework.framework.type.AnnotationClassLoader.class - [JAR]
├─ org.checkerframework.framework.type.AsSuperVisitor.class - [JAR]
├─ org.checkerframework.framework.type.BoundsInitializer.class - [JAR]
├─ org.checkerframework.framework.type.DeclarationsIntoElements.class - [JAR]
├─ org.checkerframework.framework.type.DefaultAnnotatedTypeFormatter.class - [JAR]
├─ org.checkerframework.framework.type.DefaultInferredTypesApplier.class - [JAR]
├─ org.checkerframework.framework.type.DefaultTypeHierarchy.class - [JAR]
├─ org.checkerframework.framework.type.ElementAnnotationApplier.class - [JAR]
├─ org.checkerframework.framework.type.EqualityAtmComparer.class - [JAR]
├─ org.checkerframework.framework.type.GenericAnnotatedTypeFactory.class - [JAR]
├─ org.checkerframework.framework.type.HashcodeAtmVisitor.class - [JAR]
├─ org.checkerframework.framework.type.QualifierHierarchy.class - [JAR]
├─ org.checkerframework.framework.type.StructuralEqualityComparer.class - [JAR]
├─ org.checkerframework.framework.type.SubtypeVisitHistory.class - [JAR]
├─ org.checkerframework.framework.type.SupertypeFinder.class - [JAR]
├─ org.checkerframework.framework.type.SyntheticArrays.class - [JAR]
├─ org.checkerframework.framework.type.TypeFromClassVisitor.class - [JAR]
├─ org.checkerframework.framework.type.TypeFromExpressionVisitor.class - [JAR]
├─ org.checkerframework.framework.type.TypeFromMemberVisitor.class - [JAR]
├─ org.checkerframework.framework.type.TypeFromTree.class - [JAR]
├─ org.checkerframework.framework.type.TypeFromTreeVisitor.class - [JAR]
├─ org.checkerframework.framework.type.TypeFromTypeTreeVisitor.class - [JAR]
├─ org.checkerframework.framework.type.TypeHierarchy.class - [JAR]
├─ org.checkerframework.framework.type.TypeVariableSubstitutor.class - [JAR]
├─ org.checkerframework.framework.type.TypesIntoElements.class - [JAR]
├─ org.checkerframework.framework.type.VisitorState.class - [JAR]
org.checkerframework.common.util.report.qual
├─ org.checkerframework.common.util.report.qual.ReportCall.class - [JAR]
├─ org.checkerframework.common.util.report.qual.ReportCreation.class - [JAR]
├─ org.checkerframework.common.util.report.qual.ReportInherit.class - [JAR]
├─ org.checkerframework.common.util.report.qual.ReportOverride.class - [JAR]
├─ org.checkerframework.common.util.report.qual.ReportReadWrite.class - [JAR]
├─ org.checkerframework.common.util.report.qual.ReportUnqualified.class - [JAR]
├─ org.checkerframework.common.util.report.qual.ReportUse.class - [JAR]
├─ org.checkerframework.common.util.report.qual.ReportWrite.class - [JAR]
org.checkerframework.common.util.report
├─ org.checkerframework.common.util.report.ReportChecker.class - [JAR]
├─ org.checkerframework.common.util.report.ReportVisitor.class - [JAR]
org.checkerframework.framework.type.visitor
├─ org.checkerframework.framework.type.visitor.AbstractAtmComboVisitor.class - [JAR]
├─ org.checkerframework.framework.type.visitor.AnnotatedTypeComparer.class - [JAR]
├─ org.checkerframework.framework.type.visitor.AnnotatedTypeMerger.class - [JAR]
├─ org.checkerframework.framework.type.visitor.AnnotatedTypeScanner.class - [JAR]
├─ org.checkerframework.framework.type.visitor.AnnotatedTypeVisitor.class - [JAR]
├─ org.checkerframework.framework.type.visitor.AtmComboVisitor.class - [JAR]
├─ org.checkerframework.framework.type.visitor.EquivalentAtmComboScanner.class - [JAR]
├─ org.checkerframework.framework.type.visitor.SimpleAnnotatedTypeScanner.class - [JAR]
├─ org.checkerframework.framework.type.visitor.SimpleAnnotatedTypeVisitor.class - [JAR]
org.checkerframework.common.subtyping.qual
├─ org.checkerframework.common.subtyping.qual.Bottom.class - [JAR]
├─ org.checkerframework.common.subtyping.qual.Unqualified.class - [JAR]
org.checkerframework.framework.util.typeinference
├─ org.checkerframework.framework.util.typeinference.DefaultTypeArgumentInference.class - [JAR]
├─ org.checkerframework.framework.util.typeinference.GlbUtil.class - [JAR]
├─ org.checkerframework.framework.util.typeinference.TypeArgInferenceUtil.class - [JAR]
├─ org.checkerframework.framework.util.typeinference.TypeArgumentInference.class - [JAR]
org.checkerframework.framework.qual
├─ org.checkerframework.framework.qual.AnnotatedFor.class - [JAR]
├─ org.checkerframework.framework.qual.ConditionalPostconditionAnnotation.class - [JAR]
├─ org.checkerframework.framework.qual.Covariant.class - [JAR]
├─ org.checkerframework.framework.qual.DefaultFor.class - [JAR]
├─ org.checkerframework.framework.qual.DefaultInUncheckedCodeFor.class - [JAR]
├─ org.checkerframework.framework.qual.DefaultQualifier.class - [JAR]
├─ org.checkerframework.framework.qual.DefaultQualifierInHierarchy.class - [JAR]
├─ org.checkerframework.framework.qual.DefaultQualifierInHierarchyInUncheckedCode.class - [JAR]
├─ org.checkerframework.framework.qual.DefaultQualifiers.class - [JAR]
├─ org.checkerframework.framework.qual.EnsuresQualifier.class - [JAR]
├─ org.checkerframework.framework.qual.EnsuresQualifierIf.class - [JAR]
├─ org.checkerframework.framework.qual.EnsuresQualifiers.class - [JAR]
├─ org.checkerframework.framework.qual.EnsuresQualifiersIf.class - [JAR]
├─ org.checkerframework.framework.qual.FieldInvariant.class - [JAR]
├─ org.checkerframework.framework.qual.FromByteCode.class - [JAR]
├─ org.checkerframework.framework.qual.FromStubFile.class - [JAR]
├─ org.checkerframework.framework.qual.IgnoreInWholeProgramInference.class - [JAR]
├─ org.checkerframework.framework.qual.ImplicitFor.class - [JAR]
├─ org.checkerframework.framework.qual.InheritedAnnotation.class - [JAR]
├─ org.checkerframework.framework.qual.InvisibleQualifier.class - [JAR]
├─ org.checkerframework.framework.qual.JavaExpression.class - [JAR]
├─ org.checkerframework.framework.qual.LiteralKind.class - [JAR]
├─ org.checkerframework.framework.qual.MonotonicQualifier.class - [JAR]
├─ org.checkerframework.framework.qual.PolyAll.class - [JAR]
├─ org.checkerframework.framework.qual.PolymorphicQualifier.class - [JAR]
├─ org.checkerframework.framework.qual.PostconditionAnnotation.class - [JAR]
├─ org.checkerframework.framework.qual.PreconditionAnnotation.class - [JAR]
├─ org.checkerframework.framework.qual.QualifierArgument.class - [JAR]
├─ org.checkerframework.framework.qual.RelevantJavaTypes.class - [JAR]
├─ org.checkerframework.framework.qual.RequiresQualifier.class - [JAR]
├─ org.checkerframework.framework.qual.RequiresQualifiers.class - [JAR]
├─ org.checkerframework.framework.qual.StubFiles.class - [JAR]
├─ org.checkerframework.framework.qual.SubtypeOf.class - [JAR]
├─ org.checkerframework.framework.qual.TargetLocations.class - [JAR]
├─ org.checkerframework.framework.qual.TypeKind.class - [JAR]
├─ org.checkerframework.framework.qual.TypeUseLocation.class - [JAR]
├─ org.checkerframework.framework.qual.Unused.class - [JAR]
org.checkerframework.common.util.debug
├─ org.checkerframework.common.util.debug.EmptyProcessor.class - [JAR]
├─ org.checkerframework.common.util.debug.SignaturePrinter.class - [JAR]
├─ org.checkerframework.common.util.debug.TreeDebug.class - [JAR]
├─ org.checkerframework.common.util.debug.TreePrinter.class - [JAR]
├─ org.checkerframework.common.util.debug.TypeOutputtingChecker.class - [JAR]
org.checkerframework.framework.util.element
├─ org.checkerframework.framework.util.element.ClassTypeParamApplier.class - [JAR]
├─ org.checkerframework.framework.util.element.ElementAnnotationUtil.class - [JAR]
├─ org.checkerframework.framework.util.element.IndexedElementAnnotationApplier.class - [JAR]
├─ org.checkerframework.framework.util.element.MethodApplier.class - [JAR]
├─ org.checkerframework.framework.util.element.MethodTypeParamApplier.class - [JAR]
├─ org.checkerframework.framework.util.element.ParamApplier.class - [JAR]
├─ org.checkerframework.framework.util.element.SuperTypeApplier.class - [JAR]
├─ org.checkerframework.framework.util.element.TargetedElementAnnotationApplier.class - [JAR]
├─ org.checkerframework.framework.util.element.TypeDeclarationApplier.class - [JAR]
├─ org.checkerframework.framework.util.element.TypeParamElementAnnotationApplier.class - [JAR]
├─ org.checkerframework.framework.util.element.TypeVarUseApplier.class - [JAR]
├─ org.checkerframework.framework.util.element.VariableApplier.class - [JAR]
org.checkerframework.common.util
├─ org.checkerframework.common.util.TypeVisualizer.class - [JAR]
org.jmlspecs.annotation
├─ org.jmlspecs.annotation.Pure.class - [JAR]
org.checkerframework.framework.util.typeinference.solver
├─ org.checkerframework.framework.util.typeinference.solver.ConstraintMap.class - [JAR]
├─ org.checkerframework.framework.util.typeinference.solver.ConstraintMapBuilder.class - [JAR]
├─ org.checkerframework.framework.util.typeinference.solver.EqualitiesSolver.class - [JAR]
├─ org.checkerframework.framework.util.typeinference.solver.InferenceResult.class - [JAR]
├─ org.checkerframework.framework.util.typeinference.solver.InferredValue.class - [JAR]
├─ org.checkerframework.framework.util.typeinference.solver.SubtypesSolver.class - [JAR]
├─ org.checkerframework.framework.util.typeinference.solver.SupertypesSolver.class - [JAR]
├─ org.checkerframework.framework.util.typeinference.solver.TargetConstraints.class - [JAR]
org.checkerframework.framework.type.typeannotator
├─ org.checkerframework.framework.type.typeannotator.ImplicitsTypeAnnotator.class - [JAR]
├─ org.checkerframework.framework.type.typeannotator.IrrelevantTypeAnnotator.class - [JAR]
├─ org.checkerframework.framework.type.typeannotator.ListTypeAnnotator.class - [JAR]
├─ org.checkerframework.framework.type.typeannotator.PropagationTypeAnnotator.class - [JAR]
├─ org.checkerframework.framework.type.typeannotator.TypeAnnotator.class - [JAR]
org.checkerframework.common.reflection.qual
├─ org.checkerframework.common.reflection.qual.ClassBound.class - [JAR]
├─ org.checkerframework.common.reflection.qual.ClassVal.class - [JAR]
├─ org.checkerframework.common.reflection.qual.ClassValBottom.class - [JAR]
├─ org.checkerframework.common.reflection.qual.ForName.class - [JAR]
├─ org.checkerframework.common.reflection.qual.GetClass.class - [JAR]
├─ org.checkerframework.common.reflection.qual.GetConstructor.class - [JAR]
├─ org.checkerframework.common.reflection.qual.GetMethod.class - [JAR]
├─ org.checkerframework.common.reflection.qual.Invoke.class - [JAR]
├─ org.checkerframework.common.reflection.qual.MethodVal.class - [JAR]
├─ org.checkerframework.common.reflection.qual.MethodValBottom.class - [JAR]
├─ org.checkerframework.common.reflection.qual.NewInstance.class - [JAR]
├─ org.checkerframework.common.reflection.qual.UnknownClass.class - [JAR]
├─ org.checkerframework.common.reflection.qual.UnknownMethod.class - [JAR]
org.checkerframework.common.value
├─ org.checkerframework.common.value.RangeOrListOfValues.class - [JAR]
├─ org.checkerframework.common.value.ReflectiveEvaluator.class - [JAR]
├─ org.checkerframework.common.value.ValueAnnotatedTypeFactory.class - [JAR]
├─ org.checkerframework.common.value.ValueChecker.class - [JAR]
├─ org.checkerframework.common.value.ValueCheckerUtils.class - [JAR]
├─ org.checkerframework.common.value.ValueMethodIdentifier.class - [JAR]
├─ org.checkerframework.common.value.ValueTransfer.class - [JAR]
├─ org.checkerframework.common.value.ValueVisitor.class - [JAR]
org.checkerframework.framework.util.typeinference.constraint
├─ org.checkerframework.framework.util.typeinference.constraint.A2F.class - [JAR]
├─ org.checkerframework.framework.util.typeinference.constraint.A2FReducer.class - [JAR]
├─ org.checkerframework.framework.util.typeinference.constraint.AFConstraint.class - [JAR]
├─ org.checkerframework.framework.util.typeinference.constraint.AFReducer.class - [JAR]
├─ org.checkerframework.framework.util.typeinference.constraint.AFReducingVisitor.class - [JAR]
├─ org.checkerframework.framework.util.typeinference.constraint.F2A.class - [JAR]
├─ org.checkerframework.framework.util.typeinference.constraint.F2AReducer.class - [JAR]
├─ org.checkerframework.framework.util.typeinference.constraint.FIsA.class - [JAR]
├─ org.checkerframework.framework.util.typeinference.constraint.FIsAReducer.class - [JAR]
├─ org.checkerframework.framework.util.typeinference.constraint.TIsU.class - [JAR]
├─ org.checkerframework.framework.util.typeinference.constraint.TSubU.class - [JAR]
├─ org.checkerframework.framework.util.typeinference.constraint.TSuperU.class - [JAR]
├─ org.checkerframework.framework.util.typeinference.constraint.TUConstraint.class - [JAR]
org.checkerframework.common.value.util
├─ org.checkerframework.common.value.util.ByteMath.class - [JAR]
├─ org.checkerframework.common.value.util.DoubleMath.class - [JAR]
├─ org.checkerframework.common.value.util.FloatMath.class - [JAR]
├─ org.checkerframework.common.value.util.IntegerMath.class - [JAR]
├─ org.checkerframework.common.value.util.LongMath.class - [JAR]
├─ org.checkerframework.common.value.util.NumberMath.class - [JAR]
├─ org.checkerframework.common.value.util.NumberUtils.class - [JAR]
├─ org.checkerframework.common.value.util.Range.class - [JAR]
├─ org.checkerframework.common.value.util.ShortMath.class - [JAR]
org.checkerframework.common.aliasing
├─ org.checkerframework.common.aliasing.AliasingAnnotatedTypeFactory.class - [JAR]
├─ org.checkerframework.common.aliasing.AliasingChecker.class - [JAR]
├─ org.checkerframework.common.aliasing.AliasingTransfer.class - [JAR]
├─ org.checkerframework.common.aliasing.AliasingVisitor.class - [JAR]
org.checkerframework.common.reflection
├─ org.checkerframework.common.reflection.ClassNameValidator.class - [JAR]
├─ org.checkerframework.common.reflection.ClassValAnnotatedTypeFactory.class - [JAR]
├─ org.checkerframework.common.reflection.ClassValChecker.class - [JAR]
├─ org.checkerframework.common.reflection.ClassValVisitor.class - [JAR]
├─ org.checkerframework.common.reflection.DefaultReflectionResolver.class - [JAR]
├─ org.checkerframework.common.reflection.MethodNameValidator.class - [JAR]
├─ org.checkerframework.common.reflection.MethodSignature.class - [JAR]
├─ org.checkerframework.common.reflection.MethodValAnnotatedTypeFactory.class - [JAR]
├─ org.checkerframework.common.reflection.MethodValChecker.class - [JAR]
├─ org.checkerframework.common.reflection.MethodValVisitor.class - [JAR]
├─ org.checkerframework.common.reflection.ReflectionResolver.class - [JAR]
org.checkerframework.framework.source
├─ org.checkerframework.framework.source.AggregateChecker.class - [JAR]
├─ org.checkerframework.framework.source.Result.class - [JAR]
├─ org.checkerframework.framework.source.SourceChecker.class - [JAR]
├─ org.checkerframework.framework.source.SourceVisitor.class - [JAR]
├─ org.checkerframework.framework.source.SupportedLintOptions.class - [JAR]
├─ org.checkerframework.framework.source.SupportedOptions.class - [JAR]
├─ org.checkerframework.framework.source.SuppressWarningsKeys.class - [JAR]
org.checkerframework.framework.type.poly
├─ org.checkerframework.framework.type.poly.AbstractQualifierPolymorphism.class - [JAR]
├─ org.checkerframework.framework.type.poly.DefaultQualifierPolymorphism.class - [JAR]
├─ org.checkerframework.framework.type.poly.QualifierPolymorphism.class - [JAR]
org.checkerframework.framework.flow
├─ org.checkerframework.framework.flow.CFAbstractAnalysis.class - [JAR]
├─ org.checkerframework.framework.flow.CFAbstractStore.class - [JAR]
├─ org.checkerframework.framework.flow.CFAbstractTransfer.class - [JAR]
├─ org.checkerframework.framework.flow.CFAbstractValue.class - [JAR]
├─ org.checkerframework.framework.flow.CFAnalysis.class - [JAR]
├─ org.checkerframework.framework.flow.CFCFGBuilder.class - [JAR]
├─ org.checkerframework.framework.flow.CFStore.class - [JAR]
├─ org.checkerframework.framework.flow.CFTransfer.class - [JAR]
├─ org.checkerframework.framework.flow.CFTreeBuilder.class - [JAR]
├─ org.checkerframework.framework.flow.CFValue.class - [JAR]
org.checkerframework.common.aliasing.qual
├─ org.checkerframework.common.aliasing.qual.LeakedToResult.class - [JAR]
├─ org.checkerframework.common.aliasing.qual.MaybeAliased.class - [JAR]
├─ org.checkerframework.common.aliasing.qual.MaybeLeaked.class - [JAR]
├─ org.checkerframework.common.aliasing.qual.NonLeaked.class - [JAR]
├─ org.checkerframework.common.aliasing.qual.Unique.class - [JAR]
org.checkerframework.framework.util.defaults
├─ org.checkerframework.framework.util.defaults.Default.class - [JAR]
├─ org.checkerframework.framework.util.defaults.DefaultSet.class - [JAR]
├─ org.checkerframework.framework.util.defaults.QualifierDefaults.class - [JAR]
org.checkerframework.common.value.qual
├─ org.checkerframework.common.value.qual.ArrayLen.class - [JAR]
├─ org.checkerframework.common.value.qual.ArrayLenRange.class - [JAR]
├─ org.checkerframework.common.value.qual.BoolVal.class - [JAR]
├─ org.checkerframework.common.value.qual.BottomVal.class - [JAR]
├─ org.checkerframework.common.value.qual.DoubleVal.class - [JAR]
├─ org.checkerframework.common.value.qual.EnsuresMinLenIf.class - [JAR]
├─ org.checkerframework.common.value.qual.IntRange.class - [JAR]
├─ org.checkerframework.common.value.qual.IntRangeFromGTENegativeOne.class - [JAR]
├─ org.checkerframework.common.value.qual.IntRangeFromNonNegative.class - [JAR]
├─ org.checkerframework.common.value.qual.IntRangeFromPositive.class - [JAR]
├─ org.checkerframework.common.value.qual.IntVal.class - [JAR]
├─ org.checkerframework.common.value.qual.MinLen.class - [JAR]
├─ org.checkerframework.common.value.qual.MinLenFieldInvariant.class - [JAR]
├─ org.checkerframework.common.value.qual.PolyValue.class - [JAR]
├─ org.checkerframework.common.value.qual.StaticallyExecutable.class - [JAR]
├─ org.checkerframework.common.value.qual.StringVal.class - [JAR]
├─ org.checkerframework.common.value.qual.UnknownVal.class - [JAR]
org.checkerframework.common.basetype
├─ org.checkerframework.common.basetype.BaseAnnotatedTypeFactory.class - [JAR]
├─ org.checkerframework.common.basetype.BaseTypeChecker.class - [JAR]
├─ org.checkerframework.common.basetype.BaseTypeContext.class - [JAR]
├─ org.checkerframework.common.basetype.BaseTypeValidator.class - [JAR]
├─ org.checkerframework.common.basetype.BaseTypeVisitor.class - [JAR]
├─ org.checkerframework.common.basetype.TypeValidator.class - [JAR]
org.checkerframework.framework.type.treeannotator
├─ org.checkerframework.framework.type.treeannotator.DebugListTreeAnnotator.class - [JAR]
├─ org.checkerframework.framework.type.treeannotator.ImplicitsTreeAnnotator.class - [JAR]
├─ org.checkerframework.framework.type.treeannotator.ListTreeAnnotator.class - [JAR]
├─ org.checkerframework.framework.type.treeannotator.PropagationTreeAnnotator.class - [JAR]
├─ org.checkerframework.framework.type.treeannotator.TreeAnnotator.class - [JAR]
org.checkerframework.framework.stub
├─ org.checkerframework.framework.stub.AddAnnotatedFor.class - [JAR]
├─ org.checkerframework.framework.stub.FileStubResource.class - [JAR]
├─ org.checkerframework.framework.stub.JarEntryStubResource.class - [JAR]
├─ org.checkerframework.framework.stub.StubGenerator.class - [JAR]
├─ org.checkerframework.framework.stub.StubParser.class - [JAR]
├─ org.checkerframework.framework.stub.StubResource.class - [JAR]
├─ org.checkerframework.framework.stub.StubUtil.class - [JAR]
├─ org.checkerframework.framework.stub.ToIndexFileConverter.class - [JAR]
