diff options
| author | dos-reis <gdr@axiomatics.org> | 2008-09-14 05:22:19 +0000 |
|---|---|---|
| committer | dos-reis <gdr@axiomatics.org> | 2008-09-14 05:22:19 +0000 |
| commit | cb2898bace89b16b4deae484375513c12a2d3b47 (patch) | |
| tree | 111525a5f43333ddb4ccc1072e11f40d28ed0149 /src/algebra/fname.spad.pamphlet | |
| parent | a09fa1e3605d190ccc02f2254abacb1eb4df150e (diff) | |
| download | open-axiom-cb2898bace89b16b4deae484375513c12a2d3b47.tar.gz | |
* interp/sys-os.boot (readablep): Import.
(writeablep): Document.
* algebra/fname.spad.pamphlet (exists?$FileName): Use existingFile?
(readable?$FileName): Use readablep.
(writeable?$FileName): Use writeable.
Diffstat (limited to 'src/algebra/fname.spad.pamphlet')
| -rw-r--r-- | src/algebra/fname.spad.pamphlet | 17 |
1 files changed, 11 insertions, 6 deletions
diff --git a/src/algebra/fname.spad.pamphlet b/src/algebra/fname.spad.pamphlet index 1a66d427..bfc9dc11 100644 --- a/src/algebra/fname.spad.pamphlet +++ b/src/algebra/fname.spad.pamphlet @@ -1,15 +1,18 @@ \documentclass{article} \usepackage{axiom} \begin{document} -\title{\$SPAD/src/algebra fname.spad} + +\title{src/algebra fname.spad} \author{Stephen M. Watt} \maketitle + \begin{abstract} \end{abstract} -\eject \tableofcontents \eject + \section{category FNCAT FileNameCategory} + <<category FNCAT FileNameCategory>>= )abbrev category FNCAT FileNameCategory ++ Author: Stephen M. Watt @@ -70,7 +73,7 @@ FileNameCategory(): Category == SetCategory with )abbrev domain FNAME FileName ++ Author: Stephen M. Watt ++ Date Created: 1985 -++ Date Last Updated: June 20, 1991 +++ Date Last Updated: September 14, 2008 ++ Basic Operations: ++ Related Domains: ++ Also See: @@ -95,14 +98,16 @@ FileName(): FileNameCategory == add name(f:%): String == fnameName(f)$Lisp extension(f:%): String == fnameType(f)$Lisp - exists? f == fnameExists?(f)$Lisp - readable? f == fnameReadable?(f)$Lisp - writable? f == fnameWritable?(f)$Lisp + exists? f == existingFile?(f::String)$Lisp + readable? f == readablep(f::String)$Lisp : Integer = 1 + writable? f == writeablep(f::String)$Lisp : Integer = 1 new(d,pref,e) == fnameNew(d,pref,e)$Lisp @ + \section{License} + <<license>>= --Copyright (c) 1991-2002, The Numerical ALgorithms Group Ltd. --All rights reserved. |