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