gov.nasa.jpf.vm

Class ClassFileContainer

java.lang.Object

gov.nasa.jpf.vm.ClassFileContainer

Direct Known Subclasses:

JVMClassFileContainer

public abstract class ClassFileContainer
extends Object

abstract class that represents the source of a classfile, such as (root) directories and jars

Field Summary

Fields

Modifier and Type	Field and Description
protected String	name
protected String	url

Constructor Summary

Constructors

Modifier	Constructor and Description
protected	ClassFileContainer(String name)

Method Summary

Methods

Modifier and Type	Method and Description
abstract AnnotationInfo	createAnnotationInfo(String typeName, ClassLoaderInfo classLoader, byte[] data)
abstract ClassInfo	createClassInfo(String typeName, ClassLoaderInfo classLoader, String url, byte[] data)
protected static void	error(String msg)
abstract byte[]	getClassData(String clsName)
abstract String	getClassURL(String clsName)
String	getName()
String	getURL()
protected void	readFully(InputStream is, byte[] buf)

Methods inherited from class java.lang.Object

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

Field Detail

name

protected String name

url

protected String url

Constructor Detail

ClassFileContainer

protected ClassFileContainer(String name)

Method Detail

getName

public String getName()

getURL

public String getURL()

getClassData

public abstract byte[] getClassData(String clsName)
                             throws ClassParseException

Throws:

ClassParseException

getClassURL

public abstract String getClassURL(String clsName)

createClassInfo

public abstract ClassInfo createClassInfo(String typeName,
                        ClassLoaderInfo classLoader,
                        String url,
                        byte[] data)
                                   throws ClassParseException

Throws:

ClassParseException

createAnnotationInfo

public abstract AnnotationInfo createAnnotationInfo(String typeName,
                                  ClassLoaderInfo classLoader,
                                  byte[] data)
                                             throws ClassParseException

Throws:

ClassParseException

readFully

protected void readFully(InputStream is,
             byte[] buf)
                  throws ClassParseException

Throws:

ClassParseException

error

protected static void error(String msg)
                     throws ClassParseException

Throws:

ClassParseException