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.