b-language-extension README
Compiler support for B via ProB. You need a nightly build of ProB to fully use this extension. Visit https://www3.hhu.de/stups/prob/ to get the latest version.
Features
Requirements
- Latest nightly build of ProB.
- Java v.8 or higher. By default java home is considerd to be accessible by 'java' in terminal/powershell
Extension Settings
This extension contributes the following settings:
-
languageServer.probHome: to set the path to ProB -
languageServer.wdChecks: to enable/disable WD (Well-Definedness) Checks. -
languageServer.strictChecks: to enable/disable stricter Checks. -
languageServer.performanceHints: to enable/disable performance-related Hints. -
languageServer.debugMode: to enable/disable the server log
To ensure expected behavior deactivate/activate settings in the User and Worksapce Tab.
Bugs
- please open an issue at https://github.com/SeeBasTStick/b-language-extension
Server
The language server can be found here https://github.com/SeeBasTStick/b-language-server.
Future plans
- Linter Support (via Server, is still in development by Mircosoft https://microsoft.github.io/language-server-protocol/specifications/specification-3-16/)
- Quickfix support aká Code Completion
- Completion and Feedback via ProB Java kernel instead of cli calls. (will improve performance and give access to more features)
Release Notes
1.1.1
- fixed bug where problems from sub machines where shown in the main machine
- added a opical feedback when an evaluation is finished
- added .rmch file extensions (still pretty much a prototype regarding coloring)
- added file icons to identify files which can be processed by this plugin, note that icon themes are exclusive, selecting the new theme will disable all other themes: https://github.com/microsoft/vscode/issues/14662