use of eu.stamp_project.prettifier.options.UserInput in project dspot by STAMP-project.
the class Main method main.
public static void main(String[] args) {
UserInput inputConfiguration = new UserInput();
final CommandLine commandLine = new CommandLine(inputConfiguration);
commandLine.setUsageHelpWidth(120);
try {
commandLine.parseArgs(args);
} catch (Exception e) {
e.printStackTrace();
commandLine.usage(System.err);
return;
}
if (commandLine.isUsageHelpRequested()) {
commandLine.usage(System.out);
return;
}
if (commandLine.isVersionHelpRequested()) {
commandLine.printVersionHelp(System.out);
return;
}
if (inputConfiguration.shouldRunExample()) {
inputConfiguration.configureExample();
}
try {
Checker.preChecking(inputConfiguration);
} catch (InputErrorException e) {
e.printStackTrace();
commandLine.usage(System.err);
return;
}
DSpotState.verbose = inputConfiguration.isVerbose();
run(inputConfiguration);
}
Aggregations