Language Server pro WooWoo dokumenty
WooWoo Language Server
Typ dokumentu
diplomová prácemaster thesis
Autor
Michal Janeček
Vedoucí práce
Kalvoda Tomáš
Oponent práce
Guth Ondřej
Studijní obor
Softwarové inženýrstvíStudijní program
InformatikaInstituce přidělující hodnost
katedra softwarového inženýrstvíPráva
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
Zobrazit celý záznamAbstrakt
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.
Kolekce
- Diplomové práce - 18102 [1005]
Související záznamy
Zobrazují se záznamy příbuzné na základě názvu, autora a předmětu.
-
P4 jazykový server
Autor: Ondřej Kvapil; Vedoucí práce: Puš Viktor; Oponent práce: 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ů
Autor: Zoudun Jiří; Vedoucí práce: Pulkert Dalibor; Oponent práce: 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í
Autor: Trčka Jakub; Vedoucí práce: Bittner Matyáš; Oponent práce: 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 ...