net.sf.daileon.notsupported
Class DomainAnnotationVerifier

java.lang.Object
  org.objectweb.asm.ClassAdapter
      net.sf.daileon.notsupported.DomainAnnotationVerifier

All Implemented Interfaces:

org.objectweb.asm.ClassVisitor

 class DomainAnnotationVerifier
extends org.objectweb.asm.ClassAdapter

The DomainAnnotationVerifier class is responsible for verifying if an annotation is a domain annotation, that is, if it is annotated with the DomainAnnotation annotation.

Version:

1.0 01/01/2010

Author:

Roberto Perillo

Field Summary

private static String	DOMAIN_ANNOTATION_NAME The fully-qualified name of the @DomainAnnotatino annotation
private boolean	isDomainAnnotation Informs whether the annotation is a domain annotation

Fields inherited from class org.objectweb.asm.ClassAdapter

cv

Constructor Summary

DomainAnnotationVerifier(org.objectweb.asm.ClassVisitor classVisitor)
Class constructor.

Method Summary

(package private) boolean	isDomainAnnotation() Informs whether the annotation is a domain annotation.
void	visitAttribute(org.objectweb.asm.Attribute attribute) Analyzes the annotations of a given annotation.

Methods inherited from class org.objectweb.asm.ClassAdapter

visit, visitEnd, visitField, visitInnerClass, visitMethod

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Detail

DOMAIN_ANNOTATION_NAME

private static final String DOMAIN_ANNOTATION_NAME

The fully-qualified name of the @DomainAnnotatino annotation

See Also:

Constant Field Values

isDomainAnnotation

private boolean isDomainAnnotation

Informs whether the annotation is a domain annotation

Constructor Detail

DomainAnnotationVerifier

DomainAnnotationVerifier(org.objectweb.asm.ClassVisitor classVisitor)

Class constructor.

Parameters:

classVisitor - The ClassVisitor object that visits the class.

Method Detail

visitAttribute

public void visitAttribute(org.objectweb.asm.Attribute attribute)

Analyzes the annotations of a given annotation. If a @DomainAnnotation is found, then the isDomainAnnotation variable is set to true.

Specified by:

visitAttribute in interface org.objectweb.asm.ClassVisitor

Overrides:

visitAttribute in class org.objectweb.asm.ClassAdapter

Parameters:

attribute - The Attribute object, which may contain one or several annotations.

isDomainAnnotation

boolean isDomainAnnotation()

Informs whether the annotation is a domain annotation.

Returns:

A boolean value that can be:

• true if the annotation is a domain annotation;
• false if the annotation is not a domain annotation.