edu.rice.cs.drjava.model.repl.newjvm
Class ClassPathManager

java.lang.Object
  edu.rice.cs.drjava.model.repl.newjvm.ClassPathManager

All Implemented Interfaces:

Lambda<java.lang.ClassLoader,java.lang.ClassLoader>

public class ClassPathManager
extends java.lang.Object
implements Lambda<java.lang.ClassLoader,java.lang.ClassLoader>

Maintains a dynamic class path, allowing entries to be incrementally added in the appropriate place in the list. This class is used in the interpreter JVM, and may be accessed concurrently.

Field Summary

private java.util.LinkedList<java.io.File>	_buildCP
private java.util.LinkedList<java.io.File>	_externalFilesCP
private java.util.LinkedList<java.io.File>	_extraCP
private java.lang.Iterable<java.io.File>	_fullPath
private Lambda<java.lang.Iterable<java.io.File>,java.lang.Iterable<java.io.File>>	_makeSafeSnapshot
private java.util.LinkedList<java.io.File>	_projectCP
private java.util.LinkedList<java.io.File>	_projectFilesCP
static java.lang.String	INTERACTIONS_CLASS_PATH_PROPERTY

Constructor Summary

ClassPathManager(java.lang.Iterable<java.io.File> builtInCP)

Method Summary

void	addBuildDirectoryCP(java.io.File f) Adds the entry to the front of the build classpath.
void	addExternalFilesCP(java.io.File f) Adds new entry containing f to the front of the external classpath.
void	addExtraCP(java.io.File f) Adds the entry to the front of the extra classpath.
void	addProjectCP(java.io.File f) Adds the entry to the front of the project classpath (this is the classpath specified in project properties)
void	addProjectFilesCP(java.io.File f) Adds the entry to the front of the project files classpath (this is the classpath for all open project files).
java.lang.Iterable<java.io.File>	getBuildDirectoryCP()
java.lang.Iterable<java.io.File>	getClassPath() Get a dynamic view of the full class path.
java.lang.Iterable<java.io.File>	getExternalFilesCP()
java.lang.Iterable<java.io.File>	getExtraCP()
java.lang.Iterable<java.io.File>	getProjectCP()
java.lang.Iterable<java.io.File>	getProjectFilesCP()
java.lang.ClassLoader	makeClassLoader(java.lang.ClassLoader parent) Create a new class loader based on the given path.
protected void	updateProperty()
java.lang.ClassLoader	value(java.lang.ClassLoader parent) Lambda value method

Methods inherited from class java.lang.Object

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

Field Detail

_projectCP

private final java.util.LinkedList<java.io.File> _projectCP

_buildCP

private final java.util.LinkedList<java.io.File> _buildCP

_projectFilesCP

private final java.util.LinkedList<java.io.File> _projectFilesCP

_externalFilesCP

private final java.util.LinkedList<java.io.File> _externalFilesCP

_extraCP

private final java.util.LinkedList<java.io.File> _extraCP

_fullPath

private final java.lang.Iterable<java.io.File> _fullPath

INTERACTIONS_CLASS_PATH_PROPERTY

public static final java.lang.String INTERACTIONS_CLASS_PATH_PROPERTY

See Also:

Constant Field Values

_makeSafeSnapshot

private final Lambda<java.lang.Iterable<java.io.File>,java.lang.Iterable<java.io.File>> _makeSafeSnapshot

Constructor Detail

ClassPathManager

public ClassPathManager(java.lang.Iterable<java.io.File> builtInCP)

Method Detail

updateProperty

protected void updateProperty()

addProjectCP

public void addProjectCP(java.io.File f)

Adds the entry to the front of the project classpath (this is the classpath specified in project properties)

getProjectCP

public java.lang.Iterable<java.io.File> getProjectCP()

addBuildDirectoryCP

public void addBuildDirectoryCP(java.io.File f)

Adds the entry to the front of the build classpath.

getBuildDirectoryCP

public java.lang.Iterable<java.io.File> getBuildDirectoryCP()

addProjectFilesCP

public void addProjectFilesCP(java.io.File f)

Adds the entry to the front of the project files classpath (this is the classpath for all open project files).

getProjectFilesCP

public java.lang.Iterable<java.io.File> getProjectFilesCP()

addExternalFilesCP

public void addExternalFilesCP(java.io.File f)

Adds new entry containing f to the front of the external classpath.

getExternalFilesCP

public java.lang.Iterable<java.io.File> getExternalFilesCP()

addExtraCP

public void addExtraCP(java.io.File f)

Adds the entry to the front of the extra classpath.

getExtraCP

public java.lang.Iterable<java.io.File> getExtraCP()

makeClassLoader

public java.lang.ClassLoader makeClassLoader(java.lang.ClassLoader parent)

Create a new class loader based on the given path. The loader's path is dynamically updated as changes are made in the ClassPathManager. Each loader returned by this method will have its own set of loaded classes, and will only share those classes that are loaded by a common parent.

Parameters:

parent - The parent class loader. May be null, signifying the bootstrap class loader.

value

public java.lang.ClassLoader value(java.lang.ClassLoader parent)

Lambda value method

Specified by:

value in interface Lambda<java.lang.ClassLoader,java.lang.ClassLoader>

getClassPath

public java.lang.Iterable<java.io.File> getClassPath()

Get a dynamic view of the full class path.