Automatic generation produced by ISE Eiffel

Classes
Clusters
Cluster hierarchy
Chart
Relations
Text
Flat
Contracts
Flat contracts
Go to: 
indexing
	description: "Files, viewed as persistent sequences of bytes"
	status: "See notice at end of class"
	date: "$Date: 2001-11-16 20:32:23 +0000 (Fri, 16 Nov 2001) $"
	revision: "$Revision: 51435 $"

class 
	RAW_FILE

inherit
	FILE
		rename
			index as position
		redefine
			file_reopen,
			file_open,
			file_dopen
		end

create 
	make,
	make_open_read,
	make_open_write,
	make_open_append,
	make_open_read_write,
	make_create_read_write,
	make_open_read_append

feature -- Status report

	Support_storable: BOOLEAN is True
			-- Can medium be used to an Eiffel structure?
	
feature -- Output

	put_integer (i: INTEGER) is
			-- Write binary value of i at current position.
			-- Was declared in RAW_FILE as synonym of putint.
		do
			file_pib (file_pointer, i)
		end

	putint (i: INTEGER) is
			-- Write binary value of i at current position.
			-- Was declared in RAW_FILE as synonym of put_integer.
		do
			file_pib (file_pointer, i)
		end

	put_boolean (b: BOOLEAN) is
			-- Write binary value of b at current position.
			-- Was declared in RAW_FILE as synonym of putbool.
		do
			if b then
				put_character ('%/1/')
			else
				put_character ('%U')
			end
		end

	putbool (b: BOOLEAN) is
			-- Write binary value of b at current position.
			-- Was declared in RAW_FILE as synonym of put_boolean.
		do
			if b then
				put_character ('%/1/')
			else
				put_character ('%U')
			end
		end

	put_real (r: REAL) is
			-- Write binary value of r at current position.
			-- Was declared in RAW_FILE as synonym of putreal.
		do
			file_prb (file_pointer, r)
		end

	putreal (r: REAL) is
			-- Write binary value of r at current position.
			-- Was declared in RAW_FILE as synonym of put_real.
		do
			file_prb (file_pointer, r)
		end

	put_double (d: DOUBLE) is
			-- Write binary value d at current position.
			-- Was declared in RAW_FILE as synonym of putdouble.
		do
			file_pdb (file_pointer, d)
		end

	putdouble (d: DOUBLE) is
			-- Write binary value d at current position.
			-- Was declared in RAW_FILE as synonym of put_double.
		do
			file_pdb (file_pointer, d)
		end
	
feature -- Input

	read_integer is
			-- Read the binary representation of a new integer
			-- from file. Make result available in last_integer.
			-- Was declared in RAW_FILE as synonym of readint.
		do
			last_integer := file_gib (file_pointer)
		end

	readint is
			-- Read the binary representation of a new integer
			-- from file. Make result available in last_integer.
			-- Was declared in RAW_FILE as synonym of read_integer.
		do
			last_integer := file_gib (file_pointer)
		end

	read_real is
			-- Read the binary representation of a new real
			-- from file. Make result available in last_real.
			-- Was declared in RAW_FILE as synonym of readreal.
		do
			last_real := file_grb (file_pointer)
		end

	readreal is
			-- Read the binary representation of a new real
			-- from file. Make result available in last_real.
			-- Was declared in RAW_FILE as synonym of read_real.
		do
			last_real := file_grb (file_pointer)
		end

	read_double is
			-- Read the binary representation of a new double
			-- from file. Make result available in last_double.
			-- Was declared in RAW_FILE as synonym of readdouble.
		do
			last_double := file_gdb (file_pointer)
		end

	readdouble is
			-- Read the binary representation of a new double
			-- from file. Make result available in last_double.
			-- Was declared in RAW_FILE as synonym of read_double.
		do
			last_double := file_gdb (file_pointer)
		end
	
feature {NONE} -- Implementation

	file_gib (file: POINTER): INTEGER is
			-- Get an integer from file
		external
			"C (FILE *): EIF_INTEGER | %"eif_file.h%""
		end

	file_grb (file: POINTER): REAL is
			-- Read a real from file
		external
			"C (FILE *): EIF_REAL | %"eif_file.h%""
		end

	file_gdb (file: POINTER): DOUBLE is
			-- Read a double from file
		external
			"C (FILE *): EIF_DOUBLE | %"eif_file.h%""
		end

	file_open (f_name: POINTER; how: INTEGER): POINTER is
			-- File pointer for file f_name, in mode how.
		external
			"C | %"eif_file.h%""
		alias
			"file_binary_open"
		end

	file_dopen (fd, how: INTEGER): POINTER is
			-- File pointer for file of descriptor fd in mode how
			-- (which must fit the way fd was obtained).
		external
			"C | %"eif_file.h%""
		alias
			"file_binary_dopen"
		end

	file_reopen (f_name: POINTER; how: INTEGER; file: POINTER): POINTER is
			-- File pointer to file, reopened to have new name f_name
			-- in a mode specified by how.
		external
			"C (char *, EIF_INTEGER, FILE *): EIF_POINTER | %"eif_file.h%""
		alias
			"file_binary_reopen"
		end

	file_pib (file: POINTER; n: INTEGER) is
			-- Put n to end of file.
		external
			"C (FILE *, EIF_INTEGER) | %"eif_file.h%""
		end

	file_prb (file: POINTER; r: REAL) is
			-- Put r to end of file.
		external
			"C (FILE *, EIF_REAL) | %"eif_file.h%""
		end

	file_pdb (file: POINTER; d: DOUBLE) is
			-- Put d to end of file.
		external
			"C (FILE *, EIF_DOUBLE) | %"eif_file.h%""
		end
	
invariant

	not_plain_text: not is_plain_text

indexing
	library: "[
			EiffelBase: Library of reusable components for Eiffel.
	]"
	status: "[
			Copyright 1986-2001 Interactive Software Engineering (ISE).
			For ISE customers the original versions are an ISE product
			covered by the ISE Eiffel license and support agreements.
	]"
	license: "[
			EiffelBase may now be used by anyone as FREE SOFTWARE to
			develop any product, public-domain or commercial, without
			payment to ISE, under the terms of the ISE Free Eiffel Library
			License (IFELL) at http://eiffel.com/products/base/license.html.
	]"
	source: "[
			Interactive Software Engineering Inc.
			ISE Building
			360 Storke Road, Goleta, CA 93117 USA
			Telephone 805-685-1006, Fax 805-685-6869
			Electronic mail <info@eiffel.com>
			Customer support http://support.eiffel.com
	]"
	info: "[
			For latest info see award-winning pages: http://eiffel.com
	]"

end -- class RAW_FILE


Classes
Clusters
Cluster hierarchy
Chart
Relations
Text
Flat
Contracts
Flat contracts
Go to: 

-- Generated by ISE Eiffel --
For more details: www.eiffel.com