2024-07-12 02:30:25 +02:00
|
|
|
from collections.abc import Callable
|
|
|
|
from typing import Any
|
2018-10-13 15:13:35 +02:00
|
|
|
|
2021-02-12 08:20:45 +01:00
|
|
|
"""
|
2018-10-13 15:13:35 +02:00
|
|
|
This module helps you set up a bunch
|
|
|
|
of sequences, similar to how database
|
|
|
|
sequences work.
|
|
|
|
|
|
|
|
You need to be a bit careful here, since
|
|
|
|
you're dealing with a big singleton, but
|
|
|
|
for data imports that's usually easy to
|
2020-12-23 10:00:24 +01:00
|
|
|
manage.
|
2021-02-12 08:20:45 +01:00
|
|
|
"""
|
2018-10-13 15:13:35 +02:00
|
|
|
|
2021-02-12 08:19:30 +01:00
|
|
|
|
2018-10-13 15:13:35 +02:00
|
|
|
def _seq() -> Callable[[], int]:
|
|
|
|
i = 0
|
|
|
|
|
|
|
|
def next_one() -> int:
|
|
|
|
nonlocal i
|
|
|
|
i += 1
|
|
|
|
return i
|
|
|
|
|
|
|
|
return next_one
|
|
|
|
|
2021-02-12 08:19:30 +01:00
|
|
|
|
2018-10-13 15:13:35 +02:00
|
|
|
def sequencer() -> Callable[[str], int]:
|
2021-02-12 08:19:30 +01:00
|
|
|
"""
|
|
|
|
Use like this:
|
2018-10-13 15:13:35 +02:00
|
|
|
|
2021-02-12 08:19:30 +01:00
|
|
|
NEXT_ID = sequencer()
|
|
|
|
message_id = NEXT_ID('message')
|
|
|
|
"""
|
2024-07-12 02:30:17 +02:00
|
|
|
seq_dict: dict[str, Callable[[], int]] = {}
|
2018-10-13 15:13:35 +02:00
|
|
|
|
|
|
|
def next_one(name: str) -> int:
|
|
|
|
if name not in seq_dict:
|
|
|
|
seq_dict[name] = _seq()
|
|
|
|
seq = seq_dict[name]
|
|
|
|
return seq()
|
|
|
|
|
|
|
|
return next_one
|
2018-10-23 21:38:37 +02:00
|
|
|
|
2021-02-12 08:19:30 +01:00
|
|
|
|
2021-02-12 08:20:45 +01:00
|
|
|
"""
|
2018-10-23 21:38:37 +02:00
|
|
|
NEXT_ID is a singleton used by an entire process, which is
|
|
|
|
almost always reasonable. If you want to have two parallel
|
|
|
|
sequences, just use different `name` values.
|
|
|
|
|
|
|
|
This object gets created once and only once during the first
|
|
|
|
import of the file.
|
2021-02-12 08:20:45 +01:00
|
|
|
"""
|
2018-10-23 21:38:37 +02:00
|
|
|
|
|
|
|
NEXT_ID = sequencer()
|
2018-11-13 23:03:18 +01:00
|
|
|
|
2021-02-12 08:19:30 +01:00
|
|
|
|
2018-11-13 23:03:18 +01:00
|
|
|
def is_int(key: Any) -> bool:
|
|
|
|
try:
|
|
|
|
n = int(key)
|
|
|
|
except ValueError:
|
|
|
|
return False
|
|
|
|
|
|
|
|
return n <= 999999999
|
|
|
|
|
2021-02-12 08:19:30 +01:00
|
|
|
|
2018-11-13 23:03:18 +01:00
|
|
|
class IdMapper:
|
|
|
|
def __init__(self) -> None:
|
2024-07-12 02:30:17 +02:00
|
|
|
self.map: dict[Any, int] = {}
|
2018-11-13 23:03:18 +01:00
|
|
|
self.cnt = 0
|
|
|
|
|
|
|
|
def has(self, their_id: Any) -> bool:
|
|
|
|
return their_id in self.map
|
|
|
|
|
|
|
|
def get(self, their_id: Any) -> int:
|
|
|
|
if their_id in self.map:
|
|
|
|
return self.map[their_id]
|
|
|
|
|
|
|
|
if is_int(their_id):
|
|
|
|
our_id = int(their_id)
|
|
|
|
if self.cnt > 0:
|
2021-02-12 08:20:45 +01:00
|
|
|
raise Exception("mixed key styles")
|
2018-11-13 23:03:18 +01:00
|
|
|
else:
|
|
|
|
self.cnt += 1
|
|
|
|
our_id = self.cnt
|
|
|
|
|
|
|
|
self.map[their_id] = our_id
|
|
|
|
return our_id
|