diff options
| author | dos-reis <gdr@axiomatics.org> | 2008-10-01 09:50:16 +0000 |
|---|---|---|
| committer | dos-reis <gdr@axiomatics.org> | 2008-10-01 09:50:16 +0000 |
| commit | 41c41ca859e093f8029bc5c6e9df996df8998530 (patch) | |
| tree | fc6328409bbd3dec92bf4af92f9a0552fe791e59 /src/algebra/files.spad.pamphlet | |
| parent | 7390fa59b4e4411c142ecdb13070c5f0ac91d51d (diff) | |
| download | open-axiom-41c41ca859e093f8029bc5c6e9df996df8998530.tar.gz | |
* algebra/files.spad.pamphlet (IOMode): New domain.
* algebra/net.spad.pamphlet (InputBinaryFile): Likewise.
(OutputBinaryFile): Likewise.
* interp/sys-utility.boot (openBinaryFile): New.
(readByteFromFile): Likewise.
(writeByteToFile): Likewise.
(closeFile): Likewise.
Diffstat (limited to 'src/algebra/files.spad.pamphlet')
| -rw-r--r-- | src/algebra/files.spad.pamphlet | 44 |
1 files changed, 41 insertions, 3 deletions
diff --git a/src/algebra/files.spad.pamphlet b/src/algebra/files.spad.pamphlet index f331e958..34cd7937 100644 --- a/src/algebra/files.spad.pamphlet +++ b/src/algebra/files.spad.pamphlet @@ -1,15 +1,51 @@ \documentclass{article} \usepackage{axiom} \begin{document} -\title{\$SPAD/src/algebra files.spad} -\author{Stephen M. Watt, Victor Miller, Barry Trager} + +\title{src/algebra files.spad} +\author{Stephen M. Watt, Victor Miller, Barry Trager, Gabriel Dos~Reis} + \maketitle \begin{abstract} \end{abstract} -\eject \tableofcontents \eject + + +\section{A domain for IO mode} + +<<domain IOMODE IOMode>>= +)abbrev domain IOMODE IOMode +++ Author: Gabriel Dos Reis +++ Date Created: September 30, 2008 +++ Date Last Updated: September 30, 2008 +++ Basic Operations: inputIOMode, outputIoMode, bothWayIOMode +++ Description: +++ This domain provides constants to describe directions of +++ IO conduits (file, etc) mode of operations. +IOMode(): Public == Private where + Public == SetCategory with + input: % + ++ `input' indicates that an IO conduit is for input. + output: % + ++ `output' indicates that an IO conduit is for output + bothWays: % + ++ `bothWays' indicates that an IO conduit is for both input and output. + Private == add + input == _$InputIOMode$Lisp + output == _$OutputIOMode$Lisp + bothWays == _$BothWaysIOode$Lisp + x = y == EQ(x,y)$Lisp + coerce m == + m = input => outputForm 'input + m = output => outputForm 'output + outputForm 'bothWays + +@ + + \section{category FILECAT FileCategory} + <<category FILECAT FileCategory>>= )abbrev category FILECAT FileCategory ++ Author: Stephen M. Watt, Victor Miller @@ -548,6 +584,8 @@ Library(): TableAggregate(String, Any) with <<*>>= <<license>> +<<domain IOMODE IOMode>> + <<category FILECAT FileCategory>> <<domain FILE File>> <<domain TEXTFILE TextFile>> |