DataMuseum.dk

top - download

    Length: 2058 (0x80a)
    Types: TextFile
    Notes: R1k Text-file segment

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

TextFile

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

	type file_type	is limited private;

	type file_mode	is (in_file, inout_file, out_file);
	type count		is range 0 .. 2_147_483_647;
	subtype positive_count		is count range 1 .. count'last;

	-- file management

	procedure create(file:	in out file_type;
					 mode:	in file_mode := inout_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;
					 from:	in positive_count);

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

	procedure write	(file:	in file_type;
					 item:	in element_type;
					 to:	in positive_count);

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

	procedure set_index	(file:	in file_type; to:	in positive_count);

	function index	(file:	in file_type) return positive_count;
	function size	(file:	in file_type) return count;

	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 direct_io