DataMuseum.dk

Presents historical artifacts from the history of:

Rational R1000/400

This is an automatic "excavation" of a thematic subset of
artifacts from Datamuseum.dk's BitArchive.

See our Wiki for more about Rational R1000/400

Excavated with: AutoArchaeologist - Free & Open Source Software.


top - download

⟦179240fed⟧ TextFile

    Length: 1579 (0x62b)
    Types: TextFile
    Notes: R1k Text-file segment

Derivation

└─⟦8527c1e9b⟧ Bits:30000544 8mm tape, Rational 1000, Arrival backup of disks in PAM's R1000
    └─ ⟦cfc2e13cd⟧ »Space Info Vol 2« 
        └─⟦190f062bf⟧ 
            └─⟦this⟧ 

TextFile

with io_exceptions, file_support;
generic
	type element_type is private;
package sequential_io is

	type file_type is limited private;

	type file_mode is (in_file, out_file);

	-- file management

	procedure create(file:	in out file_type;
					 mode:	in file_mode := out_file;
					 name:	in string := "";
					 form:	in string := "");

	procedure open	(file:	in out file_type;
					 mode:	in file_mode;
					 name:	in string;
					 form:	in string := "");

	procedure close	(file:	in out file_type);
	procedure delete(file:	in out file_type);
	procedure reset	(file:	in out file_type; mode:	in file_mode);
	procedure reset	(file:	in out file_type);

	function mode	(file:	in file_type) return file_mode;
	function name	(file:	in file_type) return string;
	function form	(file:	in file_type) return string;

	function is_open(file:	in file_type) return boolean;

	-- input and output operations

	procedure read	(file:	in file_type; item:	out element_type);
	procedure write	(file:	in file_type; item:	in element_type);

	function end_of_file(file:	in file_type) return boolean;

	-- exceptions

	status_error:	exception renames io_exceptions.status_error;
	mode_error:		exception renames io_exceptions.mode_error;
	name_error:		exception renames io_exceptions.name_error;
	use_error:		exception renames io_exceptions.use_error;
	device_error:	exception renames io_exceptions.device_error;
	end_error:		exception renames io_exceptions.end_error;
	data_error:		exception renames io_exceptions.data_error;

private

	type file_type is new file_support.file_ptr;

end sequential_io