Az előzetes ellenőrzés célja
Egy ellenőrzés, amely átnézi a megkötéseidet és igazolja, hogy egy órarend egyáltalán felépíthető-e, még mielőtt egy estét töltenél a felesleges próbálkozással.
A FET sokáig próbálkozhat sikertelenül. Egyetlen szabály, ami egy órát elhelyezhetetlenné tesz, nem jelzi magát — a megoldó egyszerűen keres, és keres, majd végül feladja vagy nem produkál semmit.
Az előzetes ellenőrzés elolvassa a szabályaidat és először elvégzi a számításokat. Ahol bizonyítani tudja, hogy egy órarend lehetetlen, másodpercek alatt megmondja, és megnevezi a felelős szabályokat.
Hol található
A Pre-flight (Előzetes ellenőrzés) az órarend adatképernyőjén, a korlátozásokkal együtt található. Azok számára elérhető, akik szerkeszthetik az órarendet — ez egy eszköz a szabályokat összeállító személy számára.
Minden korlátozási szakasz tetején található egy egysoros összefoglaló is, így munka közben látod a dolgok állapotát, nem csak akkor, ha kifejezetten keresed.
A jelentés: egy ítélet, majd minden megállapítás a mögötte álló szabályokkal.
Hol fut a számítás
Az ellenőrzés nem a böngésződben fut. A böngésződ elolvassa a szabályaidat, és elküldi az összefoglalót a szerverünknek. A szerverünk elvégzi a számításokat, és visszaküldi a megállapításokat.
Az összefoglaló nem tartalmaz neveket. A tanárok, termek, tantárgyak és tanulócsoportok számokként utaznak, és a böngésződ visszahelyezi a neveket, mielőtt megjeleníti a jelentést.
Nem tárolunk semmit az ellenőrzésből. Az ellenőrzés minden megnyitáskor újra elkészíti a jelentést az aktuális szabályaidból.
Ennek van egy gyakorlati következménye, amit érdemes tudni: elég gyors ahhoz, hogy munkaeszközként használd. Változtass meg egy szabályt, gyere vissza, nézd meg újra.
Mit olvas valójában
A korlátozásaid, ahogy vannak — nem egy megoldott órarend. Soha nem helyez el órát, és soha nem módosít semmit.
Amit tesz, az a megmaradt helyeddel kapcsolatos számítás:
- Hány órára van lekötve egy tanár, szemben azzal, hogy hány időrés marad számára elérhető.
- Mely kezdési időpontokat vehet fel jogszerűen egy óra, miután minden rá vonatkozó szabályt alkalmaztak.
- Hogy két, feltétlenül megtartandó órát ugyanabba az időrésbe kényszerítenek-e, miközben ugyanazon a tanáron, termen vagy osztályon osztoznak.
- Hogy egy óracsoport több különálló napot igényel-e, mint amennyit a hét tartalmaz.
Amikor a számítás nem hagy helyet, az nem a nehézségről szóló vélemény. Ez egy bizonyíték, és az ellenőrzés ezt mondja.
Mit tegyünk vele
Futtasd le, mielőtt projektet küldesz a FET-nek, és újra egy nagyobb változtatás után. Egy tiszta jelentés nem ígéret arra, hogy a FET gyorsan megoldja — lásd Amit nem tud megmondani — de egy olyan jelentés, amelyben bizonyítottan lehetetlen megállapítás található, azt mondja, hogy a megoldás nem sikerülhet, amit érdemes előbb tudni, mint utóbb.
A jelentés négy részből áll
A jelentés nem osztályozza a megállapításokat aszerint, hogy mennyire súlyosnak tűnnek. Aszerint rendezi őket, amit bizonyítani tud, négyféle kategóriába: Bizonyítottan lehetetlen, Hibák, Mi teszi nehézzé ezt a fájlt, és Mi futott ezen a fájlon.
Minden kategória egy fül, és minden fülnek saját számlálója van. Egy üres kategóriának egyáltalán nincs füle, így egy "csendes" fájl kevesebb fület mutat, mint egy "forgalmas". Az első fül, amelyben van valami, magától nyílik meg.
Egy sok megállapítást tartalmazó csoport listaként jeleníti meg őket, nem kártyákként. Válassz ki egy sort, hogy lásd a mögötte lévő számításokat a lista mellett.
Csak az első kategória bizonyítja, hogy a FET nem tudja elkészíteni az órarendet. Lásd A megállapítások négy típusa.
Kapcsolatok
A Kapcsolatok egy másik kérdésre ad választ: nem az, hogy mi a hiba, hanem az, hogy mi kapcsolódik ehhez a tanárhoz.
Válassz ki egy tanárt, egy tanulócsoportot vagy egy termet. Megkapod az aktivitásaikat, az őket megnevező szabályokat, azokat az erőforrásokat, amelyekkel termet vagy időrészt osztanak meg, és egy képet ezekről a kapcsolatokról. Válassz ki bármelyik csomópontot a képen, hogy oda mozgassa a nézetet.
Egy csomópont színe megmondja, mi az — egy tanár, egy tanulócsoport, egy terem vagy egy szabály. Egy csomópont körüli gyűrű azt jelzi, hogy az ellenőrzés talált valamit vele kapcsolatban. Egy tömör piros gyűrű hibát jelöl. Egy szaggatott borostyánsárga gyűrű figyelmeztetést jelöl. A legtöbb fájlnak egyáltalán nincs gyűrűje, és ez a normális állapot.
Két szabály közötti szaggatott szürke vonal azt jelenti, hogy kétszer mondják ugyanazt.
Azok az entitások, amelyekhez semmi sem kapcsolódik, rejtve maradnak, amíg nem kéred őket, mert egy nagy fájl sokat deklarál, amelyek nem tartalmaznak aktivitásokat.
Hova tovább
- A megállapítások négy típusa — mit ígér valójában minden típus.
- Amit talál, annak javítása
- Amit nem tud megmondani