Commit d3d07284 authored by Jonathan Shahen's avatar Jonathan Shahen

Adds the return value from NuSMV to a variable and provides a function to retrieve it

parent 5c23d539
......@@ -47,6 +47,8 @@ public class RolesAbsRefine {
public boolean skipSMVFile = false;
private Integer returnValue = null;
public RolesAbsRefine(RBACInstance inRbac) {
mode = NuSMVMode.BMC;// Default mode is BMC
......@@ -117,6 +119,8 @@ public class RolesAbsRefine {
}
}
returnValue = NuSMV.execProcess.exitValue();
return result;
}
......@@ -222,8 +226,8 @@ public class RolesAbsRefine {
try {
while (refine()) {
WriteRBACSpec writer = new WriteRBACSpec("rbac.st");
try {
WriteRBACSpec writer = new WriteRBACSpec("rbac.st");
writer.Write2File(nextinstance, "logs/rbacinstancefile" + fileno + ".txt");
} catch (IOException e1) {
e1.printStackTrace();
......@@ -484,4 +488,9 @@ public class RolesAbsRefine {
return result;
}
public String getReturnValue() {
if (returnValue != null) { return "" + returnValue; }
return "No Return Value Found";
}
}
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