org.symcomp.scscp
Class ProcedureDone

java.lang.Object
  org.symcomp.scscp.ProcedureDone

public class ProcedureDone
extends java.lang.Object

A class to encapsulate SCSCP Procedure Completed and Terminated messages

Field Summary

protected ProcedureCall	call
protected CookieStore	cookies
protected java.util.Map<java.lang.String,OpenMathBase[]>	infos
static java.lang.Integer	PROCEDURE_COMPLETED
static java.lang.Integer	PROCEDURE_TERMINATED
protected OpenMathBase	result
protected java.lang.Integer	which

Constructor Summary

ProcedureDone(ProcedureCall call, java.lang.Integer which, OpenMathBase result)

ProcedureDone(ProcedureCall call, OpenMathBase msgin)

Method Summary

static ProcedureDone	constructProcedureCompleted(ProcedureCall call, OpenMathBase result)
static ProcedureDone	constructProcedureTerminated(ProcedureCall call, OpenMathBase result)
CookieStore	getCookieStore()
OpenMathBase[]	getInfo(org.symcomp.openmath.OMSymbol k)
org.symcomp.openmath.OMObject	getOMObject()
OpenMathBase	getResult()
boolean	isProcedureCompleted()
boolean	isProcedureTerminated()
void	removeInfo(org.symcomp.openmath.OMSymbol k)
void	setCookieStore(CookieStore s)
void	setInfo(org.symcomp.openmath.OMSymbol k, OpenMathBase v)
java.lang.Integer	which()

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Detail

call

protected ProcedureCall call

cookies

protected CookieStore cookies

result

protected OpenMathBase result

infos

protected java.util.Map<java.lang.String,OpenMathBase[]> infos

PROCEDURE_COMPLETED

public static final java.lang.Integer PROCEDURE_COMPLETED

PROCEDURE_TERMINATED

public static final java.lang.Integer PROCEDURE_TERMINATED

which

protected java.lang.Integer which

Constructor Detail

ProcedureDone

public ProcedureDone(ProcedureCall call,
                     java.lang.Integer which,
                     OpenMathBase result)

ProcedureDone

public ProcedureDone(ProcedureCall call,
                     OpenMathBase msgin)

Method Detail

constructProcedureCompleted

public static ProcedureDone constructProcedureCompleted(ProcedureCall call,
                                                        OpenMathBase result)

constructProcedureTerminated

public static ProcedureDone constructProcedureTerminated(ProcedureCall call,
                                                         OpenMathBase result)

which

public java.lang.Integer which()

isProcedureCompleted

public boolean isProcedureCompleted()

isProcedureTerminated

public boolean isProcedureTerminated()

setInfo

public void setInfo(org.symcomp.openmath.OMSymbol k,
                    OpenMathBase v)

getInfo

public OpenMathBase[] getInfo(org.symcomp.openmath.OMSymbol k)

removeInfo

public void removeInfo(org.symcomp.openmath.OMSymbol k)

getCookieStore

public CookieStore getCookieStore()

setCookieStore

public void setCookieStore(CookieStore s)

getOMObject

public org.symcomp.openmath.OMObject getOMObject()
                                          throws OpenMathException

Throws:

OpenMathException

getResult

public OpenMathBase getResult()