class EL_ISO_8601_DATE_TIME_CODE_STRING
EL_DATE_TIME_CODE_STRING for ISO-8601 date-time formats
note
description: "${EL_DATE_TIME_CODE_STRING} for ISO-8601 date-time formats"
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-01-20 19:18:24 GMT (Saturday 20th January 2024)"
revision: "3"
class
EL_ISO_8601_DATE_TIME_CODE_STRING
inherit
EL_DATE_TIME_CODE_STRING
rename
make as make_code_string
redefine
append_to, correspond, is_date_time, new_parser
end
create
make
feature {NONE} -- Initialization
make (format: STRING; a_converter: EL_DATE_TIME_CONVERSION)
do
converter := a_converter
make_code_string (a_converter.format)
end
feature -- Access
new_parser: EL_ISO_8601_DATE_TIME_PARSER
do
create Result.make (Current)
end
feature -- Status query
correspond (str_upper: STRING): BOOLEAN
do
if converter.is_valid_string (str_upper) then
Result := Precursor (converter.modified_string (str_upper))
end
end
is_date_time (str_upper: STRING): BOOLEAN
do
Result := Precursor (converter.modified_string (str_upper))
end
feature -- Basic operations
append_to (str: STRING; dt: EL_DATE_TIME)
do
converter.append_to (str, dt)
end
feature {EL_DATE_TIME, EL_DATE_TIME_PARSER} -- Internal attributes
converter: EL_DATE_TIME_CONVERSION
end