string_file_buffer -- queries a string file for its internal buffer.
Arguments
- string_file
A file which points to an in-memory string, created by a call to open_string.
Returns
The characters remaining to be read within the string file.
Description
This function queries a string file for its internal buffer.
Example
Gamma> a = open_string("my false file");
#<File:"String">
Gamma> read_n_chars(a,3);
#{my }
Gamma> string_file_buffer(a);
"false file"
Gamma>