Commit 12b7e0ab authored by Jonathan Shahen's avatar Jonathan Shahen

Better logging information for the files that are written out

parent a97e99ae
...@@ -113,6 +113,7 @@ public class ConvertToNuSMV extends ConvertTo { ...@@ -113,6 +113,7 @@ public class ConvertToNuSMV extends ConvertTo {
if (!convertedFile.exists()) { if (!convertedFile.exists()) {
convertedFile.createNewFile(); convertedFile.createNewFile();
} }
logger.info("Writing NuSMV file to:" + convertedFile.getAbsolutePath());
Files.write(convertedFile.toPath(), convertedStr.getBytes()); Files.write(convertedFile.toPath(), convertedStr.getBytes());
// Rule Mapping file // Rule Mapping file
...@@ -121,6 +122,7 @@ public class ConvertToNuSMV extends ConvertTo { ...@@ -121,6 +122,7 @@ public class ConvertToNuSMV extends ConvertTo {
if (!convertedFile.exists()) { if (!convertedFile.exists()) {
convertedFile.createNewFile(); convertedFile.createNewFile();
} }
logger.info("Writing Rule Mapping file to:" + convertedFile.getAbsolutePath());
Files.write(convertedFile.toPath(), ruleMappingStr.getBytes()); Files.write(convertedFile.toPath(), ruleMappingStr.getBytes());
// Role Mapping file // Role Mapping file
...@@ -129,6 +131,7 @@ public class ConvertToNuSMV extends ConvertTo { ...@@ -129,6 +131,7 @@ public class ConvertToNuSMV extends ConvertTo {
if (!convertedFile.exists()) { if (!convertedFile.exists()) {
convertedFile.createNewFile(); convertedFile.createNewFile();
} }
logger.info("Writing Role Mapping file to:" + convertedFile.getAbsolutePath());
Files.write(convertedFile.toPath(), roleMappingStr.getBytes()); Files.write(convertedFile.toPath(), roleMappingStr.getBytes());
/* Timing */timing.stopTimer(tPrefix + "_" + "Files.write"); /* Timing */timing.stopTimer(tPrefix + "_" + "Files.write");
} }
......
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