2019-08-10 11:06:31 +00:00
|
|
|
# Licensed under the GPL: https://www.gnu.org/licenses/old-licenses/gpl-2.0.html
|
2021-07-01 10:47:58 +00:00
|
|
|
# For details: https://github.com/PyCQA/pylint/blob/main/LICENSE
|
2021-10-02 13:52:48 +00:00
|
|
|
import sys
|
2021-05-31 18:00:53 +00:00
|
|
|
from typing import Dict, List, Optional, Tuple
|
2019-08-10 11:06:31 +00:00
|
|
|
|
|
|
|
from pylint.exceptions import InvalidMessageError, UnknownMessageError
|
|
|
|
|
2021-10-02 13:52:48 +00:00
|
|
|
if sys.version_info >= (3, 6, 2):
|
|
|
|
from typing import NoReturn
|
|
|
|
else:
|
|
|
|
from typing_extensions import NoReturn
|
|
|
|
|
2019-08-10 11:06:31 +00:00
|
|
|
|
|
|
|
class MessageIdStore:
|
|
|
|
|
|
|
|
"""The MessageIdStore store MessageId and make sure that there is a 1-1 relation between msgid and symbol."""
|
|
|
|
|
2021-10-02 13:52:48 +00:00
|
|
|
def __init__(self) -> None:
|
2021-05-30 16:30:14 +00:00
|
|
|
self.__msgid_to_symbol: Dict[str, str] = {}
|
|
|
|
self.__symbol_to_msgid: Dict[str, str] = {}
|
|
|
|
self.__old_names: Dict[str, List[str]] = {}
|
2019-08-10 11:06:31 +00:00
|
|
|
|
2021-10-02 13:52:48 +00:00
|
|
|
def __len__(self) -> int:
|
2019-08-10 11:06:31 +00:00
|
|
|
return len(self.__msgid_to_symbol)
|
|
|
|
|
2021-10-02 13:52:48 +00:00
|
|
|
def __repr__(self) -> str:
|
2019-08-10 11:06:31 +00:00
|
|
|
result = "MessageIdStore: [\n"
|
|
|
|
for msgid, symbol in self.__msgid_to_symbol.items():
|
2021-02-15 22:04:54 +00:00
|
|
|
result += f" - {msgid} ({symbol})\n"
|
2019-08-10 11:06:31 +00:00
|
|
|
result += "]"
|
|
|
|
return result
|
|
|
|
|
|
|
|
def get_symbol(self, msgid: str) -> str:
|
2021-03-30 19:18:29 +00:00
|
|
|
try:
|
2021-09-14 07:36:01 +00:00
|
|
|
return self.__msgid_to_symbol[msgid.upper()]
|
2021-03-30 19:18:29 +00:00
|
|
|
except KeyError as e:
|
|
|
|
msg = f"'{msgid}' is not stored in the message store."
|
|
|
|
raise UnknownMessageError(msg) from e
|
2019-08-10 11:06:31 +00:00
|
|
|
|
|
|
|
def get_msgid(self, symbol: str) -> str:
|
2021-03-30 19:18:29 +00:00
|
|
|
try:
|
|
|
|
return self.__symbol_to_msgid[symbol]
|
|
|
|
except KeyError as e:
|
|
|
|
msg = f"'{symbol}' is not stored in the message store."
|
|
|
|
raise UnknownMessageError(msg) from e
|
2019-08-10 11:06:31 +00:00
|
|
|
|
2021-05-31 18:00:53 +00:00
|
|
|
def register_message_definition(
|
|
|
|
self, msgid: str, symbol: str, old_names: List[Tuple[str, str]]
|
2021-10-02 13:52:48 +00:00
|
|
|
) -> None:
|
2021-05-31 18:00:53 +00:00
|
|
|
self.check_msgid_and_symbol(msgid, symbol)
|
|
|
|
self.add_msgid_and_symbol(msgid, symbol)
|
|
|
|
for old_msgid, old_symbol in old_names:
|
2019-08-10 11:06:31 +00:00
|
|
|
self.check_msgid_and_symbol(old_msgid, old_symbol)
|
2021-05-31 18:00:53 +00:00
|
|
|
self.add_legacy_msgid_and_symbol(old_msgid, old_symbol, msgid)
|
2019-08-10 11:06:31 +00:00
|
|
|
|
|
|
|
def add_msgid_and_symbol(self, msgid: str, symbol: str) -> None:
|
|
|
|
"""Add valid message id.
|
|
|
|
|
|
|
|
There is a little duplication with add_legacy_msgid_and_symbol to avoid a function call,
|
|
|
|
this is called a lot at initialization."""
|
|
|
|
self.__msgid_to_symbol[msgid] = symbol
|
|
|
|
self.__symbol_to_msgid[symbol] = msgid
|
|
|
|
|
2021-05-30 16:30:14 +00:00
|
|
|
def add_legacy_msgid_and_symbol(
|
|
|
|
self, msgid: str, symbol: str, new_msgid: str
|
|
|
|
) -> None:
|
2019-08-10 11:06:31 +00:00
|
|
|
"""Add valid legacy message id.
|
|
|
|
|
|
|
|
There is a little duplication with add_msgid_and_symbol to avoid a function call,
|
|
|
|
this is called a lot at initialization."""
|
|
|
|
self.__msgid_to_symbol[msgid] = symbol
|
|
|
|
self.__symbol_to_msgid[symbol] = msgid
|
|
|
|
existing_old_names = self.__old_names.get(msgid, [])
|
|
|
|
existing_old_names.append(new_msgid)
|
|
|
|
self.__old_names[msgid] = existing_old_names
|
|
|
|
|
|
|
|
def check_msgid_and_symbol(self, msgid: str, symbol: str) -> None:
|
2021-05-30 16:30:14 +00:00
|
|
|
existing_msgid: Optional[str] = self.__symbol_to_msgid.get(symbol)
|
|
|
|
existing_symbol: Optional[str] = self.__msgid_to_symbol.get(msgid)
|
2019-08-10 11:06:31 +00:00
|
|
|
if existing_symbol is None and existing_msgid is None:
|
2021-05-30 16:30:14 +00:00
|
|
|
return # both symbol and msgid are usable
|
2019-08-10 11:06:31 +00:00
|
|
|
if existing_msgid is not None:
|
|
|
|
if existing_msgid != msgid:
|
|
|
|
self._raise_duplicate_msgid(symbol, msgid, existing_msgid)
|
2021-09-03 11:47:23 +00:00
|
|
|
if existing_symbol and existing_symbol != symbol:
|
2021-05-30 16:30:14 +00:00
|
|
|
# See https://github.com/python/mypy/issues/10559
|
2021-09-03 11:47:23 +00:00
|
|
|
self._raise_duplicate_symbol(msgid, symbol, existing_symbol)
|
2019-08-10 11:06:31 +00:00
|
|
|
|
|
|
|
@staticmethod
|
2021-10-02 13:52:48 +00:00
|
|
|
def _raise_duplicate_symbol(msgid: str, symbol: str, other_symbol: str) -> NoReturn:
|
2021-05-30 16:30:14 +00:00
|
|
|
"""Raise an error when a symbol is duplicated."""
|
2019-08-10 11:06:31 +00:00
|
|
|
symbols = [symbol, other_symbol]
|
|
|
|
symbols.sort()
|
2021-02-15 22:04:54 +00:00
|
|
|
error_message = f"Message id '{msgid}' cannot have both "
|
2021-02-21 13:26:22 +00:00
|
|
|
error_message += f"'{symbols[0]}' and '{symbols[1]}' as symbolic name."
|
2019-08-10 11:06:31 +00:00
|
|
|
raise InvalidMessageError(error_message)
|
|
|
|
|
|
|
|
@staticmethod
|
2021-10-02 13:52:48 +00:00
|
|
|
def _raise_duplicate_msgid(symbol: str, msgid: str, other_msgid: str) -> NoReturn:
|
2021-05-30 16:30:14 +00:00
|
|
|
"""Raise an error when a msgid is duplicated."""
|
2019-08-10 11:06:31 +00:00
|
|
|
msgids = [msgid, other_msgid]
|
|
|
|
msgids.sort()
|
|
|
|
error_message = (
|
2021-02-21 13:26:22 +00:00
|
|
|
f"Message symbol '{symbol}' cannot be used for "
|
|
|
|
f"'{msgids[0]}' and '{msgids[1]}' at the same time."
|
|
|
|
f" If you're creating an 'old_names' use 'old-{symbol}' as the old symbol."
|
|
|
|
)
|
2019-08-10 11:06:31 +00:00
|
|
|
raise InvalidMessageError(error_message)
|
|
|
|
|
|
|
|
def get_active_msgids(self, msgid_or_symbol: str) -> List[str]:
|
|
|
|
"""Return msgids but the input can be a symbol."""
|
|
|
|
# Only msgid can have a digit as second letter
|
2021-05-30 16:30:14 +00:00
|
|
|
is_msgid: bool = msgid_or_symbol[1:].isdigit()
|
2021-09-03 11:47:23 +00:00
|
|
|
msgid = None
|
2019-08-10 11:06:31 +00:00
|
|
|
if is_msgid:
|
|
|
|
msgid = msgid_or_symbol.upper()
|
|
|
|
symbol = self.__msgid_to_symbol.get(msgid)
|
|
|
|
else:
|
2021-09-03 11:47:23 +00:00
|
|
|
msgid = self.__symbol_to_msgid.get(msgid_or_symbol)
|
2019-08-10 11:06:31 +00:00
|
|
|
symbol = msgid_or_symbol
|
2021-05-30 16:30:14 +00:00
|
|
|
if msgid is None or symbol is None or not msgid or not symbol:
|
2021-02-15 22:04:54 +00:00
|
|
|
error_msg = f"No such message id or symbol '{msgid_or_symbol}'."
|
2019-08-10 11:06:31 +00:00
|
|
|
raise UnknownMessageError(error_msg)
|
2019-08-10 11:16:20 +00:00
|
|
|
return self.__old_names.get(msgid, [msgid])
|