Концепция утверждения
Утверждения используются для доказывания и проверки предположений о программах, таких как «значение здесь больше 5».
Утверждения могут быть полностью удалены из кода во время выполнения, поэтому они не влияют на скорость работы кода.
Использование утверждений
Есть два способа утверждать:
Одним из них является Assert << Болеанский выражение >>;
Другой - это утверждение << Болеанское выражение >>: << Подробнее описание >>.
Если значение логического выражения является ложным, будет выброшено исключение AssertionError;
открытый класс Assertexample {public static void main (string [] args) {int x = 10; / * Игнорировать */}} System.out.println ("Утверждение тестирования, что x == 10"); ::::::::::::::::: :::::::::::::: Поскольку введено новое ключевое слово, необходимо добавить дополнительные параметры. Код:
Javac -Source 1.4 assertexample.java
Приведенная выше программа должна использовать дополнительные параметры (и требуется параметр числовой командной строки) при запуске функции утверждения, например:
java -ea assertexample 1
Вывод программы:
Утверждение тестирования, что x == 10Exception в потоке "Main" java.lang.assertionError: наше утверждение не удалось.
Поскольку входной параметр не равен 10, функция утверждения приводит к тому, что программа вызывает ошибку утверждения. Утверждает, что логическое значение используется, если его значение не верно, выброшено утверждение, и программа прекращается.
Assert рекомендовал использование
Используется для проверки внутренней логики в методах, включая:
Примечание. Это не рекомендуется для проверки предварительных условий в общественных методах.
Утверждения блокировки времени выполнения
Чтобы заблокировать утверждения во время выполнения, вы можете использовать следующий метод:
Чтобы разрешить утверждения при запуске Java Disableasertions или Java DA имени класса, вы можете использовать следующий метод:
java enablesertions или java e class class