open_file
, close_file
, get_line
open_file()
: integer (fild id); close_file()
: 1; get_line()
: string
open_file()
opens a file for reading.
If successful, it returns a non-negative integer as the file descriptor.
Otherwise the system error function is called.
Unnecessary files should be closed by close_file()
.
get_line()
reads a line from an opened file and returns the
line as a string.
get_line()
call after reading the end of file returns
an integer 0.
sub_str()
, eval_str()
.
[185] Id = open_file("test"); 0 [186] get_line(Id); 12345 [187] get_line(Id); 67890 [188] get_line(Id); 0 [189] type(@@); 0
eval_str
, section str_len
, str_chr
, sub_str
.
Go to the first, previous, next, last section, table of contents.