Commit 08d37ca1 authored by Jonathan Shahen's avatar Jonathan Shahen
Browse files

writeFile now returns if it actually wrote the file and a new function returns the SMV filename

parent 88ca1be6
......@@ -458,13 +458,18 @@ public class WriteNuSMV {
done = true;
public void writeFile() throws IOException {
public boolean writeFile() throws IOException {
if (done) {
FileWriter file = new FileWriter(filename);
return true;
return false;
public String getFilename() {
return filename;
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