A B C D F G H I J L M N O P Q R S T U W

A

AtomRegisterFailure - exception se.sics.jasper.AtomRegisterFailure.

Thrown if SPCanonicalAtom could not register or un-register a canonical atom representation.

B

bootPath - Variable in class se.sics.jasper.SICStus

This is the path where SICStus finds the Runtime Library.

C

cbTestMethod(int, double) - Static method in class se.sics.jasper.PrologEngine

Deprecated.

cbTestMethod(Integer, int, double) - Static method in class se.sics.jasper.PrologEngine

Deprecated.

checkLegalCaller() - Method in class se.sics.jasper.SICStus

Deprecated. Do not use, as of 3.8.2 this is a no-op.

CheckValid() - Method in class se.sics.jasper.SPTerm

Throw an exception if the term is not valid.

CheckValid(SICStus) - Method in class se.sics.jasper.SPTerm

close() - Method in class se.sics.jasper.SPQuery

Closes a query.

compare(SPTerm) - Method in class se.sics.jasper.SPTerm

Compare two terms according to standard order.

compile(String) - Method in class se.sics.jasper.PrologEngine

Deprecated. Instruct the Prolog engine to compile a file.

ConnectionFailedException - exception se.sics.jasper.ConnectionFailedException.

Deprecated. Only intended as an example

consFunctor(String, int, SPTerm[]) - Method in class se.sics.jasper.SPTerm

Deprecated. Use consFunctor without arity argument instead.

consFunctor(String, SPTerm[]) - Method in class se.sics.jasper.SPTerm

Assigns the term to a compount term.

consList(SPTerm, SPTerm) - Method in class se.sics.jasper.SPTerm

Assigns the term to a list with given head and tail.

consult(String) - Method in class se.sics.jasper.PrologEngine

Deprecated. Instruct the Prolog engine to consult a file.

ConversionFailedException - exception se.sics.jasper.ConversionFailedException.

Thrown if a Java value canot be converted to a Prolog term.

ConversionFailedException(SICStus, String) - Constructor for class se.sics.jasper.ConversionFailedException

cut() - Method in class se.sics.jasper.SPQuery

Discard choices made since this query object was created, like the goal !.

D

debugLevel() - Method in class se.sics.jasper.SICStus

Currently Unsupported, see the Release Notes.

delete() - Method in class se.sics.jasper.SPTerm

Invalidate the SPTerm object and make the term-ref available for re-use.

F

finalize() - Method in class se.sics.jasper.PrologEngine

Deprecated.

G

getArg(int, SPTerm) - Method in class se.sics.jasper.SPTerm

Get an argument from a compound term.

getAtom() - Method in class se.sics.jasper.SPTerm

Deprecated. Use getCanonicalAtom instead.

getCanonicalAtom() - Method in class se.sics.jasper.SPTerm

Obtain the canonical representation of a Prolog atom.

getDouble() - Method in class se.sics.jasper.SPTerm

Obtain the value of the Prolog float.

getFunctorArity() - Method in class se.sics.jasper.SPTerm

Obtain the arity of a functor.

getFunctorName() - Method in class se.sics.jasper.SPTerm

Obtain the name of a functor.

getInitializedSICStus() - Static method in class se.sics.jasper.SICStus

Returns a pointer to the SICStus object which has been initialized in this JVM.

getInteger() - Method in class se.sics.jasper.SPTerm

Obtain the integer value of the Prolog term.

getList(SPTerm, SPTerm) - Method in class se.sics.jasper.SPTerm

Get the head and tail of a Prolog list.

getListChars() - Method in class se.sics.jasper.SPTerm

Obtain the value of a list of characters as a string.

getNextLine(BufferedReader) - Static method in class se.sics.jasper.PrologEngine

Deprecated. Returns next non-empty line from 'reader' which does not start with '#'.

getNumberChars() - Method in class se.sics.jasper.SPTerm

Obtain the value of a Prolog number as a string.

getObject() - Method in class se.sics.jasper.SPTerm

Returns the object encapsulated in the Prolog term.

getString() - Method in class se.sics.jasper.SPTerm

Obtain the value of the Prolog atom as a string.

H

halt() - Method in class se.sics.jasper.PrologEngine

Deprecated.

I

IllegalCallerException - exception se.sics.jasper.IllegalCallerException.

Deprecated. As of SICStus 3.8.3 this is no longer thrown.

You should not create or inherit from IllegalCallerException.

IllegalTermException - exception se.sics.jasper.IllegalTermException.

Thrown if trying to use a (no longer) valid SPTerm.

isAtom() - Method in class se.sics.jasper.SPTerm

Tests if the term is an atom.

isAtomic() - Method in class se.sics.jasper.SPTerm

Tests if the term is atomic.

isCompound() - Method in class se.sics.jasper.SPTerm

Tests if the term is a compound term.

isEmptyList() - Method in class se.sics.jasper.SPTerm

Tests if the term is the empty list.

isFloat() - Method in class se.sics.jasper.SPTerm

Tests if the term is a float.

isInteger() - Method in class se.sics.jasper.SPTerm

Tests if the term is an integer.

isLegalCaller() - Method in class se.sics.jasper.SICStus

Deprecated. Do not use, as of 3.8.2 this is always true.

isList() - Method in class se.sics.jasper.SPTerm

Tests if the term is a list cell.

isNumber() - Method in class se.sics.jasper.SPTerm

Tests if the term is a number.

isSameAtom(SPCanonicalAtom) - Method in class se.sics.jasper.SPCanonicalAtom

Returns true iff the atoms have the same canonical representation.

isValid() - Method in class se.sics.jasper.SPTerm

Tests if the Prolog term referenced is still accessible through this object.

isValid(SICStus) - Method in class se.sics.jasper.SPTerm

As isValid().

isVariable() - Method in class se.sics.jasper.SPTerm

Tests if the term is a variable.

J

JavaServer - class se.sics.jasper.JavaServer.

Deprecated. Only intended as an example Java server thread. Opens a server-socket and accepts connections for calling Java methods, according to the Jasper protocol.

JavaServer(PrologEngine) - Constructor for class se.sics.jasper.JavaServer

Deprecated.

L

load(String) - Method in class se.sics.jasper.SICStus

Interface to SP_load(), which in turn calls the Prolog predicate load_files/[1-2] (See the User's Manual).

M

main(String[]) - Static method in class se.sics.jasper.SICStus

This main-function is just a small test function.

main(String[]) - Static method in class se.sics.jasper.PrologEngine

Deprecated.

main(String[]) - Static method in class se.sics.jasper.JavaServer

Deprecated.

N

nextSolution() - Method in class se.sics.jasper.SPQuery

Gets the next solution for the query.

O

openQuery(SPPredicate, SPTerm[]) - Method in class se.sics.jasper.SICStus

Deprecated Use module and predicate name directly instead.

openQuery(String, Map) - Method in class se.sics.jasper.SICStus

Open a query, specified as a string, for obtaining multiple solutions.

openQuery(String, String, SPTerm[]) - Method in class se.sics.jasper.SICStus

Open a query for obtaining multiple solutions.

P

PrologEngine - class se.sics.jasper.PrologEngine.

Deprecated. Only intended as an example Objects of this class represent a Prolog engine running in a separate process.

PrologEngine(String[]) - Constructor for class se.sics.jasper.PrologEngine

Deprecated. Starts a new Prolog process on the local machine

PrologEngine(String, int) - Constructor for class se.sics.jasper.PrologEngine

Deprecated. Connect to a running Prolog process on 'machine:portNum'.

PrologException - exception se.sics.jasper.PrologException.

Deprecated. Only intended as an example Objects of this class are wrappers for exceptions thrown in Prolog and passed on to Java. All methods which directly or indirectly call Prolog predicates will throw exceptions of this class.

PrologTerm - class se.sics.jasper.PrologTerm.

Deprecated. Only intended as an example

PrologTerm() - Constructor for class se.sics.jasper.PrologTerm

Deprecated.

putAtom(long) - Method in class se.sics.jasper.SPTerm

Deprecated. Use putCanonicalAtom instead.

putCanonicalAtom(SPCanonicalAtom) - Method in class se.sics.jasper.SPTerm

Assigns the term to a Prolog atom, given the canonical representation of the atom as a SPCanonicalAtom object.

putEmptyList() - Method in class se.sics.jasper.SPTerm

Assigns the term to an empty list [].

putFloat(double) - Method in class se.sics.jasper.SPTerm

Assigns the term to a Prolog float from a Java double.

putFloat(float) - Method in class se.sics.jasper.SPTerm

Assigns the term to a Prolog float from a Java float.

putFunctor(String, int) - Method in class se.sics.jasper.SPTerm

Assigns the term to a compound term with all arguments initialized to unbound variables.

putInteger(int) - Method in class se.sics.jasper.SPTerm

Assigns the term to a Prolog integer from a Java int.

putList() - Method in class se.sics.jasper.SPTerm

Assigns the term to a list whose head and tail are both unbound variables.

putListChars(String) - Method in class se.sics.jasper.SPTerm

Assigns the term to a list of character codes from a Java String.

putNumberChars(String) - Method in class se.sics.jasper.SPTerm

Assigns the term to a Prolog number from a string.

putObject(Object) - Method in class se.sics.jasper.SPTerm

Assigns the term to a *global* reference to a Java object.

putString(String) - Method in class se.sics.jasper.SPTerm

Assigns the term to a Prolog atom from a Java String.

putTerm(SPTerm) - Method in class se.sics.jasper.SPTerm

Assigns the term to another Prolog term.

putVariable() - Method in class se.sics.jasper.SPTerm

Assigns the term to an unbound variable.

Q

query(Object[]) - Method in class se.sics.jasper.PrologEngine

Deprecated. Ask a Prolog query given an array of Java objects.

query(SPPredicate, SPTerm[]) - Method in class se.sics.jasper.SICStus

Deprecated Use module and predicate name directly instead.

query(String) - Method in class se.sics.jasper.PrologEngine

Deprecated. Ask a query to the Prolog engine

query(String, Map) - Method in class se.sics.jasper.SICStus

Find the first solution to a query specified as a string.

query(String, String, SPTerm[]) - Method in class se.sics.jasper.SICStus

Find the first solution to a query.

queryCutFail(SPPredicate, SPTerm[]) - Method in class se.sics.jasper.SICStus

Deprecated Use module and predicate name directly instead.

queryCutFail(String, Map) - Method in class se.sics.jasper.SICStus

Find the first solution to a query specified as a string, then do a cut to remove all choicepoints and then fail, i.e., ignore everything but the side-effects during the first solution.

queryCutFail(String, String, SPTerm[]) - Method in class se.sics.jasper.SICStus

Find the first solution to a query, then do a cut to remove all choicepoints and then fail, i.e., ignore everything but the side-effects during the first solution.

R

readFromString(String) - Method in class se.sics.jasper.SICStus

Equivalent to readFromString(string, null);

readFromString(String, Map) - Method in class se.sics.jasper.SICStus

Create a term by reading from a string.

restore(String) - Method in class se.sics.jasper.SICStus

Interface to SP_restore().

restore(String) - Method in class se.sics.jasper.PrologEngine

Deprecated. Instruct the Prolog engine to restore a saved state.

reuseTermRefs() - Method in class se.sics.jasper.SICStus

Unsupported.

run() - Method in class se.sics.jasper.JavaServer

Deprecated.

S

se.sics.jasper - package se.sics.jasper

setDebugLevel(int) - Method in class se.sics.jasper.SICStus

Currently Unsupported.

setReuseTermRefs(boolean) - Method in class se.sics.jasper.SICStus

Unsupported, see the release notes for details.

setShouldCheckAge(boolean) - Method in class se.sics.jasper.SICStus

Currently Unsupported, see the release notes for details.

shouldCheckAge() - Method in class se.sics.jasper.SICStus

Currently Unsupported, see the release notes for details.

SICStus - class se.sics.jasper.SICStus.

This class encapsulates the SICStus emulator and provides the basic functionality for interacting with Prolog.

SICStus() - Constructor for class se.sics.jasper.SICStus

Creates a SICStus object.

SICStus(String) - Constructor for class se.sics.jasper.SICStus

Creates a SICStus object.

SICStus(String[], String) - Constructor for class se.sics.jasper.SICStus

Creates a SICStus object.

SP_TYPE_ATOM - Static variable in class se.sics.jasper.SPTerm

The term is an atom.

SP_TYPE_COMPOUND - Static variable in class se.sics.jasper.SPTerm

The term is a compound term.

SP_TYPE_FLOAT - Static variable in class se.sics.jasper.SPTerm

The term is a float.

SP_TYPE_INTEGER - Static variable in class se.sics.jasper.SPTerm

The term is an integer.

SP_TYPE_VARIABLE - Static variable in class se.sics.jasper.SPTerm

The term is a variable.

SPCanonicalAtom - class se.sics.jasper.SPCanonicalAtom.

The SPCanonicalAtom class encapsulates the canonical representation of a Prolog atom, which is usually a 32 or 64-bit integer.

SPCanonicalAtom(SICStus, String) - Constructor for class se.sics.jasper.SPCanonicalAtom

Create a canonical atom from a string.

SPException - exception se.sics.jasper.SPException.

Represents a exception thrown by Jasper.

SPPredicate - class se.sics.jasper.SPPredicate.

Deprecated Instead use module and predicate name as strings directly or specify the goal as a string.

SPPredicate(SICStus, SPCanonicalAtom, int, SPCanonicalAtom) - Constructor for class se.sics.jasper.SPPredicate

Deprecated Creates a predicate reference.

SPPredicate(SICStus, String, int, String) - Constructor for class se.sics.jasper.SPPredicate

Deprecated Creates a predicate reference.

SPQuery - class se.sics.jasper.SPQuery.

This class is used for holding a query-reference which is used to find multiple solutions to a query.

SPTerm - class se.sics.jasper.SPTerm.

SPTerms are Java representations of Prolog terms.

SPTerm(SICStus) - Constructor for class se.sics.jasper.SPTerm

Creates a null-term (i.e.

SPTerm(SICStus, double) - Constructor for class se.sics.jasper.SPTerm

Creates a term initialized to a Prolog float.

SPTerm(SICStus, float) - Constructor for class se.sics.jasper.SPTerm

Creates a term initialized to a Prolog float.

SPTerm(SICStus, int) - Constructor for class se.sics.jasper.SPTerm

Creates a term initialized to a Prolog integer.

SPTerm(SICStus, SPTerm) - Constructor for class se.sics.jasper.SPTerm

Creates a term initialized to an existing term.

SPTerm(SICStus, String) - Constructor for class se.sics.jasper.SPTerm

Creates a term initialized to a Prolog atom.

SPTerm(SICStus, String, int, SPTerm[]) - Constructor for class se.sics.jasper.SPTerm

Deprecated. Do not pass the arity argument.

SPTerm(SICStus, String, SPTerm[]) - Constructor for class se.sics.jasper.SPTerm

Creates a term initialized to a Prolog compound term.

T

term - Variable in class se.sics.jasper.SPException

toString() - Method in class se.sics.jasper.SPTerm

Returns a string-respresentation of a term.

toString() - Method in class se.sics.jasper.SPCanonicalAtom

Return this canonical atom as a string

toString() - Method in class se.sics.jasper.SPException

Returns a description of the exception.

toString() - Method in class se.sics.jasper.PrologException

Deprecated.

toStringString - Variable in class se.sics.jasper.SPException

toTermArray() - Method in class se.sics.jasper.SPTerm

Converts a list to an array of SPTerm.

type() - Method in class se.sics.jasper.SPTerm

Returns the type of this term.

U

unify(SPTerm) - Method in class se.sics.jasper.SPTerm

Unify the term with another term.

W

writeLine(BufferedWriter, String) - Static method in class se.sics.jasper.PrologEngine

Deprecated. Writes a string to a BufferedWriter, adds a newline and flushes the stream

A B C D F G H I J L M N O P Q R S T U W