public class LibraryManager
extends java.lang.Object
Modifier and Type | Method and Description |
---|---|
java.lang.String[] |
getCurrentLibraries()
Gets the list of current libraries loaded
|
java.net.URL |
getExternalLibraryURL(java.lang.String name) |
Library |
getLibrary(java.lang.String name)
Gets the reference to a loaded library
|
java.lang.String |
getOptimizedDirectory() |
boolean |
isExternalLibrary(java.lang.String name) |
void |
loadLibrary(Library lib)
Loads a specific instance of a library.
|
Library |
loadLibrary(java.lang.String className)
Loads a library.
|
Library |
loadLibrary(java.lang.String className,
java.lang.String[] paths)
Loads a library.
|
void |
onSolveBegin(Term g) |
void |
onSolveEnd() |
void |
onSolveHalt() |
void |
setOptimizedDirectory(java.lang.String optimizedDirectory) |
void |
unloadLibrary(java.lang.String name)
Unloads a previously loaded library
|
public Library loadLibrary(java.lang.String className) throws InvalidLibraryException
the
- name of the Java class containing the library to be loadedInvalidLibraryException
- if name is not a valid librarypublic Library loadLibrary(java.lang.String className, java.lang.String[] paths) throws InvalidLibraryException
the
- name of the Java class containing the library to be loadedthe
- list of the paths where the library may be containedInvalidLibraryException
- if name is not a valid librarypublic void loadLibrary(Library lib) throws InvalidLibraryException
lib
- the (Java class) name of the library to be loadedInvalidLibraryException
- if name is not a valid librarypublic java.lang.String[] getCurrentLibraries()
public void unloadLibrary(java.lang.String name) throws InvalidLibraryException
name
- of the library to be unloadedInvalidLibraryException
- if name is not a valid loaded librarypublic Library getLibrary(java.lang.String name)
name
- the name of the library already loadedpublic void onSolveBegin(Term g)
public void onSolveHalt()
public void onSolveEnd()
public java.net.URL getExternalLibraryURL(java.lang.String name)
public boolean isExternalLibrary(java.lang.String name)
public void setOptimizedDirectory(java.lang.String optimizedDirectory)
public java.lang.String getOptimizedDirectory()