class DEFAULT_PARAMETER

(source code)

note
	description: "Default parameter"

	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: "2023-06-24 14:40:24 GMT (Saturday 24th June 2023)"
	revision: "7"

class
	DEFAULT_PARAMETER

inherit
	PARAMETER
		redefine
			display_item
		end

create
	make

feature -- Basic operations

	display_item
			--
		do
		end

end