2020-06-30 10:13:58 +08:00
|
|
|
|
#!/usr/bin/env python3
|
|
|
|
|
# -*- coding: utf-8 -*-
|
|
|
|
|
|
2020-08-13 15:23:04 +08:00
|
|
|
|
import typing
|
2020-05-02 20:03:36 +08:00
|
|
|
|
from functools import wraps
|
2020-08-06 17:54:55 +08:00
|
|
|
|
from datetime import datetime
|
2020-06-30 10:13:58 +08:00
|
|
|
|
from collections import defaultdict
|
2020-05-02 20:03:36 +08:00
|
|
|
|
|
2020-08-17 16:09:41 +08:00
|
|
|
|
from nonebot.rule import Rule
|
2020-08-18 11:28:33 +08:00
|
|
|
|
from nonebot.permission import Permission, USER
|
|
|
|
|
from nonebot.typing import Bot, Event, Handler, ArgsParser
|
|
|
|
|
from nonebot.typing import Type, List, Dict, Callable, Optional, NoReturn
|
2020-07-05 20:39:34 +08:00
|
|
|
|
from nonebot.exception import PausedException, RejectedException, FinishedException
|
2020-05-02 20:03:36 +08:00
|
|
|
|
|
2020-06-30 10:13:58 +08:00
|
|
|
|
matchers: Dict[int, List[Type["Matcher"]]] = defaultdict(list)
|
|
|
|
|
|
2020-05-02 20:03:36 +08:00
|
|
|
|
|
|
|
|
|
class Matcher:
|
2020-07-04 22:51:10 +08:00
|
|
|
|
"""`Matcher`类
|
|
|
|
|
"""
|
2020-05-02 20:03:36 +08:00
|
|
|
|
|
2020-08-17 16:09:41 +08:00
|
|
|
|
rule: Rule = Rule()
|
|
|
|
|
permission: Permission = Permission()
|
2020-06-30 10:13:58 +08:00
|
|
|
|
handlers: List[Handler] = []
|
2020-05-05 16:11:05 +08:00
|
|
|
|
temp: bool = False
|
2020-08-06 17:54:55 +08:00
|
|
|
|
expire_time: Optional[datetime] = None
|
2020-06-30 10:13:58 +08:00
|
|
|
|
priority: int = 1
|
2020-05-05 16:11:05 +08:00
|
|
|
|
|
|
|
|
|
_default_state: dict = {}
|
2020-06-30 10:13:58 +08:00
|
|
|
|
|
2020-08-18 11:28:33 +08:00
|
|
|
|
_default_parser: Optional[ArgsParser] = None
|
2020-05-05 16:11:05 +08:00
|
|
|
|
|
|
|
|
|
def __init__(self):
|
2020-07-04 22:51:10 +08:00
|
|
|
|
"""实例化 Matcher 以便运行
|
|
|
|
|
"""
|
2020-05-05 16:11:05 +08:00
|
|
|
|
self.handlers = self.handlers.copy()
|
|
|
|
|
self.state = self._default_state.copy()
|
|
|
|
|
|
|
|
|
|
@classmethod
|
2020-06-30 10:13:58 +08:00
|
|
|
|
def new(cls,
|
2020-08-17 16:09:41 +08:00
|
|
|
|
rule: Rule = Rule(),
|
|
|
|
|
permission: Permission = Permission(),
|
2020-06-30 10:13:58 +08:00
|
|
|
|
handlers: list = [],
|
|
|
|
|
temp: bool = False,
|
|
|
|
|
priority: int = 1,
|
|
|
|
|
*,
|
2020-08-06 17:54:55 +08:00
|
|
|
|
default_state: dict = {},
|
|
|
|
|
expire_time: Optional[datetime] = None) -> Type["Matcher"]:
|
2020-07-04 22:51:10 +08:00
|
|
|
|
"""创建新的 Matcher
|
|
|
|
|
|
|
|
|
|
Returns:
|
|
|
|
|
Type["Matcher"]: 新的 Matcher 类
|
|
|
|
|
"""
|
2020-05-05 16:11:05 +08:00
|
|
|
|
|
|
|
|
|
NewMatcher = type(
|
2020-06-24 21:56:49 +08:00
|
|
|
|
"Matcher", (Matcher,), {
|
2020-05-05 16:11:05 +08:00
|
|
|
|
"rule": rule,
|
2020-08-17 16:09:41 +08:00
|
|
|
|
"permission": permission,
|
2020-05-05 16:11:05 +08:00
|
|
|
|
"handlers": handlers,
|
|
|
|
|
"temp": temp,
|
2020-08-06 17:54:55 +08:00
|
|
|
|
"expire_time": expire_time,
|
2020-06-30 10:13:58 +08:00
|
|
|
|
"priority": priority,
|
|
|
|
|
"_default_state": default_state
|
2020-05-05 16:11:05 +08:00
|
|
|
|
})
|
|
|
|
|
|
2020-06-30 10:13:58 +08:00
|
|
|
|
matchers[priority].append(NewMatcher)
|
|
|
|
|
|
2020-05-05 16:11:05 +08:00
|
|
|
|
return NewMatcher
|
|
|
|
|
|
2020-07-04 22:51:10 +08:00
|
|
|
|
@classmethod
|
2020-08-17 16:09:41 +08:00
|
|
|
|
async def check_perm(cls, bot: Bot, event: Event) -> bool:
|
|
|
|
|
return await cls.permission(bot, event)
|
|
|
|
|
|
|
|
|
|
@classmethod
|
|
|
|
|
async def check_rule(cls, bot: Bot, event: Event, state: dict) -> bool:
|
2020-07-04 22:51:10 +08:00
|
|
|
|
"""检查 Matcher 的 Rule 是否成立
|
|
|
|
|
|
|
|
|
|
Args:
|
|
|
|
|
event (Event): 消息事件
|
|
|
|
|
|
|
|
|
|
Returns:
|
|
|
|
|
bool: 条件成立与否
|
|
|
|
|
"""
|
2020-08-17 16:09:41 +08:00
|
|
|
|
return await cls.rule(bot, event, state)
|
2020-07-04 22:51:10 +08:00
|
|
|
|
|
2020-08-18 11:28:33 +08:00
|
|
|
|
@classmethod
|
|
|
|
|
def args_parser(cls, func: ArgsParser) -> ArgsParser:
|
|
|
|
|
cls._default_parser = func
|
|
|
|
|
return func
|
2020-06-30 10:13:58 +08:00
|
|
|
|
|
2020-05-05 16:11:05 +08:00
|
|
|
|
@classmethod
|
2020-08-18 11:28:33 +08:00
|
|
|
|
def handle(cls) -> Callable[[Handler], Handler]:
|
2020-07-04 22:51:10 +08:00
|
|
|
|
"""直接处理消息事件"""
|
2020-06-30 10:13:58 +08:00
|
|
|
|
|
|
|
|
|
def _decorator(func: Handler) -> Handler:
|
|
|
|
|
cls.handlers.append(func)
|
|
|
|
|
return func
|
|
|
|
|
|
|
|
|
|
return _decorator
|
2020-05-02 20:03:36 +08:00
|
|
|
|
|
2020-05-05 16:11:05 +08:00
|
|
|
|
@classmethod
|
2020-08-18 11:28:33 +08:00
|
|
|
|
def receive(cls) -> Callable[[Handler], Handler]:
|
2020-07-04 22:51:10 +08:00
|
|
|
|
"""接收一条新消息并处理"""
|
2020-05-02 20:03:36 +08:00
|
|
|
|
|
|
|
|
|
def _decorator(func: Handler) -> Handler:
|
|
|
|
|
|
2020-08-10 13:06:02 +08:00
|
|
|
|
async def _handler(bot: Bot, event: Event, state: dict) -> NoReturn:
|
2020-05-05 16:11:05 +08:00
|
|
|
|
raise PausedException
|
|
|
|
|
|
2020-08-18 11:28:33 +08:00
|
|
|
|
if cls.handlers:
|
|
|
|
|
# 已有前置handlers则接受一条新的消息,否则视为接收初始消息
|
|
|
|
|
cls.handlers.append(_handler)
|
2020-06-30 10:13:58 +08:00
|
|
|
|
cls.handlers.append(func)
|
2020-05-02 20:03:36 +08:00
|
|
|
|
|
|
|
|
|
return func
|
|
|
|
|
|
|
|
|
|
return _decorator
|
|
|
|
|
|
2020-08-18 11:28:33 +08:00
|
|
|
|
@classmethod
|
|
|
|
|
def got(
|
|
|
|
|
cls,
|
|
|
|
|
key: str,
|
|
|
|
|
prompt: Optional[str] = None,
|
|
|
|
|
args_parser: Optional[ArgsParser] = None
|
|
|
|
|
) -> Callable[[Handler], Handler]:
|
2020-05-02 20:03:36 +08:00
|
|
|
|
|
2020-08-18 11:28:33 +08:00
|
|
|
|
def _decorator(func: Handler) -> Handler:
|
2020-05-02 20:03:36 +08:00
|
|
|
|
|
2020-08-18 11:28:33 +08:00
|
|
|
|
async def _key_getter(bot: Bot, event: Event, state: dict):
|
|
|
|
|
if key not in state:
|
|
|
|
|
state["_current_key"] = key
|
|
|
|
|
if prompt:
|
|
|
|
|
await bot.send_private_msg(user_id=event.user_id,
|
|
|
|
|
message=prompt)
|
|
|
|
|
raise PausedException
|
|
|
|
|
|
|
|
|
|
async def _key_parser(bot: Bot, event: Event, state: dict):
|
|
|
|
|
parser = args_parser or cls._default_parser
|
|
|
|
|
if parser:
|
|
|
|
|
await parser(bot, event, state)
|
|
|
|
|
else:
|
|
|
|
|
state[state["_current_key"]] = str(event.message)
|
|
|
|
|
|
|
|
|
|
if cls.handlers:
|
|
|
|
|
# 已有前置handlers则接受一条新的消息,否则视为接收初始消息
|
|
|
|
|
cls.handlers.append(_key_getter)
|
|
|
|
|
cls.handlers.append(_key_parser)
|
|
|
|
|
cls.handlers.append(func)
|
2020-05-02 20:03:36 +08:00
|
|
|
|
|
2020-08-18 11:28:33 +08:00
|
|
|
|
return func
|
2020-05-02 20:03:36 +08:00
|
|
|
|
|
2020-08-18 11:28:33 +08:00
|
|
|
|
return _decorator
|
2020-05-02 20:03:36 +08:00
|
|
|
|
|
2020-08-18 11:28:33 +08:00
|
|
|
|
@classmethod
|
|
|
|
|
def finish(cls) -> NoReturn:
|
|
|
|
|
raise FinishedException
|
2020-05-02 20:03:36 +08:00
|
|
|
|
|
2020-08-18 11:28:33 +08:00
|
|
|
|
@classmethod
|
|
|
|
|
def pause(cls) -> NoReturn:
|
|
|
|
|
raise PausedException
|
2020-06-30 10:13:58 +08:00
|
|
|
|
|
2020-08-18 11:28:33 +08:00
|
|
|
|
@classmethod
|
|
|
|
|
def reject(cls) -> NoReturn:
|
|
|
|
|
raise RejectedException
|
2020-05-02 20:03:36 +08:00
|
|
|
|
|
2020-07-04 22:51:10 +08:00
|
|
|
|
# 运行handlers
|
2020-08-18 11:28:33 +08:00
|
|
|
|
async def run(self, bot: Bot, event: Event, state: dict):
|
2020-05-05 16:11:05 +08:00
|
|
|
|
try:
|
2020-08-17 16:09:41 +08:00
|
|
|
|
# Refresh preprocess state
|
|
|
|
|
self.state.update(state)
|
|
|
|
|
|
2020-05-05 16:11:05 +08:00
|
|
|
|
for _ in range(len(self.handlers)):
|
|
|
|
|
handler = self.handlers.pop(0)
|
2020-08-13 15:23:04 +08:00
|
|
|
|
annotation = typing.get_type_hints(handler)
|
|
|
|
|
BotType = annotation.get("bot")
|
|
|
|
|
if BotType and not isinstance(bot, BotType):
|
|
|
|
|
continue
|
2020-06-30 10:13:58 +08:00
|
|
|
|
await handler(bot, event, self.state)
|
2020-08-18 11:28:33 +08:00
|
|
|
|
|
2020-05-05 16:11:05 +08:00
|
|
|
|
except RejectedException:
|
2020-06-30 10:13:58 +08:00
|
|
|
|
self.handlers.insert(0, handler) # type: ignore
|
2020-08-17 16:09:41 +08:00
|
|
|
|
matcher = Matcher.new(
|
|
|
|
|
self.rule,
|
|
|
|
|
USER(event.user_id, perm=self.permission), # type:ignore
|
|
|
|
|
self.handlers,
|
|
|
|
|
temp=True,
|
|
|
|
|
priority=0,
|
|
|
|
|
default_state=self.state,
|
|
|
|
|
expire_time=datetime.now() + bot.config.session_expire_timeout)
|
2020-06-30 10:13:58 +08:00
|
|
|
|
matchers[0].append(matcher)
|
2020-05-05 16:11:05 +08:00
|
|
|
|
return
|
|
|
|
|
except PausedException:
|
2020-08-17 16:09:41 +08:00
|
|
|
|
matcher = Matcher.new(
|
|
|
|
|
self.rule,
|
|
|
|
|
USER(event.user_id, perm=self.permission), # type:ignore
|
|
|
|
|
self.handlers,
|
|
|
|
|
temp=True,
|
|
|
|
|
priority=0,
|
|
|
|
|
default_state=self.state,
|
|
|
|
|
expire_time=datetime.now() + bot.config.session_expire_timeout)
|
2020-06-30 10:13:58 +08:00
|
|
|
|
matchers[0].append(matcher)
|
2020-05-05 16:11:05 +08:00
|
|
|
|
return
|
|
|
|
|
except FinishedException:
|
|
|
|
|
return
|