std.assert

アサーションモジュール。テストとサンプルで最もよく使われるツールです。

use std.assert

関数一覧

関数	シグネチャ
assert	(cond: Bool, ?msg: String) -> Void

関数

assert

assert: (cond: Bool, ?msg: String) -> Void

cond が真であることをアサートします。

• cond —— 判定対象のブール式
• msg —— オプションのメッセージ。? は省略可能であることを示し、条件が成立しない場合に診断メッセージと一緒に出力されます

戻り値：条件が成立した場合、Void を返し、実行を中断しません。エラー：条件が偽の場合、E6005（アサーション失敗）をスローし、プログラムは非ゼロの終了コードで終了します。

use std.assert

main: () -> Void = {
    assert(1 > 0)
    assert(1 > 0, "このリテラルアサーションは必ず成立する")
}

アサーションは テストコーパスの主要な判定手段 です。src/std/tests/*.yx と tests/yaoxiang/** はいずれも assert の失敗でプロセスがエラーを報告する方式で動作します。

use std.assert
use std.list

main: () -> Void = {
    list.len([1, 2, 3]) == 3
    assert(list.len([1, 2, 3]) == 3, "len == 3")
}

関連

• テスト仕様 —— コーパスの構成と判定規約
• エラーコードリファレンス —— E6005 アサーション失敗