package info (click to toggle)
checker-framework-java 3.2.0%2Bds-1
  • links: PTS, VCS
  • area: main
  • in suites: bookworm
  • size: 22,840 kB
  • sloc: java: 145,910; xml: 839; sh: 518; makefile: 401; perl: 26

Folder: all-systems

d .. (parent)
d d rwxr-xr-x 77 java8
d d rwxr-xr-x 4,096 java8inference
- - rw-r--r-- 418 Annotations.java
- - rw-r--r-- 739 AnonymousClasses.java
- - rw-r--r-- 803 Arrays.java
- - rw-r--r-- 2,125 AsSuperCrashes.java
- - rw-r--r-- 296 AssertWithSideEffect.java
- - rw-r--r-- 742 AssignmentContext.java
- - rw-r--r-- 8,671 BigBinaryTrees.java
- - rw-r--r-- 36,318 BigString.java
- - rw-r--r-- 358 Catch.java
- - rw-r--r-- 675 CompoundAssignments.java
- - rw-r--r-- 1,789 ConditionalExpressions.java
- - rw-r--r-- 238 DeepEquals.java
- - rw-r--r-- 1,122 Enums.java
- - rw-r--r-- 660 EqualityTests.java
- - rw-r--r-- 1,010 FieldAccess.java
- - rw-r--r-- 197 FieldWithInit.java
- - rw-r--r-- 1,096 ForEach.java
- - rw-r--r-- 1,579 GenericCrazyBounds.java
- - rw-r--r-- 714 GenericExtendsTypeVars.java
- - rw-r--r-- 1,586 GenericNull.java
- - rw-r--r-- 894 GenericTest11full.java
- - rw-r--r-- 243 GenericTest12.java
- - rw-r--r-- 521 GenericTest12b.java
- - rw-r--r-- 401 GenericTest13.java
- - rw-r--r-- 711 GenericsBounds.java
- - rw-r--r-- 203 GenericsBounds2.java
- - rw-r--r-- 1,644 GenericsCasts.java
- - rw-r--r-- 716 GenericsEnclosing.java
- - rw-r--r-- 820 GetClassTest.java
- - rw-r--r-- 160 InferAndIntersection.java
- - rw-r--r-- 227 InferAndWildcards.java
- - rw-r--r-- 1,048 InferNullType.java
- - rw-r--r-- 5,759 InferTypeArgs.java
- - rw-r--r-- 991 InferTypeArgs2.java
- - rw-r--r-- 368 InferTypeArgs3.java
- - rw-r--r-- 537 InferTypeArgsCondtionalExpression.java
- - rw-r--r-- 1,220 InitializationVisitor.java
- - rw-r--r-- 1,029 InstanceOf.java
- - rw-r--r-- 304 IntersectionTypes.java
- - rw-r--r-- 550 IsSubarrayEq.java
- - rw-r--r-- 657 Issue1003.java
- - rw-r--r-- 662 Issue1006.java
- - rw-r--r-- 201 Issue1039.java
- - rw-r--r-- 271 Issue1043.java
- - rw-r--r-- 300 Issue1049.java
- - rw-r--r-- 619 Issue1102.java
- - rw-r--r-- 455 Issue1111.java
- - rw-r--r-- 472 Issue1274.java
- - rw-r--r-- 280 Issue1431.java
- - rw-r--r-- 978 Issue1442.java
- - rw-r--r-- 448 Issue1506.java
- - rw-r--r-- 738 Issue1520.java
- - rw-r--r-- 354 Issue1526.java
- - rw-r--r-- 370 Issue1543.java
- - rw-r--r-- 336 Issue1546.java
- - rw-r--r-- 648 Issue1586.java
- - rw-r--r-- 532 Issue1587.java
- - rw-r--r-- 891 Issue1587b.java
- - rw-r--r-- 370 Issue1690.java
- - rw-r--r-- 179 Issue1696.java
- - rw-r--r-- 780 Issue1697.java
- - rw-r--r-- 228 Issue1698.java
- - rw-r--r-- 909 Issue1708.java
- - rw-r--r-- 285 Issue1709.java
- - rw-r--r-- 802 Issue1738.java
- - rw-r--r-- 298 Issue1749.java
- - rw-r--r-- 882 Issue1809.java
- - rw-r--r-- 380 Issue1865.java
- - rw-r--r-- 465 Issue1867.java
- - rw-r--r-- 757 Issue1920.java
- - rw-r--r-- 4,154 Issue1948.java
- - rw-r--r-- 331 Issue1991.java
- - rw-r--r-- 561 Issue1991Full.java
- - rw-r--r-- 534 Issue1992.java
- - rw-r--r-- 384 Issue2048.java
- - rw-r--r-- 180 Issue2082.java
- - rw-r--r-- 779 Issue2088.java
- - rw-r--r-- 432 Issue2190.java
- - rw-r--r-- 245 Issue2195.java
- - rw-r--r-- 356 Issue2196.java
- - rw-r--r-- 241 Issue2198.java
- - rw-r--r-- 467 Issue2199.java
- - rw-r--r-- 370 Issue2234.java
- - rw-r--r-- 1,079 Issue2302.java
- - rw-r--r-- 1,064 Issue2370.java
- - rw-r--r-- 181 Issue2371.java
- - rw-r--r-- 333 Issue2446.java
- - rw-r--r-- 350 Issue2480.java
- - rw-r--r-- 523 Issue263.java
- - rw-r--r-- 240 Issue2678.java
- - rw-r--r-- 627 Issue2717.java
- - rw-r--r-- 196 Issue2739.java
- - rw-r--r-- 588 Issue2779.java
- - rw-r--r-- 679 Issue2781.java
- - rw-r--r-- 29,290 Issue301.java
- - rw-r--r-- 221 Issue3055.java
- - rw-r--r-- 417 Issue3120.java
- - rw-r--r-- 203 Issue392.java
- - rw-r--r-- 226 Issue393.java
- - rw-r--r-- 222 Issue395.java
- - rw-r--r-- 227 Issue396.java
- - rw-r--r-- 460 Issue437.java
- - rw-r--r-- 456 Issue438.java
- - rw-r--r-- 417 Issue457.java
- - rw-r--r-- 292 Issue478.java
- - rw-r--r-- 1,769 Issue577.java
- - rw-r--r-- 255 Issue671.java
- - rw-r--r-- 530 Issue689.java
- - rw-r--r-- 500 Issue691.java
- - rw-r--r-- 320 Issue692.java
- - rw-r--r-- 246 Issue696.java
- - rw-r--r-- 598 Issue717.java
- - rw-r--r-- 469 Issue738.java
- - rw-r--r-- 894 Issue759.java
- - rw-r--r-- 627 Issue807.java
- - rw-r--r-- 513 Issue808.java
- - rw-r--r-- 256 Issue810.java
- - rw-r--r-- 439 Issue887.java
- - rw-r--r-- 217 Issue888.java
- - rw-r--r-- 367 Issue913.java
- - rw-r--r-- 639 Issue953.java
- - rw-r--r-- 737 Issue953b.java
- - rw-r--r-- 304 Issue988.java
- - rw-r--r-- 508 LubRawTypes.java
- - rw-r--r-- 588 MethodTypeVars.java
- - rw-r--r-- 445 MissingBoundAnnotations.java
- - rw-r--r-- 1,221 MultipleUnions.java
- - rw-r--r-- 407 NodeEdgeGraph.java
- - rw-r--r-- 128 Options.java
- - rw-r--r-- 821 PolyCollectorTypeVars.java
- - rw-r--r-- 603 PrintArray.java
- - rw-r--r-- 942 README
- - rw-r--r-- 710 RawTypeAssignment.java
- - rw-r--r-- 297 RawTypes.java
- - rw-r--r-- 240 ResourceVariables.java
- - rw-r--r-- 184 SimpleLog.java
- - rw-r--r-- 787 StateMatch.java
- - rw-r--r-- 248 SuperThis.java
- - rw-r--r-- 1,742 Ternary.java
- - rw-r--r-- 328 Throw.java
- - rw-r--r-- 891 TypeVarAndArrayRefinement.java
- - rw-r--r-- 130 TypeVarInstanceOf.java
- - rw-r--r-- 353 TypeVarPrimitives.java
- - rw-r--r-- 168 TypeVarVarargs.java
- - rw-r--r-- 512 TypeVars.java
- - rw-r--r-- 845 UnionCrash.java
- - rw-r--r-- 349 UnionTypes.java
- - rw-r--r-- 1,436 Unions.java
- - rw-r--r-- 331 VarKeyword.java
- - rw-r--r-- 565 Viz.java
- - rw-r--r-- 1,787 WildCardCrash.java
- - rw-r--r-- 386 WildcardBounds.java
- - rw-r--r-- 759 WildcardCharPrimitive.java
- - rw-r--r-- 479 WildcardCon.java
- - rw-r--r-- 289 WildcardForEach.java
- - rw-r--r-- 463 WildcardIterable.java
- - rw-r--r-- 310 WildcardSuper.java
- - rw-r--r-- 478 WildcardSuper2.java