xuyue/OnlineJudge
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

update

Browse Source
This commit is contained in:
yuetsh
2026-05-25 22:40:22 -06:00
parent c6b368dc82
commit 92bc3ac221
3 changed files with 28 additions and 5 deletions
Download Patch File Download Diff File Expand all files Collapse all files

5
ast_checker/engines/node_exists.py
View File

@@ -1,9 +1,10 @@
from .base import BaseEngine
from ast_checker.labels import label
class MustExistNodeEngine(BaseEngine):
def _message(self, rule):
return rule.get("message") or f"必须使用 {rule['target']}"
return rule.get("message") or f"必须使用 {rule.get('label') or label(rule['target'])}"
def check(self, tree, rule, language, mapping):
node_type = mapping.get(rule["target"], rule["target"])
@@ -17,7 +18,7 @@ class MustExistNodeEngine(BaseEngine):
class MustNotExistNodeEngine(BaseEngine):
def _message(self, rule):
return rule.get("message") or f"不能使用 {rule['target']}"
return rule.get("message") or f"不能使用 {rule.get('label') or label(rule['target'])}"
def check(self, tree, rule, language, mapping):
node_type = mapping.get(rule["target"], rule["target"])