Package daikon.config

Class Summary

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).
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 runtime configuration options for the Daikon tools.

Exception Summary

Configuration.ConfigException

Lets callers differentiate between configuration problems and all others.