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

M

main(String[]) - Static method in class net.sf.daileon.PerformTransformations

Starts the translation of the domain annotations.

makeTransformations(String, List<String>) - Method in class net.sf.daileon.notsupported.DomainAnnotationsHandler

Triggers the process of translating the domain annotations of each domain annotation of each class indicated in the XML configuration file, when Daileon is run.

METHOD_TEMPLATE - Static variable in class net.sf.daileon.notsupported.RuntimeAnnotationsHelper

The fully-qualified name of the MethodTemplate annotation

MethodInformation - Class in net.sf.daileon.notsupported

The MethodInformation class represents specifically the information of a particular method.

MethodInformation() - Constructor for class net.sf.daileon.notsupported.MethodInformation

Class constructor.

methodName - Variable in class net.sf.daileon.notsupported.EquivalentAnnotationsCollector

The method name to be read, as indicated in a MethodTemplate annotation

MethodTemplate - Annotation Type in net.sf.daileon.annotation

Indicates the method that keeps the annotations that correspond to a domain annotation at method level.