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

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

All Implemented Interfaces:

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

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

Visit an AnnotationValue and return an Integer

Author:

Daniel Wand (typestate@ewand.de)

Constructor Summary

GetStringList()

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

Method Summary

java.util.List<java.lang.String>	getStringList()
java.lang.String	toString()
GetStringList	visitArray(java.util.List<? extends javax.lang.model.element.AnnotationValue> vals, java.lang.Void p)
GetStringList	visitString(java.lang.String s, java.lang.Void p)

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

visitAnnotation, visitBoolean, visitByte, visitChar, visitDouble, visitEnumConstant, visitFloat, visitInt, visitLong, visitShort, 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

GetStringList

public GetStringList()

GetStringList

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

Method Detail

visitString

public final GetStringList visitString(java.lang.String s,
                                       java.lang.Void p)

Specified by:

visitString in interface javax.lang.model.element.AnnotationValueVisitor<GetStringList,java.lang.Void>

Overrides:

visitString in class javax.lang.model.util.SimpleAnnotationValueVisitor6<GetStringList,java.lang.Void>

visitArray

public final GetStringList 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<GetStringList,java.lang.Void>

Overrides:

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

getStringList

public final java.util.List<java.lang.String> getStringList()

toString

public final java.lang.String toString()

Overrides:

toString in class java.lang.Object