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

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

All Implemented Interfaces:

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

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

Visit an AnnotationValue and return an Integer

Author:

Daniel Wand (typestate@ewand.de)

Constructor Summary

GetInt()

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

Method Summary

java.lang.Integer	getInt()
java.lang.String	toString()
GetInt	visitArray(java.util.List<? extends javax.lang.model.element.AnnotationValue> vals, java.lang.Void p)
GetInt	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

GetInt

public GetInt()

GetInt

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

Method Detail

visitInt

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

Specified by:

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

Overrides:

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

visitArray

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

Overrides:

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

getInt

public final java.lang.Integer getInt()

toString

public final java.lang.String toString()

Overrides:

toString in class java.lang.Object