Package alice.tuprolog

Class AndroidPlatformLibraryManager

java.lang.Object

alice.tuprolog.AbstractPlatformLibraryManager

alice.tuprolog.AndroidPlatformLibraryManager

All Implemented Interfaces:

ILibraryManager

public class AndroidPlatformLibraryManager
extends AbstractPlatformLibraryManager
implements ILibraryManager

Field Summary

Fields inherited from class alice.tuprolog.AbstractPlatformLibraryManager

externalLibraries, prolog

Constructor Summary

Constructors

Constructor	Description
AndroidPlatformLibraryManager()

Method Summary

Modifier and Type	Method	Description
java.lang.String	fetchCurrentPlatform()
java.lang.String	getOptimizedDirectory()
Library	loadLibrary(java.lang.String className, java.lang.String[] paths)
void	setOptimizedDirectory(java.lang.String optimizedDirectory)

Methods inherited from class alice.tuprolog.AbstractPlatformLibraryManager

bindLibrary, getClassResource, getCurrentLibraries, getExternalLibraryURL, getLibrary, initialize, isExternalLibrary, loadLibrary, loadLibrary, loadLibraryIntoEngine, onSolveBegin, onSolveEnd, onSolveHalt, unloadLibrary, unloadLibraryFromEngine

Methods inherited from class java.lang.Object

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

Methods inherited from interface alice.tuprolog.interfaces.ILibraryManager

getCurrentLibraries, getExternalLibraryURL, getLibrary, initialize, isExternalLibrary, loadLibrary, loadLibrary, onSolveBegin, onSolveEnd, onSolveHalt, unloadLibrary

Constructor Detail

AndroidPlatformLibraryManager

public AndroidPlatformLibraryManager()

Method Detail

loadLibrary

public Library loadLibrary(java.lang.String className,
                           java.lang.String[] paths)
                    throws InvalidLibraryException

Specified by:

loadLibrary in interface ILibraryManager

Specified by:

loadLibrary in class AbstractPlatformLibraryManager

Throws:

InvalidLibraryException

getOptimizedDirectory

public java.lang.String getOptimizedDirectory()

setOptimizedDirectory

public void setOptimizedDirectory(java.lang.String optimizedDirectory)

fetchCurrentPlatform

public java.lang.String fetchCurrentPlatform()