org.symcomp.scscp
Class SCSCP2HandlersHandler

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

public class SCSCP2HandlersHandler
extends ProcedureCallHandler

This class implements the standard SCSCP2 calls

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


Copyright © 2010. All Rights Reserved.