Package daikon.config

Class Summary

Class	Description
Configuration	This class applies settings from a configuration file that lists variable names and values (see "example-settings.txt" in this directory for an example).
HtmlToTexinfo	Supplies a static method htmlToTexinfo that converts HTML to Texinfo format.
InvariantDoclet	InvariantDoclet is a Javadoc doclet that collects information about the invariants defined within Daikon.
ParameterDoclet	ParameterDoclet is a JavaDoc doclet that collects information about the run-time configuration options for the Daikon tools.

Exception Summary

Exception	Description
Configuration.ConfigException	Lets callers differentiate between configuration problems and all others.