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

Nested Class Summary

Nested classes/interfaces inherited from class gov.nasa.jpf.jvm.JVMClassFileContainer

JVMClassFileContainer.JVMClassFileMatch

Field Summary

Fields

Modifier and Type	Field and Description
protected java.util.jar.JarFile	jar
protected java.lang.String	pathPrefix

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

name, url

Constructor Summary

Constructors

Constructor and Description
JarClassFileContainer(java.io.File file)
JarClassFileContainer(java.io.File file, java.lang.String pathPrefix)

Method Summary

Modifier and Type	Method and Description
ClassFileMatch	getMatch(java.lang.String clsName)

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

getClassURL

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

error, getName, getURL

Methods inherited from class java.lang.Object

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

Field Detail

jar

protected java.util.jar.JarFile jar

pathPrefix

protected java.lang.String pathPrefix

Constructor Detail

JarClassFileContainer

public JarClassFileContainer(java.io.File file)
                      throws java.io.IOException

Throws:

java.io.IOException

JarClassFileContainer

public JarClassFileContainer(java.io.File file,
                             java.lang.String pathPrefix)
                      throws java.io.IOException

Throws:

java.io.IOException

Method Detail

getMatch

public ClassFileMatch getMatch(java.lang.String clsName)
                        throws ClassParseException

Specified by:

getMatch in class ClassFileContainer

Throws:

ClassParseException