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

d .. (parent)
- - rw-r--r-- 1,524 AnnotatedAnnotation.java
- - rw-r--r-- 5,923 AnnotatedGenerics.java
- - rw-r--r-- 191 AnnotatedVoidMethod.java
- - rw-r--r-- 249 AnnotationWithComponents.java
- - rw-r--r-- 519 AnonymousClasses.java
- - rw-r--r-- 729 ArraySubtyping.java
- - rw-r--r-- 4,449 Arrays.java
- - rw-r--r-- 1,319 Assignments.java
- - rw-r--r-- 1,534 AssignmentsGeneric.java
- - rw-r--r-- 891 BridgeMethods.java
- - rw-r--r-- 240 ClassAnnotations.java
- - rw-r--r-- 390 Compound.java
- - rw-r--r-- 1,424 Constructors.java
- - rw-r--r-- 377 DeepOverride.java
- - rw-r--r-- 548 DeepOverrideAbstract.java
- - rw-r--r-- 769 DeepOverrideBug.java
- - rw-r--r-- 550 DeepOverrideInterface.java
- - rw-r--r-- 604 ExtendsDefault.java
- - rw-r--r-- 782 GenericAlias.java
- - rw-r--r-- 430 GenericAliasInvalid.java
- - rw-r--r-- 676 GenericAliasInvalidCall.java
- - rw-r--r-- 175 GenericEnum.java
- - rw-r--r-- 632 GenericTest1.java
- - rw-r--r-- 655 GenericTest10.java
- - rw-r--r-- 652 GenericTest11.java
- - rw-r--r-- 249 GenericTest12.java
- - rw-r--r-- 391 GenericTest2.java
- - rw-r--r-- 334 GenericTest3.java
- - rw-r--r-- 1,331 GenericTest4.java
- - rw-r--r-- 649 GenericTest5.java
- - rw-r--r-- 667 GenericTest6.java
- - rw-r--r-- 1,413 GenericTest7.java
- - rw-r--r-- 382 GenericTest8.java
- - rw-r--r-- 2,155 GenericTest9.java
- - rw-r--r-- 694 GetReceiverLoop.java
- - rw-r--r-- 1,044 InnerGenerics.java
- - rw-r--r-- 176 Issue346.java
- - rw-r--r-- 151 MatrixBug.java
- - rw-r--r-- 282 MethodOverrideBadParam.java
- - rw-r--r-- 325 MethodOverrideBadReceiver.java
- - rw-r--r-- 305 MethodOverrideBadReturn.java
- - rw-r--r-- 2,136 MethodOverrides.java
- - rw-r--r-- 127 MissingSymbolCrash.java
- - rw-r--r-- 394 MoreVarargs.java
- - rw-r--r-- 363 MultiBoundTypeVar.java
- - rw-r--r-- 161 OverrideCrash.java
- - rw-r--r-- 145 PrimitiveDotClass.java
- - rw-r--r-- 550 README
- - rw-r--r-- 327 RandomTests.java
- - rw-r--r-- 171 RecursiveDef.java
- - rw-r--r-- 117 ResolveError.java
- - rw-r--r-- 2,678 Supertypes.java
- - rw-r--r-- 160 SymbolError.java
- - rw-r--r-- 1,272 TypeInference.java
- - rw-r--r-- 253 Unboxing.java
- - rw-r--r-- 84 UnimportedExtends1.java
- - rw-r--r-- 108 UnimportedExtends2.java
- - rw-r--r-- 1,388 Varargs.java
- - rw-r--r-- 216 WildcardSuper.java
- - rw-r--r-- 242 Wildcards.java