gov.nasa.jpf.vm

Class ClassPath

java.lang.Object

gov.nasa.jpf.vm.ClassPath

All Implemented Interfaces:

Restorable<ClassPath>

public class ClassPath
extends java.lang.Object
implements Restorable<ClassPath>

this is a lookup mechanism for class files that is based on an ordered list of directory or jar entries

Field Summary

Fields

Modifier and Type	Field and Description
protected java.util.ArrayList<ClassFileContainer>	pathElements

Constructor Summary

Constructors

Constructor and Description
ClassPath()

Method Summary

Modifier and Type	Method and Description
void	addClassFileContainer(ClassFileContainer pathElement)
protected static void	error(java.lang.String msg)
ClassFileMatch	findMatch(java.lang.String clsName)
Memento<ClassPath>	getMemento()
Memento<ClassPath>	getMemento(MementoFactory factory)
java.lang.String[]	getPathNames()
java.lang.String	toString()

Methods inherited from class java.lang.Object

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

Field Detail

pathElements

protected java.util.ArrayList<ClassFileContainer> pathElements

Constructor Detail

ClassPath

public ClassPath()

Method Detail

getMemento

public Memento<ClassPath> getMemento(MementoFactory factory)

Specified by:

getMemento in interface Restorable<ClassPath>

getMemento

public Memento<ClassPath> getMemento()

addClassFileContainer

public void addClassFileContainer(ClassFileContainer pathElement)

getPathNames

public java.lang.String[] getPathNames()

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object

error

protected static void error(java.lang.String msg)
                     throws ClassParseException

Throws:

ClassParseException

findMatch

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

Throws:

ClassParseException