el_file_uri

description

Unescaped URI to a file

notes

Example URIs and their component parts:

  foo://example.com:8042/over/there
  \_/   \______________/\_________/
   |           |            |
scheme     authority       path

note
	description: "Unescaped URI to a file"
	notes: "[
	  Example URIs and their component parts:

			  foo://example.com:8042/over/there
			  \_/   \______________/\_________/
			   |           |            |
			scheme     authority       path
	]"

	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: "2024-03-13 10:45:07 GMT (Wednesday 13th March 2024)"
	revision: "29"

class
	EL_FILE_URI_PATH

inherit
	EL_FILE_PATH
		undefine
			append, append_file_prefix, default_create, escaped,
			make, make_from_other,
			is_absolute, is_equal, is_less, is_uri, first_index, type_alias,
			set_path, part_count, part_string,
			Type_parent, Separator
		end

	EL_URI_PATH
		redefine
			make_from_file_path
		end

create
	default_create, make, make_file, make_scheme, make_from_path, make_from_file_path,
	make_from_encoded, make_from_uri

convert
	make ({ZSTRING, STRING_32}),
	make_from_path ({PATH}),
	make_from_file_path ({EL_FILE_PATH}),
	make_from_encoded ({STRING, IMMUTABLE_STRING_8, EL_STRING_8}),
	make_from_uri ({EL_URI, EL_URL}),

	to_string: {ZSTRING}, as_string_32: {STRING_32, READABLE_STRING_GENERAL}, steps: {EL_PATH_STEPS}, to_path: {PATH}

feature {NONE} -- Initialization

	make_from_file_path (a_path: EL_FILE_PATH)
		do
			Precursor (a_path)
		end

feature -- Conversion

	to_file_path: EL_FILE_PATH
		do
			Result := parent_path + base
		end

end