gov.nasa.jpf.vm

Class AnnotationInfo.EnumValue

java.lang.Object

gov.nasa.jpf.vm.AnnotationInfo.EnumValue

Enclosing class:

AnnotationInfo

public static class AnnotationInfo.EnumValue
extends java.lang.Object

Method Summary

Modifier and Type	Method and Description
java.lang.String	getEnumClassName()
java.lang.String	getEnumConstName()
java.lang.String	toString()

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Method Detail

getEnumClassName

public java.lang.String getEnumClassName()

getEnumConstName

public java.lang.String getEnumConstName()

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object