Add "softdrop180" as an alias for "180"

knewjade · Dec 11, 2022 · c9112e7 · c9112e7
1 parent 45bbf74
commit c9112e7
Show file tree

Hide file tree

Showing 11 changed files with 11 additions and 6 deletions.
diff --git 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
@@ -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
@@ -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
@@ -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
@@ -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
@@ -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
@@ -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
@@ -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
@@ -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
@@ -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
@@ -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