From ed1a71b9add0b7d3b871cdd696aef86bd2262646 Mon Sep 17 00:00:00 2001 From: Jonathan Shahen Date: Wed, 4 Nov 2015 17:08:04 -0500 Subject: [PATCH] cleaning up OptionString (lexicographical ordering) --- src/mohawk/converter/OptionString.java | 33 +++++++++++++++++--------- 1 file changed, 22 insertions(+), 11 deletions(-) diff --git a/src/mohawk/converter/OptionString.java b/src/mohawk/converter/OptionString.java index ba30a81..b7afbef 100644 --- a/src/mohawk/converter/OptionString.java +++ b/src/mohawk/converter/OptionString.java @@ -1,17 +1,28 @@ package mohawk.converter; 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"), SPECEXT("specext"), BULK("bulk"), TO_ASAPTIME_NSA( - "to_asaptime_nsa"), - TO_ASAPTIME_SA("to_asaptime_sa"), TO_TROLE("to_trole"), TO_TRULE( - "to_trule"), - TO_MOHAWK("to_mohawk"), TO_MOHAWK_T("to_mohawk_t"), TO_ALL( - "to_all"), - SHORT_ROLENAMES("shortnames"); + AUTHORS("authors"), + BULK("bulk"), + CHECKNUSMV("checknusmv"), + HELP("help"), + LINESTR("linstr"), + LOGLEVEL("loglevel"), + LOGFILE("logfile"), + LOGFOLDER("logfolder"), + MAXW("maxw"), + NOHEADER("noheader"), + RESULTSFILE("output"), + SPECFILE("input"), + SPECEXT("specext"), + SHORT_ROLENAMES("shortnames"), + TO_ALL("to_all"), + TO_ASAPTIME_NSA("to_asaptime_nsa"), + TO_ASAPTIME_SA("to_asaptime_sa"), + TO_MOHAWK("to_mohawk"), + TO_MOHAWK_T("to_mohawk_t"), + TO_TROLE("to_trole"), + TO_TRULE("to_trule"), + VERSION("version"); private String _str; -- GitLab