open_file, close_file, get_lineopen_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.