TextFileΒΆ

files.spad line 144 [edit on github]

This domain provides an implementation of text files. Text is stored in these files using the native character set of the computer.

=: (%, %) -> Boolean

from BasicType

~=: (%, %) -> Boolean

from BasicType

close!: % -> %

from FileCategory(FileName, String)

coerce: % -> OutputForm

from CoercibleTo OutputForm

endOfFile?: % -> Boolean

endOfFile?(f) tests whether the file f is positioned after the end of all text. If the file is open for output, then this test is always true.

flush: % -> Void

from FileCategory(FileName, String)

hash: % -> SingleInteger

from SetCategory

hashUpdate!: (HashState, %) -> HashState

from SetCategory

iomode: % -> String

from FileCategory(FileName, String)

latex: % -> String

from SetCategory

name: % -> FileName

from FileCategory(FileName, String)

open: (FileName, String) -> %

from FileCategory(FileName, String)

open: FileName -> %

from FileCategory(FileName, String)

read!: % -> String

from FileCategory(FileName, String)

readIfCan!: % -> Union(String, failed)

readIfCan!(f) returns a string of the contents of a line from file f, if possible. If f is not readable or if it is positioned at the end of file, then "failed" is returned.

readLine!: % -> String

readLine!(f) returns a string of the contents of a line from the file f.

readLineIfCan!: % -> Union(String, failed)

readLineIfCan!(f) returns a string of the contents of a line from file f, if possible. If f is not readable or if it is positioned at the end of file, then "failed" is returned.

reopen!: (%, String) -> %

from FileCategory(FileName, String)

write!: (%, String) -> String

from FileCategory(FileName, String)

writeLine!: % -> String

writeLine!(f) finishes the current line in the file f. An empty string is returned. The call writeLine!(f) is equivalent to writeLine!(f,"").

writeLine!: (%, String) -> String

writeLine!(f, s) writes the contents of the string s and finishes the current line in the file f. The value of s is returned.

BasicType

CoercibleTo OutputForm

FileCategory(FileName, String)

SetCategory