class
	EL_FILE_LOCK

inherit
	EL_FILE_LOCK_I [INTEGER]
		rename
			c_size_of as c_flock_struct_size,
			file_handle as descriptor
		end

	EL_FILE_LOCK_C_API
		undefine
			copy, is_equal
		end

create
	make, make_write

feature {NONE} -- Initialization

	make (length: INTEGER)
		do
			make_default
			c_set_flock_whence (self_ptr, Seek_set)
			c_set_flock_start (self_ptr, 0)
			set_length (length)
		end

	make_write (a_descriptor: INTEGER)
		do
			descriptor := a_descriptor
			make (0) -- 0 means any length of file
			set_write_lock
		end

feature -- Status query

	is_lockable: BOOLEAN
		do
			Result := descriptor.to_boolean
		end

feature -- Status change

	try_lock
		do
			is_locked := c_aquire_lock (descriptor, self_ptr) /= -1
		end

	unlock
		do
			set_unlocked
			is_locked := c_aquire_lock (descriptor, self_ptr) = -1
		end

feature {NONE} -- Implementation

	set_length (length: INTEGER)
		do
			c_set_flock_length (self_ptr, length)
		end

	set_unlocked
		do
			c_set_flock_type (self_ptr, File_unlock)
		end

	set_write_lock
		do
			c_set_flock_type (self_ptr, File_write_lock)
		end

feature {NONE} -- Constants

	File_write_lock: INTEGER
		once
			Result := c_file_write_lock
		end

	File_unlock: INTEGER
		once
			Result := c_file_unlock
		end

	Seek_set: INTEGER
		once
			Result := c_seek_set
		end

end