alice.tuprologx.ide

Class LibraryManager

java.lang.Object

alice.tuprologx.ide.LibraryManager

public final class LibraryManager
extends Object

A dynamic manager for tuProlog libraries.

Author:

Giulio Piancastelli

Constructor Summary

Constructors

Constructor and Description
LibraryManager()

Method Summary

Methods

Modifier and Type	Method and Description
void	addLibrary(String libraryClassname) Add a library to the manager.
boolean	contains(String library) Check if a library is contained in the manager.
Prolog	getEngine() Get the engine referenced by the library manager.
Object[]	getLibraries() Get the libraries managed by the library manager.
boolean	isLibraryLoaded(String libraryClassname) Check if a library is loaded into the Prolog engine.
void	loadLibrary(String library) Load a library from the Library Manager into the engine.
void	setEngine(Prolog engine) Set the engine to be referenced by the library manager.
void	unloadLibrary(String library) Unload a library from the Library Manager out of the engine.

Methods inherited from class java.lang.Object

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

Constructor Detail

LibraryManager

public LibraryManager()

Method Detail

setEngine

public void setEngine(Prolog engine)

Set the engine to be referenced by the library manager.

Parameters:

engine - The engine to be referenced by the library manager.

getEngine

public Prolog getEngine()

Get the engine referenced by the library manager.

Returns:

the engine referenced by the library manager.

isLibraryLoaded

public boolean isLibraryLoaded(String libraryClassname)

Check if a library is loaded into the Prolog engine.

Parameters:

libraryClassname - The complete name of the library class to check.

Returns:

true if the library is loaded into the engine, false otherwise.

addLibrary

public void addLibrary(String libraryClassname)
                throws ClassNotFoundException,
                       InvalidLibraryException

Add a library to the manager.

Parameters:

libraryClassname - The name of the .class of the library to be added.

Throws:

ClassNotFoundException - if the library class cannot be found.

InvalidLibraryException - if the library is not a valid tuProlog library.

getLibraries

public Object[] getLibraries()

Get the libraries managed by the library manager.

Returns:

The libraries managed by the library manager as an array of Objects.

loadLibrary

public void loadLibrary(String library)
                 throws InvalidLibraryException

Load a library from the Library Manager into the engine.

Parameters:

library - The library to be loaded into the engine.

Throws:

InvalidLibraryException

unloadLibrary

public void unloadLibrary(String library)
                   throws InvalidLibraryException

Unload a library from the Library Manager out of the engine.

Parameters:

library - The library to be unloaded out of the engine.

Throws:

InvalidLibraryException

EngineRunningException

contains

public boolean contains(String library)

Check if a library is contained in the manager.

Parameters:

library - The name of the library we want to check the load status on.

Since:

1.3.0