diff options
author | dos-reis <gdr@axiomatics.org> | 2011-08-10 16:50:47 +0000 |
---|---|---|
committer | dos-reis <gdr@axiomatics.org> | 2011-08-10 16:50:47 +0000 |
commit | e6b1636fe3b19b148f347f6b9f00642db83c5ddc (patch) | |
tree | 79d6b46a38a96ac51ad2396fb137a163eb3a7f65 /src/algebra/omserver.spad.pamphlet | |
parent | 0a0661e0c50e9c3e160d54b8e0a5b891d419e2bc (diff) | |
download | open-axiom-e6b1636fe3b19b148f347f6b9f00642db83c5ddc.tar.gz |
* algebra/Makefile.in (oa_strap_0_sources): Don't include OM.
(axiom_algebra_layer_0): Don't include OM, OMCONN, OMDEV.
(axiom_algebra_layer_4): Don't include OMENC.
(axiom_algebra_layer_14): Don't include OMPKG.
(axiom_algebra_layer_19): Don't include OMERR, OMERRK.
(axiom_algebra_layer_20): Don't include OMEXPR.
* algebra/omcat.spad.pamphlet: Remove.
* algebra/omdev.spad.pamphlet: Remove.
* algebra/omerror.spad.pamphlet: Remove.
* algebra/omserver.spad.pamphlet: Remove.
* algebra/openmath.spad.pamphlet: Remove.
Diffstat (limited to 'src/algebra/omserver.spad.pamphlet')
-rw-r--r-- | src/algebra/omserver.spad.pamphlet | 122 |
1 files changed, 0 insertions, 122 deletions
diff --git a/src/algebra/omserver.spad.pamphlet b/src/algebra/omserver.spad.pamphlet deleted file mode 100644 index cd09ad27..00000000 --- a/src/algebra/omserver.spad.pamphlet +++ /dev/null @@ -1,122 +0,0 @@ -\documentclass{article} -\usepackage{open-axiom} -\begin{document} -\title{\$SPAD/src/algebra omserver.spad} -\author{Vilya Harvey} -\maketitle -\begin{abstract} -\end{abstract} -\eject -\tableofcontents -\eject -\section{package OMSERVER OpenMathServerPackage} -<<package OMSERVER OpenMathServerPackage>>= -)abbrev package OMSERVER OpenMathServerPackage -++ Author: Vilya Harvey -++ Date Created: -++ Date Last Updated: -++ Basic Functions: -++ Related Constructors: -++ Also See: -++ AMS Classifications: -++ Keywords: -++ References: -++ Description: \spadtype{OpenMathServerPackage} provides the necessary -++ operations to run AXIOM as an OpenMath server, reading/writing objects -++ to/from a port. Please note the facilities available here are very basic. -++ The idea is that a user calls e.g. \axiom{Omserve(4000,60)} and then -++ another process sends OpenMath objects to port 4000 and reads the result. - -OpenMathServerPackage(): with - OMreceive : OpenMathConnection -> Any - ++ OMreceive(c) reads an OpenMath object from connection \axiom{c} and - ++ returns the appropriate AXIOM object. - OMsend : (OpenMathConnection, Any) -> Void - ++ OMsend(c,u) attempts to output \axiom{u} on \aciom{c} in OpenMath. - OMserve : (SingleInteger, SingleInteger) -> Void - ++ OMserve(portnum,timeout) puts AXIOM into server mode on port number - ++ \axiom{portnum}. The parameter \axiom{timeout} specifies the timeout - ++ period for the connection. - == add - import OpenMathDevice - import OpenMathConnection - import OpenMathPackage - import OpenMath - - - - OMreceive(conn: OpenMathConnection): Any == - dev: OpenMathDevice := OMconnInDevice(conn) - OMsetEncoding(dev, OMencodingUnknown()); - OMread(dev) - - OMsend(conn: OpenMathConnection, value: Any): Void == - dev: OpenMathDevice := OMconnOutDevice(conn) - OMsetEncoding(dev, OMencodingXML()); - --retractable?(value)$AnyFunctions1(Expression Integer) => - -- OMwrite(dev, retract(value)$AnyFunctions1(Expression Integer), true) - retractable?(value)$AnyFunctions1(Integer) => - OMwrite(dev, retract(value)$AnyFunctions1(Integer), true) - retractable?(value)$AnyFunctions1(Float) => - OMwrite(dev, retract(value)$AnyFunctions1(Float), true) - retractable?(value)$AnyFunctions1(SingleInteger) => - OMwrite(dev, retract(value)$AnyFunctions1(SingleInteger), true) - retractable?(value)$AnyFunctions1(DoubleFloat) => - OMwrite(dev, retract(value)$AnyFunctions1(DoubleFloat), true) - retractable?(value)$AnyFunctions1(String) => - OMwrite(dev, retract(value)$AnyFunctions1(String), true) - - OMserve(portNum: SingleInteger, timeout: SingleInteger): Void == - conn: OpenMathConnection := OMmakeConn(timeout) - OMbindTCP(conn, portNum) - val: Any - while true repeat - val := OMreceive(conn) - OMsend(conn, val) - -@ -\section{License} -<<license>>= ---Copyright (c) 1991-2002, The Numerical ALgorithms Group Ltd. ---All rights reserved. --- Copyright (C) 2007-2010, Gabriel Dos Reis. --- All rights reserved. --- ---Redistribution and use in source and binary forms, with or without ---modification, are permitted provided that the following conditions are ---met: --- --- - Redistributions of source code must retain the above copyright --- notice, this list of conditions and the following disclaimer. --- --- - Redistributions in binary form must reproduce the above copyright --- notice, this list of conditions and the following disclaimer in --- the documentation and/or other materials provided with the --- distribution. --- --- - Neither the name of The Numerical ALgorithms Group Ltd. nor the --- names of its contributors may be used to endorse or promote products --- derived from this software without specific prior written permission. --- ---THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS "AS ---IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED ---TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A ---PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT OWNER ---OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, ---EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED TO, ---PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR ---PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF ---LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING ---NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF THIS ---SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE. -@ -<<*>>= -<<license>> - -<<package OMSERVER OpenMathServerPackage>> -@ -\eject -\begin{thebibliography}{99} -\bibitem{1} nothing -\end{thebibliography} -\end{document} |