package info (click to toggle)
checker-framework-java 3.2.0%2Bds-3
  • links: PTS, VCS
  • area: main
  • in suites: forky, sid, trixie
  • size: 23,104 kB
  • sloc: java: 145,916; xml: 839; sh: 518; makefile: 404; perl: 26

Folder: nullness

d .. (parent)
d d rwxr-xr-x 4,096 flow
d d rwxr-xr-x 4,096 generics
d d rwxr-xr-x 4,096 init
d d rwxr-xr-x 4,096 java8
d d rwxr-xr-x 4,096 java8inference
d d rwxr-xr-x 124 jdkannotations
- - rw-r--r-- 3,295 AliasedAnnotations.java
- - rw-r--r-- 602 Aliasing.java
- - rw-r--r-- 730 AnnotatedJdkEqualsTest.java
- - rw-r--r-- 642 AnnotatedJdkTest.java
- - rw-r--r-- 631 AnonymousSkipDefs.java
- - rw-r--r-- 1,137 ArrayArgs.java
- - rw-r--r-- 608 ArrayAssignmentFlow.java
- - rw-r--r-- 6,865 ArrayCreationNullable.java
- - rw-r--r-- 731 ArrayCreationSubArray.java
- - rw-r--r-- 170 ArrayInitBug.java
- - rw-r--r-- 729 ArrayLazyNN.java
- - rw-r--r-- 524 ArrayNew.java
- - rw-r--r-- 955 ArrayRefs.java
- - rw-r--r-- 1,573 AssertAfter.java
- - rw-r--r-- 3,180 AssertAfter2.java
- - rw-r--r-- 3,415 AssertAfterChecked.java
- - rw-r--r-- 5,134 AssertIfChecked.java
- - rw-r--r-- 1,904 AssertIfClient.java
- - rw-r--r-- 1,710 AssertIfFalseTest.java
- - rw-r--r-- 810 AssertIfFalseTest2.java
- - rw-r--r-- 330 AssertIfNonNullTest.java
- - rw-r--r-- 172 AssertInStatic.java
- - rw-r--r-- 1,531 AssertNonNullIfNonNullTest.java
- - rw-r--r-- 597 AssertNonNullTest.java
- - rw-r--r-- 775 AssertNullable.java
- - rw-r--r-- 1,038 AssertParameterNullness.java
- - rw-r--r-- 874 AssertTwice.java
- - rw-r--r-- 1,617 AssertWithStatic.java
- - rw-r--r-- 2,388 Asserts.java
- - rw-r--r-- 1,058 AssignmentDuringInitialization.java
- - rw-r--r-- 224 BinaryOp.java
- - rw-r--r-- 381 BinarySearch.java
- - rw-r--r-- 3,730 BoxingNullness.java
- - rw-r--r-- 507 Bug102.java
- - rw-r--r-- 2,650 Bug103.java
- - rw-r--r-- 452 CallSuper.java
- - rw-r--r-- 507 CastTypeVariable.java
- - rw-r--r-- 3,371 CastsNullness.java
- - rw-r--r-- 833 ChainAssignment.java
- - rw-r--r-- 391 ChicoryPremain.java
- - rw-r--r-- 295 CompoundAssign.java
- - rw-r--r-- 3,126 ConditionalNullness.java
- - rw-r--r-- 207 ConditionalOr.java
- - rw-r--r-- 795 Conditions.java
- - rw-r--r-- 433 ControlFlow.java
- - rw-r--r-- 411 CopyOfArray.java
- - rw-r--r-- 3,717 DaikonTests.java
- - rw-r--r-- 4,256 DefaultAnnotation.java
- - rw-r--r-- 496 DefaultFlow.java
- - rw-r--r-- 414 DefaultInterface.java
- - rw-r--r-- 888 DefaultLoops.java
- - rw-r--r-- 551 DefaultsNullness.java
- - rw-r--r-- 319 DotClass.java
- - rw-r--r-- 794 EmptyConstructor.java
- - rw-r--r-- 886 EnsuresNonNullIfInheritedTest.java
- - rw-r--r-- 2,079 EnsuresNonNullIfTest.java
- - rw-r--r-- 1,761 EnsuresNonNullIfTest2.java
- - rw-r--r-- 790 EnsuresNonNullIfTest4.java
- - rw-r--r-- 1,487 EnsuresNonNullIfTestSimple.java
- - rw-r--r-- 314 EnumStaticBlock.java
- - rw-r--r-- 505 Enums.java
- - rw-r--r-- 1,059 EqualToNullness.java
- - rw-r--r-- 798 ExceptionParam.java
- - rw-r--r-- 1,127 Exceptions.java
- - rw-r--r-- 1,568 ExplictTypeVarAnnos.java
- - rw-r--r-- 1,737 ExpressionsNullness.java
- - rw-r--r-- 282 ExtendsArrayList.java
- - rw-r--r-- 309 FieldInit.java
- - rw-r--r-- 1,275 FinalFields.java
- - rw-r--r-- 658 FinalVar.java
- - rw-r--r-- 1,242 FinalVar2.java
- - rw-r--r-- 338 FinalVar3.java
- - rw-r--r-- 808 FindBugs.java
- - rw-r--r-- 196 FlowAssignment.java
- - rw-r--r-- 1,346 FlowCompound.java
- - rw-r--r-- 384 FlowCompoundConcatenation.java
- - rw-r--r-- 1,251 FlowConditions.java
- - rw-r--r-- 828 FlowConstructor.java
- - rw-r--r-- 156 FlowConstructor2.java
- - rw-r--r-- 2,031 FlowExpressionParsingBug.java
- - rw-r--r-- 1,675 FlowField.java
- - rw-r--r-- 1,224 FlowInitialization.java
- - rw-r--r-- 3,792 FlowLoop.java
- - rw-r--r-- 2,316 FlowNegation.java
- - rw-r--r-- 1,017 FlowNonThis.java
- - rw-r--r-- 7,926 FlowNullness.java
- - rw-r--r-- 266 FlowSelf.java
- - rw-r--r-- 438 ForEachMin.java
- - rw-r--r-- 843 FullyQualifiedAnnotation.java
- - rw-r--r-- 567 GeneralATFStore.java
- - rw-r--r-- 262 GenericCast.java
- - rw-r--r-- 159 GetConstantStr.java
- - rw-r--r-- 269 GetPackage1.java
- - rw-r--r-- 770 GetProperty.java
- - rw-r--r-- 306 GetRefArg.java
- - rw-r--r-- 218 HasInnerClass.java
- - rw-r--r-- 302 HierarchicalInit.java
- - rw-r--r-- 261 ImplementInterface.java
- - rw-r--r-- 145 Imports1.java
- - rw-r--r-- 161 Imports2.java
- - rw-r--r-- 190 InferListParam.java
- - rw-r--r-- 982 InferNullType.java
- - rw-r--r-- 710 InferTypeArgsCondtionalExpression.java
- - rw-r--r-- 791 InfiniteLoopIsSameType.java
- - rw-r--r-- 424 InitSuppressWarnings.java
- - rw-r--r-- 252 InitThrows.java
- - rw-r--r-- 358 InitializationAssertionFailure.java
- - rw-r--r-- 580 InitializedField.java
- - rw-r--r-- 2,257 Initializer.java
- - rw-r--r-- 862 InvariantTypes.java
- - rw-r--r-- 852 IsEmptyPoll.java
- - rw-r--r-- 1,052 Issue1027.java
- - rw-r--r-- 1,075 Issue1046Java7.java
- - rw-r--r-- 496 Issue1059.java
- - rw-r--r-- 1,747 Issue1096.java
- - rw-r--r-- 843 Issue1102.java
- - rw-r--r-- 306 Issue1147.java
- - rw-r--r-- 463 Issue1307.java
- - rw-r--r-- 968 Issue1406.java
- - rw-r--r-- 1,604 Issue1522.java
- - rw-r--r-- 351 Issue1555.java
- - rw-r--r-- 1,285 Issue160.java
- - rw-r--r-- 557 Issue1628.java
- - rw-r--r-- 768 Issue1712.java
- - rw-r--r-- 6,411 Issue1797.java
- - rw-r--r-- 1,303 Issue1847.java
- - rw-r--r-- 659 Issue1847B.java
- - rw-r--r-- 1,100 Issue1922.java
- - rw-r--r-- 518 Issue1949.java
- - rw-r--r-- 527 Issue1981.java
- - rw-r--r-- 988 Issue1983.java
- - rw-r--r-- 2,787 Issue2013.java
- - rw-r--r-- 1,432 Issue2031.java
- - rw-r--r-- 573 Issue2048.java
- - rw-r--r-- 520 Issue2052.java
- - rw-r--r-- 1,186 Issue2171.java
- - rw-r--r-- 1,297 Issue2247.java
- - rw-r--r-- 672 Issue2407.java
- - rw-r--r-- 813 Issue2470.java
- - rw-r--r-- 631 Issue2564.java
- - rw-r--r-- 227 Issue2565.java
- - rw-r--r-- 1,099 Issue2587.java
- - rw-r--r-- 371 Issue261.java
- - rw-r--r-- 1,381 Issue2619.java
- - rw-r--r-- 1,915 Issue2619b.java
- - rw-r--r-- 524 Issue266.java
- - rw-r--r-- 562 Issue266a.java
- - rw-r--r-- 317 Issue2721.java
- - rw-r--r-- 779 Issue273.java
- - rw-r--r-- 614 Issue2865.java
- - rw-r--r-- 809 Issue2888.java
- - rw-r--r-- 1,125 Issue289.java
- - rw-r--r-- 1,273 Issue293.java
- - rw-r--r-- 1,134 Issue295.java
- - rw-r--r-- 1,184 Issue296.java
- - rw-r--r-- 366 Issue3020.java
- - rw-r--r-- 182 Issue3022.java
- - rw-r--r-- 1,348 Issue306.java
- - rw-r--r-- 494 Issue308.java
- - rw-r--r-- 548 Issue328.java
- - rw-r--r-- 252 Issue331.java
- - rw-r--r-- 142 Issue338.java
- - rw-r--r-- 397 Issue345.java
- - rw-r--r-- 1,373 Issue355.java
- - rw-r--r-- 285 Issue369.java
- - rw-r--r-- 218 Issue370.java
- - rw-r--r-- 402 Issue372.java
- - rw-r--r-- 247 Issue376.java
- - rw-r--r-- 440 Issue388.java
- - rw-r--r-- 1,122 Issue391.java
- - rw-r--r-- 478 Issue400.java
- - rw-r--r-- 690 Issue408.java
- - rw-r--r-- 622 Issue411.java
- - rw-r--r-- 1,421 Issue414.java
- - rw-r--r-- 1,516 Issue415.java
- - rw-r--r-- 438 Issue419.java
- - rw-r--r-- 798 Issue425.java
- - rw-r--r-- 782 Issue427.java
- - rw-r--r-- 313 Issue471.java
- - rw-r--r-- 704 Issue500.java
- - rw-r--r-- 1,161 Issue520.java
- - rw-r--r-- 581 Issue531.java
- - rw-r--r-- 1,606 Issue554.java
- - rw-r--r-- 234 Issue563.java
- - rw-r--r-- 1,862 Issue577.java
- - rw-r--r-- 460 Issue578.java
- - rw-r--r-- 472 Issue579Error.java
- - rw-r--r-- 334 Issue580.java
- - rw-r--r-- 673 Issue602.java
- - rw-r--r-- 1,075 Issue653.java
- - rw-r--r-- 576 Issue67.java
- - rw-r--r-- 635 Issue672.java
- - rw-r--r-- 518 Issue679.java
- - rw-r--r-- 1,378 Issue738.java
- - rw-r--r-- 475 Issue741.java
- - rw-r--r-- 1,953 Issue752.java
- - rw-r--r-- 1,499 Issue759.java
- - rw-r--r-- 564 Issue764.java
- - rw-r--r-- 334 Issue765.java
- - rw-r--r-- 590 Issue811.java
- - rw-r--r-- 415 Issue829.java
- - rw-r--r-- 401 Issue868.java
- - rw-r--r-- 440 Issue906.java
- - rw-r--r-- 1,221 Issue961.java
- - rw-r--r-- 1,281 Issue986.java
- - rw-r--r-- 707 Issue989.java
- - rw-r--r-- 1,072 IteratorEarlyExit.java
- - rw-r--r-- 144 JPanelTest.java
- - rw-r--r-- 3,293 JavaCopExplosion.java
- - rw-r--r-- 4,761 JavaCopFlow.java
- - rw-r--r-- 493 JavaCopRandomTests.java
- - rw-r--r-- 6,265 JavaExprContext.java
- - rw-r--r-- 1,793 KeyForAutoboxing.java
- - rw-r--r-- 4,991 KeyForChecked.java
- - rw-r--r-- 496 KeyForDiamond.java
- - rw-r--r-- 4,980 KeyForFlow.java
- - rw-r--r-- 638 KeyForIssue328.java
- - rw-r--r-- 940 KeyForLocalVariable.java
- - rw-r--r-- 1,543 KeyForLub.java
- - rw-r--r-- 1,501 KeyForMultiple.java
- - rw-r--r-- 590 KeyForPolymorphism.java
- - rw-r--r-- 1,243 KeyForPostcondition.java
- - rw-r--r-- 877 KeyForPropagation.java
- - rw-r--r-- 2,689 KeyForShadowing.java
- - rw-r--r-- 913 KeyForStaticField.java
- - rw-r--r-- 1,254 KeyForSubst.java
- - rw-r--r-- 4,345 KeyForSubtyping.java
- - rw-r--r-- 4,510 KeyForValidation.java
- - rw-r--r-- 1,312 KeyFor_DirectionsFinder.java
- - rw-r--r-- 4,212 KeyFors.java
- - rw-r--r-- 1,381 Lazy.java
- - rw-r--r-- 2,740 LazyInitialization.java
- - rw-r--r-- 540 Listener.java
- - rw-r--r-- 560 LogRecordTest.java
- - rw-r--r-- 1,893 LogicOperations.java
- - rw-r--r-- 511 LubTest.java
- - rw-r--r-- 4,477 MapGetNullable.java
- - rw-r--r-- 2,253 Marino.java
- - rw-r--r-- 770 MethodInvocation.java
- - rw-r--r-- 792 MethodTypeVars4.java
- - rw-r--r-- 692 MissingBoundAnnotations.java
- - rw-r--r-- 3,147 MisuseProperties.java
- - rw-r--r-- 442 MonotonicNonNullTest.java
- - rw-r--r-- 304 MultiAnnotations.java
- - rw-r--r-- 617 MultiConstructorInit.java
- - rw-r--r-- 385 MultipleErrors.java
- - rw-r--r-- 728 MyException.java
- - rw-r--r-- 1,111 NNOEMoreTests.java
- - rw-r--r-- 3,193 NNOEStaticFields.java
- - rw-r--r-- 1,705 NegatingConditionalNullness.java
- - rw-r--r-- 439 NewNullable.java
- - rw-r--r-- 265 NewObjectNonNull.java
- - rw-r--r-- 1,498 NonEmptyCollection.java
- - rw-r--r-- 314 NonNullInitialization.java
- - rw-r--r-- 363 NonNullIteratorNext.java
- - rw-r--r-- 212 NullableArrays.java
- - rw-r--r-- 5,187 NullnessFieldInvar.java
- - rw-r--r-- 641 OverrideANNA.java
- - rw-r--r-- 949 OverrideANNA2.java
- - rw-r--r-- 804 OverrideANNA3.java
- - rw-r--r-- 274 OverrideGenerics.java
- - rw-r--r-- 539 OverrideNNOE.java
- - rw-r--r-- 634 OverrideNNOE2.java
- - rw-r--r-- 93 PackageDecl.java
- - rw-r--r-- 4,196 ParameterExpression.java
- - rw-r--r-- 1,087 Polymorphism.java
- - rw-r--r-- 1,647 PolymorphismArrays.java
- - rw-r--r-- 318 PostconditionBug.java
- - rw-r--r-- 138 PrimitivesNullness.java
- - rw-r--r-- 401 PrivateMethodUnknownInit.java
- - rw-r--r-- 3,498 PureTest.java
- - rw-r--r-- 178 README
- - rw-r--r-- 788 Raw2.java
- - rw-r--r-- 522 RawAndPrimitive.java
- - rw-r--r-- 1,833 RawField.java
- - rw-r--r-- 295 RawInt.java
- - rw-r--r-- 445 RawInt2.java
- - rw-r--r-- 1,000 RawMethodInvocation.java
- - rw-r--r-- 396 RawParameter.java
- - rw-r--r-- 1,661 RawSuper.java
- - rw-r--r-- 1,215 RawTypesAssignment.java
- - rw-r--r-- 6,131 RawTypesBounded.java
- - rw-r--r-- 2,744 RawTypesNullness.java
- - rw-r--r-- 2,035 RawTypesUses.java
- - rw-r--r-- 970 ReadyReadLine.java
- - rw-r--r-- 485 ReferencesDefaults.java
- - rw-r--r-- 828 RefineArray.java
- - rw-r--r-- 5,193 RefineOverride.java
- - rw-r--r-- 4,576 RequiresNonNullTest.java
- - rw-r--r-- 472 RequiresPrivateField.java
- - rw-r--r-- 146 SAMLineParser.java
- - rw-r--r-- 336 SamFileValidator.java
- - rw-r--r-- 431 SelfAssignment.java
- - rw-r--r-- 213 SequenceAndIndices.java
- - rw-r--r-- 1,610 SetIteratorTest.java
- - rw-r--r-- 514 Simple2.java
- - rw-r--r-- 732 SortingCollection.java
- - rw-r--r-- 456 StaticInLoop.java
- - rw-r--r-- 293 StaticInitialization.java
- - rw-r--r-- 1,012 StaticInitializer.java
- - rw-r--r-- 508 StaticInitializer2.java
- - rw-r--r-- 411 Stats.java
- - rw-r--r-- 138 StringTernaryConcat.java
- - rw-r--r-- 331 SuperCall.java
- - rw-r--r-- 378 SuperConstructorInit.java
- - rw-r--r-- 483 SuppressDeprecation.java
- - rw-r--r-- 186 SuppressWarningsTest.java
- - rw-r--r-- 766 SwitchTest.java
- - rw-r--r-- 692 Synchronization.java
- - rw-r--r-- 455 TernaryNested.java
- - rw-r--r-- 304 TernaryNullness.java
- - rw-r--r-- 421 TestAssignment.java
- - rw-r--r-- 725 TestFromPullRequest880.java
- - rw-r--r-- 716 TestInfer.java
- - rw-r--r-- 1,878 TestPolyNull.java
- - rw-r--r-- 333 TestValOf.java
- - rw-r--r-- 586 ThisIsNN.java
- - rw-r--r-- 585 ThisLiteral.java
- - rw-r--r-- 449 ThisLiteralQualified.java
- - rw-r--r-- 479 ThisTest.java
- - rw-r--r-- 784 ThreadLocalTest.java
- - rw-r--r-- 2,165 ThreadLocalTest2.java
- - rw-r--r-- 539 Throwing.java
- - rw-r--r-- 5,395 ToArrayNullness.java
- - rw-r--r-- 685 TryCatch.java
- - rw-r--r-- 425 TryWithResources.java
- - rw-r--r-- 791 TwoStaticInitBlocks.java
- - rw-r--r-- 1,020 TypeVarPrimitivesNullness.java
- - rw-r--r-- 1,289 UnannoPrimitives.java
- - rw-r--r-- 460 UnannoPrimitivesDefaults.java
- - rw-r--r-- 747 UnboxConditions.java
- - rw-r--r-- 1,065 Unboxing.java
- - rw-r--r-- 2,509 UnexpectedRaw.java
- - rw-r--r-- 1,759 UnusedNullness.java
- - rw-r--r-- 777 UnusedOnClass.java
- - rw-r--r-- 364 ValidType.java
- - rw-r--r-- 478 VarInfoName.java
- - rw-r--r-- 1,451 VarargsNullness.java
- - rw-r--r-- 1,334 VoidUse.java
- - rw-r--r-- 733 WeakHasherMap.java
- - rw-r--r-- 331 WeakIdentityPair.java
- - rw-r--r-- 225 WeakRef.java
- - rw-r--r-- 1,724 Wellformed.java
- - rw-r--r-- 1,288 WhileTest.java
- - rw-r--r-- 188 Widening.java
- - rw-r--r-- 1,839 WildcardSubtype.java
- - rw-r--r-- 2,154 WildcardSubtype2.java
- - rw-r--r-- 1,021 Wildcards.java