Development of a LibSL Library Specification Language Plugin for the Visual Studio Code editor

This diploma project is dedicated to developing a plugin for the Visual Studio Code integrated development environment for the LibSL library specification language. The goal of this work is to create a plugin and its associated language server and grammar, which will allow the user to work with the LibSL language. To achieve this goal, the following tasks were set: (1) Review existing library specification languages and modern tools for editing LibSL code; (2) Formulate the problem based on the analysis of analogs from the first chapter; (3) Design the architecture of the plugin and review the toolkit for its subsequent implementation; (4) Describe the implementation and internal structure of the plugin, as well as the translation process to perform the syntax highlighting function; (5) Test the implemented tool for working with LibSL and analyze the results. As a result of this work, a plugin for Visual Studio Code was developed, which allows users to utilize its extensive functionality for working with the LibSL language in software development. This functionality includes both text editing and interaction features, such as syntax highlighting or autocompletion, as well as additional functionality that works with the language's semantics, in this case, the visualization of graph automata. Future research and development may involve expanding the plugin's functionality as the LibSL language evolves, as well as incorporating additional features such as the ability to run the language server in a container. This work consists of 41 pages, 5 chapters, 9 figures, 3 listing. 21 source were used. Keywords: plugin; library specification languages; LibSL; language server; VSCode;