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

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.io.File	dir

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

name, url

Constructor Summary

Constructors

Constructor and Description
DirClassFileContainer(java.io.File dir)

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

dir

protected java.io.File dir

Constructor Detail

DirClassFileContainer

public DirClassFileContainer(java.io.File dir)

Method Detail

getMatch

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

Specified by:

getMatch in class ClassFileContainer

Throws:

ClassParseException