Met een bewering kunt u de juistheid van eventuele aannames die in het programma zijn gemaakt, testen. Een bewering wordt bereikt met behulp van de beweren verklaring op Java. Bij het uitvoeren van een bewering wordt aangenomen dat deze waar is. Als het mislukt, genereert JVM een fout met de naam BeweringFout. Het wordt voornamelijk gebruikt voor testdoeleinden tijdens de ontwikkeling.
De beweren statement wordt gebruikt met een Booleaanse expressie en kan erin worden geschreven twee verschillende manieren .
Eerste manier:
assert expression;>
Tweede manier:
assert expression1 : expression2;>
Voorbeeld:
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);> >}> }> |
sql-server draaipunt
>
>Uitvoer
value is 15>
Na het inschakelen van beweringen:
Uitgang:
Exception in thread 'main' java.lang.AssertionError: Underweight>
Beweringen inschakelen
Standaard zijn beweringen uitgeschakeld. We moeten de code uitvoeren zoals opgegeven. De syntaxis voor het inschakelen van een beweringsinstructie in de Java-broncode is:
java –ea Test>
Of
java –enableassertions Test>
Hier is Test de bestandsnaam.
middelste knop css
Beweringen uitschakelen
De syntaxis voor het uitschakelen van beweringen in Java is:
java –da Test>
Of
java –disableassertions Test>
Hier is Test de bestandsnaam.
Waarom Assertaties gebruiken?
Overal waar een programmeur wil zien of zijn/haar aannames verkeerd zijn of niet.
- Om ervoor te zorgen dat een onbereikbaar ogende code ook daadwerkelijk onbereikbaar is.
- Om er zeker van te zijn dat de aannames in de commentaren juist zijn.
if ((x & 1) == 1) { } else // x must be even { assert (x % 2 == 0); }> - Om ervoor te zorgen dat de standaard schakelkast niet wordt bereikt.
- Om de staat van het object te controleren.
- Aan het begin van de methode
- Na het aanroepen van de methode.
Bewering versus normale afhandeling van uitzonderingen
Beweringen worden vooral gebruikt om logisch onmogelijke situaties te controleren. Ze kunnen bijvoorbeeld worden gebruikt om de status te controleren die een code verwacht voordat deze wordt uitgevoerd, of de status nadat deze is uitgevoerd. In tegenstelling tot de normale afhandeling van uitzonderingen/fouten, worden beweringen over het algemeen tijdens runtime uitgeschakeld.
Waar kun je beweringen gebruiken?
ook modelleren
- Argumenten voor privémethoden. Privéargumenten worden alleen geleverd door de code van de ontwikkelaar en de ontwikkelaar wil mogelijk zijn/haar aannames over argumenten controleren.
- Voorwaardelijke gevallen.
- Voorwaarden aan het begin van elke methode.
Waar u beweringen niet kunt gebruiken
- Beweringen mogen niet worden gebruikt om foutmeldingen te vervangen
- Beweringen mogen niet worden gebruikt om argumenten in de openbare methoden te controleren, aangezien deze door de gebruiker kunnen worden aangeleverd. Er moet gebruik worden gemaakt van foutafhandeling om fouten van gebruikers af te handelen.
- Beweringen mogen niet worden gebruikt op opdrachtregelargumenten.
Voorbeeld:
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);> >}> }> |
>
>Uitvoer
The voter's age is 14>