Docjar: A Java Source and Docuemnt Enginecom.*    java.*    javax.*    org.*    all    new    plug-in

Quick Search    Search Deep

alice.tuprolog.runtime.tucson
Class Daemon  view Daemon download Daemon.java

java.lang.Object
  extended byalice.tucson.User
      extended byalice.tucson.Agent
          extended byalice.tucson.Automaton
              extended byalice.tuprolog.runtime.tucson.Daemon
All Implemented Interfaces:
java.util.EventListener, alice.tuprolog.OutputListener, java.lang.Runnable, java.io.Serializable, alice.tuprolog.SpyListener, alice.tuprolog.StateListener, alice.tucson.TucsonInterface

public class Daemon
extends alice.tucson.Automaton
implements alice.tuprolog.OutputListener, alice.tuprolog.SpyListener, alice.tuprolog.StateListener


Field Summary
(package private)  alice.tuprolog.Prolog core
           
(package private)  alice.tucson.TupleCentreId tid
           
(package private)  alice.logictuple.TupleArgument what
           
(package private)  alice.logictuple.TupleArgument who
           
 
Fields inherited from class alice.tucson.Automaton
argType, arguments, state
 
Fields inherited from class alice.tucson.User
defaultTid, user
 
Constructor Summary
Daemon()
           
 
Method Summary
 void addTheory()
           
(package private)  void answer_error(alice.tuprolog.Term what)
           
(package private)  void answer_no()
           
(package private)  void answer_yes()
           
(package private)  void answer(alice.tuprolog.Term t)
           
 void boot()
          Specifies the behaviour of the automaton in its boot state, which is reached when the automaton start its thread of control
 void clearTheory()
           
 void getTheory()
           
 void isSpy()
           
 void loadLibrary()
           
static void main(java.lang.String[] args)
           
 void onOutput(alice.tuprolog.OutputEvent e)
           
 void onSpy(alice.tuprolog.SpyEvent e)
           
 void onState(alice.tuprolog.StateEvent e)
           
 void setTheory()
           
 void solveNext()
           
 void solveString()
           
 void solveTerm()
           
 void spy()
           
(package private)  alice.tuprolog.Term toTerm(alice.tuprolog.SolveInfo info)
           
 void unloadLibrary()
           
 void waitForRequest()
           
 
Methods inherited from class alice.tucson.Automaton
become, become, end, error, run
 
Methods inherited from class alice.tucson.User
getId, getSpec, getSpec, in, in, inp, inp, out, out, outAsync, outAsync, rd, rd, rdp, rdp, setDaemonPort, setSpec, setSpec, shutdown
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Field Detail

core

alice.tuprolog.Prolog core

who

alice.logictuple.TupleArgument who

what

alice.logictuple.TupleArgument what

tid

alice.tucson.TupleCentreId tid
Constructor Detail

Daemon

public Daemon()
Method Detail

boot

public void boot()
Description copied from class: alice.tucson.Automaton
Specifies the behaviour of the automaton in its boot state, which is reached when the automaton start its thread of control


waitForRequest

public void waitForRequest()

clearTheory

public void clearTheory()

setTheory

public void setTheory()

addTheory

public void addTheory()

getTheory

public void getTheory()

solveString

public void solveString()

solveTerm

public void solveTerm()

solveNext

public void solveNext()

spy

public void spy()

isSpy

public void isSpy()

loadLibrary

public void loadLibrary()

unloadLibrary

public void unloadLibrary()

onState

public void onState(alice.tuprolog.StateEvent e)
Specified by:
onState in interface alice.tuprolog.StateListener

onOutput

public void onOutput(alice.tuprolog.OutputEvent e)
Specified by:
onOutput in interface alice.tuprolog.OutputListener

onSpy

public void onSpy(alice.tuprolog.SpyEvent e)
Specified by:
onSpy in interface alice.tuprolog.SpyListener

main

public static void main(java.lang.String[] args)

answer_no

void answer_no()

answer_yes

void answer_yes()

answer_error

void answer_error(alice.tuprolog.Term what)

answer

void answer(alice.tuprolog.Term t)

toTerm

alice.tuprolog.Term toTerm(alice.tuprolog.SolveInfo info)