gov.nasa.jpf.jvm

Class JVMClassFileContainer

java.lang.Object

gov.nasa.jpf.vm.ClassFileContainer

gov.nasa.jpf.jvm.JVMClassFileContainer

Direct Known Subclasses:

DirClassFileContainer, JarClassFileContainer

public abstract class JVMClassFileContainer
extends ClassFileContainer

ClassFileContainer that holds Java classfiles

Field Summary

Fields inherited from class gov.nasa.jpf.vm.ClassFileContainer

name, url

Constructor Summary

Constructors

Modifier	Constructor and Description
protected	JVMClassFileContainer(String name)

Method Summary

Methods

Modifier and Type	Method and Description
AnnotationInfo	createAnnotationInfo(String typeName, ClassLoaderInfo classLoader, byte[] data)
ClassInfo	createClassInfo(String typeName, ClassLoaderInfo classLoader, String url, byte[] data)
String	getClassURL(String typeName)

Methods inherited from class gov.nasa.jpf.vm.ClassFileContainer

error, getClassData, getName, getURL, readFully

Methods inherited from class java.lang.Object

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

Constructor Detail

JVMClassFileContainer

protected JVMClassFileContainer(String name)

Method Detail

getClassURL

public String getClassURL(String typeName)

Specified by:

getClassURL in class ClassFileContainer

createClassInfo

public ClassInfo createClassInfo(String typeName,
                        ClassLoaderInfo classLoader,
                        String url,
                        byte[] data)
                          throws ClassParseException

Specified by:

createClassInfo in class ClassFileContainer

Throws:

ClassParseException

createAnnotationInfo

public AnnotationInfo createAnnotationInfo(String typeName,
                                  ClassLoaderInfo classLoader,
                                  byte[] data)
                                    throws ClassParseException

Specified by:

createAnnotationInfo in class ClassFileContainer

Throws:

ClassParseException