class INTEGER_RANGE_LIST_PARAMETER

(source code)

description

Integer range list parameter

note
	description: "Integer range list 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: "2025-03-07 14:01:16 GMT (Friday 7th March 2025)"
	revision: "8"

class
	INTEGER_RANGE_LIST_PARAMETER

inherit
	RANGE_LIST_PARAMETER [INTEGER]

create
	make

feature {NONE} -- Implementation

	numeric_string (v: INTEGER): STRING
		do
			Result := v.out
		end

	to_numeric (string: ZSTRING): INTEGER
		do
			Result := string.to_integer
		end

end