Commit 14f4e3c8 authored by Jonathan Shahen's avatar Jonathan Shahen

removed useless option

parent cd3e2224
......@@ -59,7 +59,7 @@ public class ConverterInstance {
setupUserPreferenceOptions(cmd, options, args);
setupSmvSpecOptions(cmd, options, args);
setupSpecOptions(cmd, options, args);
setupResultOptions(cmd, options, args);
......@@ -321,21 +321,7 @@ public class ConverterInstance {
return false;
}
private void setupSmvSpecOptions(CommandLine cmd, Options options, String[] args) {
// Load in SPEC Files
// SMV File
if (cmd.hasOption("smvfile")) {
if (cmd.getOptionValue("smvfile").equals("n")) {
logger.fine("[OPTION] Using temporary SMV Files - will be deleted after each use");
specHelper.smvDeleteFile = true;
} else {
logger.fine("[OPTION] Using a specific SMV File: " + cmd.getOptionValue("smvfile"));
specHelper.smvFilepath = cmd.getOptionValue("smvfile");
}
} else {
logger.fine("[OPTION] No SMV Filename included, saving file under: " + specHelper.smvFilepath);
}
private void setupSpecOptions(CommandLine cmd, Options options, String[] args) {
// Grab the SPEC file
if (cmd.hasOption("rbacspec")) {
logger.fine("[OPTION] Using a specific SPEC File: " + cmd.getOptionValue("rbacspec"));
......
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