All Packages  Class Hierarchy

A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

Index of all Fields and Methods

A

abort(). Method in class JIP.engine.JIPTraceEvent
Abort execution
addClause(JIPClause). Method in class JIP.engine.JIPClausesDatabase
Append a clause to the database
addClause(JIPClause). Method in class JIP.TextClausesDatabase
Append a clause to the database
addClauseAt(int, JIPClause). Method in class JIP.engine.JIPClausesDatabase
Add a clause to the database at the position specified
addClauseAt(int, JIPClause). Method in class JIP.TextClausesDatabase
Add a clause to the database at the position specified
addErrorListener(JIPErrorListener). Method in class JIP.engine.JIPEngine
Add an ErrorListener
addEventListener(JIPEventListener). Method in class JIP.engine.JIPEngine
Add an EventListener
addTraceListener(JIPTraceListener). Method in class JIP.engine.JIPEngine
add a TraceListener
append(JIPList, JIPList). Static method in class JIP.engine.JIPList
Returns a new List by appending list2 to list1

B

bound(JIPTerm). Method in class JIP.engine.JIPVariable
Bound the variable to the given term
boundNotified(JIPTraceEvent). Method in interface JIP.engine.JIPTraceListener
Receive a Bound Event

C

callNotified(JIPTraceEvent). Method in interface JIP.engine.JIPTraceListener
Receive a Call Event
clauses(). Method in class JIP.engine.JIPClausesDatabase
Return an enumeration of clauses contained in the database
clauses(). Method in class JIP.TextClausesDatabase
Return an enumeration of clauses contained in the database
closeAllQueries(). Method in class JIP.engine.JIPEngine
Close all pending queries
closeNotified(JIPEvent). Method in interface JIP.engine.JIPEventListener
Receive a Close Event (notify/2)
closeQuery(int). Method in class JIP.engine.JIPEngine
Close the query.
consultFile(String). Method in class JIP.engine.JIPEngine
Consult a file from a file
consultInputStream(). Method in class JIP.engine.JIPEngine
Consult a file from the input stream
consultStream(DataInputStream). Method in class JIP.engine.JIPEngine
Consult a stream
consume(). Method in class JIP.engine.JIPEvent
Consume the event so other eventually listener doesn't receive the event

E

endNotified(JIPEvent). Method in interface JIP.engine.JIPEventListener
Receive an End Event (notify/2)
errorNotified(JIPErrorEvent). Method in interface JIP.engine.JIPErrorListener
Receive an error event

F

finalize(). Method in class JIP.engine.JIPEngine
Release the resources used by JIP
foundNotified(JIPTraceEvent). Method in interface JIP.engine.JIPTraceListener
Receive a Found Event

G

getArity(). Method in class JIP.engine.JIPClausesDatabase
Get the arity of the related functor
getArity(). Method in class JIP.engine.JIPClausesEnumeration
Get the arity of the related functor
getArity(). Method in class JIP.engine.JIPFunctor
Returns the arity of the functor
getAtom(). Method in class JIP.engine.JIPTerm
Return the corresponding JIPAtom object if the term is a functor otherwise raises an Exception
getBasePath(). Method in class JIP.engine.JIPEngine
Get the base path
getBody(). Method in class JIP.engine.JIPClause
Returns the body of the clause
getError(). Method in class JIP.engine.JIPErrorEvent
Get the error message
getErrorListeners(). Method in class JIP.engine.JIPEngine
Get the list of ErrorListeners
getEventListeners(). Method in class JIP.engine.JIPEngine
Get the list of EventListeners
getFunctor(). Method in class JIP.engine.JIPTerm
Return the corresponding JIPFunctor object if the term is a functor otherwise raises an Exception
getFunctorName(). Method in class JIP.engine.JIPClausesDatabase
Get the name of the related functor
getFunctorName(). Method in class JIP.engine.JIPClausesEnumeration
Get the name of the related functor
getHead(). Method in class JIP.engine.JIPClause
Returns the head of the clause
getHead(). Method in class JIP.engine.JIPList
Returns the head of the List
getHeight(). Method in class JIP.engine.JIPTraceEvent
Get the height in the prolog tree
getID(). Method in class JIP.engine.JIPEvent
Get the ID of the event
getInputStream(). Method in class JIP.engine.JIPEngine
Get InputStream
getJIPVariables(). Method in class JIP.engine.JIPTerm
Get an array of JIPVariable containing the variables in the term
getList(). Method in class JIP.engine.JIPTerm
Return the corresponding JIPList object if the term is a functor otherwise raises an Exception
getMainFrame(). Method in class JIP.engine.JIPEngine
getName(). Method in class JIP.engine.JIPAtom
Returns the atom as a string
getName(). Method in class JIP.engine.JIPFunctor
Returns the name of the functor
getName(). Method in class JIP.engine.JIPVariable
Returns the name of the variable
getNewAtom(String). Static method in class JIP.engine.JIPAtom
Returns a new JIPAtom from a string
getNewClause(JIPFunctor, JIPList). Static method in class JIP.engine.JIPClause
Returns a new clause
getNewFunctor(String, JIPList). Static method in class JIP.engine.JIPFunctor
Returns a new Functor
getNewList(JIPTerm, JIPList). Static method in class JIP.engine.JIPList
Returns a new List
getNewNumber(double). Static method in class JIP.engine.JIPNumber
Returns a new Number
getNewVariable(String). Static method in class JIP.engine.JIPVariable
Returns a new Variable
getNumber(). Method in class JIP.engine.JIPTerm
Return the corresponding JIPNumber object if the term is a functor otherwise raises an Exception
getOutput(). Method in interface JIP.engine.JIPDialog
Returns the Output of the dialog
getOutput(). Method in interface JIP.engine.JIPXCall
Returns the Output of the computation
getOutputStream(). Method in class JIP.engine.JIPEngine
Get OutputStream
getParams(). Method in class JIP.engine.JIPFunctor
Returns the list of parameters of the functor
getQueryHandle(). Method in class JIP.engine.JIPEvent
Get the handle of the query related to the event
getSource(). Method in class JIP.engine.JIPEvent
Get the source of the event
getTail(). Method in class JIP.engine.JIPList
Returns the tail of the List
getTerm(). Method in class JIP.engine.JIPEvent
Get the term notified
getTraceListeners(). Method in class JIP.engine.JIPEngine
Get the list of TraceListener
getValue(). Method in class JIP.engine.JIPNumber
Returns the value of the number
getValue(). Method in class JIP.engine.JIPVariable
Returns the term to which the variable is instantiated
getVariable(). Method in class JIP.engine.JIPTerm
Return the corresponding JIPVariable object if the term is a variable otherwise raises an Exception
getVariables(). Method in class JIP.engine.JIPTerm
Get an array of string containing the value (as text string) of the variables in the term
getVersion(). Static method in class JIP.engine.JIPEngine
Version Return the jiprolog API version

H


I

ID_BOUND. Static variable in class JIP.engine.JIPTraceEvent
The ID of a Bound Event
ID_CALL. Static variable in class JIP.engine.JIPTraceEvent
The ID of a Call Event
ID_CLOSE. Static variable in class JIP.engine.JIPEvent
The ID of a Start Event
ID_END. Static variable in class JIP.engine.JIPEvent
The ID of a End Event
ID_ERROR. Static variable in class JIP.engine.JIPErrorEvent
The ID of an Error Event
ID_FOUND. Static variable in class JIP.engine.JIPTraceEvent
The ID of a Found Event
ID_MORE. Static variable in class JIP.engine.JIPEvent
The ID of a More Event
ID_OPEN. Static variable in class JIP.engine.JIPEvent
The ID of a Start Event
ID_REDO. Static variable in class JIP.engine.JIPTraceEvent
The ID of a Redo Event
ID_SOLUTION. Static variable in class JIP.engine.JIPEvent
The ID of a Solution Event
invoke(JIPTerm). Method in interface JIP.engine.JIPXCall
Invoked by JIP to compute the operations implemented by this extension class
isAtom(). Method in class JIP.engine.JIPTerm
Checks if the term is an atom
isBounded(). Method in class JIP.engine.JIPVariable
Checks if the variable is bounded (instantiated)
isFunctor(). Method in class JIP.engine.JIPTerm
Checks if the term is a functor
isList(). Method in class JIP.engine.JIPTerm
Checks if the term is a List
isNumber(). Method in class JIP.engine.JIPTerm
Checks if the term is a number
isVariable(). Method in class JIP.engine.JIPTerm
Checks if the term is a variable

J

JIPClausesDatabase(). Constructor for class JIP.engine.JIPClausesDatabase
JIPClausesEnumeration(JIPClausesDatabase). Constructor for class JIP.engine.JIPClausesEnumeration
Constucts a clauses enumeration
JIPEngine(Frame, String, DataInputStream, PrintStream). Constructor for class JIP.engine.JIPEngine
Constructor
JIPErrorEvent(JIPEngine, Integer, Throwable). Constructor for class JIP.engine.JIPErrorEvent
Constructor
JIPSyntaxErrorException(). Constructor for class JIP.engine.JIPSyntaxErrorException
Constructor
JIPSyntaxErrorException(String). Constructor for class JIP.engine.JIPSyntaxErrorException
Constructor

L


M

moreNotified(JIPEvent). Method in interface JIP.engine.JIPEventListener
Receive a More Event (notify/2)
moreSolutions(int). Method in class JIP.engine.JIPEngine
Check if there is one more solution

N

nextClause(). Method in class JIP.engine.JIPClausesEnumeration
Get next clause in the enumeration of clauses
nextElement(). Method in class JIP.engine.JIPClausesEnumeration
Get the next element of the enumeration.
nextSolution(int). Method in class JIP.engine.JIPEngine
Search for another soution.

O

openNotified(JIPEvent). Method in interface JIP.engine.JIPEventListener
Receive an Open Event (notify/2)
openQuery(JIPTerm). Method in class JIP.engine.JIPEngine
Open a query.
openQuery(String). Method in class JIP.engine.JIPEngine
Open a query.

P

parseQuery(String). Static method in class JIP.engine.JIPTerm
Parses the query passed in the parameter and returns the corresponding JIPTerm The query must end with a "dot".
parseTerm(String). Static method in class JIP.engine.JIPTerm
Parses the term passed in the parameter and returns the corresponding JIPTerm

R

redoNotified(JIPTraceEvent). Method in interface JIP.engine.JIPTraceListener
Receive a Redo Event
removeClause(JIPClause). Method in class JIP.engine.JIPClausesDatabase
Remove a clause to the database
reset(). Method in class JIP.engine.JIPEngine
Close all pending queries, reset the prolog interpreter and clear the database
reverse(). Method in class JIP.engine.JIPList
Returns a new List by reversing this

S

setAttributes(String). Method in class JIP.engine.JIPClausesDatabase
Set the attributes to pass to the database (i.e.
setBasePath(String). Method in class JIP.engine.JIPEngine
Set the base path of the engine
setInputStream(DataInputStream). Method in class JIP.engine.JIPEngine
Set InputStream
setMainFrame(Frame). Method in class JIP.engine.JIPEngine
Set the Main Frame of the interpreter
setOutputStream(PrintStream). Method in class JIP.engine.JIPEngine
Set OutputStream
setTrace(boolean). Method in class JIP.engine.JIPEngine
Set trace flag
skip(). Method in class JIP.engine.JIPTraceEvent
Skip tracing for next step
solutionNotified(JIPEvent). Method in interface JIP.engine.JIPEventListener
Receive a Solution Event
step(). Method in class JIP.engine.JIPTraceEvent
Execute next step
succeeds(). Method in interface JIP.engine.JIPDialog
Return true if the user operation on the dialog succeeds
succeeds(). Method in interface JIP.engine.JIPXCall
Return true if the operation executed in the invoke method succeeds

T

termNotified(JIPEvent). Method in interface JIP.engine.JIPEventListener
Receive a Term notify Event (notify/2)
toString(). Method in class JIP.engine.JIPErrorEvent
Get a string rapresentation of the event
toString(). Method in class JIP.engine.JIPTerm
Get a string rapresentation of the term
toString(). Method in class JIP.engine.JIPVariable
Get a string rapresentation of the term

U

update(int, Object). Method in class JIP.engine.JIPEngine

W

when(). Method in class JIP.engine.JIPEvent
Timestamp of the event

Y