org.symcomp.wupsi.iss
Class InteractiveSCSCPServer

java.lang.Object
  org.symcomp.scscp.C3PO
      org.symcomp.scscp.SCSCPServer
          org.symcomp.wupsi.iss.InteractiveSCSCPServer

All Implemented Interfaces:

java.lang.Runnable, org.symcomp.scscp.SCSCPConstants

public class InteractiveSCSCPServer
extends org.symcomp.scscp.SCSCPServer

InteractiveScscpServer -- offers the possiblilty to manually enter the result of computations

Field Summary

Fields inherited from class org.symcomp.scscp.SCSCPServer

cookies, terminatedComputations

Fields inherited from class org.symcomp.scscp.C3PO

inn, loglevel, out, scscpVersion, serviceId, state, waitingComputations

Fields inherited from interface org.symcomp.scscp.SCSCPConstants

CLIENT_COMPUTING, CLIENT_DEAD, CLIENT_IDLE, CLIENT_QUIT, CLIENT_UNINITIALIZED, PI_SCSCP_ACK, PI_SCSCP_CANCEL, PI_SCSCP_ENCODINGS_SUPPORTED, PI_SCSCP_ENCODINGS_SUPPORTED_PATT, PI_SCSCP_END, PI_SCSCP_HELLO, PI_SCSCP_HELOPATT, PI_SCSCP_INFO, PI_SCSCP_INFOPATT, PI_SCSCP_KILL, PI_SCSCP_LEFT, PI_SCSCP_QUIT, PI_SCSCP_RIGHT, PI_SCSCP_START, PI_SCSCP_TERM, PI_SCSCP_TERMPATT, PI_SCSCP_VERPATT, PI_SCSCP_VERSION, STATE_COMPUTING, STATE_FINISHED, STATE_INMESSAGE, STATE_MSG_COMPLETED, STATE_NEGOTIATING, STATE_UNITIALIZED, STATE_WAITING

Constructor Summary

InteractiveSCSCPServer(java.lang.String s, java.io.PrintWriter printWriter, java.io.BufferedReader bufferedReader)

Method Summary

org.symcomp.scscp.ProcedureCallHandler

findHandler(org.symcomp.openmath.OMSymbol servicename)

Methods inherited from class org.symcomp.scscp.SCSCPServer

addHandler, compute, receivedTerminateRequestInternal

Methods inherited from class org.symcomp.scscp.C3PO

announceRendevouz, breed, cleanup, getServiceDescription, getServiceName, getServiceVersion, log, logStackTrace, receivedInfo, receivedTerminateRequest, run, setLoglevel, spawn

Methods inherited from class java.lang.Object

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

Constructor Detail

InteractiveSCSCPServer

public InteractiveSCSCPServer(java.lang.String s,
                              java.io.PrintWriter printWriter,
                              java.io.BufferedReader bufferedReader)

Method Detail

findHandler

public org.symcomp.scscp.ProcedureCallHandler findHandler(org.symcomp.openmath.OMSymbol servicename)

Overrides:

findHandler in class org.symcomp.scscp.SCSCPServer