2023-12-19 12:58:39 +00:00
|
|
|
from __future__ import annotations
|
2023-02-07 18:26:14 +00:00
|
|
|
|
2023-12-19 12:58:39 +00:00
|
|
|
from collections import defaultdict
|
|
|
|
from typing import TypeVar, Generic, Dict, Optional, Iterable, List, Iterator
|
|
|
|
from .parents import OuterProxy
|
2023-02-23 22:52:41 +00:00
|
|
|
|
2023-12-19 12:58:39 +00:00
|
|
|
T = TypeVar('T', bound=OuterProxy)
|
2023-08-28 18:59:19 +00:00
|
|
|
|
|
|
|
|
2023-12-19 12:58:39 +00:00
|
|
|
class Collection(Generic[T]):
|
2023-08-28 18:59:19 +00:00
|
|
|
_data: List[T]
|
2023-02-23 22:52:41 +00:00
|
|
|
|
2023-10-24 09:44:00 +00:00
|
|
|
_indexed_values: Dict[str, set]
|
|
|
|
_indexed_to_objects: Dict[any, list]
|
|
|
|
|
|
|
|
shallow_list = property(fget=lambda self: self.data)
|
|
|
|
|
|
|
|
def __init__(
|
2023-12-19 12:58:39 +00:00
|
|
|
self,
|
|
|
|
data: Optional[Iterable[T]] = None,
|
|
|
|
sync_on_append: Dict[str, Collection] = None,
|
|
|
|
contain_given_in_attribute: Dict[str, Collection] = None,
|
|
|
|
contain_attribute_in_given: Dict[str, Collection] = None,
|
|
|
|
append_object_to_attribute: Dict[str, T] = None
|
2023-10-24 09:44:00 +00:00
|
|
|
) -> None:
|
2023-10-24 15:41:42 +00:00
|
|
|
self._contains_ids = set()
|
2023-10-24 09:44:00 +00:00
|
|
|
self._data = []
|
2023-12-19 12:58:39 +00:00
|
|
|
|
|
|
|
self.parents: List[Collection[T]] = []
|
|
|
|
self.children: List[Collection[T]] = []
|
2023-10-24 09:44:00 +00:00
|
|
|
|
|
|
|
# List of collection attributes that should be modified on append
|
|
|
|
# Key: collection attribute (str) of appended element
|
|
|
|
# Value: main collection to sync to
|
|
|
|
self.sync_on_append: Dict[str, Collection] = sync_on_append or {}
|
|
|
|
self.contain_given_in_attribute: Dict[str, Collection] = contain_given_in_attribute or {}
|
2023-10-24 11:46:52 +00:00
|
|
|
self.contain_attribute_in_given: Dict[str, Collection] = contain_attribute_in_given or {}
|
2023-12-19 12:58:39 +00:00
|
|
|
self.append_object_to_attribute: Dict[str, T] = append_object_to_attribute or {}
|
2023-10-24 09:44:00 +00:00
|
|
|
|
|
|
|
self.contain_self_on_append: List[str] = []
|
|
|
|
|
|
|
|
self._indexed_values = defaultdict(set)
|
|
|
|
self._indexed_to_objects = defaultdict(list)
|
2023-12-19 12:58:39 +00:00
|
|
|
|
2023-10-24 09:44:00 +00:00
|
|
|
self.extend(data)
|
2023-02-07 18:26:14 +00:00
|
|
|
|
2023-10-24 15:41:42 +00:00
|
|
|
def _map_element(self, __object: T, from_map: bool = False):
|
|
|
|
self._contains_ids.add(__object.id)
|
|
|
|
|
2023-10-24 09:44:00 +00:00
|
|
|
for name, value in __object.indexing_values:
|
2023-03-10 17:38:32 +00:00
|
|
|
if value is None:
|
|
|
|
continue
|
|
|
|
|
2023-10-24 09:44:00 +00:00
|
|
|
self._indexed_values[name].add(value)
|
|
|
|
self._indexed_to_objects[value].append(__object)
|
2023-03-24 14:58:21 +00:00
|
|
|
|
2023-12-19 21:11:46 +00:00
|
|
|
print(from_map)
|
2023-10-24 15:41:42 +00:00
|
|
|
if not from_map:
|
|
|
|
for attribute, new_object in self.contain_given_in_attribute.items():
|
|
|
|
__object.__getattribute__(attribute).contain_collection_inside(new_object)
|
2023-12-19 12:58:39 +00:00
|
|
|
|
2023-10-24 15:41:42 +00:00
|
|
|
for attribute, new_object in self.contain_given_in_attribute.items():
|
|
|
|
new_object.contain_collection_inside(__object.__getattribute__(attribute))
|
|
|
|
|
|
|
|
for attribute, new_object in self.append_object_to_attribute.items():
|
2023-12-19 12:58:39 +00:00
|
|
|
__object.__getattribute__(attribute).append(new_object, from_map=True)
|
|
|
|
|
2023-10-24 09:44:00 +00:00
|
|
|
def _unmap_element(self, __object: T):
|
2023-10-24 15:41:42 +00:00
|
|
|
self._contains_ids.remove(__object.id)
|
|
|
|
|
2023-10-24 09:44:00 +00:00
|
|
|
for name, value in __object.indexing_values:
|
2023-03-22 11:58:11 +00:00
|
|
|
if value is None:
|
|
|
|
continue
|
2023-10-24 09:44:00 +00:00
|
|
|
if value not in self._indexed_values[name]:
|
|
|
|
continue
|
2023-12-19 12:58:39 +00:00
|
|
|
|
2023-10-24 09:44:00 +00:00
|
|
|
try:
|
|
|
|
self._indexed_to_objects[value].remove(__object)
|
|
|
|
except ValueError:
|
|
|
|
continue
|
2023-03-24 14:58:21 +00:00
|
|
|
|
2023-10-24 09:44:00 +00:00
|
|
|
if not len(self._indexed_to_objects[value]):
|
|
|
|
self._indexed_values[name].remove(value)
|
2023-03-09 21:14:39 +00:00
|
|
|
|
2023-10-24 09:44:00 +00:00
|
|
|
def _contained_in_self(self, __object: T) -> bool:
|
2023-12-19 12:58:39 +00:00
|
|
|
if __object.id in self._contains_ids:
|
|
|
|
return True
|
|
|
|
|
2023-10-24 09:44:00 +00:00
|
|
|
for name, value in __object.indexing_values:
|
|
|
|
if value is None:
|
|
|
|
continue
|
|
|
|
if value in self._indexed_values[name]:
|
|
|
|
return True
|
|
|
|
return False
|
2023-12-19 12:58:39 +00:00
|
|
|
|
|
|
|
def _get_root_collections(self) -> List[Collection]:
|
|
|
|
if not len(self.parents):
|
2023-10-24 12:53:29 +00:00
|
|
|
return [self]
|
2023-12-19 12:58:39 +00:00
|
|
|
|
2023-10-24 12:53:29 +00:00
|
|
|
root_collections = []
|
2023-12-19 12:58:39 +00:00
|
|
|
for upper_collection in self.parents:
|
2023-10-24 12:53:29 +00:00
|
|
|
root_collections.extend(upper_collection._get_root_collections())
|
|
|
|
return root_collections
|
|
|
|
|
|
|
|
@property
|
|
|
|
def _is_root(self) -> bool:
|
2023-12-19 12:58:39 +00:00
|
|
|
return len(self.parents) <= 0
|
2023-10-24 12:53:29 +00:00
|
|
|
|
2023-12-19 12:58:39 +00:00
|
|
|
def _contained_in_sub(self, __object: T, break_at_first: bool = True) -> List[Collection]:
|
2023-10-24 12:53:29 +00:00
|
|
|
results = []
|
2023-10-12 17:24:35 +00:00
|
|
|
|
2023-10-24 09:44:00 +00:00
|
|
|
if self._contained_in_self(__object):
|
2023-10-24 12:53:29 +00:00
|
|
|
return [self]
|
2023-12-19 12:58:39 +00:00
|
|
|
|
|
|
|
for collection in self.children:
|
2023-10-24 12:53:29 +00:00
|
|
|
results.extend(collection._contained_in_sub(__object, break_at_first=break_at_first))
|
|
|
|
if break_at_first:
|
|
|
|
return results
|
|
|
|
|
|
|
|
return results
|
2023-12-19 12:58:39 +00:00
|
|
|
|
2023-10-24 12:53:29 +00:00
|
|
|
def _get_parents_of_multiple_contained_children(self, __object: T):
|
|
|
|
results = []
|
2023-12-19 12:58:39 +00:00
|
|
|
if len(self.children) < 2 or self._contained_in_self(__object):
|
2023-10-24 12:53:29 +00:00
|
|
|
return results
|
2023-12-19 12:58:39 +00:00
|
|
|
|
2023-10-24 12:53:29 +00:00
|
|
|
count = 0
|
|
|
|
|
2023-12-19 12:58:39 +00:00
|
|
|
for collection in self.children:
|
2023-10-24 12:53:29 +00:00
|
|
|
sub_results = collection._get_parents_of_multiple_contained_children(__object)
|
2023-12-19 12:58:39 +00:00
|
|
|
|
2023-10-24 12:53:29 +00:00
|
|
|
if len(sub_results) > 0:
|
|
|
|
count += 1
|
|
|
|
results.extend(sub_results)
|
2023-12-19 12:58:39 +00:00
|
|
|
|
2023-10-24 12:53:29 +00:00
|
|
|
if count >= 2:
|
|
|
|
results.append(self)
|
|
|
|
|
|
|
|
return results
|
2023-12-19 12:58:39 +00:00
|
|
|
|
|
|
|
def merge_into_self(self, __object: T, from_map: bool = False):
|
2023-10-24 11:46:52 +00:00
|
|
|
"""
|
|
|
|
1. find existing objects
|
|
|
|
2. merge into existing object
|
|
|
|
3. remap existing object
|
|
|
|
"""
|
2023-12-19 21:11:46 +00:00
|
|
|
self = self.__self__
|
2023-10-24 15:41:42 +00:00
|
|
|
if __object.id in self._contains_ids:
|
|
|
|
return
|
2023-12-19 12:58:39 +00:00
|
|
|
|
|
|
|
existing_object: T = None
|
2023-10-24 11:46:52 +00:00
|
|
|
|
|
|
|
for name, value in __object.indexing_values:
|
|
|
|
if value is None:
|
|
|
|
continue
|
|
|
|
if value in self._indexed_values[name]:
|
|
|
|
existing_object = self._indexed_to_objects[value][0]
|
2023-12-19 12:58:39 +00:00
|
|
|
if existing_object.id == __object.id:
|
2023-10-24 15:41:42 +00:00
|
|
|
return None
|
2023-12-19 12:58:39 +00:00
|
|
|
|
|
|
|
break
|
|
|
|
|
2023-10-24 11:46:52 +00:00
|
|
|
if existing_object is None:
|
|
|
|
return None
|
2023-10-24 15:41:42 +00:00
|
|
|
|
2023-12-19 12:58:39 +00:00
|
|
|
existing_object.merge(__object)
|
2023-10-24 11:46:52 +00:00
|
|
|
|
|
|
|
# just a check if it really worked
|
|
|
|
if existing_object.id != __object.id:
|
|
|
|
raise ValueError("This should NEVER happen. Merging doesn't work.")
|
|
|
|
|
2023-12-19 12:58:39 +00:00
|
|
|
self._map_element(existing_object, from_map=from_map)
|
|
|
|
|
2023-10-24 09:44:00 +00:00
|
|
|
def contains(self, __object: T) -> bool:
|
2023-10-24 12:53:29 +00:00
|
|
|
return len(self._contained_in_sub(__object)) > 0
|
2023-03-24 14:58:21 +00:00
|
|
|
|
2023-10-24 15:41:42 +00:00
|
|
|
def _append(self, __object: T, from_map: bool = False):
|
|
|
|
for attribute, to_sync_with in self.sync_on_append.items():
|
|
|
|
to_sync_with.sync_with_other_collection(__object.__getattribute__(attribute))
|
|
|
|
|
|
|
|
self._map_element(__object, from_map=from_map)
|
2023-10-24 09:44:00 +00:00
|
|
|
self._data.append(__object)
|
2023-03-02 15:23:02 +00:00
|
|
|
|
2023-10-24 15:41:42 +00:00
|
|
|
def append(self, __object: Optional[T], already_is_parent: bool = False, from_map: bool = False):
|
2023-10-24 09:44:00 +00:00
|
|
|
if __object is None:
|
|
|
|
return
|
2023-12-19 12:58:39 +00:00
|
|
|
|
2023-10-24 15:41:42 +00:00
|
|
|
if __object.id in self._contains_ids:
|
|
|
|
return
|
2023-12-19 12:58:39 +00:00
|
|
|
|
2023-10-24 12:53:29 +00:00
|
|
|
exists_in_collection = self._contained_in_sub(__object)
|
|
|
|
if len(exists_in_collection) and self is exists_in_collection[0]:
|
|
|
|
# assuming that the object already is contained in the correct collections
|
|
|
|
if not already_is_parent:
|
2023-12-19 12:58:39 +00:00
|
|
|
self.merge_into_self(__object, from_map=from_map)
|
2023-10-24 12:53:29 +00:00
|
|
|
return
|
2023-02-08 12:16:48 +00:00
|
|
|
|
2023-10-24 12:53:29 +00:00
|
|
|
if not len(exists_in_collection):
|
2023-10-24 15:41:42 +00:00
|
|
|
self._append(__object, from_map=from_map)
|
2023-10-24 11:46:52 +00:00
|
|
|
else:
|
2023-12-19 12:58:39 +00:00
|
|
|
pass
|
|
|
|
exists_in_collection[0].merge_into_self(__object, from_map=from_map)
|
2023-10-24 12:53:29 +00:00
|
|
|
|
|
|
|
if not already_is_parent or not self._is_root:
|
|
|
|
for parent_collection in self._get_parents_of_multiple_contained_children(__object):
|
2023-12-19 12:58:39 +00:00
|
|
|
pass
|
2023-10-24 15:41:42 +00:00
|
|
|
parent_collection.append(__object, already_is_parent=True, from_map=from_map)
|
2023-03-24 14:58:21 +00:00
|
|
|
|
2023-10-24 09:44:00 +00:00
|
|
|
def extend(self, __iterable: Optional[Iterable[T]]):
|
|
|
|
if __iterable is None:
|
2023-10-12 17:24:35 +00:00
|
|
|
return
|
2023-12-19 12:58:39 +00:00
|
|
|
|
2023-10-24 09:44:00 +00:00
|
|
|
for __object in __iterable:
|
|
|
|
self.append(__object)
|
2023-10-12 17:24:35 +00:00
|
|
|
|
2023-12-19 12:58:39 +00:00
|
|
|
def sync_with_other_collection(self, equal_collection: Collection):
|
2023-10-24 09:44:00 +00:00
|
|
|
"""
|
|
|
|
If two collections always need to have the same values, this can be used.
|
2023-12-19 12:58:39 +00:00
|
|
|
|
2023-10-24 09:44:00 +00:00
|
|
|
Internally:
|
|
|
|
1. import the data from other to self
|
|
|
|
- _data
|
|
|
|
- contained_collections
|
|
|
|
2. replace all refs from the other object, with refs from this object
|
|
|
|
"""
|
|
|
|
if equal_collection is self:
|
|
|
|
return
|
2023-10-12 17:24:35 +00:00
|
|
|
|
2023-10-24 09:44:00 +00:00
|
|
|
# don't add the elements from the subelements from the other collection.
|
|
|
|
# this will be done in the next step.
|
|
|
|
self.extend(equal_collection._data)
|
|
|
|
# add all submodules
|
2023-12-19 12:58:39 +00:00
|
|
|
for equal_sub_collection in equal_collection.children:
|
2023-10-24 09:44:00 +00:00
|
|
|
self.contain_collection_inside(equal_sub_collection)
|
2023-10-12 17:24:35 +00:00
|
|
|
|
2023-10-24 09:44:00 +00:00
|
|
|
# now the ugly part
|
|
|
|
# replace all refs of the other element with this one
|
2023-12-19 21:11:46 +00:00
|
|
|
self = self._risky_merge(equal_collection)
|
2023-10-12 17:24:35 +00:00
|
|
|
|
2023-10-24 09:44:00 +00:00
|
|
|
def contain_collection_inside(self, sub_collection: "Collection"):
|
|
|
|
"""
|
|
|
|
This collection will ALWAYS contain everything from the passed in collection
|
|
|
|
"""
|
2023-12-19 12:58:39 +00:00
|
|
|
if sub_collection in self.children:
|
2023-10-24 09:44:00 +00:00
|
|
|
return
|
2023-12-19 12:58:39 +00:00
|
|
|
|
|
|
|
self.children.append(sub_collection)
|
|
|
|
sub_collection.parents.append(self)
|
2023-10-12 17:24:35 +00:00
|
|
|
|
2023-10-24 09:44:00 +00:00
|
|
|
@property
|
|
|
|
def data(self) -> List[T]:
|
2023-12-19 12:58:39 +00:00
|
|
|
return [*self._data,
|
|
|
|
*(__object for collection in self.children for __object in collection.shallow_list)]
|
|
|
|
|
2023-10-24 09:44:00 +00:00
|
|
|
def __len__(self) -> int:
|
2023-12-19 12:58:39 +00:00
|
|
|
return len(self._data) + sum(len(collection) for collection in self.children)
|
2023-03-03 11:32:08 +00:00
|
|
|
|
2023-12-19 21:11:46 +00:00
|
|
|
@property
|
|
|
|
def empty(self) -> bool:
|
|
|
|
return self.__len__() == 0
|
|
|
|
|
2023-08-30 19:14:03 +00:00
|
|
|
def __iter__(self) -> Iterator[T]:
|
2023-10-12 17:24:35 +00:00
|
|
|
for element in self._data:
|
2023-12-19 12:58:39 +00:00
|
|
|
yield element
|