org.symcomp.scscp
Class SCSCP2RemoteObjectsHandler

java.lang.Object
  org.symcomp.scscp.ProcedureCallHandler
      org.symcomp.scscp.SCSCP2RemoteObjectsHandler

public class SCSCP2RemoteObjectsHandler
extends ProcedureCallHandler

This class implements the standard SCSCP2 calls

• store_session,
• retrieve, and
• unbind

the store_persistent-call is at the moment unsupported, as it requires more permanent store of objects, e.g. on disk.

Field Summary

protected CookieStore

cookies

Constructor Summary

SCSCP2RemoteObjectsHandler(CookieStore cookies)

Method Summary

java.lang.String	getDescription(org.symcomp.openmath.OMSymbol oms) A concise description of this handler.
org.symcomp.openmath.OMSymbol[]	getServiceNames() Method used by the server to check whether a handler supports a particular service.
ProcedureDone	handle(ProcedureCall pc) The method called by the server.
protected ProcedureDone	HandleRetrieve(ProcedureCall pc)
protected ProcedureDone	HandleStoreSession(ProcedureCall pc)
protected ProcedureDone	HandleUnbind(ProcedureCall pc)

Methods inherited from class org.symcomp.scscp.ProcedureCallHandler

getServiceName, getServiceNameStr, handlePayload

Methods inherited from class java.lang.Object

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

Field Detail

cookies

protected CookieStore cookies

Constructor Detail

SCSCP2RemoteObjectsHandler

public SCSCP2RemoteObjectsHandler(CookieStore cookies)

Method Detail

getServiceNames

public org.symcomp.openmath.OMSymbol[] getServiceNames()

Description copied from class: ProcedureCallHandler

Method used by the server to check whether a handler supports a particular service. In ProcedureCallHandler, this method simply returns an array with one element: the result of getServiceName().

Overrides:

getServiceNames in class ProcedureCallHandler

Returns:

the service names handled by this handler

getDescription

public java.lang.String getDescription(org.symcomp.openmath.OMSymbol oms)

Description copied from class: ProcedureCallHandler

A concise description of this handler.

Specified by:

getDescription in class ProcedureCallHandler

Parameters:

oms - Since ProcedureCallHandlers may handle more than one service (by implementing handle), different descriptions may be required for different services. Hence this parameter.

Returns:

a String describing the service.

HandleStoreSession

protected ProcedureDone HandleStoreSession(ProcedureCall pc)
                                    throws OpenMathException

Throws:

OpenMathException

HandleRetrieve

protected ProcedureDone HandleRetrieve(ProcedureCall pc)
                                throws OpenMathException

Throws:

OpenMathException

HandleUnbind

protected ProcedureDone HandleUnbind(ProcedureCall pc)
                              throws OpenMathException

Throws:

OpenMathException

handle

public ProcedureDone handle(ProcedureCall pc)
                     throws OpenMathException

Description copied from class: ProcedureCallHandler

The method called by the server. In ProcedureCallHandler it simply calls handlePayload and wraps its response in a ProcedureCompleted object.

Overrides:

handle in class ProcedureCallHandler

Parameters:

pc - the Procedure Call containing the query

Returns:

a Procedure Completed message

Throws:

OpenMathException