|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectjava.lang.Thread
ubc.cs.JLog.Foundation.jPrologServiceThread
ubc.cs.JLog.Foundation.jRetryQueryThread
ubc.cs.JLog.Foundation.jUserQueryThread
public class jUserQueryThread
This class is the thread that attempts to prove a user query. It can parse an input stream into the predicates of a user query, and it contains the Prolog prover itself. The prover runs as part of this thread.
Nested Class Summary |
---|
Nested classes/interfaces inherited from class java.lang.Thread |
---|
java.lang.Thread.State, java.lang.Thread.UncaughtExceptionHandler |
Field Summary | |
---|---|
protected jPrologServiceBroadcaster |
beginq
|
protected jPrologServiceBroadcaster |
debugm
|
protected jPrologServiceBroadcaster |
endq
|
protected java.io.PrintWriter |
output
|
protected jProver |
prover
|
protected iPrologServiceText |
qinput
|
protected jPredicateTerms |
query
|
protected boolean |
result
|
protected int |
retry
|
protected jPrologServiceBroadcaster |
retryq
|
protected jVariableVector |
var_vector
|
Fields inherited from class ubc.cs.JLog.Foundation.jPrologServiceThread |
---|
allow_release, prolog, stopped |
Fields inherited from class java.lang.Thread |
---|
MAX_PRIORITY, MIN_PRIORITY, NORM_PRIORITY |
Constructor Summary | |
---|---|
jUserQueryThread(jPrologServices ps,
iPrologServiceText qin,
java.io.PrintWriter o)
|
Method Summary | |
---|---|
protected void |
internal_display()
|
protected void |
internal_prove()
|
protected void |
internal_retry()
|
protected void |
query()
|
void |
retry()
|
void |
run()
|
void |
setListeners(jPrologServiceBroadcaster b,
jPrologServiceBroadcaster r,
jPrologServiceBroadcaster e,
jPrologServiceBroadcaster s,
jPrologServiceBroadcaster d)
|
protected boolean |
waitForRetry()
|
Methods inherited from class ubc.cs.JLog.Foundation.jPrologServiceThread |
---|
broadcasted_stop, getPrologServices, isCurrentlyConsulting, printOutput, setAllowRelease, setStoppedListeners |
Methods inherited from class java.lang.Thread |
---|
activeCount, checkAccess, countStackFrames, currentThread, destroy, dumpStack, enumerate, getAllStackTraces, getContextClassLoader, getDefaultUncaughtExceptionHandler, getId, getName, getPriority, getStackTrace, getState, getThreadGroup, getUncaughtExceptionHandler, holdsLock, interrupt, interrupted, isAlive, isDaemon, isInterrupted, join, join, join, resume, setContextClassLoader, setDaemon, setDefaultUncaughtExceptionHandler, setName, setPriority, setUncaughtExceptionHandler, sleep, sleep, start, stop, stop, suspend, toString, yield |
Methods inherited from class java.lang.Object |
---|
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait |
Field Detail |
---|
protected iPrologServiceText qinput
protected java.io.PrintWriter output
protected jPrologServiceBroadcaster beginq
protected jPrologServiceBroadcaster retryq
protected jPrologServiceBroadcaster endq
protected jPrologServiceBroadcaster debugm
protected jProver prover
protected jPredicateTerms query
protected boolean result
protected int retry
protected jVariableVector var_vector
Constructor Detail |
---|
public jUserQueryThread(jPrologServices ps, iPrologServiceText qin, java.io.PrintWriter o)
Method Detail |
---|
public void setListeners(jPrologServiceBroadcaster b, jPrologServiceBroadcaster r, jPrologServiceBroadcaster e, jPrologServiceBroadcaster s, jPrologServiceBroadcaster d)
public void retry()
retry
in class jRetryQueryThread
protected boolean waitForRetry()
public void run()
run
in interface java.lang.Runnable
run
in class java.lang.Thread
protected void query()
protected void internal_prove()
protected void internal_retry()
protected void internal_display()
|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |