Úloha 5 – Predikáty a strážné podmínky (guard clauses) v rozhodování
Řešení úlohy
Co je zde splněno
-
Duplicitní a dlouhé podmínky převedeny do pojmenovaných predikátů (
jePrivilegovan,jeSouborPristupny,neniZakazano,jeAktivni,jeJenProAktivni,jeSouborVerejny). -
Použity guard clauses pro časné návraty (např. bez uživatele ihned
false). -
Kontrola rolí je řešena pomocí
Set+has(tabulkově řízená logika). -
U méně zřejmých částí jsou krátké komentáře a složitější výrazy rozděleny do mezivýsledků.
-
Zachováno původní chování – očekávané výstupy A–D odpovídají původní implementaci.