file_utils (library)

Version: 1.5#118 (2000/4/19, 18:13:43 CEST)

Version of last change: 1.5#55 (2000/2/11, 21:19:43 CET)

• Usage and interface (file_utils)
• Documentation on exports (file_utils)

Usage and interface (file_utils)

Documentation on exports (file_utils)

PREDICATE: file_terms/2:

Usage 1: file_terms(@(File),?(Terms))

• Description: Transform a file File to/from a list of terms Terms.
• The following properties should hold upon exit: @(File) is a source name. (streams_basic:sourcename/1) ?(Terms) is a list. (basic_props:list/1)

Usage 2: file_terms(File,Terms)

• Description: Unifies Terms with the list of all terms in File.
• The following properties should hold at call time: File is a source name. (streams_basic:sourcename/1) Terms is a free variable. (term_typing:var/1)
• The following properties should hold upon exit: File is a source name. (streams_basic:sourcename/1) Terms is a list. (basic_props:list/1)

Usage 3: file_terms(File,Terms)

• Description: Writes the terms in list Terms (including the ending '.') onto file File.
• The following properties should hold at call time: File is a source name. (streams_basic:sourcename/1) Terms is a list. (basic_props:list/1)
• The following properties should hold upon exit: File is a source name. (streams_basic:sourcename/1) Terms is a list. (basic_props:list/1)

PREDICATE: copy_stdout/1:

Usage: copy_stdout(+File)

• Description: Copies file File to standard output.
• The following properties should hold upon exit: +File is a source name. (streams_basic:sourcename/1)

PREDICATE: file_to_string/2:

Usage: file_to_string(+FileName,-(String))

• Description: Reads all the characters from the file FileName and returns them in String.
• Call and exit should be compatible with: +FileName is a source name. (streams_basic:sourcename/1) -(String) is a string (a list of character codes). (basic_props:string/1)

PREDICATE: stream_to_string/2:

Usage: stream_to_string(+Stream,-(String))

• Description: Reads all the characters from Stream and returns them in String.
• Call and exit should be compatible with: +Stream is an open stream. (streams_basic:stream/1) -(String) is a string (a list of character codes). (basic_props:string/1)

Go to the first, previous, next, last section, table of contents.