public final class LibraryManager
extends java.lang.Object
Constructor and Description |
---|
LibraryManager() |
Modifier and Type | Method and Description |
---|---|
void |
addLibrary(java.lang.String libraryClassname)
Add a library to the manager.
|
void |
addLibrary(java.lang.String libraryClassname,
java.io.File file)
Add a library to the manager.
|
boolean |
contains(java.lang.String library)
Check if a library is contained in the manager.
|
Prolog |
getEngine()
Get the engine referenced by the library manager.
|
java.net.URL |
getExternalLibraryURL(java.lang.String name) |
java.lang.Object[] |
getLibraries()
Get the libraries managed by the library manager.
|
boolean |
isExternalLibrary(java.lang.String name) |
boolean |
isLibraryLoaded(java.lang.String libraryClassname)
Check if a library is loaded into the Prolog engine.
|
void |
loadLibrary(java.lang.String library)
Load a library from the Library Manager into the engine.
|
void |
loadLibrary(java.lang.String library,
java.io.File file)
Load a library from the Library Manager into the engine.
|
void |
removeLibrary(java.lang.String libraryClassname)
Remove a library to the manager.
|
void |
resetLibraries() |
void |
setEngine(Prolog engine)
Set the engine to be referenced by the library manager.
|
void |
setLibraries(java.util.ArrayList<java.lang.String> libraries) |
java.lang.String |
toString() |
void |
unloadExternalLibrary(java.lang.String library) |
void |
unloadLibrary(java.lang.String library)
Unload a library from the Library Manager out of the engine.
|
public void setEngine(Prolog engine)
engine
- The engine to be referenced by the library manager.public Prolog getEngine()
public boolean isLibraryLoaded(java.lang.String libraryClassname)
libraryClassname
- The complete name of the library class to check.public void addLibrary(java.lang.String libraryClassname) throws java.lang.ClassNotFoundException, InvalidLibraryException
libraryClassname
- The name of the .class of the library to be added.java.lang.ClassNotFoundException
- if the library class cannot be found.InvalidLibraryException
- if the library is not a valid tuProlog library.public void addLibrary(java.lang.String libraryClassname, java.io.File file) throws java.lang.ClassNotFoundException, InvalidLibraryException
libraryClassname
- The name of the .class of the library to be added.path
- The path where is contained the library.java.lang.ClassNotFoundException
- if the library class cannot be found.InvalidLibraryException
- if the library is not a valid tuProlog library.public void removeLibrary(java.lang.String libraryClassname) throws InvalidLibraryException
libraryClassname
- The name of the .class of the library to be removed.java.lang.ClassNotFoundException
- if the library class cannot be found.InvalidLibraryException
- if the library is not a valid tuProlog library.public java.lang.Object[] getLibraries()
Object
s.public void setLibraries(java.util.ArrayList<java.lang.String> libraries)
public void resetLibraries()
public java.lang.String toString()
toString
in class java.lang.Object
public void loadLibrary(java.lang.String library) throws InvalidLibraryException
library
- The library to be loaded into the engine.InvalidLibraryException
public void loadLibrary(java.lang.String library, java.io.File file) throws InvalidLibraryException
library
- The library to be loaded into the engine.path
- The library path where is contained the library.InvalidLibraryException
public void unloadLibrary(java.lang.String library) throws InvalidLibraryException
library
- The library to be unloaded out of the engine.InvalidLibraryException
EngineRunningException
public void unloadExternalLibrary(java.lang.String library) throws InvalidLibraryException
InvalidLibraryException
public boolean contains(java.lang.String library)
library
- The name of the library we want to check the load status on.public java.net.URL getExternalLibraryURL(java.lang.String name)
public boolean isExternalLibrary(java.lang.String name)