ubc.cs.JLog.Foundation
Class jUserQueryThread

java.lang.Object
  java.lang.Thread
      ubc.cs.JLog.Foundation.jPrologServiceThread
          ubc.cs.JLog.Foundation.jRetryQueryThread
              ubc.cs.JLog.Foundation.jUserQueryThread

All Implemented Interfaces:

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.

Version:

%I%, %G%

Author:

Glendon Holst

Nested Class Summary

Nested classes/interfaces inherited from class java.lang.Thread

Thread.State, Thread.UncaughtExceptionHandler

Field Summary

protected jPrologServiceBroadcaster	beginq
protected jPrologServiceBroadcaster	debugm
protected jPrologServiceBroadcaster	endq
protected 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, 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, clone, 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

equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Field Detail

qinput

protected iPrologServiceText qinput

output

protected 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,
                        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 Runnable

Overrides:

run in class Thread

query

protected void query()

internal_prove

protected void internal_prove()

internal_retry

protected void internal_retry()

internal_display

protected void internal_display()