class EL_FILE_RELOCATION_COMMAND_I

(source code)

description

File relocation command i

note
	description: "File relocation command i"

	author: "Finnian Reilly"
	copyright: "Copyright (c) 2001-2022 Finnian Reilly"
	contact: "finnian at eiffel hyphen loop dot com"

	license: "MIT license (See: en.wikipedia.org/wiki/MIT_License)"
	date: "2022-11-15 19:56:06 GMT (Tuesday 15th November 2022)"
	revision: "8"

deferred class
	EL_FILE_RELOCATION_COMMAND_I

inherit
	EL_DOUBLE_PATH_OPERAND_COMMAND_I
		redefine
			getter_function_table, make_default
		end

feature {NONE} -- Initialization

	make_default
		do
			timestamp_preserved := True
			Precursor
		end

feature -- Status query

	timestamp_preserved: EL_BOOLEAN_OPTION

	is_recursive: BOOLEAN
		-- True if recursive copy
		deferred
		end

feature {NONE} -- Evolicity reflection

	getter_function_table: like getter_functions
			--
		do
			Result := Precursor + ["is_recursive", agent: BOOLEAN_REF do Result := is_recursive.to_reference end]
		end

end