A generic interface would allow users to connect plugins to the extension without the need to manually couple them in the extension code. Something like the "add library" interface is envisioned. However, we will need to discuss the scope of plugins, e.g., are they limited to translations? If so it will be fairly easy, but otherwise, we will need to figure out how data should be transmitted between the client and the plugin.
For vdm2isa, we know that it is a translation plugin, hence we can use the SLSP translate protocol for the communication, but what about other plugins?
A generic interface would allow users to connect plugins to the extension without the need to manually couple them in the extension code. Something like the "add library" interface is envisioned. However, we will need to discuss the scope of plugins, e.g., are they limited to translations? If so it will be fairly easy, but otherwise, we will need to figure out how data should be transmitted between the client and the plugin.
For vdm2isa, we know that it is a translation plugin, hence we can use the SLSP translate protocol for the communication, but what about other plugins?