gov.nasa.jpf.vm

Class AnnotationInfo.ClassValue

java.lang.Object

gov.nasa.jpf.vm.AnnotationInfo.ClassValue

Enclosing class:

AnnotationInfo

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

Method Summary

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

Methods inherited from class java.lang.Object

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

Method Detail

getName

public java.lang.String getName()

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object