Uses of Interface
gov.nasa.jpf.vm.AnnotationParser

Packages that use AnnotationParser

Package	Description
gov.nasa.jpf.jvm
gov.nasa.jpf.vm

Uses of AnnotationParser in gov.nasa.jpf.jvm

Classes in gov.nasa.jpf.jvm that implement AnnotationParser

Modifier and Type	Class and Description
class	JVMAnnotationParser parser that reads annotation classfiles and extracts default value entries Java annotations form a different type system.

Uses of AnnotationParser in gov.nasa.jpf.vm

Constructors in gov.nasa.jpf.vm with parameters of type AnnotationParser

Constructor and Description
AnnotationInfo(String name, ClassLoaderInfo classLoader, AnnotationParser parser)