Commit 268f5b2d authored by Alfons Laarman's avatar Alfons Laarman

Update SpinS path convertion

parent 582d5597
......@@ -51,8 +51,8 @@ public class Compile {
final boolean verbose) {
try {
Preprocessor.setFilename(promFile.getName());
String path = promFile.getAbsolutePath();
Preprocessor.setDirname(path.substring(0, path.lastIndexOf("/")));
String path = promFile.getAbsoluteFile().getParent();
Preprocessor.setDirname(path);
System.out.print("Start parsing " + promFile.getName() + "...");
final Promela prom = new Promela(new FileInputStream(promFile));
......@@ -205,8 +205,8 @@ public class Compile {
if (preprocessor.isSet()) {
Preprocessor.setFilename(file.getName());
String path = file.getAbsolutePath();
Preprocessor.setDirname(path.substring(0, path.lastIndexOf("/")));
String path = file.getAbsoluteFile().getParent();
Preprocessor.setDirname(path);
PromelaTokenManager tm;
try {
tm = new PromelaTokenManager(null, new SimpleCharStream(new FileInputStream(file)));
......
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