Omezení oboru hodnot výrazu v AST z definičních oborů proměnných
Range restriction of expression in AST from a domain of variables
Typ dokumentu
bakalářská prácebachelor thesis
Autor
Jan Pokorný
Vedoucí práce
Plachý Štěpán
Oponent práce
Janoušek Jan
Studijní obor
Teoretická informatikaStudijní program
InformatikaInstituce přidělující hodnost
katedra teoretické informatikyPrá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 bakalářská práce se zabývá omezením možných hodnot výrazu reprezentovaného pomocí abstraktního syntaktického stromu na základě omezení hodnot vstupních proměnných. Výrazy mohou obsahovat hodnoty různých datových typů. Práce představuje průchod abstraktním syntaktickým stromem, jehož výsledek obsahuje všechny hodnoty, které mohly vzniknout vyhodnocením výrazu s každým ohodnocením proměnných splňující omezení. Práce se zaobírá návrhem potřebných datových struktur a vyhodnocením vybraných funkcí. Navržený průchod je implementován do vyhodnocovače výrazů elektronické klasifikace Grades, který podporuje datové typy číslo, řetězec a boolean. Rozšíření vyhodnocovače umožní přídání funkcionality do aplikace Grades pro zjištění všech potencionálních klasifikací v jednotlivých předmětech a také pro automatizovanou kontrolu definice hodnocení. Aim of this bachelor thesis is to restrict possible values of an expression represented by abstract syntax tree and based on restrictions of input variables. Expressions can contain values of different data types. This thesis introduces abstract syntax tree traversal, which results contain all values that could be acquired by evaluating expression with any of the variable values satisfying restrictions. The thesis discusses necessary data structures and the evaluation of selected functions. Designed traversal is implemented in expression evaluator in electronic classification application Grades, which supports data types number, string, and boolean. The extension of the expression evaluator will enable the addition of functionality to the Grades application for the identification of all possible classifications in individual subjects and also for the automated verification of the subject definition.
Kolekce
- Bakalářské práce - 18101 [337]