A B C D E F G H I J K M N P R S T V X

S

serialVersionUID - Static variable in exception net.sf.daileon.notsupported.DuplicateAnnotationException

serialVersionUID

serialVersionUID - Static variable in exception net.sf.daileon.xml.XmlHandlerException

serialVersionUID

setAccess(int) - Method in class net.sf.daileon.notsupported.ElementBase

Sets the access modifier of the given element.

setAnnotatedClasses(List<String>) - Method in class net.sf.daileon.xml.items.DomainAnnotations

Sets the List<String> of classes that are annotated with domain annotations to be evaluated.

setAnnotation(Annotation) - Method in class net.sf.daileon.notsupported.AnnotationsStrategy

Sets the domain annotation.

setAnnotation(Annotation) - Method in interface net.sf.daileon.notsupported.Strategy

Sets the domain annotation.

setAnnotations(RuntimeVisibleAnnotations) - Method in class net.sf.daileon.notsupported.AbstractTemplateAnnotationsCollector

Sets the object that keeps the annotations indicated in a class or class element of a template annotation.

setAnnotationsReplacer(AbstractAnnotationsReplacer) - Method in class net.sf.daileon.notsupported.AnnotationsStrategy

Sets the AbstractAnnotationsReplacer object.

setAnnotationsReplacer(AbstractAnnotationsReplacer) - Method in interface net.sf.daileon.notsupported.Strategy

Sets the AbstractAnnotationsReplacer object.

setAttribute(Attribute) - Method in class net.sf.daileon.notsupported.ElementRoot

Sets the Attribute (or annotations) of the class.

setClassAnnotations(boolean) - Method in class net.sf.daileon.notsupported.EquivalentAnnotationsCollector

Defines whether the annotations that correspond to a particular domain annotation are at class level.

setClassName(String) - Method in class net.sf.daileon.notsupported.AbstractAnnotationsReplacer

Sets the name of the class whose elements will have their annotations organized.

setClassName(String) - Method in class net.sf.daileon.notsupported.AnnotationsCollector

Sets the name of the class to be visited.

setClassName(String) - Method in class net.sf.daileon.notsupported.ElementRoot

Sets the name of the class.

setDesc(String) - Method in class net.sf.daileon.notsupported.ElementBase

Sets the description of the given element.

setDestinyDirectory(String) - Method in class net.sf.daileon.xml.items.Setup

Sets the destiny directory, which is the directory where the original compiled classes of the project shall be copied to.

setDomainAnnotations(DomainAnnotations) - Method in class net.sf.daileon.xml.items.DaileonConfig

Sets the object that represents the <domain-annotations> element of the XML configuration file.

setDomainAnnotationsReplacer(String) - Method in class net.sf.daileon.xml.items.Setup

Sets the AbstractAnnotationsReplacer fully-qualified name.

setElement(ElementRoot) - Method in class net.sf.daileon.notsupported.AnnotationsStrategy

Sets the element that contains the domain annotation.

setElement(ElementRoot) - Method in interface net.sf.daileon.notsupported.Strategy

Sets the element that contains the domain annotation.

setExceptions(String[]) - Method in class net.sf.daileon.notsupported.MethodInformation

Sets the exceptions that may be thrown by this method.

setFieldName(String) - Method in class net.sf.daileon.notsupported.EquivalentAnnotationsCollector

Sets the field name to be visited.

setMethodName(String) - Method in class net.sf.daileon.notsupported.EquivalentAnnotationsCollector

Sets the method name to be visited.

setName(String) - Method in class net.sf.daileon.notsupported.ElementBase

Sets the name of the given element.

setPath(String) - Method in class net.sf.daileon.notsupported.AbstractAnnotationsCollector

Sets the physical path of the class that correspond to the domain annotation.

setPath(String) - Method in class net.sf.daileon.notsupported.AnnotationsStrategy

Sets the path of the domain annotation.

setPath(String) - Method in interface net.sf.daileon.notsupported.Strategy

Sets the path of the domain annotation.

setReplacer(AbstractAnnotationsReplacer) - Method in class net.sf.daileon.notsupported.AbstractAnnotationsCollector

Sets the AbstractAnnotationsReplacer object.

setRootDirectory(String) - Method in class net.sf.daileon.xml.items.Setup

Sets the root directory, which is the directory where the original compiled classes of the project are located.

setSetup(Setup) - Method in class net.sf.daileon.xml.items.DaileonConfig

Sets the object that represents the <setup> element of the XML configuration file.

setStrategyClass(String) - Method in class net.sf.daileon.xml.items.Setup

Sets the Strategy fully-qualified name.

setup - Variable in class net.sf.daileon.xml.items.DaileonConfig

The <setup> structure of the XML configuration file

Setup - Class in net.sf.daileon.xml.items

The Setup class represents the <setup> element of the XML configuration, indicated in the command line when Daileon is run. file.

Setup() - Constructor for class net.sf.daileon.xml.items.Setup

setValue(Object) - Method in class net.sf.daileon.notsupported.FieldInformation

Sets the default value of the field.

Strategy - Interface in net.sf.daileon.notsupported

The Strategy interface defines methods for evaluating the annotations that correspond to a given domain annotation.

strategy - Static variable in class net.sf.daileon.ResourcesFactory

A reference to the Strategy object, indicated in the XML configuration file

strategyClass - Variable in class net.sf.daileon.xml.items.Setup

The Strategy object