make --hdr_digits configurable

This commit is contained in:
Jonathan Shook
2020-05-20 11:18:30 -05:00
parent a63ab7dff6
commit 548b3a4e83
4 changed files with 35 additions and 3 deletions

View File

@@ -81,6 +81,8 @@ public class NBCLI {
ConsoleLogging.enableConsoleLogging(options.wantsConsoleLogLevel(), options.getConsoleLoggingPattern());
ActivityMetrics.setHdrDigits(options.getHdrDigits());
if (options.wantsBasicHelp()) {
System.out.println(loadHelpFile("basic.md"));
System.exit(0);

View File

@@ -53,6 +53,7 @@ public class NBCLIOptions {
private static final String WAIT_MILLIS = "waitmillis";
private static final String EXPORT_CYCLE_LOG = "--export-cycle-log";
private static final String IMPORT_CYCLE_LOG = "--import-cycle-log";
private static final String HDR_DIGITS = "--hdr-digits";
// Execution Options
@@ -127,7 +128,7 @@ public class NBCLIOptions {
private final List<String> wantsToIncludePaths = new ArrayList<>();
private Scenario.Engine engine = Scenario.Engine.Graalvm;
private boolean graaljs_compat = false;
private int hdr_digits = 4;
public NBCLIOptions(String[] args) {
parse(args);
@@ -213,6 +214,10 @@ public class NBCLIOptions {
arglist.removeFirst();
logsDirectory = readWordOrThrow(arglist, "a log directory");
break;
case HDR_DIGITS:
arglist.removeFirst();
hdr_digits = Integer.parseInt(readWordOrThrow(arglist, "significant digits"));
break;
case LOGS_MAX:
arglist.removeFirst();
logsMax = Integer.parseInt(readWordOrThrow(arglist, "max logfiles to keep"));
@@ -531,6 +536,10 @@ public class NBCLIOptions {
// }
public int getHdrDigits() {
return hdr_digits;
}
public String getProgressSpec() {
ProgressSpec spec = parseProgressSpec(this.progressSpec);// sanity check
if (spec.indicatorMode == IndicatorMode.console