Trditev omogoča testiranje pravilnosti vseh predpostavk, ki so bile podane v programu. Trditev je dosežena z uporabo trditi izjava v Javi. Med izvajanjem trditve se verjame, da je resnična. Če ne uspe, JVM vrže napako z imenom AssertionError. Uporablja se predvsem za namene testiranja med razvojem.
The trditi stavek se uporablja z logičnim izrazom in ga je mogoče zapisati dva različna načina .
Prvi način:
kaj je monitor
assert expression;>
Drugi način:
assert expression1 : expression2;>
primer:
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);> >}> }> |
xor v Javi
>
>Izhod
value is 15>
Po omogočanju trditev:
Izhod:
Exception in thread 'main' java.lang.AssertionError: Underweight>
Omogočanje trditev
niz v javanskih metodah
Privzeto so trditve onemogočene. Zagnati moramo kodo, kot je dana. Sintaksa za omogočanje trditvenega stavka v izvorni kodi Java je:
java –ea Test>
oz
java –enableassertions Test>
Tu je Test ime datoteke.
Onemogočanje trditev
Sintaksa za onemogočanje trditev v Javi je:
java –da Test>
oz
java –disableassertions Test>
Tu je Test ime datoteke.
Zakaj uporabljati trditve
Kjer koli programer želi preveriti, ali so njegove/njene predpostavke napačne ali ne.
- Za zagotovitev, da je koda, ki je videti nedosegljiva, dejansko nedosegljiva.
- Prepričati se, da so predpostavke, zapisane v komentarjih, pravilne.
if ((x & 1) == 1) { } else // x must be even { assert (x % 2 == 0); }> - Za zagotovitev, da privzeta preklopna velikost ni dosežena.
- Za preverjanje stanja predmeta.
- Na začetku metode
- Po priklicu metode.
Obravnava trditve v primerjavi z običajno izjemo
Trditve se uporabljajo predvsem za preverjanje logično nemogočih situacij. Uporabijo se lahko na primer za preverjanje stanja, ki ga koda pričakuje, preden se začne izvajati, ali stanja po končanem izvajanju. Za razliko od običajnega obravnavanja izjem/napak so trditve na splošno onemogočene med izvajanjem.
Kje uporabiti trditve
- Argumenti za zasebne metode. Zasebne argumente ponuja samo koda razvijalca in razvijalec bo morda želel preveriti svoje predpostavke o argumentih.
- Pogojni primeri.
- Pogoji na začetku katere koli metode.
Kje ne uporabljati trditev
- Trditve se ne smejo uporabljati za zamenjavo sporočil o napakah
- Trditve se ne smejo uporabljati za preverjanje argumentov v javnih metodah, saj jih lahko zagotovi uporabnik. Obravnavo napak je treba uporabiti za obravnavo napak, ki jih posredujejo uporabniki.
- Trditve se ne smejo uporabljati v argumentih ukazne vrstice.
primer:
c program za primerjavo nizov
Java
velikosti besedila iz lateksa
// 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);> >}> }> |
>
>Izhod
The voter's age is 14>