Package net.sf.daileon.xml.items

Contains classes that represent the structure of Daileon's XML configuration file.

See:
Description

Class Summary

DaileonConfig	The DaileonConfig class represents the root element of the XML configuration file, indicated in the command line when Daileon is run.
DomainAnnotations	The DomainAnnotations class represents the <domain-annotations> element of the XML configuration, indicated in the command line when Daileon is run. file.
Setup	The Setup class represents the <setup> element of the XML configuration, indicated in the command line when Daileon is run. file.

Package net.sf.daileon.xml.items Description

Contains classes that represent the structure of Daileon's XML configuration file.