package info (click to toggle)
checker-framework-java 3.0.1%2Bds2-3
  • links: PTS, VCS
  • area: main
  • in suites: bullseye
  • size: 22,736 kB
  • sloc: java: 145,286; xml: 785; sh: 456; makefile: 401; perl: 26

Folder: manual

d .. (parent)
d d rwxr-xr-x 4,096 figures
- - rw-r--r-- 3,958 Makefile
- - rw-r--r-- 175 README
- - rwxr-xr-x 646 add-favicon-to-manual
- - rw-r--r-- 62,873 advanced-features.tex
- - rw-r--r-- 11,016 aliasing-checker.tex
- - rw-r--r-- 33,621 annotating-libraries.tex
- - rw-r--r-- 15,760 constant-value-checker.tex
- - rw-r--r-- 1,422 contributors.tex
- - rw-r--r-- 100,249 creating-a-checker.tex
- - rw-r--r-- 9,427 external-checkers.tex
- - rw-r--r-- 49,317 external-tools.tex
- - rw-r--r-- 79,261 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,267 inference.tex
- - rw-r--r-- 17,921 interning-checker.tex
- - rw-r--r-- 65,450 introduction.tex
- - rw-r--r-- 39,641 lock-checker.tex
- - rw-r--r-- 8,391 manual-style.tex
- - rw-r--r-- 10,051 manual.bbl
- - rw-r--r-- 2,663 manual.tex
- - rw-r--r-- 10,706 map-key-checker.tex
- - rw-r--r-- 79,576 nullness-checker.tex
- - rw-r--r-- 4,755 optional-checker.tex
- - rw-r--r-- 9,030 propkey-checker.tex
- - rw-r--r-- 4,498 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-- 48,459 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