Skip to content

GitLab

C
Conversion
Commit 7d4cb5f7 authored by Vladislav Kiselev's avatar Vladislav Kiselev
Browse files
Options

Исправлено чтение аргументов.

parent c9b92f6d
Show whitespace changes
Inline Side-by-side
Showing with 7 additions and 6 deletions
src/inport/Main.java
View file @ 7d4cb5f7
...@@ -135,12 +135,13 @@ public class Main { ...@@ -135,12 +135,13 @@ public class Main {
break; break;
} }
case "debug" : { case "debug" : {
ConversionType t = (args.length == 2) ? ConversionType.WithoutSplitting ConversionType t = (args.length == 1) ? ConversionType.WithoutSplitting
: ConversionType.fromString(args[2]); : ConversionType.fromString(args[1]);
if (t.equals(ConversionType.Undefined)) { if (t.equals(ConversionType.Undefined)) {
System.out.println(undefinedTypeErrorMess(args[2])); System.out.println(undefinedTypeErrorMess(args[1]));
return; return;
} }
System.out.println(t.text);
debug(t.solver, DEFAULT_TIME_LIMIT_S); debug(t.solver, DEFAULT_TIME_LIMIT_S);
break; break;
} }
...@@ -149,10 +150,10 @@ public class Main { ...@@ -149,10 +150,10 @@ public class Main {
break; break;
} }
case "testing" : case "testing" :
ConversionType t = (args.length == 2) ? ConversionType.WithoutSplitting ConversionType t = (args.length == 1) ? ConversionType.WithoutSplitting
: ConversionType.fromString(args[2]); : ConversionType.fromString(args[1]);
if (t.equals(ConversionType.Undefined)) { if (t.equals(ConversionType.Undefined)) {
System.out.println(undefinedTypeErrorMess(args[2])); System.out.println(undefinedTypeErrorMess(args[1]));
return; return;
} }
testGroup("with_typing", t.solver, DEFAULT_TIME_LIMIT_S); testGroup("with_typing", t.solver, DEFAULT_TIME_LIMIT_S);
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment