Java keyword: assert

lyning 發布于2019-08-16 10:25 / 2469人閱讀

The assert keyword is used in assert statement which is a feature of the Java programming language since Java 1.4. Assertion enables developers to test assumptions in their programs as a way to defect and fix bugs.

Syntax of assert statement
Syntax of an assert statement is as follow (short version):

assert expression1;

or (full version):

assert expression1 : expression2;

Where:
·expression1 must be a boolean expression.
·expression2 must return a value (must not return void).
The assert statement is working as follows:

  If assertion is enabled, then the assert statement will be evaluated. Otherwise, it does not get executed.

  If expression1 is evaluated to false, an AssertionError error is thrown which causes the program stops immediately. And depending on existence of expression2:

  If expression2 does not exist, then the AssertionError is thrown with no detail error message:
If expression2 does exist, then a String representation of expression2’s return value is used as detail error message.
If expression1 is evaluate to true, then the program continues normally.

Enable assertion
By default, assertion is disabled at runtime. To enable assertion, specify the switch –enableassertions or -ea at command line of java program. For example, to enable assertion for the program called CarManager:

java –enableassertions CarManager

or this for short:

java –ea CarManager

Assertion can be enabled or disable specifically for named classes or packages. For more information on how to enable and disable assertion, go to: http://docs.oracle.com/javase/1.4.2/docs/guide/lang/assert.html#enable-disable

Assertion examples
The following simple program illustrates the short version of assert statement:

public class AssertionExample {
public static void main(String[] args) {
// get a number in the first argument
int number = Integer.parseInt(args[0]);

    assert number <= 10; // stops if number > 10

    System.out.println("Pass");

}

}
When running the program above with this command:

java -ea AssertionExample 15

A java.lang.AssertionError error will be thrown:

Exception in thread "main" java.lang.AssertionError

   at AssertionExample.main(AssertionExample.java:6)

But the program will continue and print out “Pass” if we pass a number less than 10, in this command:

java -ea AssertionExample 8

And the following example is using the full version of assert statement:

public class AssertionExample2 {
public static void main(String[] args) {

    int argCount = args.length;

    assert argCount == 5 : "The number of arguments must be 5";

    System.out.println("OK");

}

}
When running the program above with this command:

java -ea AssertionExample2 1 2 3 4

it will throw this error:

Exception in thread "main" java.lang.AssertionError: The number of arguments must be 5

   at AssertionExample2.main(AssertionExample2.java:6)

Generally, assertion is enabled during development time to defect and fix bugs, and is disabled at deployment or production to increase performance.

出自CodeJava.Net

云服務器 GPU云服務器 keyword ASSERT Assertion assert.js

文章版權歸作者所有，未經允許請勿轉載,若此文章存在違規行為，您可以聯系管理員刪除。

轉載請注明本文地址：http://specialneedsforspecialkids.com/yun/69775.html

使用duckie為JS做強類型檢查

摘要：比如篇首這東西，使用聲明聲明一個類型跟聲明一個對象般簡單，完全沒有學習成本。總結使用可以像聲明一個變量那樣聲明你的類型，且可以在運行時進行類型檢查。 JS是一門動態類型語言，在定義一個函數時，無法為其進行強類型指定，如： function hello(name: string, content: string) { // 如果name或content不是string類型的話，就...

tuomao 2019-08-21 10:27 評論0 收藏0
Java關鍵字的筆記

摘要：我在查詢一些資料的時候，發現資料中說的關鍵字都不一致，而且具體的單詞也都大不相同，所以我特意查閱了截止到目前最新的官方文檔，對此進行了整理因為是在的時候收購的公司，所以官網上我只找到了的文檔官方文檔鏈接中中的就是對應的版本要把我在查詢一些資料的時候，發現資料中說的關鍵字都不一致，而且具體的單詞也都大不相同，所以我特意查閱了jdk6-15（截止到目前(2020.01.04)最新）的官方文檔，對...

Tecode 2022-06-28 18:59 評論0 收藏0
Java 關鍵字專題

摘要：和也許看起來像是關鍵字，但是他們專門用于表示布爾類型的字面量。值得注意的是，在中整形值和布爾值之間不能相互轉換至少在語言層面。相關的操作等于不等于取反位與異或或條件與條件或三目運算符在控制流程中使用一個布爾值可且僅可被轉型為，類型。總覽 Java 語言中有 50 個關鍵字，這些關鍵字不能用作標識符，如下圖所示（來自 jls8) showImg(https://segmentfault...

Dogee 2019-08-14 15:22 評論0 收藏0
JavaScript Testing

Testing framework both use describe, it functions Jasmine（Behavior-Driven JavaScript） spyOn(User, save) jasmine.createSpy() the Jasmine framework has almost everything built into it including assertio...

Eric 2019-08-21 17:51 評論0 收藏0
代碼測試：項目穩健的有力保證

摘要：懶惰，是促使人類科技發展的重要因素。就筆者了解，目前前端領域比較流行的單元測試框架有等等。。什么你想打開控制臺粘帖代碼執行為了拯救你于無盡的加班測試中，是時候推薦你接入使用了。懶惰，是促使人類科技發展的重要因素。我們告別刀耕火種的時代，正是因為人們不斷地通過發明工具和優化精簡手動的流程來實現效率的提升，讓人們能專注于自己專業的領域，其他的事情交給機械去處理。而同樣在前端的領域，我們也...

ASCH 2019-08-26 11:35 評論0 收藏0