chore: Allow spaces in review requirement criterias

This commit is contained in:
Robin Shen 2025-10-30 11:29:05 +08:00
parent ecace0afe3
commit 5f5c114cdd
2 changed files with 3 additions and 3 deletions

View File

@ -4,8 +4,8 @@ requirement: WS* criteria (WS+ criteria)* WS* EOF;
criteria: userCriteria | groupCriteria;
userCriteria: USER Value;
groupCriteria: GROUP Value (':' DIGIT)?;
userCriteria: USER WS* Value;
groupCriteria: GROUP WS* Value (WS*':' WS* DIGIT)?;
DIGIT: [1-9][0-9]*;

View File

@ -87,7 +87,7 @@ public class ReviewRequirement {
}
private static String getValue(TerminalNode terminal) {
return StringUtils.unescape(FenceAware.unfence(terminal.getText()));
return StringUtils.unescape(FenceAware.unfence(terminal.getText())).trim();
}
public List<User> getUsers() {