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

I

isAnnotationPresent(AnnotatedElement, Class<? extends Annotation>) - Static method in class net.sf.daileon.supported.DomainAnnotationsHelper

Informs whether an AnnotatedElement is annotated with a particular Annotation.

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

Informs whether the annotations are at class level.

isDomainAnnotation - Variable in class net.sf.daileon.notsupported.DomainAnnotationVerifier

Informs whether the annotation is a domain annotation

isDomainAnnotation() - Method in class net.sf.daileon.notsupported.DomainAnnotationVerifier

Informs whether the annotation is a domain annotation.

isDomainAnnotation(String, Annotation) - Static method in class net.sf.daileon.notsupported.RuntimeAnnotationsHelper

Informs whether a given annotation is a domain annotation.

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

Informs whether the element that keeps the annotations that correspond to a particular domain annotation has already been visited.

isTemplateAnnotation(Annotation) - Static method in class net.sf.daileon.notsupported.RuntimeAnnotationsHelper

Verifies if an annotation is a template annotation, that is, if it is a ClassTemplate, FieldTemplate or MethodTemplate annotation.

isTemplateAnnotation(Class<? extends Annotation>) - Static method in class net.sf.daileon.supported.DomainAnnotationsHelper

Informs whether a particular Annotation is a template annotation, which can be ClassTemplate, FieldTemplate or MethodTemplate.

isValidAnnotation(Annotation) - Method in class net.sf.daileon.notsupported.AbstractTemplateAnnotationsCollector

Informs whether an annotation is valid or not.

isValidAnnotation(Class<? extends Annotation>) - Static method in class net.sf.daileon.supported.DomainAnnotationsHelper

Informs whether a particular Annotation is valid or not, which can be Documented, Retention, Target or DomainAnnotation.