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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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.
- 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.
- 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
- 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
- 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
- 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
- update(int, Object).
Method in class JIP.engine.JIPEngine
-
- when().
Method in class JIP.engine.JIPEvent
-
Timestamp of the event