alice.tuprolog

Class LibraryManager

java.lang.Object

alice.tuprolog.LibraryManager

public class LibraryManager
extends Object

Author:

Alex Benini

Method Summary

Methods

Modifier and Type	Method and Description
String[]	getCurrentLibraries() Gets the list of current libraries loaded
Library	getLibrary(String name) Gets the reference to a loaded library
void	loadLibrary(Library lib) Loads a specific instance of a library.
Library	loadLibrary(String className) Loads a library.
void	onSolveBegin(Term g)
void	onSolveEnd()
void	unloadLibrary(String name) Unloads a previously loaded library

Methods inherited from class java.lang.Object

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

Method Detail

loadLibrary

public Library loadLibrary(String className)
                    throws InvalidLibraryException

Loads a library. If a library with the same name is already present, a warning event is notified and the request is ignored.

Parameters:

the - name of the Java class containing the library to be loaded

Returns:

the reference to the Library just loaded

Throws:

InvalidLibraryException - if name is not a valid library

loadLibrary

public void loadLibrary(Library lib)
                 throws InvalidLibraryException

Loads a specific instance of a library. If a library of the same class is already present, a warning event is notified. Then, the current instance of that library is discarded, and the new instance gets loaded.

Parameters:

lib - the (Java class) name of the library to be loaded

Throws:

InvalidLibraryException - if name is not a valid library

getCurrentLibraries

public String[] getCurrentLibraries()

Gets the list of current libraries loaded

Returns:

the list of the library names

unloadLibrary

public void unloadLibrary(String name)
                   throws InvalidLibraryException

Unloads a previously loaded library

Parameters:

name - of the library to be unloaded

Throws:

InvalidLibraryException - if name is not a valid loaded library

getLibrary

public Library getLibrary(String name)

Gets the reference to a loaded library

Parameters:

name - the name of the library already loaded

Returns:

the reference to the library loaded, null if the library is not found

onSolveBegin

public void onSolveBegin(Term g)

onSolveEnd

public void onSolveEnd()