Tvrdenie umožňuje testovať správnosť akýchkoľvek predpokladov, ktoré boli v programe urobené. Tvrdenie sa dosiahne pomocou tvrdiť vyhlásenie v jazyku Java. Pri vykonávaní tvrdenia sa verí, že je pravdivé. Ak zlyhá, JVM vyvolá chybu s názvom AssertionError. Používa sa hlavne na testovacie účely počas vývoja.
double to string java
The tvrdiť príkaz sa používa s boolovským výrazom a môže byť zapísaný dvoma rôznymi spôsobmi .
Prvý spôsob:
assert expression;>
Druhý spôsob:
assert expression1 : expression2;>
Príklad:
Java
// Java program to demonstrate syntax of assertion> import> java.util.Scanner;> class> Test {> >public> static> void> main(String args[])> >{> >int> value =>15>;> >assert> value>=>20> :>' Underweight'>;> >System.out.println(>'value is '> + value);> >}> }> |
>
>Výkon
value is 15>
Po povolení tvrdení:
Výkon:
Exception in thread 'main' java.lang.AssertionError: Underweight>
Povolenie tvrdení
V predvolenom nastavení sú výrazy zakázané. Musíme spustiť kód, ako je uvedené. Syntax na povolenie príkazu asertion v zdrojovom kóde Java je:
java –ea Test>
Alebo
java –enableassertions Test>
Tu je názov súboru Test.
Zakázanie tvrdení
Syntax na zakázanie výrazov v jazyku Java je:
java –da Test>
Alebo
java –disableassertions Test>
Tu je názov súboru Test.
Prečo používať tvrdenia
Kdekoľvek chce programátor vidieť, či sú jeho predpoklady nesprávne alebo nie.
- Aby ste sa uistili, že nedosiahnuteľný kód je skutočne nedostupný.
- Aby ste sa uistili, že predpoklady napísané v komentároch sú správne.
if ((x & 1) == 1) { } else // x must be even { assert (x % 2 == 0); }> - Aby ste sa uistili, že sa nedosiahlo predvolené puzdro prepínača.
- Ak chcete skontrolovať stav objektu.
- Na začiatku metódy
- Po vyvolaní metódy.
Tvrdenie vs normálne spracovanie výnimiek
1nf 2nf 3nf
Tvrdenia slúžia najmä na kontrolu logicky nemožných situácií. Môžu sa napríklad použiť na kontrolu stavu, ktorý kód očakáva pred spustením, alebo stavu po dokončení spustenia. Na rozdiel od bežného spracovania výnimiek/chýb sú výrazy vo všeobecnosti zakázané pri spustení.
Kde použiť tvrdenia
- Argumenty súkromným metódam. Súkromné argumenty poskytuje iba kód vývojára a vývojár môže chcieť skontrolovať svoje predpoklady o argumentoch.
- Podmienené prípady.
- Podmienky na začiatku akejkoľvek metódy.
Kde nepoužívať tvrdenia
- Tvrdenia by sa nemali používať na nahradenie chybových správ
- Tvrdenia by sa nemali používať na kontrolu argumentov vo verejných metódach, pretože ich môže poskytnúť používateľ. Spracovanie chýb by sa malo používať na spracovanie chýb poskytnutých používateľmi.
- Tvrdenia by sa nemali používať v argumentoch príkazového riadka.
Príklad:
Java
// Java program to demonstrate assertion in Java> public> class> Example {> >public> static> void> main(String[] args)> >{> >int> age =>14>;> >assert> age <=>18> :>'Cannot Vote'>;> >System.out.println(>'The voter's age is '> + age);> >}> }> |
>
>Výkon
The voter's age is 14>