[+] 基于ErrorStrategy，对[8-1]做错误处理

Author: Starrah

i18n/Locale.Designer.cs

@@ -205,4 +205,7 @@
   <data name="LaxTryfixReminder" xml:space="preserve">
     <value>. The affected note(s) was discarded.</value>
   </data>
+  <data name="Fixed" xml:space="preserve">
+    <value>. Fixed automatically.</value>
+  </data>
 </root>

i18n/Locale.resx

@@ -205,4 +205,7 @@
   <data name="LaxTryfixReminder" xml:space="preserve">
     <value>。出问题的音符已被丢弃。</value>
   </data>
+  <data name="Fixed" xml:space="preserve">
+    <value>。已自动为您修复。</value>
+  </data>
 </root>

i18n/Locale.zh-hans.resx

@@ -205,4 +205,7 @@
   <data name="LaxTryfixReminder" xml:space="preserve">
     <value>。出問題的音符已被捨棄。</value>
   </data>
+  <data name="Fixed" xml:space="preserve">
+    <value>。已自動為您修復。</value>
+  </data>
 </root>

i18n/Locale.zh-hant.resx

@@ -4,6 +4,7 @@
 using MuConvert.utils;
 using static MuConvert.utils.Alert.LEVEL;
 using L = MuConvert.Antlr.SimaiLexer;
+using P = MuConvert.Antlr.SimaiParser;
 
 namespace MuConvert.parser.simai;
 
@@ -152,6 +153,8 @@ protected override void ReportMissingToken(Parser recognizer)
 
     public override void Recover(Parser recognizer, RecognitionException e)
     {
+        if (SpecificRecover((P)recognizer, e)) return; // 是特定类型的错误、已通过SpecificRecover修复完成
+        
         if (this.lastErrorIndex == recognizer.InputStream.Index && this.lastErrorStates != null && this.lastErrorStates.Contains(recognizer.State))
             recognizer.Consume();
         this.lastErrorIndex = recognizer.InputStream.Index;
@@ -165,6 +168,48 @@ public override void Recover(Parser recognizer, RecognitionException e)
 
         this.ConsumeUntil(recognizer, errorRecoverySet);
     }
+
+    /**
+     * 尝试修复一些特定类型的错误。
+     * - beats中，':'误打为'-'
+     */
+    protected virtual bool SpecificRecover(P parser, RecognitionException e)
+    {
+        var ctx = parser.Context;
+        var rule = ctx.RuleIndex;
+        if (rule == P.RULE_beats && e is InputMismatchException && 
+            e.OffendingToken.Text == "-" && e.GetExpectedTokens().Contains(_literals[":"]))
+        { // [4:1]中，错把:打成-了
+            simaiParser.alerts.Last().Level = Warning; // Error改为Warning，因为恢复了
+            simaiParser.alerts.Last().Description += Locale.Fixed;
+            parser.Match(L.SLIDE_TYPE);
+            ctx.exception = null;
+            parser.@int();
+            return true;
+        }
+        return false;
+    }
+
+    /**
+     * 重新执行func对应的解析函数，并把结果合并进oldContext。
+     */
+    protected void Rerun<T>(P parser, Func<T> func, T oldContext) where T : ParserRuleContext
+    {
+        // 缓存全局变量，便于稍后恢复现场
+        var savedState = parser.State;
+        var savedContext = parser.Context;
+        // 设置现场为父级的状态，从而为再次调用解析函数做好准备
+        parser.State = oldContext.invokingState;
+        parser.Context = (ParserRuleContext)oldContext.Parent;
+        // 再次调用解析函数，得到的结果（子节点）合并进oldContext、新节点删除之
+        var newContext = func();
+        parser.Context?.RemoveLastChild(); // func返回时会调用ExitRule，从而context还是oldContext.Parent不变，直接RemoveLastChild()即可移除newContext
+        oldContext.children = oldContext.children.Concat(newContext.children).ToList();
+        oldContext.exception = null;
+        // 恢复现场
+        parser.State = savedState;
+        parser.Context = savedContext;
+    }
 }
 
 /**
@@ -174,5 +219,9 @@ public class ModerateErrorStrategy(SimaiParser simaiParser) : LaxErrorStrategy(s
 {
     private BailErrorStrategy _bail = new();
 
-    public override void Recover(Parser recognizer, RecognitionException e) => _bail.Recover(recognizer, e); // 不准recover，只准recoverInline
+    public override void Recover(Parser recognizer, RecognitionException e)
+    {
+        if (SpecificRecover((P)recognizer, e)) return; // 是特定类型的错误、已通过SpecificRecover修复完成，则ok
+        _bail.Recover(recognizer, e); // 否则，不准recover（通过bail strategy的recover方法来抛异常），只准recoverInline
+    }
 }

parser/simai/ErrorStrategy.cs

@@ -21,8 +21,11 @@ STAR_TO_TAP: '@';
 NO_STAR: '?' | '!';
 
 KEY: [1-8];
-SLIDE_TYPE: '-' | 'v' | '<' | '>' | '^' | 'p' | 'q' | 'pp' | 'qq' | 's' | 'z' | 'w' | 'V' KEY;  // 只有V后面需要多跟一个键位号
 TOUCH_AREA: 'A' [1-8] | 'B' [1-8] | 'C' [1-2]? | 'D' [1-8] | 'E' [1-8];
+
+SLIDE_TYPE: '-' | 'v' | '<' | '>' | '^' | 'p' | 'q' | 'pp' | 'qq' | 's' | 'z' | 'w' | 'V' KEY;  // 只有V后面需要多跟一个键位号
+slideType: SLIDE_TYPE;
+
 INT: [0-9];
 
 int: (KEY | INT)+;
@@ -77,10 +80,8 @@ asBpm: number;
 
 slide: tap slideBody;
 sharedHeadSlide: '*' slideBody;
-    
+
 slideBody // 根据Simai文档规定，分为两种情况
-    : (slideType KEY)* slideType KEY modifiers slideDuration modifiers // 只有最后一段星星有时间指定
-    | (slideType KEY slideDuration)* slideType KEY modifiers slideDuration modifiers // 每一段星星都有独立的时间指定
+    : slideType KEY (slideType KEY)* modifiers slideDuration modifiers // 只有最后一段星星有时间指定
+    | slideType KEY (slideDuration slideType KEY)* modifiers slideDuration modifiers // 每一段星星都有独立的时间指定
     ;
-
-slideType: SLIDE_TYPE;

parser/simai/Simai.g4

@@ -91,6 +91,13 @@ public static IEnumerable<object[]> TryFix_Cases()
             "(120){4}1?-3[1:1],E",
             "(120){4}1-?3[1:1],E"
         ];
+        
+        yield return
+        [
+            "多打了一个双押符号",
+            "(120){4}1//2,2//3,4,E",
+            "(120){4}1/2,2//3,4,E"
+        ];
     }
 
     public static IEnumerable<object[]> Comment_Cases()

tests/Simai预处理纠错测试.cs

@@ -0,0 +1,32 @@
+simai: |
+  (120){{16}}1,((180))2,2h[16-2],
+  3-4[[4:1]],5-6[[#0.1]],
+  3h[[4:1]],5h[[#0.1]],B2h[[4:1]],Ch[[#0.1]],
+  3-4[[4:1]]/5-6[[#0.1]],
+  3h[[4:1]]/5h[[#0.1]],
+  3-4[[4:1]]*-6[[#0.1]],
+  1-?2[8:1]b,3-@bx4b[8:1],E
+ma2: |
+  NMTAP	0	0	0
+  NMTAP	0	24	1
+  NMHLD	0	48	1	48
+  NMSTR	0	72	2
+  NMSI_	0	72	2	96	96	3
+  NMSTR	0	96	4
+  NMSI_	0	96	4	96	29	5
+  NMHLD	0	120	2	96
+  NMHLD	0	144	4	29
+  NMTHO	0	168	1	96	B	0	M1
+  NMTHO	0	192	0	29	C	0	M1
+  NMSTR	0	216	2
+  NMSI_	0	216	2	96	96	3
+  NMSTR	0	216	4
+  NMSI_	0	216	4	96	29	5
+  NMHLD	0	240	2	96
+  NMHLD	0	240	4	29
+  NMSTR	0	264	2
+  NMSI_	0	264	2	96	96	3
+  NMSI_	0	264	2	96	29	5
+  BRSI_	0	288	0	96	48	1
+  BXTAP	0	312	2
+  BRSI_	0	312	2	96	48	3