org.symcomp.scscp
Class SCSCP2HandlersHandler

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

public class SCSCP2HandlersHandler
extends ProcedureCallHandler

This class implements the standard SCSCP2 calls

• get_allowed_heads,
• is_allowed_head, and
• get_transient_cd.

The get_signature-call is at the moment unimplemented, as we still need to do that.

Field Summary

protected java.util.Hashtable<java.lang.String,ProcedureCallHandler>

allHandlers

Constructor Summary

SCSCP2HandlersHandler(java.util.Hashtable<java.lang.String,ProcedureCallHandler> allHandlers)

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 OpenMathBase	HandleGetAllowedHeads(ProcedureCall pc)
protected OpenMathBase	HandleGetTransientCD(ProcedureCall pc)
protected OpenMathBase	HandleIsAllowedHead(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

allHandlers

protected java.util.Hashtable<java.lang.String,ProcedureCallHandler> allHandlers

Constructor Detail

SCSCP2HandlersHandler

public SCSCP2HandlersHandler(java.util.Hashtable<java.lang.String,ProcedureCallHandler> allHandlers)

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.

HandleGetAllowedHeads

protected OpenMathBase HandleGetAllowedHeads(ProcedureCall pc)
                                      throws OpenMathException

Throws:

OpenMathException

HandleGetTransientCD

protected OpenMathBase HandleGetTransientCD(ProcedureCall pc)
                                     throws OpenMathException

Throws:

OpenMathException

HandleIsAllowedHead

protected OpenMathBase HandleIsAllowedHead(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