nonebot2/nonebot/rule.py

227 lines
6.3 KiB
Python
Raw Normal View History

2020-06-30 10:13:58 +08:00
#!/usr/bin/env python3
# -*- coding: utf-8 -*-
2020-09-13 13:01:23 +08:00
"""
规则
====
2020-09-14 20:48:03 +08:00
每个 ``Matcher`` 拥有一个 ``Rule`` 其中是 **异步** ``RuleChecker`` 的集合只有当所有 ``RuleChecker`` 检查结果为 ``True`` 时继续运行
2020-09-13 13:01:23 +08:00
\:\:\:tip 提示
``RuleChecker`` 既可以是 async function 也可以是 sync function
\:\:\:
"""
2020-06-30 10:13:58 +08:00
2020-05-02 20:03:36 +08:00
import re
2020-08-14 17:41:24 +08:00
import asyncio
2020-08-17 16:09:41 +08:00
from itertools import product
2020-05-05 16:11:05 +08:00
2020-08-17 16:09:41 +08:00
from pygtrie import CharTrie
2020-08-14 17:41:24 +08:00
2020-08-17 16:09:41 +08:00
from nonebot import get_driver
from nonebot.log import logger
from nonebot.utils import run_sync
2020-09-27 18:05:13 +08:00
from nonebot.typing import Bot, Any, Dict, Event, Union, Tuple, NoReturn, Optional, Callable, Awaitable, RuleChecker
2020-08-14 17:41:24 +08:00
2020-08-17 16:09:41 +08:00
class Rule:
2020-09-13 13:01:23 +08:00
"""
:说明:
``Matcher`` 规则类当事件传递时 ``Matcher`` 运行前进行检查
:示例:
.. code-block:: python
Rule(async_function) & sync_function
# 等价于
from nonebot.utils import run_sync
Rule(async_function, run_sync(sync_function))
"""
2020-08-17 16:09:41 +08:00
__slots__ = ("checkers",)
2020-08-14 17:41:24 +08:00
2020-09-13 13:01:23 +08:00
def __init__(
self, *checkers: Callable[[Bot, Event, dict],
Awaitable[bool]]) -> None:
"""
:参数:
* ``*checkers: Callable[[Bot, Event, dict], Awaitable[bool]]``: **异步** RuleChecker
"""
self.checkers = set(checkers)
"""
:说明:
存储 ``RuleChecker``
:类型:
* ``Set[Callable[[Bot, Event, dict], Awaitable[bool]]]``
"""
2020-08-14 17:41:24 +08:00
2020-08-17 16:09:41 +08:00
async def __call__(self, bot: Bot, event: Event, state: dict) -> bool:
2020-09-13 13:01:23 +08:00
"""
:说明:
检查是否符合所有规则
:参数:
* ``bot: Bot``: Bot 对象
* ``event: Event``: Event 对象
* ``state: dict``: 当前 State
:返回:
- ``bool``
"""
2020-08-17 16:09:41 +08:00
results = await asyncio.gather(
*map(lambda c: c(bot, event, state), self.checkers))
return all(results)
2020-08-14 17:41:24 +08:00
2020-09-27 18:05:13 +08:00
def __and__(self, other: Optional[Union["Rule", RuleChecker]]) -> "Rule":
2020-09-13 13:01:23 +08:00
checkers = self.checkers.copy()
2020-09-27 18:05:13 +08:00
if other is None:
return self
elif isinstance(other, Rule):
2020-09-13 13:01:23 +08:00
checkers |= other.checkers
2020-08-17 16:09:41 +08:00
elif asyncio.iscoroutinefunction(other):
2020-09-13 13:01:23 +08:00
checkers.add(other) # type: ignore
2020-08-14 17:41:24 +08:00
else:
2020-09-13 13:01:23 +08:00
checkers.add(run_sync(other))
2020-08-17 16:09:41 +08:00
return Rule(*checkers)
2020-08-14 17:41:24 +08:00
2020-08-17 16:09:41 +08:00
def __or__(self, other) -> NoReturn:
raise RuntimeError("Or operation between rules is not allowed.")
2020-08-14 17:41:24 +08:00
2020-08-17 16:09:41 +08:00
class TrieRule:
prefix: CharTrie = CharTrie()
suffix: CharTrie = CharTrie()
2020-08-14 17:41:24 +08:00
2020-08-17 16:09:41 +08:00
@classmethod
def add_prefix(cls, prefix: str, value: Any):
if prefix in cls.prefix:
logger.warning(f'Duplicated prefix rule "{prefix}"')
return
cls.prefix[prefix] = value
2020-08-14 17:41:24 +08:00
2020-08-17 16:09:41 +08:00
@classmethod
def add_suffix(cls, suffix: str, value: Any):
if suffix[::-1] in cls.suffix:
logger.warning(f'Duplicated suffix rule "{suffix}"')
return
cls.suffix[suffix[::-1]] = value
2020-08-14 17:41:24 +08:00
2020-08-17 16:09:41 +08:00
@classmethod
def get_value(cls, bot: Bot, event: Event,
state: dict) -> Tuple[Dict[str, Any], Dict[str, Any]]:
2020-08-24 17:59:36 +08:00
if event.type != "message":
state["_prefix"] = {"raw_command": None, "command": None}
state["_suffix"] = {"raw_command": None, "command": None}
return {
"raw_command": None,
"command": None
}, {
"raw_command": None,
"command": None
}
2020-08-24 17:59:36 +08:00
2020-08-17 16:09:41 +08:00
prefix = None
suffix = None
message = event.message[0]
if message.type == "text":
prefix = cls.prefix.longest_prefix(message.data["text"].lstrip())
message_r = event.message[-1]
if message_r.type == "text":
suffix = cls.suffix.longest_prefix(
message_r.data["text"].rstrip()[::-1])
2020-08-14 17:41:24 +08:00
state["_prefix"] = {
"raw_command": prefix.key,
"command": prefix.value
} if prefix else {
"raw_command": None,
"command": None
}
state["_suffix"] = {
"raw_command": suffix.key,
"command": suffix.value
} if suffix else {
"raw_command": None,
"command": None
}
2020-08-14 17:41:24 +08:00
2020-08-17 16:09:41 +08:00
return ({
"raw_command": prefix.key,
"command": prefix.value
} if prefix else {
"raw_command": None,
"command": None
}, {
"raw_command": suffix.key,
"command": suffix.value
} if suffix else {
"raw_command": None,
"command": None
})
2020-07-25 12:28:30 +08:00
2020-08-17 16:09:41 +08:00
def startswith(msg: str) -> Rule:
2020-09-13 22:36:40 +08:00
"""
:说明:
匹配消息开头
:参数:
* ``msg: str``: 消息开头字符串
"""
2020-07-25 12:28:30 +08:00
2020-08-17 16:09:41 +08:00
async def _startswith(bot: Bot, event: Event, state: dict) -> bool:
2020-09-13 22:36:40 +08:00
return event.plain_text.startswith(msg)
2020-07-25 12:28:30 +08:00
2020-08-17 16:09:41 +08:00
return Rule(_startswith)
2020-07-25 12:28:30 +08:00
2020-08-17 16:09:41 +08:00
def endswith(msg: str) -> Rule:
2020-09-13 22:36:40 +08:00
"""
:说明:
匹配消息结尾
:参数:
* ``msg: str``: 消息结尾字符串
"""
2020-05-02 20:03:36 +08:00
2020-08-17 16:09:41 +08:00
async def _endswith(bot: Bot, event: Event, state: dict) -> bool:
2020-09-13 22:36:40 +08:00
return event.plain_text.endswith(msg)
2020-05-02 20:03:36 +08:00
2020-08-17 16:09:41 +08:00
return Rule(_endswith)
2020-05-02 20:03:36 +08:00
2020-08-17 16:09:41 +08:00
def keyword(msg: str) -> Rule:
2020-05-02 20:03:36 +08:00
2020-08-17 16:09:41 +08:00
async def _keyword(bot: Bot, event: Event, state: dict) -> bool:
return bool(event.plain_text and msg in event.plain_text)
2020-05-02 20:03:36 +08:00
2020-08-17 16:09:41 +08:00
return Rule(_keyword)
2020-05-02 20:03:36 +08:00
2020-08-23 20:01:58 +08:00
def command(command: Tuple[str, ...]) -> Rule:
2020-08-17 16:09:41 +08:00
config = get_driver().config
command_start = config.command_start
command_sep = config.command_sep
2020-08-24 17:59:36 +08:00
if len(command) == 1:
for start in command_start:
TrieRule.add_prefix(f"{start}{command[0]}", command)
else:
for start, sep in product(command_start, command_sep):
TrieRule.add_prefix(f"{start}{sep.join(command)}", command)
2020-05-02 20:03:36 +08:00
2020-08-17 16:09:41 +08:00
async def _command(bot: Bot, event: Event, state: dict) -> bool:
return command == state["_prefix"]["command"]
2020-05-02 20:03:36 +08:00
2020-08-17 16:09:41 +08:00
return Rule(_command)
2020-05-02 20:03:36 +08:00
2020-08-17 16:09:41 +08:00
def regex(regex: str, flags: Union[int, re.RegexFlag] = 0) -> Rule:
pattern = re.compile(regex, flags)
2020-05-02 20:03:36 +08:00
2020-08-17 16:09:41 +08:00
async def _regex(bot: Bot, event: Event, state: dict) -> bool:
return bool(pattern.search(str(event.message)))
2020-05-02 20:03:36 +08:00
2020-08-17 16:09:41 +08:00
return Rule(_regex)
2020-08-23 10:45:26 +08:00
def to_me() -> Rule:
async def _to_me(bot: Bot, event: Event, state: dict) -> bool:
return bool(event.to_me)
return Rule(_to_me)