This is a VS Code extension that provides language support for the "DSRV" language. The project was developed as part of my Bachlor's thesis as Aarhus University.
Features
The extension provides the following features:
Syntax Highlighting: The extension provides syntax highlighting for the "DSRV" language, making it easier to read and write code in this language.
Code Completion: The extension provides code completion suggestions for the "DSRV" language, while not context aware yet, it can still provide suggestions for keywords and functions in the language.
Code Running: The extension include two ways to run code in the "DSRV" language.
Error Checking: The extension provides error checking for the "DSRV" language, highlighting syntax errors and providing feedback to the user.
Requirements
While the language server is fully functional without any additional dependencies, the code running capabilities require the user to have the trustworthiness Checker repository compiled and the executable path added in the settings of the extension, as the extension does not include the binary or source code in the project.
Extension Settings
This extension contributes the following settings:
dsrv.binaryPath: (Optional) Provide the path to the trustworthiness checker executable to enable code running capabilities in the extension. If not provided, the code running features will not work
License
The project is licensed under GPL-3.0. For more details, please see the LICENSE file in the project repository.