If additional effort is invested adding annotations to programs, LCLint can perform stronger checks than can be done by any standard lint. Our main focus, however, is on more powerful checks that are made possible by additional information given in source code annotations. Annotations are stylized comments that document certain assumptions about functions, variables, parameters, and types. The metrics are presented in the form of a report in HTML which has a table summarizing the results for a project as a whole, and four more which give different levels of detail on the metrics calculated. A source code distribution is available as well as several manuals in PostScript format.
Cocoon relies on a small set of simple formatting conventions in the header files.
Inc. All rights reserved.