File(S)
files.spad line 59
[edit on github]
This domain provides a basic model of files to save arbitrary values. The operations provide sequential access to the contents.
- = : (%, %) -> Boolean
- from BasicType
- close! : % -> %
- from FileCategory(FileName, S)
- coerce : % -> OutputForm
- from CoercibleTo(OutputForm)
- flush : % -> Void
- from FileCategory(FileName, S)
- iomode : % -> String
- from FileCategory(FileName, S)
- latex : % -> String
- from SetCategory
- name : % -> FileName
- from FileCategory(FileName, S)
- open : FileName -> %
- from FileCategory(FileName, S)
- open : (FileName, String) -> %
- from FileCategory(FileName, S)
- read! : % -> S
- from FileCategory(FileName, S)
- readIfCan! : % -> Union(S, "failed")
readIfCan!(f) returns a value from the file f, if possible. If f is not open for reading, or if f is at the end of file then "failed" is the result.
- reopen! : (%, String) -> %
- from FileCategory(FileName, S)
- write! : (%, S) -> S
- from FileCategory(FileName, S)
- ~= : (%, %) -> Boolean
- from BasicType
CoercibleTo(OutputForm)
BasicType
SetCategory
FileCategory(FileName, S)