|
||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectse.sics.jasper.Jasper
public class Jasper
This class provides the multi threaded functionality of the Java-Prolog interface. The User's Manual documents how to use this class.
The interfaces Prolog
,
Query
and Term
declare
the methods available to the Java programmer for access to SICStus runtime.
Method Summary | |
---|---|
static Prolog |
getCaller()
Returns the Prolog interface corresponding to the SICStus runtime that called us. |
static void |
main(java.lang.String[] argv)
This is a small test function. |
static Prolog |
newProlog()
Creates a Prolog interface object. |
static Prolog |
newProlog(java.lang.String bootPath)
Creates a Prolog interface object. |
static Prolog |
newProlog(java.lang.String[] argv,
java.lang.String bootPath,
java.lang.String savFile)
Creates a Prolog interface object. |
Methods inherited from class java.lang.Object |
---|
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Method Detail |
---|
public static Prolog getCaller()
public static Prolog newProlog() throws java.lang.InterruptedException
Prolog
interface object. Equivalent to
newProlog(null, null, null)
.
java.lang.InterruptedException
public static Prolog newProlog(java.lang.String bootPath) throws java.lang.InterruptedException
Prolog
interface object. Equivalent to
newProlog(null, bootPath, null)
.
bootPath
- The path where SICStus should look for its start-up
files.
java.lang.InterruptedException
public static Prolog newProlog(java.lang.String[] argv, java.lang.String bootPath, java.lang.String savFile) throws java.lang.InterruptedException
Prolog
interface object. Starts a server
thread which will serve that Prolog
. The server
thread takes care of all interaction with the Prolog runtime, making sure
that all calls to the Prolog runtime will be done from one and the same
thread.
argv
- Argument vector to the emulator.bootPath
- The path where SICStus should look for its start-up
files.savFile
- A .sav-file to restore. See
SICStus.restore(java.lang.String)
java.lang.InterruptedException
public static void main(java.lang.String[] argv)
|
||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |