indexing
	description: "IStorage and IStream Seek flags"
	status: "See notice at end of class"
	date: "$Date$"
	revision: "$Revision$"

class interface
	ECOM_STREAM_SEEK

feature -- Access

	is_valid_seek (seek: INTEGER): BOOLEAN
			-- Is seek a valid IStorage and IStream seek flag?

	stream_seek_cur: INTEGER
			-- Sets seek position relative to
			-- current position of stream

	stream_seek_end: INTEGER
			-- Sets seek position relative to
			-- current end of stream

	stream_seek_set: INTEGER
			-- Sets seek position relative to
			-- beginning of stream
	
invariant

		-- from ANY
	reflexive_equality: standard_is_equal (Current)
	reflexive_conformance: conforms_to (Current)

end -- class ECOM_STREAM_SEEK