deferred class
	EL_LOCKABLE_TEXT_FILE_I

inherit
	ANY
		undefine
			copy, is_equal
		end

feature -- Status report

	last_write_ok: BOOLEAN
			-- Was last write operation successful?

	is_locked: BOOLEAN
		deferred
		end

feature -- Measurement

	last_put_count: INTEGER
			-- Last amount of bytes written to pipe

feature -- Basic operations

	put_string (str: STRING)
		require
			locked: is_locked
		deferred
		ensure
			last_write_ok: last_write_ok
		end

	wipe_out
		-- wipe out existing file data
		require
			locked: is_locked
		deferred
		end

feature {NONE} -- Implementation

	remove_file
		do
			do_nothing
		end

feature {NONE} -- Constants

	Is_fixed_size: BOOLEAN = False

	Is_writeable: BOOLEAN = True

end