org.symcomp.spsd.server
Class SPSDServer

java.lang.Object
  org.symcomp.scscp.C3PO
      org.symcomp.scscp.SCSCPServer
          org.symcomp.spsd.server.SPSDServer

All Implemented Interfaces:

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

public class SPSDServer
extends org.symcomp.scscp.SCSCPServer

is an SCSCP Server offering the SPSD functionality to SCSCP clients, it is administered by the org.symcomp.wupsi.handlers.SPSDHandler of Wupsifer.

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

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

Method Summary

protected void	cleanup()
org.symcomp.scscp.ProcedureCallHandler	findHandler(org.symcomp.openmath.OMSymbol servicename)
java.lang.String	getInstanceId()
static void	setSpsd(SPSD spsd)

Methods inherited from class org.symcomp.scscp.SCSCPServer

addHandler, compute, receivedTerminateRequestInternal

Methods inherited from class org.symcomp.scscp.C3PO

announceRendevouz, breed, 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

SPSDServer

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

Method Detail

setSpsd

public static void setSpsd(SPSD spsd)

getInstanceId

public java.lang.String getInstanceId()

findHandler

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

Overrides:

findHandler in class org.symcomp.scscp.SCSCPServer

cleanup

protected void cleanup()

Overrides:

cleanup in class org.symcomp.scscp.C3PO