|
|||||||||
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
public class jPrologServiceThread
This class provides an independant thread of execution for services using
a jPrologService
Prolog proof engine.
Nested Class Summary |
---|
Nested classes/interfaces inherited from class java.lang.Thread |
---|
java.lang.Thread.State, java.lang.Thread.UncaughtExceptionHandler |
Field Summary | |
---|---|
protected boolean |
allow_release
|
protected jPrologServices |
prolog
|
protected jPrologServiceBroadcaster |
stopped
|
Fields inherited from class java.lang.Thread |
---|
MAX_PRIORITY, MIN_PRIORITY, NORM_PRIORITY |
Constructor Summary | |
---|---|
jPrologServiceThread(jPrologServices ps)
|
Method Summary | |
---|---|
void |
broadcasted_stop()
|
jPrologServices |
getPrologServices()
|
boolean |
isCurrentlyConsulting()
|
void |
printOutput(java.lang.String s)
|
void |
setAllowRelease(boolean a)
Set the thread release state upon completion. |
void |
setStoppedListeners(jPrologServiceBroadcaster s)
|
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, run, 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 jPrologServices prolog
protected jPrologServiceBroadcaster stopped
protected boolean allow_release
Constructor Detail |
---|
public jPrologServiceThread(jPrologServices ps)
Method Detail |
---|
public jPrologServices getPrologServices()
public void setStoppedListeners(jPrologServiceBroadcaster s)
public void broadcasted_stop()
public boolean isCurrentlyConsulting()
public void setAllowRelease(boolean a)
jPrologServices
when it no longer needs to
use its services. If this thread is being used in sequence (i.e., is
being invoked by another worker thread) then it should not initiate release,
because the next thread may need Prolog Services.
a
- true to allow thread release, false to disallow it.public void printOutput(java.lang.String s)
|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |