ubc.cs.JLog.Foundation
Class jUserQueryThread

java.lang.Object
  extended by java.lang.Thread
      extended by ubc.cs.JLog.Foundation.jPrologServiceThread
          extended by ubc.cs.JLog.Foundation.jRetryQueryThread
              extended by ubc.cs.JLog.Foundation.jUserQueryThread
All Implemented Interfaces:
java.lang.Runnable

public class jUserQueryThread
extends jRetryQueryThread

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.

Author:
Glendon Holst

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

qinput

protected iPrologServiceText qinput

output

protected java.io.PrintWriter output

beginq

protected jPrologServiceBroadcaster beginq

retryq

protected jPrologServiceBroadcaster retryq

endq

protected jPrologServiceBroadcaster endq

debugm

protected jPrologServiceBroadcaster debugm

prover

protected jProver prover

query

protected jPredicateTerms query

result

protected boolean result

retry

protected int retry

var_vector

protected jVariableVector var_vector
Constructor Detail

jUserQueryThread

public jUserQueryThread(jPrologServices ps,
                        iPrologServiceText qin,
                        java.io.PrintWriter o)
Method Detail

setListeners

public void setListeners(jPrologServiceBroadcaster b,
                         jPrologServiceBroadcaster r,
                         jPrologServiceBroadcaster e,
                         jPrologServiceBroadcaster s,
                         jPrologServiceBroadcaster d)

retry

public void retry()
Specified by:
retry in class jRetryQueryThread

waitForRetry

protected boolean waitForRetry()

run

public void run()
Specified by:
run in interface java.lang.Runnable
Overrides:
run in class java.lang.Thread

query

protected void query()

internal_prove

protected void internal_prove()

internal_retry

protected void internal_retry()

internal_display

protected void internal_display()