diff options
| author | dos-reis <gdr@axiomatics.org> | 2010-04-03 15:20:10 +0000 |
|---|---|---|
| committer | dos-reis <gdr@axiomatics.org> | 2010-04-03 15:20:10 +0000 |
| commit | e111b95ab6af7cf4c3defa999b12fa40777c701e (patch) | |
| tree | 30756da2dd267100d901587b3a67ef45d847c72c /src/algebra | |
| parent | a7e82885a54b8d91c1978affc3f0e4668876041b (diff) | |
| download | open-axiom-e111b95ab6af7cf4c3defa999b12fa40777c701e.tar.gz | |
* interp/sys-utility.boot ($ClosedIOMode): New.
* algebra/files.spad.pamphlet (closed$IOMode): Likewise.
Diffstat (limited to 'src/algebra')
| -rw-r--r-- | src/algebra/files.spad.pamphlet | 18 |
1 files changed, 11 insertions, 7 deletions
diff --git a/src/algebra/files.spad.pamphlet b/src/algebra/files.spad.pamphlet index cb85893b..95d45b31 100644 --- a/src/algebra/files.spad.pamphlet +++ b/src/algebra/files.spad.pamphlet @@ -26,19 +26,23 @@ IOMode(): Public == Private where Public == SetCategory with input: % - ++ `input' indicates that an IO conduit is for input. + ++ \spad{input} indicates that an IO conduit is for input. output: % - ++ `output' indicates that an IO conduit is for output + ++ \spad{output} indicates that an IO conduit is for output bothWays: % - ++ `bothWays' indicates that an IO conduit is for both input and output. + ++ \spad{bothWays} indicates that an IO conduit is for both input and output. + closed: % + ++ \spad{closed} indicates that the IO conduit has been closed. Private == add - input == _$InputIOMode$Lisp - output == _$OutputIOMode$Lisp - bothWays == _$BothWaysIOmode$Lisp - x = y == EQ(x,y)$Lisp + input == _$InputIOMode$Foreign(Builtin) + output == _$OutputIOMode$Foreign(Builtin) + bothWays == _$BothWaysIOMode$Foreign(Builtin) + closed == _$ClosedIOMode$Foreign(Builtin) + x = y == EQ(x,y)$Foreign(Builtin) coerce m == m = input => outputForm 'input m = output => outputForm 'output + m = closed => outputForm 'closed outputForm 'bothWays @ |