From 7d4cb5f7ccd0d60172a8a6a017cd8a3266e66a53 Mon Sep 17 00:00:00 2001 From: Vlad_kv Date: Thu, 11 Jul 2019 14:04:44 +0300 Subject: [PATCH] =?UTF-8?q?=D0=98=D1=81=D0=BF=D1=80=D0=B0=D0=B2=D0=BB?= =?UTF-8?q?=D0=B5=D0=BD=D0=BE=20=D1=87=D1=82=D0=B5=D0=BD=D0=B8=D0=B5=20?= =?UTF-8?q?=D0=B0=D1=80=D0=B3=D1=83=D0=BC=D0=B5=D0=BD=D1=82=D0=BE=D0=B2.?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit --- src/inport/Main.java | 13 +++++++------ 1 file changed, 7 insertions(+), 6 deletions(-) diff --git a/src/inport/Main.java b/src/inport/Main.java index d69cc35..7d6026c 100644 --- a/src/inport/Main.java +++ b/src/inport/Main.java @@ -135,12 +135,13 @@ public class Main { break; } case "debug" : { - ConversionType t = (args.length == 2) ? ConversionType.WithoutSplitting - : ConversionType.fromString(args[2]); + ConversionType t = (args.length == 1) ? ConversionType.WithoutSplitting + : ConversionType.fromString(args[1]); if (t.equals(ConversionType.Undefined)) { - System.out.println(undefinedTypeErrorMess(args[2])); + System.out.println(undefinedTypeErrorMess(args[1])); return; } + System.out.println(t.text); debug(t.solver, DEFAULT_TIME_LIMIT_S); break; } @@ -149,10 +150,10 @@ public class Main { break; } case "testing" : - ConversionType t = (args.length == 2) ? ConversionType.WithoutSplitting - : ConversionType.fromString(args[2]); + ConversionType t = (args.length == 1) ? ConversionType.WithoutSplitting + : ConversionType.fromString(args[1]); if (t.equals(ConversionType.Undefined)) { - System.out.println(undefinedTypeErrorMess(args[2])); + System.out.println(undefinedTypeErrorMess(args[1])); return; } testGroup("with_typing", t.solver, DEFAULT_TIME_LIMIT_S); -- GitLab