org.symcomp.scscp
Class SCSCP2ServDescHandler

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

public class SCSCP2ServDescHandler
extends ProcedureCallHandler

This class implements the standard SCSCP2 call

• get_service_description.

Field Summary

protected java.lang.String	CASDesc
protected java.lang.String	CASName
protected java.lang.String	CASVersion

Constructor Summary

SCSCP2ServDescHandler(java.lang.String CASName, java.lang.String CASVersion, java.lang.String CASDesc)

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.

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

CASName

protected java.lang.String CASName

CASVersion

protected java.lang.String CASVersion

CASDesc

protected java.lang.String CASDesc

Constructor Detail

SCSCP2ServDescHandler

public SCSCP2ServDescHandler(java.lang.String CASName,
                             java.lang.String CASVersion,
                             java.lang.String CASDesc)

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.

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