nonebot2/nonebot/rule.py

509 lines
14 KiB
Python
Raw Normal View History

2022-01-19 16:16:56 +08:00
"""本模块是 {ref}`nonebot.matcher.Matcher.rule` 的类型定义。
2020-09-13 13:01:23 +08:00
2022-01-19 16:16:56 +08:00
每个事件响应器 {ref}`nonebot.matcher.Matcher` 拥有一个匹配规则 {ref}`nonebot.rule.Rule`
其中是 `RuleChecker` 的集合只有当所有 `RuleChecker` 检查结果为 `True` 时继续运行
2020-09-13 13:01:23 +08:00
2022-01-16 11:30:09 +08:00
FrontMatter:
sidebar_position: 5
description: nonebot.rule 模块
2020-09-13 13:01:23 +08:00
"""
2020-06-30 10:13:58 +08:00
2020-05-02 20:03:36 +08:00
import re
2021-02-02 11:59:14 +08:00
import shlex
2020-08-17 16:09:41 +08:00
from itertools import product
2021-09-27 00:19:30 +08:00
from argparse import Namespace
from typing_extensions import TypedDict
2021-09-27 00:19:30 +08:00
from argparse import ArgumentParser as ArgParser
from typing import Any, List, Tuple, Union, Optional, Sequence
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
from nonebot import get_driver
2020-08-17 16:09:41 +08:00
from nonebot.log import logger
from nonebot.typing import T_State
from nonebot.exception import ParserExit
from nonebot.internal.rule import Rule as Rule
2021-12-14 01:08:48 +08:00
from nonebot.adapters import Bot, Event, Message, MessageSegment
from nonebot.params import (
Command,
EventToMe,
EventType,
CommandArg,
EventMessage,
EventPlainText,
)
2021-12-14 01:08:48 +08:00
from nonebot.consts import (
CMD_KEY,
PREFIX_KEY,
REGEX_DICT,
SHELL_ARGS,
SHELL_ARGV,
CMD_ARG_KEY,
RAW_CMD_KEY,
REGEX_GROUP,
REGEX_MATCHED,
)
CMD_RESULT = TypedDict(
2021-12-14 01:08:48 +08:00
"CMD_RESULT",
{
"command": Optional[Tuple[str, ...]],
"raw_command": Optional[str],
"command_arg": Optional[Message[MessageSegment]],
},
)
2020-08-14 17:41:24 +08:00
2020-08-17 16:09:41 +08:00
class TrieRule:
prefix: 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
2021-12-14 01:08:48 +08:00
def get_value(cls, bot: Bot, event: Event, state: T_State) -> CMD_RESULT:
prefix = CMD_RESULT(command=None, raw_command=None, command_arg=None)
state[PREFIX_KEY] = prefix
2020-12-09 19:57:49 +08:00
if event.get_type() != "message":
2021-12-14 01:08:48 +08:00
return prefix
2020-12-09 19:57:49 +08:00
message = event.get_message()
message_seg: MessageSegment = message[0]
2021-02-07 20:57:08 +08:00
if message_seg.is_text():
2021-12-14 01:08:48 +08:00
segment_text = str(message_seg).lstrip()
pf = cls.prefix.longest_prefix(segment_text)
prefix[RAW_CMD_KEY] = pf.key
prefix[CMD_KEY] = pf.value
2021-12-14 01:08:48 +08:00
if pf.key:
msg = message.copy()
msg.pop(0)
new_message = msg.__class__(segment_text[len(pf.key) :].lstrip())
for new_segment in reversed(new_message):
msg.insert(0, new_segment)
prefix[CMD_ARG_KEY] = msg
return prefix
2020-07-25 12:28:30 +08:00
class StartswithRule:
2022-01-19 16:16:56 +08:00
"""检查消息纯文本是否以指定字符串开头。
参数:
msg: 指定消息开头字符串元组
ignorecase: 是否忽略大小写
"""
__slots__ = ("msg", "ignorecase")
def __init__(self, msg: Tuple[str, ...], ignorecase: bool = False):
self.msg = msg
self.ignorecase = ignorecase
async def __call__(
self, type: str = EventType(), text: str = EventPlainText()
) -> Any:
if type != "message":
return False
return bool(
re.match(
f"^(?:{'|'.join(re.escape(prefix) for prefix in self.msg)})",
text,
re.IGNORECASE if self.ignorecase else 0,
)
)
def startswith(msg: Union[str, Tuple[str, ...]], ignorecase: bool = False) -> Rule:
2022-01-19 16:16:56 +08:00
"""匹配消息纯文本开头。
2020-11-30 11:08:00 +08:00
2022-01-12 18:31:12 +08:00
参数:
2022-01-19 16:16:56 +08:00
msg: 指定消息开头字符串元组
ignorecase: 是否忽略大小写
2020-09-13 22:36:40 +08:00
"""
if isinstance(msg, str):
msg = (msg,)
2020-07-25 12:28:30 +08:00
return Rule(StartswithRule(msg, ignorecase))
class EndswithRule:
2022-01-19 16:16:56 +08:00
"""检查消息纯文本是否以指定字符串结尾。
参数:
msg: 指定消息结尾字符串元组
ignorecase: 是否忽略大小写
"""
__slots__ = ("msg", "ignorecase")
def __init__(self, msg: Tuple[str, ...], ignorecase: bool = False):
self.msg = msg
self.ignorecase = ignorecase
async def __call__(
self, type: str = EventType(), text: str = EventPlainText()
) -> Any:
if type != "message":
2020-12-09 19:57:49 +08:00
return False
return bool(
re.search(
f"(?:{'|'.join(re.escape(prefix) for prefix in self.msg)})$",
text,
re.IGNORECASE if self.ignorecase else 0,
)
)
2020-07-25 12:28:30 +08:00
def endswith(msg: Union[str, Tuple[str, ...]], ignorecase: bool = False) -> Rule:
2022-01-19 16:16:56 +08:00
"""匹配消息纯文本结尾。
2020-11-30 11:08:00 +08:00
2022-01-12 18:31:12 +08:00
参数:
2022-01-19 16:16:56 +08:00
msg: 指定消息开头字符串元组
ignorecase: 是否忽略大小写
2020-09-13 22:36:40 +08:00
"""
if isinstance(msg, str):
msg = (msg,)
return Rule(EndswithRule(msg, ignorecase))
2020-05-02 20:03:36 +08:00
2022-02-15 08:20:29 +08:00
class FullmatchRule:
"""检查消息纯文本是否与指定字符串全匹配。
参数:
msg: 指定消息全匹配字符串元组
ignorecase: 是否忽略大小写
"""
__slots__ = ("msg", "ignorecase")
def __init__(self, msg: Tuple[str, ...], ignorecase: bool = False):
self.msg = msg
self.ignorecase = ignorecase
async def __call__(
self, type: str = EventType(), text: str = EventPlainText()
) -> bool:
if type != "message":
return False
return bool(
text
and any(
full.lower() == text.lower() if self.ignorecase else full == text
for full in self.msg
)
)
def fullmatch(msg: Union[str, Tuple[str, ...]], ignorecase: bool = False) -> Rule:
"""完全匹配消息。
参数:
msg: 指定消息全匹配字符串元组
ignorecase: 是否忽略大小写
"""
if isinstance(msg, str):
msg = (msg,)
return Rule(FullmatchRule(msg, ignorecase))
class KeywordsRule:
2022-01-19 16:16:56 +08:00
"""检查消息纯文本是否包含指定关键字。
参数:
keywords: 指定关键字元组
"""
__slots__ = ("keywords",)
def __init__(self, *keywords: str):
self.keywords = keywords
async def __call__(
self, type: str = EventType(), text: str = EventPlainText()
) -> bool:
if type != "message":
2020-12-09 19:57:49 +08:00
return False
return bool(text and any(keyword in text for keyword in self.keywords))
2020-05-02 20:03:36 +08:00
def keyword(*keywords: str) -> Rule:
2022-01-19 16:16:56 +08:00
"""匹配消息纯文本关键词。
2020-11-30 11:08:00 +08:00
2022-01-12 18:31:12 +08:00
参数:
2022-01-19 16:16:56 +08:00
keywords: 指定关键字元组
"""
2020-05-02 20:03:36 +08:00
return Rule(KeywordsRule(*keywords))
class CommandRule:
2022-01-19 16:16:56 +08:00
"""检查消息是否为指定命令。
参数:
cmds: 指定命令元组列表
"""
__slots__ = ("cmds",)
def __init__(self, cmds: List[Tuple[str, ...]]):
self.cmds = cmds
2020-05-02 20:03:36 +08:00
async def __call__(self, cmd: Optional[Tuple[str, ...]] = Command()) -> bool:
return cmd in self.cmds
def __repr__(self):
return f"<Command {self.cmds}>"
2020-05-02 20:03:36 +08:00
2020-10-22 22:08:19 +08:00
def command(*cmds: Union[str, Tuple[str, ...]]) -> Rule:
2022-01-19 16:16:56 +08:00
"""匹配消息命令。
2020-10-28 13:17:41 +08:00
2022-01-19 16:16:56 +08:00
根据配置里提供的 {ref}``command_start` <nonebot.config.Config.command_start>`,
{ref}``command_sep` <nonebot.config.Config.command_sep>` 判断消息是否为命令
可以通过 {ref}`nonebot.params.Command` 获取匹配成功的命令: `("test",)`
通过 {ref}`nonebot.params.RawCommand` 获取匹配成功的原始命令文本: `"/test"`
通过 {ref}`nonebot.params.CommandArg` 获取匹配成功的命令参数
2020-11-30 11:08:00 +08:00
2022-01-12 18:31:12 +08:00
参数:
2022-01-19 16:16:56 +08:00
cmds: 命令文本或命令元组
2020-11-30 11:08:00 +08:00
2022-01-12 18:53:30 +08:00
用法:
2022-01-12 19:20:59 +08:00
使用默认 `command_start`, `command_sep` 配置
2022-01-19 16:16:56 +08:00
命令 `("test",)` 可以匹配: `/test` 开头的消息
命令 `("test", "sub")` 可以匹配: `/test.sub` 开头的消息
2022-01-15 09:35:30 +08:00
:::tip 提示
2022-01-19 16:16:56 +08:00
命令内容与后续消息间无需空格!
2022-01-12 19:20:59 +08:00
:::
"""
2020-08-17 16:09:41 +08:00
config = get_driver().config
command_start = config.command_start
command_sep = config.command_sep
commands: List[Tuple[str, ...]] = []
for command in cmds:
2020-10-22 22:08:19 +08:00
if isinstance(command, str):
command = (command,)
commands.append(command)
2020-10-22 22:08:19 +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
return Rule(CommandRule(commands))
2020-05-02 20:03:36 +08:00
2021-02-02 11:59:14 +08:00
class ArgumentParser(ArgParser):
2022-01-19 16:16:56 +08:00
"""`shell_like` 命令参数解析器,解析出错时不会退出程序。
用法:
用法与 `argparse.ArgumentParser` 相同
参考文档: [argparse](https://docs.python.org/3/library/argparse.html)
2021-02-02 12:15:20 +08:00
"""
2021-02-02 11:59:14 +08:00
def _print_message(self, message, file=None):
2021-03-25 18:22:56 +08:00
old_message: str = getattr(self, "message", "")
if old_message:
old_message += "\n"
old_message += message
setattr(self, "message", old_message)
2021-02-02 11:59:14 +08:00
2021-11-19 18:18:53 +08:00
def exit(self, status: int = 0, message: Optional[str] = None):
raise ParserExit(
status=status, message=message or getattr(self, "message", None)
)
2021-02-02 11:59:14 +08:00
def parse_args(
self,
args: Optional[Sequence[str]] = None,
namespace: Optional[Namespace] = None,
) -> Namespace:
2021-06-17 10:14:36 +08:00
setattr(self, "message", "")
return super().parse_args(args=args, namespace=namespace) # type: ignore
2021-02-02 11:59:14 +08:00
class ShellCommandRule:
2022-01-19 16:16:56 +08:00
"""检查消息是否为指定 shell 命令。
参数:
cmds: 指定命令元组列表
parser: 可选参数解析器
"""
__slots__ = ("cmds", "parser")
def __init__(self, cmds: List[Tuple[str, ...]], parser: Optional[ArgumentParser]):
self.cmds = cmds
self.parser = parser
async def __call__(
self,
2022-01-10 11:20:06 +08:00
state: T_State,
cmd: Optional[Tuple[str, ...]] = Command(),
2022-01-19 16:16:56 +08:00
msg: Optional[Message] = CommandArg(),
) -> bool:
2022-01-19 16:16:56 +08:00
if cmd in self.cmds and msg is not None:
message = str(msg)
2022-01-19 16:16:56 +08:00
state[SHELL_ARGV] = shlex.split(message)
if self.parser:
try:
args = self.parser.parse_args(state[SHELL_ARGV])
state[SHELL_ARGS] = args
except ParserExit as e:
state[SHELL_ARGS] = e
return True
else:
return False
def shell_command(
*cmds: Union[str, Tuple[str, ...]], parser: Optional[ArgumentParser] = None
) -> Rule:
2022-01-19 16:16:56 +08:00
"""匹配 `shell_like` 形式的消息命令。
2021-02-01 22:28:48 +08:00
2022-01-19 16:16:56 +08:00
根据配置里提供的 {ref}``command_start` <nonebot.config.Config.command_start>`,
{ref}``command_sep` <nonebot.config.Config.command_sep>` 判断消息是否为命令
2021-02-01 22:28:48 +08:00
2022-01-19 16:16:56 +08:00
可以通过 {ref}`nonebot.params.Command` 获取匹配成功的命令: `("test",)`
通过 {ref}`nonebot.params.RawCommand` 获取匹配成功的原始命令文本: `"/test"`
通过 {ref}`nonebot.params.ShellCommandArgv` 获取解析前的参数列表: `["arg", "-h"]`
通过 {ref}`nonebot.params.ShellCommandArgs` 获取解析后的参数字典: `{"arg": "arg", "h": True}`
2021-02-01 22:28:48 +08:00
2022-01-19 16:16:56 +08:00
:::warning 警告
如果参数解析失败则通过 {ref}`nonebot.params.ShellCommandArgs`
获取的将是 {ref}`nonebot.exception.ParserExit` 异常
:::
2021-02-01 22:28:48 +08:00
2022-01-12 18:31:12 +08:00
参数:
2022-01-19 16:16:56 +08:00
cmds: 命令文本或命令元组
parser: {ref}`nonebot.rule.ArgumentParser` 对象
2021-02-01 22:28:48 +08:00
2022-01-12 18:53:30 +08:00
用法:
使用默认 `command_start`, `command_sep` 配置更多示例参考 `argparse` 标准库文档
2021-02-02 11:59:14 +08:00
2022-01-12 18:53:30 +08:00
```python
2021-02-02 11:59:14 +08:00
from nonebot.rule import ArgumentParser
parser = ArgumentParser()
2021-02-02 12:39:23 +08:00
parser.add_argument("-a", action="store_true")
2021-02-02 11:59:14 +08:00
rule = shell_command("ls", parser=parser)
2022-01-12 18:53:30 +08:00
```
2021-02-01 22:28:48 +08:00
2022-01-15 09:35:30 +08:00
:::tip 提示
2022-01-19 16:16:56 +08:00
命令内容与后续消息间无需空格!
2022-01-12 19:20:59 +08:00
:::
2021-02-01 22:28:48 +08:00
"""
if parser is not None and not isinstance(parser, ArgumentParser):
raise TypeError("`parser` must be an instance of nonebot.rule.ArgumentParser")
2021-02-02 11:59:14 +08:00
2021-02-01 22:28:48 +08:00
config = get_driver().config
command_start = config.command_start
command_sep = config.command_sep
commands: List[Tuple[str, ...]] = []
for command in cmds:
2021-02-01 22:28:48 +08:00
if isinstance(command, str):
command = (command,)
commands.append(command)
2021-02-01 22:28:48 +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)
return Rule(ShellCommandRule(commands, parser))
class RegexRule:
2022-01-19 16:16:56 +08:00
"""检查消息字符串是否符合指定正则表达式。
参数:
regex: 正则表达式
flags: 正则表达式标记
"""
__slots__ = ("regex", "flags")
def __init__(self, regex: str, flags: int = 0):
self.regex = regex
self.flags = flags
async def __call__(
self,
2022-01-10 11:20:06 +08:00
state: T_State,
type: str = EventType(),
msg: Message = EventMessage(),
) -> bool:
if type != "message":
return False
matched = re.search(self.regex, str(msg), self.flags)
if matched:
state[REGEX_MATCHED] = matched.group()
state[REGEX_GROUP] = matched.groups()
state[REGEX_DICT] = matched.groupdict()
2021-02-01 22:28:48 +08:00
return True
else:
return False
2020-08-17 16:09:41 +08:00
def regex(regex: str, flags: Union[int, re.RegexFlag] = 0) -> Rule:
2022-01-19 16:16:56 +08:00
"""匹配符合正则表达式的消息字符串。
2022-01-19 16:16:56 +08:00
可以通过 {ref}`nonebot.params.RegexMatched` 获取匹配成功的字符串
通过 {ref}`nonebot.params.RegexGroup` 获取匹配成功的 group 元组
通过 {ref}`nonebot.params.RegexDict` 获取匹配成功的 group 字典
2020-11-30 11:08:00 +08:00
2022-01-12 18:31:12 +08:00
参数:
2022-01-12 19:10:29 +08:00
regex: 正则表达式
2022-01-19 16:16:56 +08:00
flags: 正则表达式标记
2020-10-18 15:04:45 +08:00
2022-01-15 09:35:30 +08:00
:::tip 提示
2022-01-12 18:19:21 +08:00
正则表达式匹配使用 search 而非 match如需从头匹配请使用 `r"^xxx"` 来确保匹配开头
2022-01-12 19:20:59 +08:00
:::
2022-01-19 16:16:56 +08:00
:::tip 提示
正则表达式匹配使用 `EventMessage` `str` 字符串而非 `EventMessage` `PlainText` 纯文本字符串
:::
"""
return Rule(RegexRule(regex, flags))
2020-08-23 10:45:26 +08:00
class ToMeRule:
2022-01-19 16:16:56 +08:00
"""检查事件是否与机器人有关。"""
__slots__ = ()
async def __call__(self, to_me: bool = EventToMe()) -> bool:
return to_me
2021-11-19 18:18:53 +08:00
2020-12-10 02:13:25 +08:00
def to_me() -> Rule:
2022-01-19 16:16:56 +08:00
"""匹配与机器人有关的事件。"""
2020-08-23 10:45:26 +08:00
return Rule(ToMeRule())
2022-01-19 16:16:56 +08:00
__autodoc__ = {
"Rule": True,
2022-01-19 16:16:56 +08:00
"Rule.__call__": True,
"TrieRule": False,
"ArgumentParser.exit": False,
"ArgumentParser.parse_args": False,
}