|
||||||||
PREV NEXT | FRAMES NO FRAMES All Classes |
!
cut() -
Method in class se.sics.jasper.SPQuery
Discards 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
- Invalidates the SPTerm object and makes the SP_term_ref available
for re-use.
- delete() -
Method in interface se.sics.jasper.Term
- Invalidates the Term object and make the SP_term_ref available
for re-use.
F
- finalize() -
Method in exception se.sics.jasper.SPException
-
G
- getArg(Integer, Term) -
Method in class se.sics.jasper.SPTerm
-
- getArg(int, Term) -
Method in class se.sics.jasper.SPTerm
- Gets an argument from a compound term.
- getArg(int, Term) -
Method in interface se.sics.jasper.Term
- Gets an argument from a compound term.
- getCaller() -
Static method in class se.sics.jasper.Jasper
- Returns the Prolog interface corresponding to the SICStus runtime that
called us.
- getCaller() -
Static method in class se.sics.jasper.SICStus
- Returns the SICStus object corresponding to the SICStus runtime that
called us.
- getCanonicalAtom() -
Method in class se.sics.jasper.SPTerm
- Obtains the canonical representation of a Prolog atom.
- getDouble() -
Method in class se.sics.jasper.SPTerm
- Obtains the value of the Prolog float.
- getDouble() -
Method in interface se.sics.jasper.Term
- Obtains the value of the Prolog float.
- getFunctorArity() -
Method in class se.sics.jasper.SPTerm
- Obtains the arity of a functor.
- getFunctorArity() -
Method in interface se.sics.jasper.Term
- Obtains the arity of a functor.
- getFunctorName() -
Method in class se.sics.jasper.SPTerm
- Obtains the name of a functor.
- getFunctorName() -
Method in interface se.sics.jasper.Term
- Obtains the name of a functor.
- getInitializedSICStus() -
Static method in class se.sics.jasper.SICStus
- Deprecated, do not use.
- getInteger() -
Method in class se.sics.jasper.SPTerm
- Obtains the integer value of the Prolog term.
- getInteger() -
Method in interface se.sics.jasper.Term
- Obtains the integer value of the Prolog term.
- getList(Term, Term) -
Method in class se.sics.jasper.SPTerm
- Gets the head and tail of a Prolog list.
- getList(Term, Term) -
Method in interface se.sics.jasper.Term
- Gets the head and tail of a Prolog list.
- getListChars() -
Method in class se.sics.jasper.SPTerm
- Obtains the value of a list of characters as a string.
- getListChars() -
Method in interface se.sics.jasper.Term
- Obtains the value of a list of characters as a string.
- getNumberChars() -
Method in class se.sics.jasper.SPTerm
- Obtains the value of a Prolog number as a string.
- getNumberChars() -
Method in interface se.sics.jasper.Term
- Obtains 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.
- getObject() -
Method in interface se.sics.jasper.Term
- Returns the object encapsulated in the Prolog term.
- getServer() -
Method in interface se.sics.jasper.Prolog
- For internal use by Jasper.
- getServer() -
Method in class se.sics.jasper.SICStus
-
- getString() -
Method in class se.sics.jasper.SPTerm
- Obtains the value of the Prolog atom as a string.
- getString() -
Method in interface se.sics.jasper.Term
- Obtains the value of the Prolog atom as a string.
- getTerm() -
Method in interface se.sics.jasper.PrologException
-
- getTerm() -
Method in exception se.sics.jasper.SPException
- Returns the exception term.
I
- IllegalCallerException - Exception in se.sics.jasper
- Thrown if SICStus runtime is called from a thread which is not the
creator of the SICStus runtime.
- IllegalTermException - Exception in se.sics.jasper
- Thrown if trying to use a (no longer) valid SPTerm.
- init() -
Method in class se.sics.jasper.SICStus
- Does nothing.
- isAtom() -
Method in class se.sics.jasper.SPTerm
- Tests if the term is an atom.
- isAtom() -
Method in interface se.sics.jasper.Term
- Tests if the term is an atom.
- isAtomic() -
Method in class se.sics.jasper.SPTerm
- Tests if the term is atomic.
- isAtomic() -
Method in interface se.sics.jasper.Term
- Tests if the term is atomic.
- isCompound() -
Method in class se.sics.jasper.SPTerm
- Tests if the term is a compound term.
- isCompound() -
Method in interface se.sics.jasper.Term
- Tests if the term is a compound term.
- isEmptyList() -
Method in class se.sics.jasper.SPTerm
- Tests if the term is the empty list.
- isEmptyList() -
Method in interface se.sics.jasper.Term
- Tests if the term is the empty list.
- isFloat() -
Method in class se.sics.jasper.SPTerm
- Tests if the term is a float.
- isFloat() -
Method in interface se.sics.jasper.Term
- Tests if the term is a float.
- isInteger() -
Method in class se.sics.jasper.SPTerm
- Tests if the term is an integer.
- isInteger() -
Method in interface se.sics.jasper.Term
- Tests if the term is an integer.
- isList() -
Method in class se.sics.jasper.SPTerm
- Tests if the term is a list cell.
- isList() -
Method in interface se.sics.jasper.Term
- Tests if the term is a list cell.
- isNumber() -
Method in class se.sics.jasper.SPTerm
- Tests if the term is a number.
- isNumber() -
Method in interface se.sics.jasper.Term
- 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().
- isValid() -
Method in interface se.sics.jasper.Term
- Tests if the Prolog term referenced is still accessible through this object.
- isVariable() -
Method in class se.sics.jasper.SPTerm
- Tests if the term is a variable.
- isVariable() -
Method in interface se.sics.jasper.Term
- Tests if the term is a variable.
J
- Jasper - Class in se.sics.jasper
- This class provides the multi threaded functionality of the Java-Prolog
interface.
L
- listFromString(String) -
Method in interface se.sics.jasper.Prolog
- Creates a term initialized to a list of character codes from a Java
String
.
- listFromString(String) -
Method in class se.sics.jasper.SICStus
-
- 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.Jasper
- This is a small test function.
- main(String[]) -
Static method in class se.sics.jasper.SICStus
- This main-function is just a small test function.
N
- newObjectTerm(Object) -
Method in interface se.sics.jasper.Prolog
- Creates a term initialized to a *global* reference to a Java object.
- newObjectTerm(Object) -
Method in class se.sics.jasper.SICStus
-
- newProlog() -
Static method in class se.sics.jasper.Jasper
- Creates a
Prolog
interface object.
- newProlog(String) -
Static method in class se.sics.jasper.Jasper
- Creates a
Prolog
interface object.
- newProlog(String[], String, String) -
Static method in class se.sics.jasper.Jasper
- Creates a
Prolog
interface object.
- newProlog() -
Method in class se.sics.jasper.SICStus
- Returns the Prolog interface for this SICStus object.
- newTerm() -
Method in interface se.sics.jasper.Prolog
- Creates a null-term (i.e. the empty list, '[]').
- newTerm(Term) -
Method in interface se.sics.jasper.Prolog
- Creates a term initialized to an existing term.
- newTerm(int) -
Method in interface se.sics.jasper.Prolog
- Creates a term initialized to a Prolog integer from a Java
int
.
- newTerm(long) -
Method in interface se.sics.jasper.Prolog
- Creates a term initialized to a Prolog integer from a Java
long
.
- newTerm(double) -
Method in interface se.sics.jasper.Prolog
- Creates a term initialized to a Prolog float.
- newTerm(float) -
Method in interface se.sics.jasper.Prolog
- Creates a term initialized to a Prolog float.
- newTerm(String) -
Method in interface se.sics.jasper.Prolog
- Creates a term initialized to a Prolog atom.
- newTerm(String, Term[]) -
Method in interface se.sics.jasper.Prolog
- Creates a term initialized to a Prolog compound term.
- newTerm() -
Method in class se.sics.jasper.SICStus
-
- newTerm(Term) -
Method in class se.sics.jasper.SICStus
-
- newTerm(Integer) -
Method in class se.sics.jasper.SICStus
-
- newTerm(int) -
Method in class se.sics.jasper.SICStus
-
- newTerm(Long) -
Method in class se.sics.jasper.SICStus
-
- newTerm(long) -
Method in class se.sics.jasper.SICStus
-
- newTerm(Double) -
Method in class se.sics.jasper.SICStus
-
- newTerm(double) -
Method in class se.sics.jasper.SICStus
-
- newTerm(Float) -
Method in class se.sics.jasper.SICStus
-
- newTerm(float) -
Method in class se.sics.jasper.SICStus
-
- newTerm(String) -
Method in class se.sics.jasper.SICStus
-
- newTerm(String, Term[]) -
Method in class se.sics.jasper.SICStus
-
- newVariable() -
Method in interface se.sics.jasper.Prolog
- Creates a term initialized to an unbound variable.
- newVariable() -
Method in class se.sics.jasper.SICStus
-
- nextSolution() -
Method in interface se.sics.jasper.Query
- Gets the next solution for the query.
- nextSolution() -
Method in class se.sics.jasper.SPQuery
- Gets the next solution for the query.
- numberFromString(String) -
Method in interface se.sics.jasper.Prolog
- Creates a term initialized to a Prolog number from a string.
- numberFromString(String) -
Method in class se.sics.jasper.SICStus
-
O
- openPrologQuery(String, Map) -
Method in interface se.sics.jasper.Prolog
- Opens a query, specified as a string, for obtaining multiple
solutions.
- openPrologQuery(String, Map) -
Method in class se.sics.jasper.SICStus
-
- openQuery(String, String, SPTerm[]) -
Method in class se.sics.jasper.SICStus
- Opens a query for obtaining multiple solutions.
- openQuery(String, Map) -
Method in class se.sics.jasper.SICStus
- Opens a query, specified as a string, for obtaining multiple
solutions.
- openQuery(SPPredicate, SPTerm[]) -
Method in class se.sics.jasper.SICStus
- Deprecated Use module and predicate name directly instead.
P
- Prolog - Interface in se.sics.jasper
- The class
SICStus
and an inner class in
Jasper
inherit from this interface. - PrologException - Interface in se.sics.jasper
- Represents an exception thrown by a Prolog object.
- prologReadFromString(String, Map) -
Method in interface se.sics.jasper.Prolog
- Creates a term by reading from a string.
- prologReadFromString(String, Map) -
Method in class se.sics.jasper.SICStus
-
- PrologTerm - Class in se.sics.jasper
- 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 an 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
.
- putInteger(long) -
Method in class se.sics.jasper.SPTerm
- Assigns the term to a Prolog integer from a Java
long
.
- 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(String, Map) -
Method in interface se.sics.jasper.Prolog
- Finds the first solution to a query specified as a string.
- Query - Interface in se.sics.jasper
- Objects implementing this interface are used for holding a query-reference
which is used to find multiple solutions to a query.
- query(String, String, SPTerm[]) -
Method in class se.sics.jasper.SICStus
- Finds the first solution to a query.
- query(String, Map) -
Method in class se.sics.jasper.SICStus
- Finds the first solution to a query specified as a string.
- query(SPPredicate, SPTerm[]) -
Method in class se.sics.jasper.SICStus
- Deprecated Use module and predicate name directly instead.
- queryCutFail(String, Map) -
Method in interface se.sics.jasper.Prolog
- Finds the first solution to a query specified as a string, then
cuts away any choicepoints and fails, i.e. ignores
everything but the side-effects during the first solution.
- queryCutFail(String, String, SPTerm[]) -
Method in class se.sics.jasper.SICStus
- Finds the first solution to a query, then cuts away any
choicepoints and fails, i.e. ignores everything but the
side-effects during the first solution.
- queryCutFail(String, Map) -
Method in class se.sics.jasper.SICStus
- Finds the first solution to a query specified as a string, then
cuts away any choicepoints and fails, i.e. ignores
everything but the side-effects during the first solution.
- queryCutFail(SPPredicate, SPTerm[]) -
Method in class se.sics.jasper.SICStus
- Deprecated Use module and predicate name directly instead.
R
- readFromString(String, Map) -
Method in class se.sics.jasper.SICStus
- Creates a term by reading from a string.
- readFromString(String) -
Method in class se.sics.jasper.SICStus
- Equivalent to readFromString(string, null);
- restore(String) -
Method in class se.sics.jasper.SICStus
- Interface to
SP_restore()
.
- reuseTermRefs() -
Method in class se.sics.jasper.SICStus
- Unsupported.
S
- se.sics.jasper - package se.sics.jasper
-
- setDebugLevel(int) -
Method in class se.sics.jasper.SICStus
- Currently Unsupported.
- setPrintDepth(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.
- setServer(Server) -
Method in class se.sics.jasper.SICStus
- For internal use by Jasper.
- 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 in se.sics.jasper
- 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 in se.sics.jasper
- 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
- Creates a canonical atom from a string.
- SPException - Exception in se.sics.jasper
- Represents a exception thrown by Jasper.
- SPPredicate - Class in se.sics.jasper
- Deprecated
Instead use module and predicate name as strings directly
or specify the goal as a string.
- SPPredicate(SICStus, String, int, String) -
Constructor for class se.sics.jasper.SPPredicate
- Deprecated Creates a predicate reference.
- SPPredicate(SICStus, SPCanonicalAtom, int, SPCanonicalAtom) -
Constructor for class se.sics.jasper.SPPredicate
- Deprecated Creates a predicate reference.
- SPQuery - Class in se.sics.jasper
- This class is used for holding a query-reference which is used to
find multiple solutions to a query.
- SPTerm - Class in se.sics.jasper
- SPTerms are Java representations of Prolog terms.
- SPTerm(SICStus) -
Constructor for class se.sics.jasper.SPTerm
- Creates a null-term (i.e. the empty list, '[]').
- SPTerm(SICStus, SPTerm) -
Constructor for class se.sics.jasper.SPTerm
- Creates a term initialized to an existing term.
- SPTerm(SICStus, int) -
Constructor for class se.sics.jasper.SPTerm
- Creates a term initialized to a Prolog integer.
- 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, String) -
Constructor for class se.sics.jasper.SPTerm
- Creates a term initialized to a Prolog atom.
- SPTerm(SICStus, String, SPTerm[]) -
Constructor for class se.sics.jasper.SPTerm
- Creates a term initialized to a Prolog compound term.
- SPTerm(SICStus, String, int, SPTerm[]) -
Constructor for class se.sics.jasper.SPTerm
- Deprecated. Do not pass the arity argument.
- startServer() -
Method in class se.sics.jasper.SICStus
- Starts serving requests from a Prolog client.
- stopServer() -
Method in class se.sics.jasper.SICStus
- Stops the server.
T
- Term - Interface in se.sics.jasper
- Terms are Java representations of Prolog terms.
- toPrologTermArray() -
Method in class se.sics.jasper.SPTerm
-
- toPrologTermArray() -
Method in interface se.sics.jasper.Term
- Converts a list to an array of Terms.
- toString() -
Method in interface se.sics.jasper.PrologException
-
- toString() -
Method in class se.sics.jasper.SPCanonicalAtom
- Returns this canonical atom as a string
- toString() -
Method in exception se.sics.jasper.SPException
- Returns a description of the exception.
- toString() -
Method in class se.sics.jasper.SPTerm
- Returns a string-respresentation of a term.
- toString(Term) -
Method in class se.sics.jasper.SPTerm
-
- toString() -
Method in interface se.sics.jasper.Term
- Returns a string-respresentation of a term.
- toString(Term) -
Method in interface se.sics.jasper.Term
- Returns a string-representation of a term.
- toStringString -
Variable in exception 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.
- type() -
Method in interface se.sics.jasper.Term
- Returns the type of this term.
- TYPE_ATOM -
Static variable in interface se.sics.jasper.Term
- The term is an atom.
- TYPE_COMPOUND -
Static variable in interface se.sics.jasper.Term
- The term is a compound term.
- TYPE_FLOAT -
Static variable in interface se.sics.jasper.Term
- The term is a float.
- TYPE_INTEGER -
Static variable in interface se.sics.jasper.Term
- The term is an integer.
- TYPE_VARIABLE -
Static variable in interface se.sics.jasper.Term
- The term is a variable.
U
- unify(Term) -
Method in class se.sics.jasper.SPTerm
- Unifies the term with another term.
- unify(Term) -
Method in interface se.sics.jasper.Term
- Unifies the term with another term.
A C D F G I J L M N O P Q R S T U
Package
Class
Tree
Deprecated
Index
Help
PREV
NEXT
FRAMES
NO FRAMES
All Classes