|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectubc.cs.JLog.Foundation.jPrologServices
public class jPrologServices
This class is the near complete environment for a Prolog environment. It contains the rules database, a registery of predicates and operators needed for parsing Prolog code, a connection to a graphical display environment, connections to text input and output consoles, several broadcasters to notify observers of several possible events, and some debugging attributes. It does not, however, contain the prover itself.
Field Summary | |
---|---|
protected java.lang.Object |
animation
|
protected jPrologServiceBroadcaster |
beginConsult
|
protected jPrologServiceBroadcaster |
beginQuery
|
protected java.io.BufferedReader |
current_input
|
protected java.io.PrintWriter |
current_output
|
protected jKnowledgeBase |
database
|
protected boolean |
debugging
|
protected jPrologServiceBroadcaster |
debugMessages
|
protected java.io.BufferedReader |
default_input
|
protected java.io.PrintWriter |
default_output
|
protected jPrologServiceBroadcaster |
endConsult
|
protected jPrologServiceBroadcaster |
endQuery
|
protected boolean |
fail_unknown_predicate
|
protected iPrologFileServices |
fileservices
|
protected pOperatorRegistry |
operators
|
protected pPredicateRegistry |
predicates
|
protected java.util.Random |
rand
|
protected jPrologServiceBroadcaster |
retryQuery
|
protected jPrologServiceBroadcaster |
stateChanged
|
protected jPrologServiceThread |
thread
|
protected jPrologServiceBroadcaster |
threadStopped
|
Constructor Summary | |
---|---|
jPrologServices(jKnowledgeBase kb,
pPredicateRegistry pr,
pOperatorRegistry or)
|
Method Summary | |
---|---|
void |
addBeginConsultListener(jPrologServiceListener l)
|
void |
addBeginQueryListener(jPrologServiceListener l)
|
void |
addDebugMessagesListener(jPrologServiceListener l)
|
void |
addEndConsultListener(jPrologServiceListener l)
|
void |
addEndQueryListener(jPrologServiceListener l)
|
void |
addRetryQueryListener(jPrologServiceListener l)
|
void |
addStateChangedListener(jPrologServiceListener l)
|
void |
addThreadStoppedListener(jPrologServiceListener l)
|
java.lang.Object |
getAnimationEnvironment()
|
boolean |
getDebugging()
|
boolean |
getFailUnknownPredicate()
Get the behaviour for unknown predicates. |
iPrologFileServices |
getFileServices()
Gets the file services object. |
java.io.BufferedReader |
getInput()
|
jKnowledgeBase |
getKnowledgeBase()
|
pOperatorRegistry |
getOperatorRegistry()
|
java.io.PrintWriter |
getOutput()
|
pPredicateRegistry |
getPredicateRegistry()
|
java.util.Random |
getRandomGenerator()
|
static java.lang.String |
getRequiredCreditInfo()
This function returns the credit assignment and copyright informaiton string. |
boolean |
isAvailable()
Returns whether the prolog services are busy or not. |
java.lang.Class |
loadClass(java.lang.String lib,
java.lang.String classname)
|
void |
loadLibrary(java.lang.String lib)
|
protected void |
loadLibraryFromTOC(java.lang.String lib,
java.io.InputStream toc_is)
|
protected void |
loadLibraryTOCParseGenericOperator(java.lang.String lib,
java.io.StreamTokenizer tokenizer)
|
protected void |
loadLibraryTOCParseGenericPredicate(java.lang.String lib,
java.io.StreamTokenizer tokenizer)
|
protected void |
loadLibraryTOCParseLoadClass(java.lang.String lib,
java.io.StreamTokenizer tokenizer)
|
void |
printOutput(java.lang.String s)
|
protected void |
registerPredefinedInstance(java.lang.String lib,
java.lang.Object obj_inst)
|
protected void |
registerPredicateOperatorEntryInstance(java.lang.String lib,
java.lang.Object obj_inst)
|
void |
release()
Releases the current thread as a user of jPrologServices . |
void |
removeBeginConsultListener(jPrologServiceListener l)
|
void |
removeBeginQueryListener(jPrologServiceListener l)
|
void |
removeDebugMessagesListener(jPrologServiceListener l)
|
void |
removeEndConsultListener(jPrologServiceListener l)
|
void |
removeEndQueryListener(jPrologServiceListener l)
|
void |
removeRetryQueryListener(jPrologServiceListener l)
|
void |
removeStateChangedListener(jPrologServiceListener l)
|
void |
removeThreadStoppedListener(jPrologServiceListener l)
|
void |
resetInput()
|
void |
resetKnowledgeBase()
|
void |
resetOutput()
|
void |
resume()
|
void |
setAnimationEnvironment(java.lang.Object ae)
|
void |
setDebugging(boolean dp)
|
void |
setDefaultInput(java.io.BufferedReader i)
|
void |
setDefaultOutput(java.io.PrintWriter o)
|
void |
setFailUnknownPredicate(boolean fp)
Set the behaviour for unknown predicates. |
void |
setFileServices(iPrologFileServices fs)
Sets the file services object. |
void |
setInput(java.io.BufferedReader i)
|
void |
setOutput(java.io.PrintWriter o)
|
void |
start()
|
boolean |
start(jPrologServiceThread t)
Starts a prolog services of a given type. |
void |
stop()
Forcefully terminates the current user thread. |
void |
suspend()
|
Methods inherited from class java.lang.Object |
---|
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Field Detail |
---|
protected jPrologServiceThread thread
protected jKnowledgeBase database
protected pPredicateRegistry predicates
protected pOperatorRegistry operators
protected java.util.Random rand
protected jPrologServiceBroadcaster beginQuery
protected jPrologServiceBroadcaster retryQuery
protected jPrologServiceBroadcaster endQuery
protected jPrologServiceBroadcaster beginConsult
protected jPrologServiceBroadcaster endConsult
protected jPrologServiceBroadcaster threadStopped
protected jPrologServiceBroadcaster debugMessages
protected jPrologServiceBroadcaster stateChanged
protected java.io.PrintWriter default_output
protected java.io.PrintWriter current_output
protected java.io.BufferedReader default_input
protected java.io.BufferedReader current_input
protected iPrologFileServices fileservices
protected java.lang.Object animation
protected boolean debugging
protected boolean fail_unknown_predicate
Constructor Detail |
---|
public jPrologServices(jKnowledgeBase kb, pPredicateRegistry pr, pOperatorRegistry or)
Method Detail |
---|
public static java.lang.String getRequiredCreditInfo()
public void addBeginQueryListener(jPrologServiceListener l)
public void addRetryQueryListener(jPrologServiceListener l)
public void addEndQueryListener(jPrologServiceListener l)
public void addBeginConsultListener(jPrologServiceListener l)
public void addEndConsultListener(jPrologServiceListener l)
public void removeBeginQueryListener(jPrologServiceListener l)
public void removeRetryQueryListener(jPrologServiceListener l)
public void removeEndQueryListener(jPrologServiceListener l)
public void removeBeginConsultListener(jPrologServiceListener l)
public void removeEndConsultListener(jPrologServiceListener l)
public void addThreadStoppedListener(jPrologServiceListener l)
public void removeThreadStoppedListener(jPrologServiceListener l)
public void addDebugMessagesListener(jPrologServiceListener l)
public void removeDebugMessagesListener(jPrologServiceListener l)
public void addStateChangedListener(jPrologServiceListener l)
public void removeStateChangedListener(jPrologServiceListener l)
public boolean isAvailable()
public boolean start(jPrologServiceThread t)
t
- The thread which will use the prolog services.
public void start()
public void stop()
public void release()
jPrologServices
. This
should be done only by the threads themselves, after they have finished
using the services provided by this instance.
public void suspend()
public void resume()
public void resetKnowledgeBase()
public jKnowledgeBase getKnowledgeBase()
public pPredicateRegistry getPredicateRegistry()
public pOperatorRegistry getOperatorRegistry()
public void setAnimationEnvironment(java.lang.Object ae)
public java.lang.Object getAnimationEnvironment()
public void loadLibrary(java.lang.String lib) throws java.io.IOException
java.io.IOException
protected void loadLibraryFromTOC(java.lang.String lib, java.io.InputStream toc_is) throws java.io.IOException
java.io.IOException
protected void loadLibraryTOCParseLoadClass(java.lang.String lib, java.io.StreamTokenizer tokenizer) throws java.io.IOException
java.io.IOException
protected void loadLibraryTOCParseGenericPredicate(java.lang.String lib, java.io.StreamTokenizer tokenizer) throws java.io.IOException
java.io.IOException
protected void loadLibraryTOCParseGenericOperator(java.lang.String lib, java.io.StreamTokenizer tokenizer) throws java.io.IOException
java.io.IOException
public java.lang.Class loadClass(java.lang.String lib, java.lang.String classname)
protected void registerPredicateOperatorEntryInstance(java.lang.String lib, java.lang.Object obj_inst)
protected void registerPredefinedInstance(java.lang.String lib, java.lang.Object obj_inst)
public void setDebugging(boolean dp)
public boolean getDebugging()
public void setFailUnknownPredicate(boolean fp)
fp
- If false
(default), then missing predicates generate a
failing exception (i.e., exception thrown), if true
then the query
for that predicate fails (i.e., no exception is thrown).public boolean getFailUnknownPredicate()
public java.util.Random getRandomGenerator()
public void setDefaultOutput(java.io.PrintWriter o)
public void setOutput(java.io.PrintWriter o)
public java.io.PrintWriter getOutput()
public void resetOutput()
public void printOutput(java.lang.String s)
public void setDefaultInput(java.io.BufferedReader i)
public void setInput(java.io.BufferedReader i)
public java.io.BufferedReader getInput()
public void resetInput()
public void setFileServices(iPrologFileServices fs)
fs
- The iPrologFileServices
object to use.public iPrologFileServices getFileServices()
iPrologFileServices
object.
|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |