ТВЕРДЖЕННЯ В JAVA

Твердження дозволяє перевірити правильність будь-яких припущень, зроблених у програмі. Твердження досягається за допомогою стверджувати оператор на Java. Під час виконання твердження вважається, що воно істинне. Якщо це не вдається, JVM видає помилку під назвою AssertionError. Він в основному використовується для тестування під час розробки.

The стверджувати оператор використовується з логічним виразом і може бути записаний у двома різними способами .

Перший спосіб:

 assert expression;

Другий спосіб:

 assert expression1 : expression2;

приклад:

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);> > }> }>

Вихід

value is 15

Після ввімкнення тверджень:

Вихід:

Exception in thread 'main' java.lang.AssertionError: Underweight

Увімкнення тверджень

За замовчуванням твердження вимкнено. Нам потрібно запустити код, як задано. Синтаксис увімкнення оператора твердження у вихідному коді Java такий:

 java –ea  Test

Або

 java –enableassertions  Test

Тут Test — це ім’я файлу.

Вимкнення тверджень

Синтаксис вимкнення тверджень у java такий:

 java –da  Test

Або

 java –disableassertions  Test

Тут Test — це ім’я файлу.

Навіщо використовувати твердження

Усюди, де програміст хоче перевірити, чи його/її припущення помилкові чи ні.

Щоб переконатися, що код, який виглядає недоступним, насправді недоступний.
Щоб переконатися, що припущення, написані в коментарях, правильні.

if ((x & 1) == 1) { } else // x must be even { assert (x % 2 == 0); }

Щоб переконатися, що регістр перемикачів за замовчуванням не досягнуто.
Щоб перевірити стан об’єкта.
На початку методу
Після виклику методу.

Твердження проти звичайної обробки винятків

Твердження в основному використовуються для перевірки логічно неможливих ситуацій. Наприклад, їх можна використовувати для перевірки стану, який очікує код перед початком виконання, або стану після його завершення. На відміну від звичайної обробки винятків/помилок, твердження зазвичай вимкнено під час виконання.

Де використовувати твердження

Аргументи до приватних методів. Приватні аргументи надаються лише кодом розробника, і розробник може захотіти перевірити свої припущення щодо аргументів.
Умовні відмінки.
Умови на початку будь-якого методу.

Де не можна використовувати твердження

Твердження не слід використовувати для заміни повідомлень про помилки
Твердження не слід використовувати для перевірки аргументів у відкритих методах, оскільки вони можуть бути надані користувачем. Обробку помилок слід використовувати для обробки помилок, наданих користувачами.
Твердження не слід використовувати в аргументах командного рядка.

приклад:

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);> > }> }>

Вихід