Java/Klíčová slova: Porovnání verzí
Smazaný obsah Přidaný obsah
m přesun na správné místo |
+assert |
||
Řádek 25:
}
}}
== assert ==
Klíčové slovo assert se používá pro [[:w:aserce|aserce]], což jsou tvrzení o stavu programu, která by měla být pravdivá z hlediska jeho vnitřní logiky a jejichž případné nekontrolování nebude mít vliv na správný běh odladěného programu. Nepoužívají se například na ověřování správného vstupu od uživatele. Jejich syntaxe je:
{{Kód|jazyk=java|kód=
assert výraz1 [: výraz2];
}}
kde první výraz musí být vyhodnocen jako pravdivý, jinak je vyvolána [[../Výjimky|výjimka]] s druhým výrazem jako parametrem. Například
{{Kód|jazyk=java|kód=
assert seznam != null && seznam.délka() > 0 : "seznam je prázdný";
Object hodnota = seznam.get(0);
}}
Aserce, tedy kontrolování v nich uvedených podmínek, je možné zapnout či vypnout. Obvykle slouží k jejich zapnutí přepínače -ea nebo -enableassertions z příkazového řádku.
[[Kategorie:Kurz programování v Javě]]
| |||