P4 jazykový server

Abstract

Jazyk P4 je používán pro konfiguraci programovatelných síťových procesorů. Navzdory své popularitě v odvětví Software Defined Networking ale zaostává co se podpory programátora týče. V této práci navrhujeme a implementujeme language server pro jazyk P4, který poskytuje podporu pro lexikální analýzu, preprocessing a syntaktickou analýzu. Na těchto základech staví podporu pro automatické doplňování, reporting chyb a navigaci ve zdrojovém kódu. Language server je implementován v jazyce Rust a integrován do vývojového prostředí Visual Studio Code.

The P4 language is used for configuring programmable network processors. Despite its popularity in the Software Defined Networking field, it suffers from a lack of modern developer tooling. In this thesis, we design and implement a language server for the P4 language, which provides support for lexical analysis, preprocessing, and parsing. On these foundations, we build support for autocompletion, error reporting, and navigation in the source code. The language server is implemented in the Rust language and integrated into the Visual Studio Code development environment.