Language Server pro WooWoo dokumenty
WooWoo Language Server
Type of document
diplomová prácemaster thesis
Author
Michal Janeček
Supervisor
Kalvoda Tomáš
Opponent
Guth Ondřej
Field of study
Softwarové inženýrstvíStudy program
InformatikaInstitutions assigning rank
katedra softwarového inženýrstvíRights
A university thesis is a work protected by the Copyright Act. Extracts, copies and transcripts of the thesis are allowed for personal use only and at one?s own expense. The use of thesis should be in compliance with the Copyright Act http://www.mkcr.cz/assets/autorske-pravo/01-3982006.pdf and the citation ethics http://knihovny.cvut.cz/vychova/vskp.htmlVysokoškolská závěrečná práce je dílo chráněné autorským zákonem. Je možné pořizovat z něj na své náklady a pro svoji osobní potřebu výpisy, opisy a rozmnoženiny. Jeho využití musí být v souladu s autorským zákonem http://www.mkcr.cz/assets/autorske-pravo/01-3982006.pdf a citační etikou http://knihovny.cvut.cz/vychova/vskp.html
Metadata
Show full item recordAbstract
Tato diplomová práce vylepšuje proces tvorby obsahu v jazyce WooWoo, který je hojně využíván na Fakultě informačních technologií ČVUT ke tvorbě matematických studijních materiálů. Práce poskytuje ucelený přehled historie, vize, syntaxe a sémantiky jazyka WooWoo a zavádí koncept "WooWoo dialektů"--klíčovou abstrakci pro vývoj jazykových nástrojů pro WooWoo, při zachování jeho doménově agnostické povahy. Hlavním přínosem této práce je návrh a implementace jazykového serveru pro WooWoo, který implementuje protokol Language Server Protocol (LSP) a zahrnuje Tree-sitter gramatiku, tvořící základ pro efektivní parser. Vytvořený jazykový server nabízí několik funkcí, včetně detekce syntaktických chyb, auto-doplnění a funkce přechodu k definici. Práce dále podrobně popisuje integraci jazykového serveru do rozšíření pro Visual Studio Code a jeho distribuci na populárních platformách, což zajišťuje snadnou dostupnost a instalaci. V době zveřejnění této práce jsou již tyto nástroje aktivně využívány autory ve WooWoo. This thesis enhances the authoring experience for the WooWoo language, extensively used at the Faculty of Information Technology at CTU to create mathematical study materials. It offers a comprehensive exploration of WooWoo's history, vision, syntax, and semantics, and introduces the concept of 'WooWoo Dialects'--a crucial abstraction for developing language tools for WooWoo while preserving its domain-agnostic nature. The core contribution of this work is the design and implementation of a Language Server Protocol (LSP) developed specifically for WooWoo, featuring a Tree-sitter grammar that underpins an efficient parser. This Language Server is equipped with several features, including syntax error detection, auto-completion, and go-to-definition. Furthermore, the thesis details the integration of the Language Server into a Visual Studio Code extension and its deployment on popular marketplaces, ensuring easy accessibility and installation. As of the publication of this thesis, the developed tools are already being actively used by WooWoo authors.
Collections
- Diplomové práce - 18102 [1005]
Related items
Showing items related by title, author, creator and subject.
-
P4 jazykový server
Author: Ondřej Kvapil; Supervisor: Puš Viktor; Opponent: Křikava Filip
(České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2023-06-09)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 ... -
Systém podpory studia cizích jazyků
Author: Zoudun Jiří; Supervisor: Pulkert Dalibor; Opponent: Hunka Jiří
(České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2017-01-11)Tato magisterská práce se zabývá kompletním procesem vývoje IT systému skládajícího se ze serverové části, mobilní aplikace a rozšíření pro prohlížeč Google Chrome. Celý systém je určen pro podporu studia cizích jazyků. ... -
Analýza datového skladu řetězce lékáren a aplikace pro reportování
Author: Trčka Jakub; Supervisor: Bittner Matyáš; Opponent: Quast Karel
(České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2017-05-10)Práce se zaměřuje na proces zavedení nástroje pro datovou analytiku v malém řetězci lékáren. Proces začíná analýzou podniku a jeho datových zdrojů. Část práce je věnována teoretickému základu v oblasti datových skladů. S ...