Commit 51c85085 authored by Jonathan Shahen's avatar Jonathan Shahen

Organize OptionString

parent 03df0e3b
package mohawk;
public enum OptionString {
HELP("help"), AUTHORS("authors"), VERSION("version"), CHECKNUSMV("checknusmv"), LOGLEVEL("loglevel"), LOGFILE(
"logfile"),
LOGFOLDER("logfolder"), NOHEADER("noheader"), RESULTSFILE("output"), MAXW("maxw"), LINESTR(
"linstr"),
SPECFILE("input"), SMVFILE("smvfile"), SPECEXT("specext"), BULK("bulk"), NOSLICING("noslicing"), SLICEQUERY(
"slicequery"),
MODE("mode"), TIMEOUT("timeout"), RUN("run"), NUSMVPATH("nusmv"), SKIPREFINE("skiprefine");
HELP("help"),
AUTHORS("authors"),
VERSION("version"),
CHECKNUSMV("checknusmv"),
LOGLEVEL("loglevel"),
LOGFILE("logfile"),
LOGFOLDER("logfolder"),
NOHEADER("noheader"),
RESULTSFILE("output"),
MAXW("maxw"),
LINESTR("linstr"),
SPECFILE("input"),
SMVFILE("smvfile"),
SPECEXT("specext"),
BULK("bulk"),
NOSLICING("noslicing"),
SLICEQUERY("slicequery"),
MODE("mode"),
TIMEOUT("timeout"),
RUN("run"),
NUSMVPATH("nusmv"),
SKIPREFINE("skiprefine");
private String _str;
......
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