|
||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | |||||||||
java.lang.Objectorg.symcomp.scscp.ProcedureCallHandler
org.symcomp.spsd.server.SPSDHandler
public class SPSDHandler
is called by the SPSD -- the actual computation is delegated to the SPSD registered by the Wupsifer.
| Constructor Summary | |
|---|---|
SPSDHandler(SPSD spsd)
|
|
| Method Summary | |
|---|---|
java.lang.String |
getDescription(org.symcomp.openmath.OMSymbol omSymbol)
|
org.symcomp.openmath.OpenMathBase |
handlePayload(org.symcomp.openmath.OpenMathBase openMathBase)
|
| Methods inherited from class org.symcomp.scscp.ProcedureCallHandler |
|---|
getServiceName, getServiceNames, getServiceNameStr, handle |
| Methods inherited from class java.lang.Object |
|---|
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
| Constructor Detail |
|---|
public SPSDHandler(SPSD spsd)
| Method Detail |
|---|
public org.symcomp.openmath.OpenMathBase handlePayload(org.symcomp.openmath.OpenMathBase openMathBase)
throws org.symcomp.openmath.OpenMathException
handlePayload in class org.symcomp.scscp.ProcedureCallHandlerorg.symcomp.openmath.OpenMathExceptionpublic java.lang.String getDescription(org.symcomp.openmath.OMSymbol omSymbol)
getDescription in class org.symcomp.scscp.ProcedureCallHandler
|
||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | |||||||||