README-developers.txt

This is the checker-framework repository.

If you wish to use the Checker Framework, see file README.txt.

This repository contains several related projects:

 framework     the "framework" aspects of the Checker Framework
 checker       the type checkers provided with the Checker Framework
 stubparser    a parser for Java source code that supports type annotations
 javacutil     utilities for javac
 dataflow      a dataflow framework

Each of these directories contains Eclipse project configuration files.

This repository also contains the following directories:
 tutorial      a tutorial for the Checker Framework
 release       buildfiles for making a release
 eclipse       the Checker Framework Eclipse plug-in
 maven-plugin  the Checker Framework Maven plug-in