From 0cd340a196fd89ba30f0243303e75c387e1208a6 Mon Sep 17 00:00:00 2001
From: A4-Tacks <wdsjxhno1001@163.com>
Date: Wed, 8 May 2024 08:14:47 +0800
Subject: [PATCH] =?UTF-8?q?=E6=B7=BB=E5=8A=A0gswitch=E7=9A=84append?=
 =?UTF-8?q?=E5=BF=BD=E7=95=A5=E8=AF=AD=E6=B3=95,=20=E5=B9=B6=E6=94=B9?=
 =?UTF-8?q?=E5=96=84=E4=B8=80=E7=82=B9=E7=82=B9=E6=8A=A5=E9=94=99?=
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

---
 Cargo.lock                        | 10 +++----
 Cargo.toml                        |  2 +-
 README-en_US.md                   |  2 +-
 README.md                         |  2 +-
 examples/gswitch.mdtlbl           |  3 +++
 syntax/vim/mdtlbl.vim             |  5 +++-
 tools/display_source/Cargo.toml   |  2 +-
 tools/display_source/src/impls.rs | 18 ++++++++++---
 tools/parser/Cargo.toml           |  2 +-
 tools/parser/src/parser.lalrpop   | 18 ++++++-------
 tools/parser/tests/Cargo.toml     |  2 +-
 tools/parser/tests/src/lib.rs     | 44 +++++++++++++++++++++++++++++++
 tools/syntax/Cargo.toml           |  2 +-
 tools/syntax/src/lib.rs           | 24 ++++++++++++-----
 14 files changed, 102 insertions(+), 34 deletions(-)

diff --git a/Cargo.lock b/Cargo.lock
index 8cf96b2..2612f8e 100644
--- a/Cargo.lock
+++ b/Cargo.lock
@@ -100,7 +100,7 @@ dependencies = [
 
 [[package]]
 name = "display_source"
-version = "0.3.13"
+version = "0.3.14"
 dependencies = [
  "parser",
  "syntax",
@@ -301,7 +301,7 @@ checksum = "2dffe52ecf27772e601905b7522cb4ef790d2cc203488bbd0e2fe85fcb74566d"
 
 [[package]]
 name = "mindustry_logic_bang_lang"
-version = "0.16.3"
+version = "0.16.4"
 dependencies = [
  "display_source",
  "logic_lint",
@@ -347,7 +347,7 @@ dependencies = [
 
 [[package]]
 name = "parser"
-version = "0.3.10"
+version = "0.3.11"
 dependencies = [
  "lalrpop",
  "lalrpop-util",
@@ -358,7 +358,7 @@ dependencies = [
 
 [[package]]
 name = "parser-tests"
-version = "0.1.22"
+version = "0.1.23"
 dependencies = [
  "parser",
  "syntax",
@@ -535,7 +535,7 @@ dependencies = [
 
 [[package]]
 name = "syntax"
-version = "0.2.22"
+version = "0.2.23"
 dependencies = [
  "either",
  "tag_code",
diff --git a/Cargo.toml b/Cargo.toml
index 8e3ee08..71f78e1 100644
--- a/Cargo.toml
+++ b/Cargo.toml
@@ -1,6 +1,6 @@
 [package]
 name = "mindustry_logic_bang_lang"
-version = "0.16.3"
+version = "0.16.4"
 edition = "2021"
 
 authors = ["A4-Tacks <wdsjxhno1001@163.com>"]
diff --git a/README-en_US.md b/README-en_US.md
index 4f8b417..af2ff1f 100644
--- a/README-en_US.md
+++ b/README-en_US.md
@@ -179,7 +179,7 @@ printflush message1
 # Project Build
 Building this project will be relatively slow due to the following reasons:
 1. Compile using `rustc`, which is slightly slower compared to `gcc` and `clang`
-2. Using the large syntax analysis framework 'lalrpop', which generates over 400000 lines of code and works together with 'rustc' to make compilation slower
+2. Using the large syntax analysis framework 'lalrpop', which generates over 500000 lines of code and works together with 'rustc' to make compilation slower
 
 You can first check the Releases to see if there is a built program,
 and if it does not exist or cannot be used, try building it yourself
diff --git a/README.md b/README.md
index c8a49c2..d274d8c 100644
--- a/README.md
+++ b/README.md
@@ -154,7 +154,7 @@ printflush message1
 # 项目构建
 构建这个项目将会比较慢, 原因如下:
 1. 使用`rustc`进行编译, 而它略慢, 相对于`gcc` `clang`
-2. 使用了大型语法分析框架`lalrpop`, 它会生成四十多万行代码, 再叠加上`rustc`编译更慢
+2. 使用了大型语法分析框架`lalrpop`, 它会生成五十多万行代码, 再叠加上`rustc`编译更慢
 
 你可以先翻一翻Releases, 看一看有没有已构建的程序, 如果没有或无法使用再尝试自己构建.
 
diff --git a/examples/gswitch.mdtlbl b/examples/gswitch.mdtlbl
index a8bfdc7..3bea2e8 100644
--- a/examples/gswitch.mdtlbl
+++ b/examples/gswitch.mdtlbl
@@ -19,6 +19,9 @@
 * 将仅在成立时执行这个case.
 * 当然不设计为为同一个case中每个匹配使用不同的守卫支持, 也是类似上面的原因.
 * 实在要使用也可以使用类似上面的解决方法
+*
+* 在0.16.4新增了一个便捷语法, 在case后面加上星号可以忽略append,
+* 这可以既享受append的便利, 又为一些特化场景做优化
 *#
 
 # 一个例子
diff --git a/syntax/vim/mdtlbl.vim b/syntax/vim/mdtlbl.vim
index 0c28ff8..d83db17 100644
--- a/syntax/vim/mdtlbl.vim
+++ b/syntax/vim/mdtlbl.vim
@@ -25,10 +25,12 @@ syn case match
 
 " 一些关键字 {{{1
 syn keyword mdtlblKeyword
-            \ while gwhile do skip goto if elif else switch gswitch case break continue
+            \ while gwhile do skip goto if elif else switch gswitch break continue
             \ const take setres select match
             \ inline
             \ op set noop print
+syn keyword mdtlblKeyword case nextgroup=mdtlblStar skipwhite
+syn match mdtlblStar /\*/ contained
 
 syn keyword mdtlblOpFunKeyword
             \ add sub mul div idiv mod pow
@@ -133,6 +135,7 @@ setlocal indentkeys+==:
 
 " END And Color Links {{{1
 hi def link mdtlblKeyword Keyword
+hi def link mdtlblStar Keyword
 hi def link mdtlblOpFunKeyword Operator
 hi def link mdtlblCmpTreeOper Operator
 hi def link mdtlblComment Comment
diff --git a/tools/display_source/Cargo.toml b/tools/display_source/Cargo.toml
index 8ee50d5..8ede4df 100644
--- a/tools/display_source/Cargo.toml
+++ b/tools/display_source/Cargo.toml
@@ -1,6 +1,6 @@
 [package]
 name = "display_source"
-version = "0.3.13"
+version = "0.3.14"
 edition = "2021"
 
 # See more keys and their definitions at https://doc.rust-lang.org/cargo/reference/manifest.html
diff --git a/tools/display_source/src/impls.rs b/tools/display_source/src/impls.rs
index dcf94c4..5909da1 100644
--- a/tools/display_source/src/impls.rs
+++ b/tools/display_source/src/impls.rs
@@ -635,13 +635,17 @@ impl DisplaySource for ConstMatch {
 }
 impl DisplaySource for GSwitchCase {
     fn display_source(&self, meta: &mut DisplaySourceMeta) {
-        match self {
-            &Self::Catch {
+        match *self {
+            Self::Catch {
+                skip_extra,
                 underflow,
                 missed,
                 overflow,
                 ref to,
             } => {
+                if skip_extra {
+                    meta.push("*");
+                }
                 meta.add_space();
                 if underflow {
                     meta.push("<");
@@ -657,7 +661,14 @@ impl DisplaySource for GSwitchCase {
                     key.display_source(meta);
                 }
             },
-            Self::Normal { ids, guard } => {
+            Self::Normal {
+                skip_extra,
+                ref ids,
+                ref guard
+            } => {
+                if skip_extra {
+                    meta.push("*");
+                }
                 if !ids.as_normal().map(Vec::is_empty).unwrap_or_default() {
                     meta.add_space();
                     ids.display_source(meta);
@@ -682,7 +693,6 @@ impl DisplaySource for GSwitch {
         meta.add_lf();
         meta.do_block(|meta| {
             self.extra.display_source(meta);
-            meta.add_lf();
         });
         for (case, expand) in &self.cases {
             meta.push("case");
diff --git a/tools/parser/Cargo.toml b/tools/parser/Cargo.toml
index 0ac3385..8ded57f 100644
--- a/tools/parser/Cargo.toml
+++ b/tools/parser/Cargo.toml
@@ -1,6 +1,6 @@
 [package]
 name = "parser"
-version = "0.3.10"
+version = "0.3.11"
 edition = "2021"
 
 # See more keys and their definitions at https://doc.rust-lang.org/cargo/reference/manifest.html
diff --git a/tools/parser/src/parser.lalrpop b/tools/parser/src/parser.lalrpop
index 882a9ad..5ed64ba 100644
--- a/tools/parser/src/parser.lalrpop
+++ b/tools/parser/src/parser.lalrpop
@@ -915,16 +915,14 @@ ControlBody: LogicLine = {
     Block,
 }
 GSwitchCase: GSwitchCase = {
-    <ids:Args?> <guard:("if" <JumpCmp>)?> => {
-        GSwitchCase::Normal { ids: ids.unwrap_or_default(), guard }
-    },
-    "<" <to:ConstKey?> => GSwitchCase::Catch { underflow: true, missed: false, overflow: false, to },
-    "!" <to:ConstKey?> => GSwitchCase::Catch { underflow: false, missed: true, overflow: false, to },
-    ">" <to:ConstKey?> => GSwitchCase::Catch { underflow: false, missed: false, overflow: true, to },
-    "<" "!" <to:ConstKey?> => GSwitchCase::Catch { underflow: true, missed: true, overflow: false, to },
-    "!" ">" <to:ConstKey?> => GSwitchCase::Catch { underflow: false, missed: true, overflow: true, to },
-    "<" ">" <to:ConstKey?> => GSwitchCase::Catch { underflow: true, missed: false, overflow: true, to },
-    "<" "!" ">" <to:ConstKey?> => GSwitchCase::Catch { underflow: true, missed: true, overflow: true, to },
+    <skip_extra:Opt<"*">> <ids:Args?> <guard:("if" <JumpCmp>)?> => GSwitchCase::Normal { skip_extra, ids: ids.unwrap_or_default(), guard },
+    <skip_extra:Opt<"*">> "<" <to:ConstKey?> => GSwitchCase::Catch { skip_extra, underflow: true, missed: false, overflow: false, to },
+    <skip_extra:Opt<"*">> "!" <to:ConstKey?> => GSwitchCase::Catch { skip_extra, underflow: false, missed: true, overflow: false, to },
+    <skip_extra:Opt<"*">> ">" <to:ConstKey?> => GSwitchCase::Catch { skip_extra, underflow: false, missed: false, overflow: true, to },
+    <skip_extra:Opt<"*">> "<" "!" <to:ConstKey?> => GSwitchCase::Catch { skip_extra, underflow: true, missed: true, overflow: false, to },
+    <skip_extra:Opt<"*">> "!" ">" <to:ConstKey?> => GSwitchCase::Catch { skip_extra, underflow: false, missed: true, overflow: true, to },
+    <skip_extra:Opt<"*">> "<" ">" <to:ConstKey?> => GSwitchCase::Catch { skip_extra, underflow: true, missed: false, overflow: true, to },
+    <skip_extra:Opt<"*">> "<" "!" ">" <to:ConstKey?> => GSwitchCase::Catch { skip_extra, underflow: true, missed: true, overflow: true, to },
 }
 ControlWithoutOptionalEnd: LogicLine = {
     "goto" <Label> <AlwaysJumpCmp> LEnd => {
diff --git a/tools/parser/tests/Cargo.toml b/tools/parser/tests/Cargo.toml
index 15e5224..1c35240 100644
--- a/tools/parser/tests/Cargo.toml
+++ b/tools/parser/tests/Cargo.toml
@@ -1,6 +1,6 @@
 [package]
 name = "parser-tests"
-version = "0.1.22"
+version = "0.1.23"
 edition = "2021"
 
 # See more keys and their definitions at https://doc.rust-lang.org/cargo/reference/manifest.html
diff --git a/tools/parser/tests/src/lib.rs b/tools/parser/tests/src/lib.rs
index b327343..49273b8 100644
--- a/tools/parser/tests/src/lib.rs
+++ b/tools/parser/tests/src/lib.rs
@@ -6345,4 +6345,48 @@ fn gswitch_test() {
             r#"print 3"#,
         ],
     );
+
+    assert_eq!(
+        CompileMeta::new().compile(parse!(parser, r#"
+        gswitch x {
+            break;
+        case 1 2: print x;
+        case*3: print end;
+        }
+        end;
+        "#).unwrap()).compile().unwrap(),
+        vec![
+            r#"op add @counter @counter x"#,
+            r#"jump 8 always 0 0"#,
+            r#"jump 5 always 0 0"#,
+            r#"jump 5 always 0 0"#,
+            r#"jump 7 always 0 0"#,
+            r#"print x"#,
+            r#"jump 8 always 0 0"#,
+            r#"print end"#,
+            r#"end"#,
+        ],
+    );
+
+    assert_eq!(
+        CompileMeta::new().compile(parse!(parser, r#"
+        gswitch x {
+            break;
+        case*1 2: print x;
+        case 3: print end;
+        }
+        end;
+        "#).unwrap()).compile().unwrap(),
+        vec![
+            r#"op add @counter @counter x"#,
+            r#"jump 8 always 0 0"#,
+            r#"jump 5 always 0 0"#,
+            r#"jump 5 always 0 0"#,
+            r#"jump 6 always 0 0"#,
+            r#"print x"#,
+            r#"print end"#,
+            r#"jump 8 always 0 0"#,
+            r#"end"#,
+        ],
+    );
 }
diff --git a/tools/syntax/Cargo.toml b/tools/syntax/Cargo.toml
index d81445b..f2031cc 100644
--- a/tools/syntax/Cargo.toml
+++ b/tools/syntax/Cargo.toml
@@ -1,6 +1,6 @@
 [package]
 name = "syntax"
-version = "0.2.22"
+version = "0.2.23"
 edition = "2021"
 
 # See more keys and their definitions at https://doc.rust-lang.org/cargo/reference/manifest.html
diff --git a/tools/syntax/src/lib.rs b/tools/syntax/src/lib.rs
index 1e7d0f0..17c7910 100644
--- a/tools/syntax/src/lib.rs
+++ b/tools/syntax/src/lib.rs
@@ -3114,12 +3114,14 @@ impl ConstMatchPatAtom {
 #[derive(Debug, PartialEq, Clone)]
 pub enum GSwitchCase {
     Catch {
+        skip_extra: bool,
         underflow: bool,
         missed: bool,
         overflow: bool,
         to: Option<ConstKey>,
     },
     Normal {
+        skip_extra: bool,
         /// 如果为空, 那么则继承上一个的编号
         ids: Args,
         guard: Option<CmpTree>,
@@ -3177,12 +3179,12 @@ impl GSwitch {
                 .map(|x| match x.0.round() {
                     n if n < 0. => {
                         meta.log_expand_stack::<true>();
-                        err!("小于0的gswitch id");
+                        err!("小于0的gswitch id: {}", n);
                         exit(4);
                     },
                     n if n >= GSwitch::MAX_CONST_ID as f64 => {
                         meta.log_expand_stack::<true>();
-                        err!("过大的gswitch id");
+                        err!("过大的gswitch id: {}", n);
                         exit(4);
                     },
                     n => n as usize,
@@ -3236,8 +3238,13 @@ impl Compile for GSwitch {
             let [mut prev_case, mut max_case] = [-1isize; 2];
             let mut case_lines = vec![];
             for (case, code) in self.cases {
-                let GSC::Normal { mut ids, guard } = case else {
+                let GSC::Normal {
+                    skip_extra,
+                    mut ids,
+                    guard
+                } = case else {
                     let GSwitchCase::Catch {
+                        skip_extra,
                         underflow,
                         missed,
                         overflow,
@@ -3259,7 +3266,9 @@ impl Compile for GSwitch {
                             .chain(to.into_iter()
                                 .map(|k| Take(k, val_h.clone().into()).into()))
                             .chain(once(code.into()))
-                            .chain(self.extra.0.iter().cloned())
+                            .chain((!skip_extra)
+                                .then(|| self.extra.0.iter().cloned())
+                                .into_iter().flatten())
                             .collect()
                     ));
                     continue;
@@ -3281,11 +3290,12 @@ impl Compile for GSwitch {
                         prev_case = id.try_into().unwrap();
                         max_case = max_case.max(prev_case);
                     });
-                case_lines.push(LogicLine::Expand(vec![
+                let mut lines = vec![
                     LogicLine::Label(lab),
                     code.into(),
-                    self.extra.clone().into(),
-                ].into()));
+                ];
+                if !skip_extra { lines.push(self.extra.clone().into()) }
+                case_lines.push(LogicLine::Expand(lines.into()));
             }
             let mut default_missed_catch = false;
             for to_case in &mut *head.1 {