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

Quick Search    Search Deep

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

java.lang.Object
  extended byalice.tuprolog.runtime.tucson.Proxy
All Implemented Interfaces:
OutputAutomatonListener

public class Proxy
extends java.lang.Object
implements OutputAutomatonListener


Field Summary
(package private)  alice.logictuple.TupleArgument me
           
(package private)  OutputAutomaton outputActor
           
(package private)  java.util.Vector outputListeners
           
(package private)  java.util.Vector spyListeners
           
(package private)  java.util.Vector stateListeners
           
(package private)  alice.tucson.TupleCentreId tid
           
 
Constructor Summary
Proxy()
           
 
Method Summary
 void addOutputListener(alice.tuprolog.OutputListener l)
           
 void addSpyListener(alice.tuprolog.SpyListener l)
           
 void addStateListener(alice.tuprolog.StateListener l)
           
 void addTheory(alice.tuprolog.Theory th)
           
 alice.logictuple.LogicTuple ask(alice.logictuple.TupleArgument what)
           
 void clearTheory()
           
 alice.tuprolog.Theory getTheory()
           
 boolean isSpy()
           
 void loadLibrary(java.lang.String st)
           
static void main(java.lang.String[] args)
          testing funct
 void onOutputAutomaton(OutputAutomatonEvent ev)
           
 void removeOutputListener(alice.tuprolog.OutputListener l)
           
 void removeSpyListener(alice.tuprolog.SpyListener l)
           
 void removeStateListener(alice.tuprolog.StateListener l)
           
 void setSpy(boolean set)
           
 void setTheory(alice.tuprolog.Theory th)
           
 alice.tuprolog.SolveInfo solve(java.lang.String goal)
           
 alice.tuprolog.SolveInfo solve(alice.tuprolog.Term goal)
           
 void solveEnd()
           
 void solveHalt()
           
 alice.tuprolog.SolveInfo solveNext()
           
 void tell(alice.logictuple.TupleArgument what)
           
 alice.tuprolog.Term toTerm(java.lang.String st)
           
 void unloadLibrary(java.lang.String st)
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Field Detail

me

alice.logictuple.TupleArgument me

outputListeners

java.util.Vector outputListeners

stateListeners

java.util.Vector stateListeners

spyListeners

java.util.Vector spyListeners

outputActor

OutputAutomaton outputActor

tid

alice.tucson.TupleCentreId tid
Constructor Detail

Proxy

public Proxy()
      throws java.lang.Exception
Method Detail

clearTheory

public void clearTheory()
                 throws java.lang.Exception

getTheory

public alice.tuprolog.Theory getTheory()
                                throws java.lang.Exception

setTheory

public void setTheory(alice.tuprolog.Theory th)
               throws java.lang.Exception

addTheory

public void addTheory(alice.tuprolog.Theory th)
               throws java.lang.Exception

solve

public alice.tuprolog.SolveInfo solve(java.lang.String goal)
                               throws java.lang.Exception

solve

public alice.tuprolog.SolveInfo solve(alice.tuprolog.Term goal)
                               throws java.lang.Exception

solveNext

public alice.tuprolog.SolveInfo solveNext()
                                   throws java.lang.Exception

solveHalt

public void solveHalt()
               throws java.lang.Exception

solveEnd

public void solveEnd()
              throws java.lang.Exception

loadLibrary

public void loadLibrary(java.lang.String st)
                 throws java.lang.Exception

unloadLibrary

public void unloadLibrary(java.lang.String st)
                   throws java.lang.Exception

setSpy

public void setSpy(boolean set)
            throws java.lang.Exception

isSpy

public boolean isSpy()
              throws java.lang.Exception

toTerm

public alice.tuprolog.Term toTerm(java.lang.String st)
                           throws java.lang.Exception

addOutputListener

public void addOutputListener(alice.tuprolog.OutputListener l)

addSpyListener

public void addSpyListener(alice.tuprolog.SpyListener l)

addStateListener

public void addStateListener(alice.tuprolog.StateListener l)

removeOutputListener

public void removeOutputListener(alice.tuprolog.OutputListener l)

removeSpyListener

public void removeSpyListener(alice.tuprolog.SpyListener l)

removeStateListener

public void removeStateListener(alice.tuprolog.StateListener l)

onOutputAutomaton

public void onOutputAutomaton(OutputAutomatonEvent ev)
Specified by:
onOutputAutomaton in interface OutputAutomatonListener

ask

public alice.logictuple.LogicTuple ask(alice.logictuple.TupleArgument what)

tell

public void tell(alice.logictuple.TupleArgument what)

main

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