Returns file<-name
without the possible directory specification:
?- new(F, file('/staff/jan/src/xpce/src/unx-file.c')),
get(F, base_name, Base).
F = @634787
Base = 'unx-file.c'
- See also
- - file
<-directory_name
- file-name
Reads the next character and returns it as an integer between 0 and 255.
Diagnostics: Fails with message on I/O error. Fails silently
on reaching end-of-file.
Returns the current value of the read- or write-pointer. This pointer
may be set using file->seek.
Diagnostics: Gives a warning if the file is not opened.
- See also
- file
->seek
Returns a new string
object with the next <int> characters or as many as there are left
in the file.
Defaults: The default amount to read is the entire file.
Diagnostics: Standard file diagnostics.
Bugs: Unlike Unix read(), this function cannot
deal with files holding 0 (EOS) characters as strings cannot represent
such characters.
- See also
- file
<-read_line
Reads the next line of input from the file and returns this in a string
object. The string contains the trailing newline character of the line.
See string->strip.
If the last line is not closed with a newline, a string without
trailing newline is returned.
Diagnostics: Fails with error message on file errors. Fails
silently when the end of the file is reached.
- See also
- file
<-read
Returns a new date
object holding the last access or modification time.
Date objects may be
converted to a string (date<-string)
or compared.
See also directory->modified.
Defaults: By default returns the time of last modification.
- See also
- file
<-size
