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

d .. (parent)
d d rwxr-xr-x 4,096 figures
- - rw-r--r-- 3,979 Makefile
- - rw-r--r-- 175 README
- - rwxr-xr-x 646 add-favicon-to-manual
- - rw-r--r-- 63,152 advanced-features.tex
- - rw-r--r-- 11,016 aliasing-checker.tex
- - rw-r--r-- 33,402 annotating-libraries.tex
- - rw-r--r-- 15,971 constant-value-checker.tex
- - rw-r--r-- 1,467 contributors.tex
- - rw-r--r-- 101,381 creating-a-checker.tex
- - rw-r--r-- 9,427 external-checkers.tex
- - rw-r--r-- 49,245 external-tools.tex
- - rw-r--r-- 79,367 faq.tex
- - rw-r--r-- 12,161 fenum-checker.tex
- - rw-r--r-- 26,217 formatter-checker.tex
- - rw-r--r-- 34,544 generics.tex
- - rw-r--r-- 19,776 guieffect-checker.tex
- - rwxr-xr-x 3,006 hevea-retarget-crossrefs
- - rw-r--r-- 18,057 i18n-format-checker.tex
- - rw-r--r-- 34,405 index-checker.tex
- - rw-r--r-- 14,390 inference.tex
- - rw-r--r-- 17,921 interning-checker.tex
- - rw-r--r-- 66,209 introduction.tex
- - rw-r--r-- 39,641 lock-checker.tex
- - rw-r--r-- 8,662 manual-style.tex
- - rw-r--r-- 10,051 manual.bbl
- - rw-r--r-- 2,663 manual.tex
- - rw-r--r-- 10,789 map-key-checker.tex
- - rw-r--r-- 79,777 nullness-checker.tex
- - rw-r--r-- 4,755 optional-checker.tex
- - rw-r--r-- 9,030 propkey-checker.tex
- - rw-r--r-- 4,585 purity-checker.tex
- - rw-r--r-- 12,366 reflection-checker.tex
- - rw-r--r-- 2,189 reflection-inference-rules.tex
- - rw-r--r-- 9,732 regex-checker.tex
- - rw-r--r-- 9,436 signature-checker.tex
- - rw-r--r-- 9,172 signedness-checker.tex
- - rw-r--r-- 14,332 subtyping-checker.tex
- - rw-r--r-- 9,500 tainting-checker.tex
- - rw-r--r-- 7,796 to-do-refactoring.txt
- - rw-r--r-- 1,878 todo.txt
- - rw-r--r-- 49,307 troubleshooting.tex
- - rw-r--r-- 2,863 typestate-checker.tex
- - rw-r--r-- 12,332 units-checker.tex
- - rw-r--r-- 35,427 warnings.tex