class ECD_GROUP_TABLE
A field group index table for Eco-DB arrayed lists conforming to ECD_ARRAYED_LIST [EL_STORABLE] EL_STORABLE items are grouped according to the value of a specified agent of type FUNCTION [G, K]
note
description: "[
A field group index table for Eco-DB arrayed lists conforming to ${ECD_ARRAYED_LIST [EL_STORABLE]}
${EL_STORABLE} items are grouped according to the value of a specified agent of type ${FUNCTION [G, K]}
]"
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-09-20 10:43:28 GMT (Friday 20th September 2024)"
revision: "8"
class
ECD_GROUP_TABLE [G -> EL_STORABLE, K -> HASHABLE]
inherit
EL_FUNCTION_GROUPED_LIST_TABLE [G, K]
rename
list_extend as on_extend,
list_replace as on_replace,
list_delete as on_delete,
has as has_group_key
end
ECD_INDEX [G]
undefine
copy, default_create, is_equal
end
create
make
feature -- Status query
has (a_item: G): BOOLEAN
do
Result := has_key (group_key (a_item)) and then found_list.has (a_item)
end
end