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

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

All Implemented Interfaces:

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

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

Visit an AnnotationValue and return a String

Author:

Daniel Wand (typestate@ewand.de)

Constructor Summary

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

Method Summary

java.lang.String	getString()
GetString	visitString(java.lang.String s, java.lang.Void p)

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

visitAnnotation, visitArray, 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, toString, wait, wait, wait

Constructor Detail

GetString

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

Method Detail

visitString

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

Specified by:

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

Overrides:

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

getString

public final java.lang.String getString()