Version 1.9 Build 1556

News	FAQ
Search	Home

Next: File Information Up: Input and Output Previous: User Interaction

Binary I/0

You store Glish values to a file and read them from a file in binary format using write_value() and read_value().

write_value(value, file) writes a representation of the given value to the file (which should be a string). Presently only values of type numeric, string, or record are supported. Values of type reference are first dereferenced before being written.

write_value() returns T if successful and F if not.

read_value(file) reads a Glish value from the file (interpreted as a string) and returns it, or F if it encountered problems.

Note that when stored in files Glish values correspond to SOS datasets. (See Chapter 16, page , for a discussion of SOS.)

Next: File Information Up: Input and Output Previous: User Interaction Contents Index