navigation
hledat
Rozdíly
Zde můžete vidět rozdíly mezi vybranou verzí a aktuální verzí dané stránky.
|
courses:a4m33tvs:okruhy [2017/01/17 16:44] marekp11 [(c) Alloy - prvky syntaxe jazyka, signatura, pole, relace, množinové operátory, relační operátory, fakta, funkce, predikáty, tvrzení, jak se provádí analýza specifikace.] |
courses:a4m33tvs:okruhy [2025/01/03 18:29] (aktuální) |
||
|---|---|---|---|
| Řádek 691: | Řádek 691: | ||
| * 0 a vice argumentu | * 0 a vice argumentu | ||
| * navratova hodnota je vyraz | * navratova hodnota je vyraz | ||
| - | * vyvolavaji se pouze, pokud ne na ne odkazovano | + | * vyvolavaji se pouze, pokud je na ne odkazovano |
| * fun sisters [p: Person]: { { w: Woman | w in p.siblings } } | * fun sisters [p: Person]: { { w: Woman | w in p.siblings } } | ||
| Řádek 725: | Řádek 725: | ||
| Souvisi to s dedenim a polymorfismem. | Souvisi to s dedenim a polymorfismem. | ||
| - | - SDA - state definition anomaly - přepisící metoda má jinou def množinu než přepisovaná | + | - SDA - state definition anomaly - přepisující metoda má jinou def množinu než přepisovaná |
| - ITU - inconsistent type use - nepřepisování ale volání parent metod | - ITU - inconsistent type use - nepřepisování ale volání parent metod | ||
| - SDIH - podobné SDA ale potomek přepíše něco v prarodiči a rodič pak používá špatně definovanou proměnnou | - SDIH - podobné SDA ale potomek přepíše něco v prarodiči a rodič pak používá špatně definovanou proměnnou | ||
