de.unisaarland.cs.st.jerify.verifier.helpers.annotationValueVisitors
Class GetAnnotationMirrorList

java.lang.Object
  javax.lang.model.util.AbstractAnnotationValueVisitor6<R,P>
      javax.lang.model.util.SimpleAnnotationValueVisitor6<GetAnnotationMirrorList,java.lang.Void>
          de.unisaarland.cs.st.jerify.verifier.helpers.annotationValueVisitors.GetAnnotationMirrorList

All Implemented Interfaces:

javax.lang.model.element.AnnotationValueVisitor<GetAnnotationMirrorList,java.lang.Void>

public class GetAnnotationMirrorList
extends javax.lang.model.util.SimpleAnnotationValueVisitor6<GetAnnotationMirrorList,java.lang.Void>

Visit an AnnotationValue and return a List of all AnnotationMirrors found

Author:

Daniel Wand (typestate@ewand.de)

Constructor Summary

GetAnnotationMirrorList(javax.lang.model.element.AnnotationValue a)

Method Summary

java.util.List<javax.lang.model.element.AnnotationMirror>	getAnnotationMirrorList()
java.lang.String	toString()
GetAnnotationMirrorList	visitAnnotation(javax.lang.model.element.AnnotationMirror a, java.lang.Void p)
GetAnnotationMirrorList	visitArray(java.util.List<? extends javax.lang.model.element.AnnotationValue> vals, java.lang.Void p)

Methods inherited from class javax.lang.model.util.SimpleAnnotationValueVisitor6

visitBoolean, visitByte, visitChar, visitDouble, visitEnumConstant, visitFloat, visitInt, visitLong, visitShort, visitString, visitType

Methods inherited from class javax.lang.model.util.AbstractAnnotationValueVisitor6

visit, visit, visitUnknown

Methods inherited from class java.lang.Object

equals, getClass, hashCode, notify, notifyAll, wait, wait, wait

Constructor Detail

GetAnnotationMirrorList

public GetAnnotationMirrorList(javax.lang.model.element.AnnotationValue a)

Method Detail

visitAnnotation

public final GetAnnotationMirrorList visitAnnotation(javax.lang.model.element.AnnotationMirror a,
                                                     java.lang.Void p)

Specified by:

visitAnnotation in interface javax.lang.model.element.AnnotationValueVisitor<GetAnnotationMirrorList,java.lang.Void>

Overrides:

visitAnnotation in class javax.lang.model.util.SimpleAnnotationValueVisitor6<GetAnnotationMirrorList,java.lang.Void>

visitArray

public final GetAnnotationMirrorList visitArray(java.util.List<? extends javax.lang.model.element.AnnotationValue> vals,
                                                java.lang.Void p)

Specified by:

visitArray in interface javax.lang.model.element.AnnotationValueVisitor<GetAnnotationMirrorList,java.lang.Void>

Overrides:

visitArray in class javax.lang.model.util.SimpleAnnotationValueVisitor6<GetAnnotationMirrorList,java.lang.Void>

getAnnotationMirrorList

public final java.util.List<javax.lang.model.element.AnnotationMirror> getAnnotationMirrorList()

toString

public final java.lang.String toString()

Overrides:

toString in class java.lang.Object