search

overturetool / vdm-vscode

Visual Studio Code extension for VDM language support
GNU General Public License v3.0
21 stars 6 forks source link

Plugin configuration is incorrect for more than one plugin #195

Open nickbattle opened 1 year ago

nickbattle commented 1 year ago

The lspx.plugins property is intended to be a CSV list of class names, but if you configure more than one plugin (ie. you set the vdm-vscode.server.plugins property) the lspx.plugins uses a semi-colon separator. That causes the following error:

11:32:27.607: [SEVERE][1] ERROR: Plugin class examples.ExamplePlugin;plugins.ISAPluginSL not found

I can change the server parsing to use comma or smi-colon as a work-around, but the original intent here was to use commas, as it does elsewhere in the configuration (like the vdmj.parser.external_readers value).

nickbattle commented 1 year ago

The parsing is now tweaked in VDMJ's development branch, and works fine. So this issue is low priority!