class INTEGER_RANGE_LIST_PARAMETER
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