Uses of Class
net.sf.daileon.xml.items.DomainAnnotations

Packages that use DomainAnnotations

net.sf.daileon.xml.items

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

Uses of DomainAnnotations in net.sf.daileon.xml.items

Fields in net.sf.daileon.xml.items declared as DomainAnnotations

private DomainAnnotations

DaileonConfig.domainAnnotations The <domain-annotations> structure of the XML configuration file

Methods in net.sf.daileon.xml.items that return DomainAnnotations

DomainAnnotations

DaileonConfig.getDomainAnnotations() Gets the object that represents the <domain-annotations> element of the XML configuration file.

Methods in net.sf.daileon.xml.items with parameters of type DomainAnnotations

void	DaileonConfig.setDomainAnnotations(DomainAnnotations domainAnnotations) Sets the object that represents the <domain-annotations> element of the XML configuration file.