Error when parsing mcrl2 file #1
Comments
|
Found what was causing the problem. In the const dir = vscode.workspace.workspaceFolders
? vscode.workspace.workspaceFolders.filter(x => x.name == vscode.workspace.name)[0].uri.fsPath
: px.dirname(vscode.window.activeTextEditor.document.fileName);I've solved it locally with the following: function toProjectPath(pathName='') {
const wsFolders = vscode.workspace.workspaceFolders ?
vscode.workspace.workspaceFolders.filter(x => x.name == vscode.workspace.name) : [];
const dir = wsFolders.length > 0
? wsFolders[0].uri.fsPath
: px.dirname(vscode.window.activeTextEditor.document.fileName);
const normalized = px.normalize(dir);
const trimmed = pathName.trim();
if (trimmed.length == 0) {
return normalized;
}
return px.join(normalized, trimmed);
}I'm getting an expected output now |
|
@keenstoat Hi, thank you for reporting this issue. Would you be willing to create a pull request to apply your fix? I will then release a new version of the extension. I will need some time to figure out how to do that again exactly, since it's been a while since I released the original version. |
|
@keenstoat It took me a while to get around to this, but I found some time to fix it and release a new version on the vscode marketplace. |
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Actual output
When running the example for the vending machine here: https://www.mcrl2.org/web/user_manual/tutorial/machine/index.html#first-variation
And running the "Parse" action button (also for the mCRL2:Parse command)
Then an error is displayed with the message:
Cannot read properties of undefined (reading 'uri')And the developer tools console shows the following error:
Expected output
Parsing the file with the tool shows a successful message:
Note
The error happens for all commands: parse, show graph, simulate, etc
The text was updated successfully, but these errors were encountered: