enhance: 通过适当抽提文法，增强lax模式下的错误修复

Author: Starrah

parser/mai/Simai.g4

@@ -40,7 +40,8 @@ modifiers: (MODIFIER | TAP_TO_STAR | STAR_TO_TAP | NO_STAR)*;
 // 语法
 // ---------------------------------------------------------------------------
 
-chart: (notations COMMA)* CHART_END? EOF;
+chart: notationsAndComma* CHART_END? EOF;
+notationsAndComma: notations COMMA; // 之所以要拆开写，是为了解决Lax模式下，一个notation崩掉，异常栈直接跳回chart()层造成整个解析停止的问题
 
 // 同一时刻的所有标记，包括note标记、bpm标记等等
 notations: (bpmTag | absulouteStepTag | metTag)* noteGroup?;
@@ -80,7 +81,7 @@ asBpm: number;
 slide: tap slideBody;
 sharedHeadSlide: '*' slideBody;
 
-slideBody // 根据Simai文档规定，分为两种情况
-    : slideType KEY (slideType KEY)* modifiers slideDuration modifiers // 只有最后一段星星有时间指定
-    | slideType KEY (slideDuration slideType KEY)* modifiers slideDuration modifiers // 每一段星星都有独立的时间指定
-    ;
+slideBody: slideType KEY ( // 接下来的部分，根据Simai文档规定，分为两种情况
+        (slideType KEY)* // 只有最后一段星星有时间指定
+        | (slideDuration slideType KEY)* // 每一段星星都有独立的时间指定
+    ) modifiers slideDuration modifiers;

parser/mai/SimaiParser.cs

@@ -182,16 +182,20 @@ private IAntlrErrorStrategy ErrorStrategy()
 
     public sealed override object VisitChart(P.ChartContext context)
     {
-        foreach (var notations in context.notations())
+        foreach (var item in context.notationsAndComma())
         {
-            VisitNotations(notations);
+            VisitNotations(item.notations());
             if (chart.BpmList.Count == 0) AddDefaultBpm();
-            if (extendedFalseEach > 0)
-            { // 如果之前的解析过程中，触发了extendedFalseEach的话。则要把被额外增加的时间扣回来。
-                now -= extendedFalseEach;
-                extendedFalseEach = 0;
+            if (item.COMMA() != null)
+            { // 根据notationsAndComma的定义，正常情况下一定是有逗号的。因此万一没有逗号，那就是lax模式错误恢复的结果。
+              // 此时，时间轴不应自增，以确保整个谱面的时间轴仍然大部分准确。
+                if (extendedFalseEach > 0)
+                { // 如果之前的解析过程中，触发了extendedFalseEach的话。则要把被额外增加的时间扣回来。
+                    now -= extendedFalseEach;
+                    extendedFalseEach = 0;
+                }
+                now = (now + step).CanonicalForm;   
             }
-            now = (now + step).CanonicalForm;
         }
         return true;
     }

tests/mai/Simai纠错测试.cs

@@ -286,6 +286,12 @@ public static IEnumerable<object[]> Lax_Scratch_Cases()
             "(120){4}1,,3,4-5[6:1],7,8,E",
             "(120){4}1,2h[3:,3,4-5[6:1],7,8,E"
         ];
+        yield return
+        [
+            "双中括号 '[]'",
+            "(120){4}1,2,3,",
+            "(120){4}1[],2,3,"
+        ];
     }
 
     public static IEnumerable<object[]> 多余修饰符_Cases()