Uses of Package
net.sf.daileon.xml.items

Packages that use net.sf.daileon.xml.items

net.sf.daileon.notsupported	Provides classes that specifically make possible the second functionality provided by Daileon.
net.sf.daileon.xml.items	Contains classes that represent the structure of Daileon's XML configuration file.

Classes in net.sf.daileon.xml.items used by net.sf.daileon.notsupported

DaileonConfig
The DaileonConfig class represents the root element of the XML configuration file, indicated in the command line when Daileon is run.

Classes in net.sf.daileon.xml.items used by net.sf.daileon.xml.items

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.