net.sf.daileon.notsupported
Class TemplateAnnotationsCollector

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

All Implemented Interfaces:

org.objectweb.asm.ClassVisitor

 class TemplateAnnotationsCollector
extends AbstractTemplateAnnotationsCollector

The TemplateAnnotationsCollector is responsible for collecting template annotations of a domain annotation, so that the elements indicated by them can be read, and the domain annotation can be evaluated properly.

Version:

1.0 01/01/2010

Author:

Roberto Perillo

Field Summary

Fields inherited from class org.objectweb.asm.ClassAdapter

cv

Constructor Summary

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

Method Summary

void	visitAttribute(org.objectweb.asm.Attribute attribute) Visits the template annotation at class level and collects the annotations that annotate the class indicated in it.

Methods inherited from class net.sf.daileon.notsupported.AbstractTemplateAnnotationsCollector

collectAnnotations, getAnnotations, setAnnotations

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

Constructor Detail

TemplateAnnotationsCollector

TemplateAnnotationsCollector(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)

Visits the template annotation at class level and collects the annotations that annotate the class indicated in it.

Specified by:

visitAttribute in interface org.objectweb.asm.ClassVisitor

Overrides:

visitAttribute in class org.objectweb.asm.ClassAdapter