JVMClassFileContainer.JVMClassFileMatch

java.lang.Object
- gov.nasa.jpf.vm.ClassFileMatch
- - gov.nasa.jpf.jvm.JVMClassFileContainer.JVMClassFileMatch

public class JVMClassFileContainer.JVMClassFileMatch
extends ClassFileMatch

Field Summary
- Fields inherited from class gov.nasa.jpf.vm.ClassFileMatch
  typeName, url

All Methods Instance Methods Concrete Methods
Modifier and Type	Method and Description
`AnnotationInfo`	`createAnnotationInfo(ClassLoaderInfo loader)`
`JVMClassInfo`	`createClassInfo(ClassLoaderInfo loader)`
`ClassFileContainer`	`getContainer()`
`byte[]`	`getData()`

Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

public JVMClassInfo createClassInfo(ClassLoaderInfo loader)
                             throws ClassParseException

public AnnotationInfo createAnnotationInfo(ClassLoaderInfo loader)
                                    throws ClassParseException

Class JVMClassFileContainer.JVMClassFileMatch