diff options
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>> |