io (library)

Author(s): Göran Smedbäck.

Version: 0.1#2 (1998/12/2)

This file implements I/O predicates of different types.

Implemented by Göran Smedbäck

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

Usage and interface (io)

Documentation on exports (io)

PREDICATE: out/1:

Usage: out(ListOfOutput)

• Description: The predicate used is out/3 (DCG) where we will 'save' the output in the second argument. The tird argument is the rest, nil.
• Call and exit should be compatible with: ListOfOutput is a list of atms. (basic_props:list/2)
• The following properties should hold at call time: ListOfOutput is currently a term which is not a free variable. (term_typing:nonvar/1)

PREDICATE: out/3:

No further documentation available for this predicate.

PREDICATE: convert_atoms_to_string/2:

Usage: convert_atoms_to_string(Atoms, String)

• Description: The predicate transforms a list of atoms to a string.
• Call and exit should be compatible with: Atoms is a list of atms. (basic_props:list/2) String is a list of nums. (basic_props:list/2)
• The following properties should hold at call time: Atoms is currently a term which is not a free variable. (term_typing:nonvar/1) String is a free variable. (term_typing:var/1)

PREDICATE: read_terms_file/2:

Usage: read_terms_file(Filename, Term)

• Description: Given a filename to a file with terms, the predicate reads the terms and are returned in the second argument. Filename is an atom and Term is the read prolog terms.
• Call and exit should be compatible with: Filename is an atom. (basic_props:atm/1) Term is an atom. (basic_props:atm/1)
• The following properties should hold at call time: Filename is currently a term which is not a free variable. (term_typing:nonvar/1) Term is a free variable. (term_typing:var/1)

PREDICATE: write_terms_file/2:

Usage: write_terms_file(FileName, List)

• Description: Given a filename and a list of terms the predicate will write them down to the file.
• Call and exit should be compatible with: FileName is an atom. (basic_props:atm/1) List is a list of atms. (basic_props:list/2)
• The following properties should hold at call time: FileName is currently a term which is not a free variable. (term_typing:nonvar/1) List is currently a term which is not a free variable. (term_typing:nonvar/1)

PREDICATE: read_vrml_file/2:

Usage: read_vrml_file(FileName, Data)

• Description: Given a filename, the predicate returns the substance.
• Call and exit should be compatible with: FileName is an atom. (basic_props:atm/1) Data is a string (a list of character codes). (basic_props:string/1)
• The following properties should hold at call time: FileName is currently a term which is not a free variable. (term_typing:nonvar/1) Data is a free variable. (term_typing:var/1)

PREDICATE: write_vrml_file/2:

Usage: write_vrml_file(FileName, Data)

• Description: Given a filename and data in form of a string, the predicate will write the data to the named file.
• Call and exit should be compatible with: FileName is an atom. (basic_props:atm/1) Data is a string (a list of character codes). (basic_props:string/1)
• The following properties should hold at call time: FileName is currently a term which is not a free variable. (term_typing:nonvar/1) Data is currently a term which is not a free variable. (term_typing:nonvar/1)

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