Meni

Trditve v Javi - Vadnica za uveljavljanje Java s primeri kode

  • Glavni
  • Drugo
  • Trditve v Javi - Vadnica za uveljavljanje Java s primeri kode

assertions java java assert tutorial with code examples

Preizkusite Naš Instrument Za Odpravo Težav

Ta vadnica Java Assert razlaga vse o trditvah v Javi. Naučili se boste omogočiti in onemogočiti trditve, kako uporabljati trditve, uveljavljati primere itd.:

V naših prejšnjih vajah smo že obravnavali izjeme v Javi. To so napake, ki se zaznajo med izvajanjem. Podobno kot izjeme obstajajo tudi nekateri drugi konstrukti, ki jih lahko uporabimo v času prevajanja za preverjanje pravilnosti kode. Ti konstrukti se imenujejo 'trditve'.

V tej vadnici bomo podrobno obravnavali trditve v Javi. Trditev lahko definiramo kot konstrukt, ki nam omogoča preizkus pravilnosti ali jasnosti predpostavk, ki smo jih podali v našem programu Java.

=> Tukaj si oglejte Vodnik za začetnike Java.

Trditev v Javi

Kaj se boste naučili:

Trditve v Javi

Ko torej trditev izvajamo v programu, se domneva, da je resnična. Če postane napačno ali ne, JVM vrne AssertionError.

Trditve uporabljamo med razvojem za namene testiranja. Med izvajanjem Java trditve onemogoči.

V čem se trditve razlikujejo od običajnih izjem?

popraviti napake registra Windows 10 brezplačno -

V nasprotju z običajnimi izjemami so trditve koristne predvsem za preverjanje logičnih situacij v programu, o katerem dvomimo. Tudi v nasprotju z običajnimi izjemami, ki jih je mogoče vrniti tudi med izvajanjem, so trditve med izvajanjem onemogočene.

Trditve se lahko uporabljajo na mestih v kodi, kjer ima razvijalec največji nadzor, kot da se lahko uporabljajo kot parametri zasebnih metod. Trditve se lahko uporabljajo tudi s pogojnimi primeri. Podobno lahko pogoji na začetku katere koli metode vsebujejo trditve.

Vendar trditev ne smemo jemati kot nadomestilo za sporočila o napakah. Niti trditve se ne smejo uporabljati v javnih metodah, na primer, za preverjanje argumentov. Najpomembneje je, da trditev v argumentih ukazne vrstice v Javi ne bi smeli uporabljati.

V Javi so trditve privzeto onemogočene. Torej, da trditve delujejo v programu Java, moramo najprej omogočiti trditve.

Omogoči trditve v Javi

Če želimo omogočiti trditve, moramo to storiti iz ukazne vrstice.

Sledi splošna sintaksa za omogočanje uveljavljanja v Javi.

java –ea: arguments

ali

java –enableassertions: arguments

Kot primer lahko omogočimo trditve za določen razred, kot je prikazano spodaj:

java –ea TestProgram

ali

java –enableassertions TestProgram

Tu je TestProgram razred, za katerega naj bo trditev omogočena.

Ko je pogoj v izjavi za uveljavitev v programu resničen in so trditve omogočene, se bo program izvajal normalno. Ko je pogoj napačen in so trditve omogočene, program vrže AssertionError in program se ustavi.

Obstajajo različne različice za omogočanje trditev z uporabo ukazne vrstice.

# 1) java –ea

Ko je zgornji ukaz podan v ukazni vrstici, so trditve omogočene v vseh razredih, razen v sistemskih.

# 2) java –ea Main

Zgornji ukaz omogoča uveljavljanje za vse razrede v glavnem programu.

# 3) java –ea TestClass Main

Ta ukaz omogoča trditve za samo en razred - 'TestClass' v glavnem programu.

# 4) java –ea com.packageName… Glavno

Zgornji ukaz omogoča uveljavitev paketa com.packageName in njegovih podpaketov v glavnem programu.

# 5) java –ea ... Glavno

Omogoča uveljavljanje za neimenovani paket v trenutnem delovnem imeniku.

# 6) java –esa: argumenti ALI java –enablesystemassertions: argumenti

Zgornji ukaz omogoča trditve za sistemske razrede.

Onemogočanje trditev

Trditve lahko onemogočimo tudi prek ukazne vrstice.

Splošna sintaksa za onemogočanje trditev v Javi je:

java –da arguments

ALI

java –disableassertions arguments

Za onemogočanje trditev v sistemskih razredih uporabljamo naslednjo sintakso:

java – dsa: arguments

ALI

java –disablesystemassertions:arguments

'Uveljavi' ključno besedo v Javi

Jezik Java ponuja ključno besedo »assert«, ki razvijalcem omogoča preverjanje predpostavk, ki so jih podali za program ali stanje programa.

Tako lahko s ključno besedo »assert« zagotovimo trditve v Javi za preverjanje pogojev, ki bi sicer lahko preprečili nemoteno delovanje programa.

Ključna beseda »assert« se uporablja v Javi 1.4, vendar ostaja malo znana ključna beseda v Javi. Ko v Java uporabljamo ključno besedo assert, moramo to storiti v izjavi Assert.

Uveljavi izjavo v Javi

V Javi se izjava za uveljavitev začne s ključno besedo ‘sredstvo’, ki ji sledi logični izraz.

Izjava o trditvi v Javi je mogoče zapisati na dva načina:

  1. uveljaviti izraz;
  2. uveljavi izraz1: izraz2;

V obeh pristopih so izrazi, uporabljeni s ključno besedo Assert, logični izrazi.

kako ustvariti nov java projekt v eclipseu

Za primer poglejmo naslednjo izjavo.

assert value >= 10 : “greater than 10”;

Tu izjava assert preveri stanje in če je pogoj resničen, se natisne sporočilo. Tako imamo lahko s svojim sporočilom tudi trditve.

Kako uporabljati Assert v Javi

Do zdaj smo v Javi razpravljali o ključni besedi assert in izjavi. Zdaj pa si oglejmo primer, ki bo pokazal, kako uporabljati assert v Javi.

Če želimo dodati trditve, moramo preprosto dodati trditev, kot sledi:

public void setup_connetion () { Connection conn = getConnection (); assert conn != null; }

Zgornjo trditev lahko damo tudi drugače, kot je prikazano spodaj:

public void setup_connection () { Connection conn = getConnection (); assert conn != null: “Connection is null”; }

Obe zgornji konstrukciji kode preverita, ali povezava vrne ne-null vrednost. Če vrne ničelno vrednost, bo JVM vrnil napako - AssertionError. Toda v drugem primeru je v izjavi uveljavljeno sporočilo, zato bo to sporočilo uporabljeno za izdelavo AssertionError.

V drugem primeru z omogočenimi trditvami bo izjema videti tako:

Exception in thread 'main' java.lang.AssertionError: Connection is null at line numbers…

Primer uveljavljanja v Javi

Uvedimo primer uporabe trditev v Javi.

public class Main { public static void main(String() args) { try { System.out.println('Testing Assertions...'); assert true : 'We don't see this.'; assert false : 'Visible if assertions are ON.'; } catch (AssertionError e) { e.printStackTrace(); } } }

Izhod

Uveljavi primer v Javi

Zgornji izhod je podan, kadar trditve niso omogočene. Če je bila trditev omogočena, bo prikazano drugo sporočilo (trdi, da ni pravilno).

Zdaj pa pokažimo še en primer . Upoštevajte, da smo na našem računalniku, kjer izvajamo ta program, omogočili trditev v Javi.

class Main { public static void main(String args()) { String() weekends = {'Friday', 'Saturday', 'Sunday'}; assert weekends.length == 2; System.out.println('We have ' + weekends.length + ' weekend days in a week'); } }

Izhod

javni razred Glavni

Ker se dolžina vikenda ne ujema z dolžino, navedeno v izjavi za uveljavitev, je vržena zgornja izjema. Če je bila trditev onemogočena, bi program prikazal določeno sporočilo namesto izjeme uveljavljanja.

Zakaj se trditve uporabljajo v Javi?

Trditve v našem programu Java uporabljamo, da se prepričamo, da so predpostavke v našem programu pravilne.

Na primer, če želimo zagotoviti, da je koda, ki se zdi nedosegljiva, res nedosegljiva. Ali pa se želimo prepričati, da ima katera koli spremenljivka vrednost v določenem obsegu.

Ko takšno predpostavko predlagamo, navedemo trditve, s katerimi se prepričamo, da so resnične.

Pogosto zastavljena vprašanja

V # 1) Ali assert vrže izjemo Java?

Odgovor: Assert ponavadi vrže »AssertionError«, kadar je predpostavka napačna. AssertionError se razteza iz razreda Error (ki se končno razteza od Throwable).

V # 2) Kaj se zgodi, ko uveljavitev v Javi ne uspe?

Odgovor: Če so trditve omogočene za program, v katerem trditev ne uspe, bo vrglo AssertionError.

V # 3) Kaj se trditev vrne v Javi?

Odgovor: Izjava o uveljavljanju označuje logični pogoj, ki naj bi se pojavil v programu. Če ta logični pogoj oceni kot false, je med izvajanjem podana AssertionError, če je trditev omogočena.

Če je predpostavka pravilna, bo logični pogoj vrnil true.

V # 4) Ali lahko ugotovimo napako?

Odgovor: Napaka AssertionError, ki jo vrne izjava assert, je nepreverjena izjema, ki razširja razred Error. Zato trditve niso potrebne, da bi jih izrecno prijavili, prav tako pa jih ni treba poskusiti ali ujeti.

V # 5) Kako uveljavljate izjemo?

Odgovor: Za uveljavitev izjeme razglasimo objekt ExpectedException, kot sledi:

public ExpectedException izjema = ExpectedException. noben ();

Nato v preizkusni metodi uporabimo metode, ki so predvidene () in pričakujemo message (), da uveljavimo izjemo in damo sporočilo o izjemi.

Zaključek

S tem smo zaključili to vadnico o trditvah v Javi. Razpravljali smo o definiciji in namenu trditev v Javi. Za uporabo trditve v programu Java jim moramo najprej omogočiti uporabo ukazne vrstice.

Raziskovali smo različne načine, s katerimi lahko omogočimo trditve na ravni programa, ravni paketov, ravni imenika itd. Ugotoviti je treba ključne besede in izjave za uveljavljanje v Javi ter njihovo podrobno sintakso s primeri programiranja. Izjave o ključnih besedah ​​in sredstvih sredstev nam pomagajo pri uporabi trditev.

Videli smo, da je napaka AssertionError podana, kadar trditev ne uspe. Trditve v Javi se večinoma uporabljajo med prevajanjem in so med izvajanjem privzeto onemogočene.

Poleg tega se trditve večinoma uporabljajo v okviru JUnit Java, v katerem pišemo testne primere za testiranje aplikacij.

=> Preberite serijo Easy Java Training Series.

Priporočeno branje

^