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

Nested Class Summary

Nested Classes

Modifier and Type	Class and Description
class	JVMClassFileContainer.JVMClassFileMatch

Field Summary

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

name, url

Constructor Summary

Constructors

Modifier	Constructor and Description
protected	JVMClassFileContainer(java.lang.String name, java.lang.String url)

Method Summary

Modifier and Type	Method and Description
java.lang.String	getClassURL(java.lang.String typeName)

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

error, getMatch, getName, getURL

Methods inherited from class java.lang.Object

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

Constructor Detail

JVMClassFileContainer

protected JVMClassFileContainer(java.lang.String name,
                                java.lang.String url)

Method Detail

getClassURL

public java.lang.String getClassURL(java.lang.String typeName)

Specified by:

getClassURL in class ClassFileContainer