gov.nasa.jpf.jvm

Class JarClassFileContainer

java.lang.Object

gov.nasa.jpf.vm.ClassFileContainer

gov.nasa.jpf.jvm.JVMClassFileContainer

gov.nasa.jpf.jvm.JarClassFileContainer

public class JarClassFileContainer
extends JVMClassFileContainer

a ClassFileContainer that loads classes from jar files

Field Summary

Fields

Modifier and Type	Field and Description
protected JarFile	jar
protected String	pathPrefix

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

name, url

Method Summary

Methods

Modifier and Type	Method and Description
byte[]	getClassData(String clsName)

Methods inherited from class gov.nasa.jpf.jvm.JVMClassFileContainer

createAnnotationInfo, createClassInfo, getClassURL

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

error, getName, getURL, readFully

Methods inherited from class java.lang.Object

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

Field Detail

jar

protected JarFile jar

pathPrefix

protected String pathPrefix

Method Detail

getClassData

public byte[] getClassData(String clsName)
                    throws ClassParseException

Specified by:

getClassData in class ClassFileContainer

Throws:

ClassParseException