public class Options
extends java.lang.Object
Modifier and Type | Class and Description |
---|---|
static class |
Options.Constants |
Modifier and Type | Method and Description |
---|---|
static void |
dump()
Prints the settings (if in debug mode).
|
static OptionValues |
get()
Gets the options.
|
static void |
reset()
Resets all options.
|
static void |
set(OptionValues optionValues)
Sets all the options.
|
static void |
showUsage()
Prints a description of the available options.
|
public static void dump()
public static OptionValues get()
public static void reset()
public static void set(OptionValues optionValues)
public static void showUsage()
Copyright © 2009-2019 Aarhus University