org.symcomp.wupsi.iss
Class InteractiveCallHandler

java.lang.Object
  org.symcomp.scscp.ProcedureCallHandler
      org.symcomp.wupsi.iss.InteractiveCallHandler

public class InteractiveCallHandler
extends org.symcomp.scscp.ProcedureCallHandler

Offers the possiblilty to manually enter the result of computations

Constructor Summary

InteractiveCallHandler()

Method Summary

java.lang.String	getDescription(org.symcomp.openmath.OMSymbol arg0)
org.symcomp.openmath.OpenMathBase	handlePayload(org.symcomp.openmath.OpenMathBase payload)

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

InteractiveCallHandler

public InteractiveCallHandler()

Method Detail

getDescription

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

Specified by:

getDescription in class org.symcomp.scscp.ProcedureCallHandler

handlePayload

public org.symcomp.openmath.OpenMathBase handlePayload(org.symcomp.openmath.OpenMathBase payload)
                                                throws org.symcomp.openmath.OpenMathException

Overrides:

handlePayload in class org.symcomp.scscp.ProcedureCallHandler

Throws:

org.symcomp.openmath.OpenMathException