Omezení oboru hodnot výrazu v AST z definičních oborů proměnných

Abstract

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.