Commit 421fe54e authored by Jonathan Shahen's avatar Jonathan Shahen

small changes

parent 524fe4bd
......@@ -85,5 +85,7 @@ public class ConverterCUI {
System.out.println(OptionString.TO_ALL.c() + OptionString.SPECFILE.c("data/tests/randomTest.mohawk.T")
+ OptionString.LOGLEVEL.c("debug") + OptionString.SPECEXT.c(fileExt.Mohawk_T) + "!exit");
System.out.println(OptionString.TO_ALL.c() + OptionString.SPECFILE.c("data/TestsuiteC") + OptionString.BULK.c()
+ OptionString.LOGLEVEL.c("debug") + OptionString.SPECEXT.c(fileExt.Mohawk_T) + "!exit");
}
}
......@@ -20,7 +20,6 @@ import mohawk.converter.to.asaptime.ConvertToASAPTimeNSA;
import mohawk.converter.to.asaptime.ConvertToASAPTimeSA;
import mohawk.converter.to.mohawk.ConvertToMohawk;
import mohawk.converter.to.tred.ConvertToTRole;
import mohawk.converter.to.tred.ConvertToTRule;
import mohawk.global.FileExtensions;
import mohawk.global.pieces.MohawkT;
......@@ -171,23 +170,23 @@ public class ConverterInstance {
logger.info("[CONVERTING] ...Done Converting to TRole");
}
if (cmd.hasOption(OptionString.TO_TRULE.toString()) || cmd.hasOption(OptionString.TO_ALL.toString())) {
logger.info("[CONVERTING] Converting to TRule... " + specFile.getName());
/* Timing */timing.startTimer("convertToTRule (" + i + ")");
ConvertToTRule toTRule = new ConvertToTRule();
toTRule.convert(m, specFile, true);
if (toTRule.lastError == null) {
logger.info("[SUCCESS] Successfully converted to TRule Input Format");
} else {
logger.warning("[FAILURE] Failed to convert to TRule Input Format; Error code "
+ toTRule.lastError);
}
/* Timing */timing.stopTimer("convertToTRule (" + i + ")");
logger.info("[CONVERTING] ...Done Converting to TRule");
}
// if (cmd.hasOption(OptionString.TO_TRULE.toString()) || cmd.hasOption(OptionString.TO_ALL.toString())) {
// logger.info("[CONVERTING] Converting to TRule... " + specFile.getName());
// /* Timing */timing.startTimer("convertToTRule (" + i + ")");
//
// ConvertToTRule toTRule = new ConvertToTRule();
// toTRule.convert(m, specFile, true);
//
// if (toTRule.lastError == null) {
// logger.info("[SUCCESS] Successfully converted to TRule Input Format");
// } else {
// logger.warning("[FAILURE] Failed to convert to TRule Input Format; Error code "
// + toTRule.lastError);
// }
//
// /* Timing */timing.stopTimer("convertToTRule (" + i + ")");
// logger.info("[CONVERTING] ...Done Converting to TRule");
// }
if (cmd.hasOption(OptionString.TO_MOHAWK.toString()) || cmd.hasOption(OptionString.TO_ALL.toString())) {
logger.info("[CONVERTING] Converting to Mohawk... " + specFile.getName());
......
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