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: index

d .. (parent)
- - rw-r--r-- 568 AndExample.java
- - rw-r--r-- 177 AnnotatedJDKTest.java
- - rw-r--r-- 799 ArrayAsList.java
- - rw-r--r-- 1,591 ArrayAssignmentSameLen.java
- - rw-r--r-- 613 ArrayAssignmentSameLenComplex.java
- - rw-r--r-- 355 ArrayConstructionPositiveLength.java
- - rw-r--r-- 258 ArrayCopy.java
- - rw-r--r-- 299 ArrayCreation.java
- - rw-r--r-- 1,689 ArrayCreationChecks.java
- - rw-r--r-- 478 ArrayCreationParam.java
- - rw-r--r-- 608 ArrayIntro.java
- - rw-r--r-- 440 ArrayIntroWithCast.java
- - rw-r--r-- 379 ArrayLenTest.java
- - rw-r--r-- 190 ArrayLength.java
- - rw-r--r-- 386 ArrayLength2.java
- - rw-r--r-- 408 ArrayLength3.java
- - rw-r--r-- 474 ArrayLengthEquality.java
- - rw-r--r-- 380 ArrayLengthLBC.java
- - rw-r--r-- 91 ArrayNull.java
- - rw-r--r-- 1,787 ArrayWrapper.java
- - rw-r--r-- 334 ArraysSort.java
- - rw-r--r-- 1,159 BasicSubsequence.java
- - rw-r--r-- 1,024 BasicSubsequence2.java
- - rw-r--r-- 952 BasicSubsequence3.java
- - rw-r--r-- 2,886 BigBinaryExpr.java
- - rw-r--r-- 1,110 BinarySearchTest.java
- - rw-r--r-- 2,582 BinomialTest.java
- - rw-r--r-- 567 BitSetLowerBound.java
- - rw-r--r-- 207 Boilerplate.java
- - rw-r--r-- 374 BottomValTest.java
- - rw-r--r-- 81 CastArray.java
- - rw-r--r-- 2,739 CharSequenceTest.java
- - rw-r--r-- 511 CharToIntCast.java
- - rw-r--r-- 694 CheckAgainstNegativeOne.java
- - rw-r--r-- 173 CheckNotNull1.java
- - rw-r--r-- 153 CheckNotNull2.java
- - rw-r--r-- 393 CombineFacts.java
- - rw-r--r-- 451 CompareBySubtraction.java
- - rw-r--r-- 170 CompoundAssignmentCheck.java
- - rw-r--r-- 353 ConditionalIndex.java
- - rw-r--r-- 1,056 ConstantArrays.java
- - rw-r--r-- 564 ConstantOffsets.java
- - rw-r--r-- 253 ConstantsIndex.java
- - rw-r--r-- 4,905 CustomContractWithArgs.java
- - rw-r--r-- 323 DaikonCrash.java
- - rw-r--r-- 469 Dimension.java
- - rw-r--r-- 298 EndsWith.java
- - rw-r--r-- 549 EndsWith2.java
- - rw-r--r-- 530 EnumValues.java
- - rw-r--r-- 337 EqualToIndex.java
- - rw-r--r-- 440 EqualToTransfer.java
- - rw-r--r-- 375 ErrorMessageCheck.java
- - rw-r--r-- 713 Errors.java
- - rw-r--r-- 865 ExampleUsage.java
- - rw-r--r-- 955 GenericAssignment.java
- - rw-r--r-- 377 GreaterThanOrEqualTransfer.java
- - rw-r--r-- 366 GreaterThanTransfer.java
- - rw-r--r-- 4,892 GuavaPrimitives.java
- - rw-r--r-- 535 HexEncode.java
- - rw-r--r-- 835 Index115.java
- - rw-r--r-- 490 Index118.java
- - rw-r--r-- 244 Index118NoLoop.java
- - rw-r--r-- 360 Index132.java
- - rw-r--r-- 416 Index166.java
- - rw-r--r-- 799 Index167.java
- - rw-r--r-- 525 Index176.java
- - rw-r--r-- 192 IndexByChar.java
- - rw-r--r-- 328 IndexConditionalReport.java
- - rw-r--r-- 551 IndexForAverage.java
- - rw-r--r-- 1,856 IndexForTest.java
- - rw-r--r-- 628 IndexForTestLBC.java
- - rw-r--r-- 379 IndexForTwoArrays.java
- - rw-r--r-- 425 IndexForTwoArrays2.java
- - rw-r--r-- 846 IndexForVarargs.java
- - rw-r--r-- 967 IndexIntValVsConstant.java
- - rw-r--r-- 412 IndexOf.java
- - rw-r--r-- 895 IndexOrLowTests.java
- - rw-r--r-- 328 IndexSameLen.java
- - rw-r--r-- 602 IntroAdd.java
- - rw-r--r-- 1,106 IntroAnd.java
- - rw-r--r-- 1,134 IntroRules.java
- - rw-r--r-- 233 IntroShift.java
- - rw-r--r-- 703 IntroSub.java
- - rw-r--r-- 1,331 InvalidSubsequence.java
- - rw-r--r-- 345 Issue1411.java
- - rw-r--r-- 1,037 Issue194.java
- - rw-r--r-- 320 Issue1984.java
- - rw-r--r-- 373 Issue20.java
- - rw-r--r-- 966 Issue2029.java
- - rw-r--r-- 180 Issue2030.java
- - rw-r--r-- 170 Issue21.java
- - rw-r--r-- 1,040 Issue2334.java
- - rw-r--r-- 487 Issue2420.java
- - rw-r--r-- 266 Issue2493.java
- - rw-r--r-- 816 Issue2494.java
- - rw-r--r-- 228 Issue2505.java
- - rw-r--r-- 625 Issue2613.java
- - rw-r--r-- 235 Issue2629.java
- - rw-r--r-- 1,597 Issue58Minimization.java
- - rw-r--r-- 525 Issue60.java
- - rw-r--r-- 335 IteratorVoid.java
- - rw-r--r-- 350 Kelloggm225.java
- - rw-r--r-- 453 Kelloggm228.java
- - rw-r--r-- 1,132 LBCSubtyping.java
- - rw-r--r-- 854 LTLDivide.java
- - rw-r--r-- 1,360 LTLengthOfPostcondition.java
- - rw-r--r-- 231 LengthOfArrayMinusOne.java
- - rw-r--r-- 291 LengthOfTest.java
- - rw-r--r-- 411 LengthTransfer.java
- - rw-r--r-- 594 LengthTransfer2.java
- - rw-r--r-- 508 LengthTransferForMinLen.java
- - rw-r--r-- 243 LessThanConstantAddition.java
- - rw-r--r-- 2,805 LessThanCustomCollection.java
- - rw-r--r-- 539 LessThanDec.java
- - rw-r--r-- 2,005 LessThanLen.java
- - rw-r--r-- 651 LessThanLenBug.java
- - rw-r--r-- 374 LessThanOrEqualTransfer.java
- - rw-r--r-- 363 LessThanTransfer.java
- - rw-r--r-- 3,757 LessThanValue.java
- - rw-r--r-- 200 LessThanZeroArrayLength.java
- - rw-r--r-- 2,444 ListAdd.java
- - rw-r--r-- 1,946 ListAddAll.java
- - rw-r--r-- 183 ListAddInfiniteLoop.java
- - rw-r--r-- 1,750 ListGet.java
- - rw-r--r-- 1,934 ListIterator.java
- - rw-r--r-- 574 ListLowerBound.java
- - rw-r--r-- 2,421 ListRemove.java
- - rw-r--r-- 1,802 ListSet.java
- - rw-r--r-- 1,960 ListSupport.java
- - rw-r--r-- 2,378 ListSupportLBC.java
- - rw-r--r-- 1,858 ListSupportML.java
- - rw-r--r-- 443 LiteralArray.java
- - rw-r--r-- 623 LiteralString.java
- - rw-r--r-- 557 LongAndIntegerBitsMethods.java
- - rw-r--r-- 2,708 Loops.java
- - rw-r--r-- 1,252 LubIndex.java
- - rw-r--r-- 232 MLEqualTo.java
- - rw-r--r-- 555 MethodOverrides.java
- - rw-r--r-- 1,851 MinLenFieldInvar.java
- - rw-r--r-- 720 MinLenFourShenanigans.java
- - rw-r--r-- 1,480 MinLenFromPositive.java
- - rw-r--r-- 1,028 MinLenIndexFor.java
- - rw-r--r-- 347 MinLenOneAndLength.java
- - rw-r--r-- 223 MinLenSameLenInteraction.java
- - rw-r--r-- 359 MinMax.java
- - rw-r--r-- 1,377 MinMaxIndex.java
- - rw-r--r-- 890 Modulo.java
- - rw-r--r-- 245 NegativeArray.java
- - rw-r--r-- 261 NegativeIndex.java
- - rw-r--r-- 262 NonNegArrayLength.java
- - rw-r--r-- 208 NonNegativeCharValue.java
- - rw-r--r-- 926 NonnegativeChar.java
- - rw-r--r-- 594 NotEnoughOffsets.java
- - rw-r--r-- 602 NotEqualTransfer.java
- - rw-r--r-- 963 ObjectClone.java
- - rw-r--r-- 384 Offset97.java
- - rw-r--r-- 660 OffsetAnnotations.java
- - rw-r--r-- 2,352 OffsetExample.java
- - rw-r--r-- 790 OffsetsAndConstants.java
- - rw-r--r-- 226 OneLTL.java
- - rw-r--r-- 394 OneOrTwo.java
- - rw-r--r-- 809 OnlyCheckSubsequenceWhenAssigningToArray.java
- - rw-r--r-- 2,898 ParserOffsetTest.java
- - rw-r--r-- 206 ParsingBug.java
- - rw-r--r-- 378 Pilot2HalfLength.java
- - rw-r--r-- 398 Pilot3ArrayCreation.java
- - rw-r--r-- 420 Pilot4Subtraction.java
- - rw-r--r-- 506 PlumeFail.java
- - rw-r--r-- 657 PlumeFailMin.java
- - rw-r--r-- 364 PlusPlusBug.java
- - rw-r--r-- 86 PolyCrash.java
- - rw-r--r-- 476 PolyLengthTest.java
- - rw-r--r-- 2,584 Polymorphic.java
- - rw-r--r-- 1,988 Polymorphic2.java
- - rw-r--r-- 1,540 Polymorphic3.java
- - rw-r--r-- 280 Polymorphic4.java
- - rw-r--r-- 705 PreAndPostDec.java
- - rw-r--r-- 998 PredecrementTest.java
- - rw-r--r-- 569 PrimitiveWrappers.java
- - rw-r--r-- 475 RandomTest.java
- - rw-r--r-- 463 RandomTestLBC.java
- - rw-r--r-- 226 RangeIndex.java
- - rw-r--r-- 472 Reassignment.java
- - rw-r--r-- 1,206 RefineEq.java
- - rw-r--r-- 1,568 RefineGT.java
- - rw-r--r-- 1,579 RefineGTE.java
- - rw-r--r-- 1,281 RefineLT.java
- - rw-r--r-- 1,575 RefineLTE.java
- - rw-r--r-- 631 RefineLTE2.java
- - rw-r--r-- 1,208 RefineNeq.java
- - rw-r--r-- 2,893 RefineNeqLength.java
- - rw-r--r-- 1,395 RefineSubtrahend.java
- - rw-r--r-- 809 RefinementEq.java
- - rw-r--r-- 1,688 RefinementGT.java
- - rw-r--r-- 1,482 RefinementGTE.java
- - rw-r--r-- 1,620 RefinementLT.java
- - rw-r--r-- 1,649 RefinementLTE.java
- - rw-r--r-- 899 RefinementNEq.java
- - rw-r--r-- 635 ReflectArray.java
- - rw-r--r-- 822 RegexMatcher.java
- - rw-r--r-- 63 Return.java
- - rw-r--r-- 640 SLSubtyping.java
- - rw-r--r-- 271 SameLenAssignmentTransfer.java
- - rw-r--r-- 1,135 SameLenEqualsRefinement.java
- - rw-r--r-- 325 SameLenFormalParameter2.java
- - rw-r--r-- 302 SameLenLUBStrangeness.java
- - rw-r--r-- 1,616 SameLenManyArrays.java
- - rw-r--r-- 300 SameLenNewArrayWithSameLength.java
- - rw-r--r-- 813 SameLenOnFormalParameter.java
- - rw-r--r-- 333 SameLenOnFormalParameterSimple.java
- - rw-r--r-- 426 SameLenSelf.java
- - rw-r--r-- 342 SameLenSimpleCase.java
- - rw-r--r-- 1,007 SameLenTripleThreat.java
- - rw-r--r-- 439 SameLenWithObjects.java
- - rw-r--r-- 1,703 SearchIndexTests.java
- - rw-r--r-- 963 ShiftRight.java
- - rw-r--r-- 575 ShiftRightAverage.java
- - rw-r--r-- 533 SimpleCollection.java
- - rw-r--r-- 468 SimpleTransferAdd.java
- - rw-r--r-- 321 SimpleTransferSub.java
- - rw-r--r-- 356 SizeVsLength.java
- - rw-r--r-- 400 SkipBufferedReader.java
- - rw-r--r-- 554 SpecialTransfersForEquality.java
- - rw-r--r-- 223 Split.java
- - rw-r--r-- 642 StartsEndsWith.java
- - rw-r--r-- 488 Stopwatch.java
- - rw-r--r-- 324 StringBuilderOffset.java
- - rw-r--r-- 1,328 StringIndexOf.java
- - rw-r--r-- 1,423 StringLenRefinement.java
- - rw-r--r-- 2,703 StringLength.java
- - rw-r--r-- 1,105 StringMethods.java
- - rw-r--r-- 269 StringOffsetTest.java
- - rw-r--r-- 1,089 StringSameLen.java
- - rw-r--r-- 439 StringTokenizerMinLen.java
- - rw-r--r-- 889 SubtractingNonNegatives.java
- - rw-r--r-- 997 SubtractionIndex.java
- - rw-r--r-- 473 SwitchDataflowRefinement.java
- - rw-r--r-- 504 SwitchTest.java
- - rw-r--r-- 504 TestAgainstLength.java
- - rw-r--r-- 291 ToArrayIndex.java
- - rw-r--r-- 2,133 TransferAdd.java
- - rw-r--r-- 1,660 TransferDivide.java
- - rw-r--r-- 863 TransferMod.java
- - rw-r--r-- 2,388 TransferSub.java
- - rw-r--r-- 768 TransferTimes.java
- - rw-r--r-- 276 TypeArrayLengthWithSameLen.java
- - rw-r--r-- 664 UBPoly.java
- - rw-r--r-- 1,029 UBSubtyping.java
- - rw-r--r-- 1,560 UncheckedMinLen.java
- - rw-r--r-- 1,531 UpperBoundRefinement.java
- - rw-r--r-- 103 ValueCheckerProblem.java
- - rw-r--r-- 200 VarArgsIncompatible.java
- - rw-r--r-- 1,389 VarLteVar.java
- - rw-r--r-- 445 ViewpointAdaptTest.java
- - rw-r--r-- 71 VoidType.java
- - rw-r--r-- 404 ZeroMinLen.java
- - rw-r--r-- 126 divisionTest.java