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

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

All Implemented Interfaces:

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

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

Visit an AnnotationValue and return a List

Author:

Daniel Wand (typestate@ewand.de)

Constructor Summary

GetIntList()

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

Method Summary

java.util.List<java.lang.Integer>	getIntList()
java.lang.String	toString()
GetIntList	visitArray(java.util.List<? extends javax.lang.model.element.AnnotationValue> vals, java.lang.Void p)
GetIntList	visitInt(int i, java.lang.Void p)

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

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

GetIntList

public GetIntList()

GetIntList

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

Method Detail

visitInt

public final GetIntList visitInt(int i,
                                 java.lang.Void p)

Specified by:

visitInt in interface javax.lang.model.element.AnnotationValueVisitor<GetIntList,java.lang.Void>

Overrides:

visitInt in class javax.lang.model.util.SimpleAnnotationValueVisitor6<GetIntList,java.lang.Void>

visitArray

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

Overrides:

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

getIntList

public final java.util.List<java.lang.Integer> getIntList()

toString

public final java.lang.String toString()

Overrides:

toString in class java.lang.Object