gov.nasa.jpf.jvm

Class DirClassFileContainer

java.lang.Object

gov.nasa.jpf.vm.ClassFileContainer

gov.nasa.jpf.jvm.JVMClassFileContainer

gov.nasa.jpf.jvm.DirClassFileContainer

public class DirClassFileContainer
extends JVMClassFileContainer

Field Summary

Fields

Modifier and Type	Field and Description
protected File	dir

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

dir

protected File dir

Method Detail

getClassData

public byte[] getClassData(String clsName)
                    throws ClassParseException

Specified by:

getClassData in class ClassFileContainer

Throws:

ClassParseException