From c9112e7a7ff471793dfcdbc42b29554a17064a1a Mon Sep 17 00:00:00 2001 From: knewjade Date: Sun, 11 Dec 2022 18:21:49 +0900 Subject: [PATCH] Add "softdrop180" as an alias for "180" --- docs/source/contents/cover/main.rst | 2 +- docs/source/contents/path/main.rst | 2 +- docs/source/contents/percent/main.rst | 2 +- docs/source/contents/ren/main.rst | 2 +- docs/source/contents/setup/main.rst | 2 +- src/main/java/entry/cover/CoverSettings.java | 1 + src/main/java/entry/path/PathSettings.java | 1 + src/main/java/entry/percent/PercentSettings.java | 1 + src/main/java/entry/ren/RenSettings.java | 1 + src/main/java/entry/setup/SetupSettings.java | 1 + src/test/java/_usecase/cover/CoverTetfuCaseTest.java | 2 +- 11 files changed, 11 insertions(+), 6 deletions(-) diff --git a/docs/source/contents/cover/main.rst b/docs/source/contents/cover/main.rst index b00fa679..f20867d8 100644 --- a/docs/source/contents/cover/main.rst +++ b/docs/source/contents/cover/main.rst @@ -193,7 +193,7 @@ coverコマンドでは、上述したページを指定する書き方にも対 * softdrop: ソフトドロップ＋回転入れ（制限なし） * harddrop: ハードドロップのみ -* 180: ソフトドロップ＋180度回転入れ（使用するには、180度回転に対応したkicksを選択する必要があります） +180 (softdrop180): ソフトドロップ＋180度回転入れ（使用するには、180度回転に対応したkicksを選択する必要があります） * t-softdrop: Tミノはソフトドロップ、その他のミノはハードドロップ * tsz (tspin0): Tミノは必ずT-Spinをする（ライン消去をしなくてもOK）。その他のミノはハードドロップ diff --git a/docs/source/contents/path/main.rst b/docs/source/contents/path/main.rst index c3eb7b25..c1141faf 100644 --- a/docs/source/contents/path/main.rst +++ b/docs/source/contents/path/main.rst @@ -215,7 +215,7 @@ noの場合、解自体から抽出したパターンをもとに、重複をチ * softdrop: ソフトドロップ＋回転入れ（制限なし） * harddrop: ハードドロップのみ -* 180: ソフトドロップ＋180度回転入れ（使用するには、180度回転に対応したkicksを選択する必要があります） +* 180 (softdrop180): ソフトドロップ＋180度回転入れ（使用するには、180度回転に対応したkicksを選択する必要があります） * t-softdrop: Tミノはソフトドロップ、その他のミノはハードドロップ * tsz (tspin0): Tミノは必ずT-Spinをする（ライン消去をしなくてもOK）。その他のミノはハードドロップ diff --git a/docs/source/contents/percent/main.rst b/docs/source/contents/percent/main.rst index 05bdf4af..f479e1ce 100644 --- a/docs/source/contents/percent/main.rst +++ b/docs/source/contents/percent/main.rst @@ -110,7 +110,7 @@ v115のテト譜データにのみ対応。 * softdrop: ソフトドロップ＋回転入れ（制限なし） * harddrop: ハードドロップのみ -* 180: ソフトドロップ＋180度回転入れ（使用するには、180度回転に対応したkicksを選択する必要があります） +180 (softdrop180): ソフトドロップ＋180度回転入れ（使用するには、180度回転に対応したkicksを選択する必要があります） * t-softdrop: Tミノはソフトドロップ、その他のミノはハードドロップ ``-th``, ``--threads`` [default: -1] diff --git a/docs/source/contents/ren/main.rst b/docs/source/contents/ren/main.rst index 40cc0657..535e911c 100644 --- a/docs/source/contents/ren/main.rst +++ b/docs/source/contents/ren/main.rst @@ -97,7 +97,7 @@ v115のテト譜データにのみ対応。 * softdrop: ソフトドロップ＋回転入れ（制限なし） * harddrop: ハードドロップのみ -* 180: ソフトドロップ＋180度回転入れ（使用するには、180度回転に対応したkicksを選択する必要があります） +* 180 (softdrop180): ソフトドロップ＋180度回転入れ（使用するには、180度回転に対応したkicksを選択する必要があります） * t-softdrop: Tミノはソフトドロップ、その他のミノはハードドロップ diff --git a/docs/source/contents/setup/main.rst b/docs/source/contents/setup/main.rst index 52c1bbe9..b6ec97a1 100644 --- a/docs/source/contents/setup/main.rst +++ b/docs/source/contents/setup/main.rst @@ -416,7 +416,7 @@ v115のテト譜データにのみ対応。 * softdrop: ソフトドロップ＋回転入れ（制限なし） * harddrop: ハードドロップのみ -* 180: ソフトドロップ＋180度回転入れ（使用するには、180度回転に対応したkicksを選択する必要があります） +* 180 (softdrop180): ソフトドロップ＋180度回転入れ（使用するには、180度回転に対応したkicksを選択する必要があります） * t-softdrop: Tミノはソフトドロップ、その他のミノはハードドロップ ``-e``, ``--exclude`` [default: none] diff --git a/src/main/java/entry/cover/CoverSettings.java b/src/main/java/entry/cover/CoverSettings.java index fb5d10b8..fdf6b5aa 100644 --- a/src/main/java/entry/cover/CoverSettings.java +++ b/src/main/java/entry/cover/CoverSettings.java @@ -126,6 +126,7 @@ void setDropType(String type) throws FinderParseException { this.dropType = DropType.Harddrop; return; case "180": + case "softdrop180": this.dropType = DropType.Softdrop180; return; case "tsoft": diff --git a/src/main/java/entry/path/PathSettings.java b/src/main/java/entry/path/PathSettings.java index e69d1d81..b388ddac 100644 --- a/src/main/java/entry/path/PathSettings.java +++ b/src/main/java/entry/path/PathSettings.java @@ -252,6 +252,7 @@ void setDropType(String type) throws FinderParseException { this.dropType = DropType.Harddrop; return; case "180": + case "softdrop180": this.dropType = DropType.Softdrop180; return; case "tsoft": diff --git a/src/main/java/entry/percent/PercentSettings.java b/src/main/java/entry/percent/PercentSettings.java index 8c57d714..7c83649a 100644 --- a/src/main/java/entry/percent/PercentSettings.java +++ b/src/main/java/entry/percent/PercentSettings.java @@ -135,6 +135,7 @@ void setDropType(String type) throws FinderParseException { this.dropType = DropType.Harddrop; return; case "180": + case "softdrop180": this.dropType = DropType.Softdrop180; return; case "tsoft": diff --git a/src/main/java/entry/ren/RenSettings.java b/src/main/java/entry/ren/RenSettings.java index 0a2bcfc9..2fc0c69f 100644 --- a/src/main/java/entry/ren/RenSettings.java +++ b/src/main/java/entry/ren/RenSettings.java @@ -93,6 +93,7 @@ void setDropType(String type) throws FinderParseException { this.dropType = DropType.Harddrop; return; case "180": + case "softdrop180": this.dropType = DropType.Softdrop180; return; case "tsoft": diff --git a/src/main/java/entry/setup/SetupSettings.java b/src/main/java/entry/setup/SetupSettings.java index df1fa9d0..d68dffd6 100644 --- a/src/main/java/entry/setup/SetupSettings.java +++ b/src/main/java/entry/setup/SetupSettings.java @@ -289,6 +289,7 @@ void setDropType(String type) throws FinderParseException { this.dropType = DropType.Harddrop; return; case "180": + case "softdrop180": this.dropType = DropType.Softdrop180; return; case "tsoft": diff --git a/src/test/java/_usecase/cover/CoverTetfuCaseTest.java b/src/test/java/_usecase/cover/CoverTetfuCaseTest.java index 456ac737..16f27bb0 100644 --- a/src/test/java/_usecase/cover/CoverTetfuCaseTest.java +++ b/src/test/java/_usecase/cover/CoverTetfuCaseTest.java @@ -832,7 +832,7 @@ void use180Rotation() throws Exception { assertThat(log.getOutput()).contains(Messages.foundAndSolutions(0, all)); } { - String command = String.format("cover --patterns [TJ]! -d 180 --tetfu %s --kicks @nullpomino180", fumen); + String command = String.format("cover --patterns [TJ]! -d softdrop180 --tetfu %s --kicks @nullpomino180", fumen); Log log = RunnerHelper.runnerCatchingLog(() -> EntryPointMain.main(command.split(" "))); // Log