gov.nasa.jpf.vm

Class ClassFileMatch

java.lang.Object

gov.nasa.jpf.vm.ClassFileMatch

Direct Known Subclasses:

JVMClassFileContainer.JVMClassFileMatch

public abstract class ClassFileMatch
extends java.lang.Object

a lookup match for a given typename in a ClassFileContainer

Field Summary

Fields

Modifier and Type	Field and Description
java.lang.String	typeName
java.lang.String	url

Constructor Summary

Constructors

Modifier	Constructor and Description
protected	ClassFileMatch(java.lang.String typeName, java.lang.String url)

Method Summary

Modifier and Type	Method and Description
abstract AnnotationInfo	createAnnotationInfo(ClassLoaderInfo loader)
abstract ClassInfo	createClassInfo(ClassLoaderInfo loader)
java.lang.String	getClassURL()
abstract ClassFileContainer	getContainer()

Methods inherited from class java.lang.Object

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

Field Detail

typeName

public final java.lang.String typeName

url

public final java.lang.String url

Constructor Detail

ClassFileMatch

protected ClassFileMatch(java.lang.String typeName,
                         java.lang.String url)

Method Detail

getClassURL

public java.lang.String getClassURL()

getContainer

public abstract ClassFileContainer getContainer()

createClassInfo

public abstract ClassInfo createClassInfo(ClassLoaderInfo loader)
                                   throws ClassParseException

Throws:

ClassParseException

createAnnotationInfo

public abstract AnnotationInfo createAnnotationInfo(ClassLoaderInfo loader)
                                             throws ClassParseException

Throws:

ClassParseException