| This processor visits all the declarations of annotations in the program,
checking that they are processed.
The completeness checker verifies that for every annotation type defined in
the application there is a class that uses it. This is performed by taking
each declaration, and checking that there is at least a reference to the
annotation type, and a reference to each of the attributes defined in it.
The places where the reference is going to be checked are described by a list
of packages, so it is possible to restrict the check to a subset of the
system (for example only to unit tests)
|