NEPLg2 Standard Library - test - test
Web Playground
Web Playground

test

標準ひょうじゅんライブラリ用ようの簡易かんいテスト支援しえん

目的もくてき

  • stdlib と tutorials で共通に使う assert_* / check_* / finish_checks を提供し、失敗しっぱいを trap ではなく Result<(),str> として表現ひょうげんします。
  • 単発たんぱつの検査けんさと、複数ふくすう検査けんさを継続けいぞく実行じっこうする collectable な検査けんさの両方りょうほうを同おなじモジュールで扱あつかいます。

実装じっそう

  • 単発たんぱつの assert_* は対応たいおうする check_* の結果けっかを受うけ、Err のときだけ FAIL: 形式けいしきの表示ひょうじを行おこなったうえで Result::Err を返かえします。
  • 集約しゅうやく検査けんさは Vec<Result<(),str>> を保持ほじし、finish_checks は表示ひょうじせずに Result<(),str> へ畳たたみます。
  • 表示ひょうじが必要ひつような test case は checks_print_machine / checks_print_human を明示的めいじてきに呼よびます。

注意ちゅうい

  • 失敗しっぱいの最終さいしゅう判定はんていは result_exit_code や checks_exit_code のような helper で i32 に落おとし、runner 側がわで比較ひかくする前提ぜんていです。
  • 表示ひょうじは #target std のときだけ行おこないます。std 以外の target では Result だけが返かえります。
  • reboot 後ごは「明示的めいじてきに print する」方針ほうしんとし、checks_exit_code は stdout を汚よごしません。
  • doctest は使つかい方かたの保証ほしょうが目的であり、境界条件や回帰確認は tests/stdlib/* 側で行います。

計算量けいさんりょう

  • assert_* と check_* の単体判定は O(1) か、比較対象の長さに応じた O(n) です。
  • 集約 API は summary 文字列もじれつ構築こうちくを含ふくむため、finish_checks 全体ぜんたいでは O(n^2) になりえます。

test_str_eq

文字列もじれつが等ひとしいか判定はんていする

目的もくてき

  • a と b の内容が同じなら true を返します。

実装じっそう

  • 長さ一致を確認し、バイト単位で比較します。

注意ちゅうい

  • UTF-8 のバイト列として比較します。

計算量けいさんりょう

  • 時間じかん: O(n)
  • 空間くうかん: O(n)（再帰呼び出しぶん）

test_str_eq_loop

文字列もじれつ比較ひかくの内部ないぶループ

目的もくてき

  • i を進めながら各バイトを比較します。

実装じっそう

  • 一致なら再帰、差異があれば false を返します。

注意ちゅうい

  • 呼び出し側で長さ一致を確認している前提です。

計算量けいさんりょう

  • 時間じかん: O(n)
  • 空間くうかん: O(n)（再帰呼び出しぶん）

test_print_fail

失敗しっぱいメッセージを表示ひょうじする

目的もくてき

  • msg を赤色で標準出力へ表示します。

実装じっそう

  • ANSI 赤色コードで色付けして出力します。

注意ちゅうい

  • #target std の表示ひょうじ helper です。
  • 端末が ANSI に対応している必要があります。

計算量けいさんりょう

  • 時間じかん: O(n)
  • 空間くうかん: O(n)

test_checked

成功せいこうログを表示ひょうじする

目的もくてき

  • "Checked " 付つきの成功せいこうログを色付いろづきで表示ひょうじし、Result::Ok () を返かえします。

実装じっそう

  • 文字列を連結し、ansi_green で出力します。

注意ちゅうい

  • #target std の表示ひょうじ helper です。
  • 端末が ANSI に対応している必要があります。

計算量けいさんりょう

  • 時間じかん: O(n)
  • 空間くうかん: O(n)

test_fail

失敗しっぱいメッセージを出だして Result::Err を返かえす

目的もくてき

  • msg を FAIL: 形式けいしきで表示ひょうじし、安全あんぜんに Result::Err として失敗しっぱいを返かえします。

実装じっそう

  • #target std では test_print_fail を呼よび、そのあと Result::Err msg を返かえします。

注意ちゅうい

  • この helper 自体じたいは trap しません。最終さいしゅう判定はんていは呼よび出だし側がわが行おこないます。

計算量けいさんりょう

  • 時間じかん: O(n)
  • 空間くうかん: O(n)

checks_new

集約しゅうやく検査けんさ列れつの空からベクタを作つくる

目的もくてき

  • finish_checks に渡す Vec<Result<(),str>> を空の状態で作ります。
  • push の型引数を毎回書かずに collectable な検査列を組み立てる入口として使います。

実装じっそう

  • new<Result<(),str>> を呼び、検査結果専用の空ベクタを返します。

注意ちゅうい

  • 返り値は Result<(),str> 専用です。
  • 以後の追加は checks_push を使うと型引数を書かずに済みます。

計算量けいさんりょう

  • 時間じかん: O(1)
  • 空間くうかん: O(1)

使い方つかいかた

TEST
#entry main
#target std
#import "std/test" as *
fn main <()*>i32> ():
    let checks <Vec<Result<(),str>>> checks_new;
    checks_exit_code checks

checks_push

集約しゅうやく検査けんさ列れつに 1 件けん追加ついかする

目的もくてき

  • Result<(),str> を Vec<Result<(),str>> に追加し、pipe で連結しやすい形を提供します。

実装じっそう

  • vec_push<Result<(),str>> を固定して呼び、push の型推論詳細を利用者へ露出させません。

注意ちゅうい

  • 検査そのものは check_* 側で評価済みであり、この関数は格納しかしません。
  • 返り値は同じベクタなので、|> checks_push ... |> checks_push ... と連結できます。

計算量けいさんりょう

  • 時間じかん: 償却 O(1)
  • 最悪さいあく時間じかん: O(n)（再確保が起きる場合）
  • 空間くうかん: 償却 O(1)

使い方つかいかた

TEST
#entry main
#target std
#import "std/test" as *
fn main <()*>i32> ():
    let checks <Vec<Result<(),str>>>:
        checks_new
        |> checks_push check true
        |> checks_push check true
    checks_exit_code checks

check

条件じょうけんを Result<(),str> として返かえす

目的もくてき

  • assert と同じ条件判定を行い、その場で停止せず Result<(),str> として返します。
  • 複数の検査を Vec<Result<(),str>> に集約して最後にまとめて判定したいときに使います。

実装じっそう

  • ok が true なら Ok(())、false なら固定メッセージ付きの Err を返します。

注意ちゅうい

  • 失敗時に詳細な説明が必要なら、この関数ではなく check_eq_i32 や check_str_eq のような専用版を使ってください。
  • この関数自体は何も表示しません。表示と最終失敗判定は finish_checks が担当します。

計算量けいさんりょう

  • 時間じかん: O(1)
  • 空間くうかん: O(1)

使い方つかいかた

TEST
#entry main
#target std
#import "std/test" as *
fn main <()*>i32> ():
    let checks <Vec<Result<(),str>>>:
        checks_new
        |> checks_push check true
        |> checks_push check true
    checks_exit_code checks

check_eq_i32

i32 の等値とうち検査けんさを Result<(),str> として返かえす

目的もくてき

  • expected と actual の比較結果を即時停止ではなく値として返します。

実装じっそう

  • 等しければ Ok(())、異なれば expected と actual を文字列化したメッセージ付き Err を返します。

注意ちゅうい

  • assert_eq_i32 はこの関数の結果を受けてただちに失敗終了する薄いラッパです。
  • 失敗を複数件まとめたいときはこの関数を Vec<Result<(),str>> に積んでください。

計算量けいさんりょう

  • 時間じかん: O(1)
  • 空間くうかん: O(1)

使い方つかいかた

TEST
#entry main
#target std
#import "std/test" as *
fn main <()*>i32> ():
    let checks <Vec<Result<(),str>>>:
        checks_new
        |> checks_push check_eq_i32 10 add 4 6
        |> checks_push check_eq_i32 3 sub 8 5
    checks_exit_code checks

check_ne

bool が等ひとしくないことを Result<(),str> として返かえす

目的もくてき

  • a と b が同じなら詳細メッセージ付き Err、違えば Ok(()) を返します。

実装じっそう

  • bool の組み合わせを分岐し、一致時だけ値を文字列化して失敗メッセージを組み立てます。

注意ちゅうい

  • bool 専用です。
  • true/false のどちらで一致したかを失敗メッセージに含めます。

計算量けいさんりょう

  • 時間じかん: O(1)
  • 空間くうかん: O(1)

check_str_eq

文字列もじれつの等値とうち検査けんさを Result<(),str> として返かえす

目的もくてき

  • 文字列比較の結果を、直ちに停止せずに後段へ渡せる形で返します。

実装じっそう

  • test_str_eq で UTF-8 バイト列を比較し、不一致時だけ詳細メッセージを組み立てます。

注意ちゅうい

  • 比較単位は Unicode の文字数ではなく UTF-8 のバイト列です。
  • 長い文字列では、失敗メッセージ自体の生成にも連結コストがかかります。

計算量けいさんりょう

  • 時間じかん: O(n)
  • 空間くうかん: O(n)（失敗時メッセージ生成ぶん）

使い方つかいかた

TEST
#entry main
#target std
#import "std/test" as *
fn main <()*>i32> ():
    let checks <Vec<Result<(),str>>>:
        checks_new
        |> checks_push check_str_eq "hello" concat "he" "llo"
    checks_exit_code checks

check_ok_i32

Result<i32,i32> が Ok であることを値あたいとして返かえす

目的もくてき

  • Result::Ok を期待する検査を集約可能な Result<(),str> に変換します。

実装じっそう

  • match で Ok/Err を分け、Err の場合だけ失敗メッセージを返します。

注意ちゅうい

  • Result<i32,i32> 専用です。
  • Ok の中身は返さず、成功・失敗だけを返します。

計算量けいさんりょう

  • 時間じかん: O(1)
  • 空間くうかん: O(1)

check_err_i32

Result<i32,i32> が Err であることを値あたいとして返かえす

目的もくてき

  • Result::Err を期待する検査を集約可能な Result<(),str> に変換します。

実装じっそう

  • match で Ok/Err を分け、Ok の場合だけ失敗メッセージを返します。

注意ちゅうい

  • Result<i32,i32> 専用です。
  • Err の中身は返さず、成功・失敗だけを返します。

計算量けいさんりょう

  • 時間じかん: O(1)
  • 空間くうかん: O(1)

check_status_str

機械きかい向むけ summary 用ようの状態じょうたい文字列もじれつを返かえす

目的もくてき

  • Result<(),str> を ok / err <msg> の安定あんていした summary 片へんへ変換へんかんし、machine 側がわでも追跡ついせきしやすくします。

実装じっそう

  • Ok は ok を返かえし、Err msg は err と msg を連結れんけつして返かえします。

注意ちゅうい

  • checks_summary の内部ないぶ helper です。
  • msg をそのまま summary に含ふくめるため、非常ひじょうに長ながい失敗しっぱい文ぶんは summary 行ぎょうも長ながくなります。

計算量けいさんりょう

  • 時間じかん: O(1)
  • 空間くうかん: O(1)

checks_has_err_loop

Err を含ふくむかを順じゅんに調しらべる内部ないぶ helper

目的もくてき

  • 集約しゅうやく済ずみ検査列けんされつに失敗しっぱいがあるかを線形せんけい走査そうさで判定はんていします。

実装じっそう

  • Vec の backing store を 1 回かいだけ取とり出だし、raw data を添字そえじで走査そうさします。
  • 最初さいしょの Err が見みつかった時点じてんで true を返かえします。

注意ちゅうい

  • 内部ないぶ helper です。
  • checks_data は Vec<Result<(),str>> の data pointer、n は長ながさです。

計算量けいさんりょう

  • 時間じかん: O(n)
  • 空間くうかん: O(n)（再帰さいき）

checks_has_err

集約しゅうやく済ずみ検査列けんされつに Err が含ふくまれるか判定はんていする

目的もくてき

  • 最終さいしゅう失敗しっぱい判定はんていの前まえに、少すくなくとも 1 件けんの失敗しっぱいがあるかを調しらべます。

実装じっそう

  • Vec<Result<(),str>> を temporary memory に保存ほぞんし、長さと data pointer を 1 回かいだけ取とり出だして checks_has_err_loop へ渡わたします。

注意ちゅうい

  • 失敗しっぱいの詳細しょうさいは返かえしません。詳細しょうさい表示ひょうじには finish_checks を使つかってください。

計算量けいさんりょう

  • 時間じかん: O(n)
  • 空間くうかん: O(n)（再帰さいき）

checks_summary_loop

[ok,err <msg>,...] 形式けいしきの要約ようやくを作つくる内部ないぶ helper

目的もくてき

  • 集約しゅうやく済ずみ検査列けんされつを、ok と err <msg> が並ならぶ summary 文字列もじれつへ変換へんかんします。

実装じっそう

  • Vec の raw data を先頭せんとうから順じゅんに走査そうさし、check_status_str の結果けっかを必要ひつような区切くぎりとともに連結れんけつします。

注意ちゅうい

  • 失敗しっぱい件数けんすうだけでなく、summary 行ぎょうだけで各かく失敗しっぱい理由りゆうまで追おいたい場面ばめんを想定そうていした helper です。

計算量けいさんりょう

  • 時間じかん: O(n^2)（文字列もじれつ連結れんけつを繰くり返かえすため）
  • 空間くうかん: O(n)

checks_summary

集約しゅうやく済ずみ検査列けんされつを [ok,err <msg>,...] 形式けいしきへ整形せいけいする

目的もくてき

  • 複数ふくすうの検査けんさ結果けっかを安定あんていした 1 行ぎょうの文字列表現もじれつひょうげんへ畳たたみ、runner や log 側がわで扱あつかいやすくします。

実装じっそう

  • Vec<Result<(),str>> を temporary memory に保存ほぞんし、[ から始はじめて checks_summary_loop で連結れんけつします。

注意ちゅうい

  • これは machine / log 向むけの安定あんてい表現ひょうげんです。人間にんげん向むけの色付いろづき表示ひょうじは checks_print_human を使つかいます。

計算量けいさんりょう

  • 時間じかん: O(n^2)（文字列もじれつ連結れんけつを繰くり返かえすため）
  • 空間くうかん: O(n)

checks_print_human_line

1 件けんぶんの test 結果けっかを人間にんげん向むけに色付いろづきで表示ひょうじする

目的もくてき

  • [index] ok または [index] err <msg> の形かたちで、1 件けんの検査けんさ結果けっかを見みやすく表示ひょうじします。

実装じっそう

  • 添字そえじ部分ぶぶんは灰色、ok は緑、err <msg> は赤で表示ひょうじします。

注意ちゅうい

  • 標準ひょうじゅん出力しゅつりょくへの表示ひょうじは #target std のときだけ行おこないます。

計算量けいさんりょう

  • 時間じかん: O(m)（m は msg の長ながさ）
  • 空間くうかん: O(m)

checks_print_human_loop

Vec<Result<(),str>> を順じゅんに色付いろづき表示ひょうじする内部ないぶ helper

目的もくてき

  • 集約しゅうやく済ずみ検査列けんされつの全要素ぜんようそを人間にんげん向むけに並ならべて表示ひょうじします。

実装じっそう

  • raw data を順じゅんに走査そうさし、checks_print_human_line へ 1 件けんずつ渡わたします。

注意ちゅうい

  • 成功せいこう case でも失敗しっぱい case でも全件ぜんけんを表示ひょうじします。

計算量けいさんりょう

  • 時間じかん: O(n + s)（s は全すべての msg 長ながさの合計ごうけい）
  • 空間くうかん: O(n)（再帰さいき）

checks_print_human

Vec<Result<(),str>> を人間にんげん向むけに色付いろづき表示ひょうじする

目的もくてき

  • Vec<Result<(),str>> を [index] ok / err <msg> の形かたちで全件ぜんけん表示ひょうじし、人間にんげんが成功せいこうと失敗しっぱいを即座そくざに読よめるようにします。
  • 表示ひょうじ後ごも同おなじ Vec<Result<(),str>> を返かえし、その後あとの checks_exit_code や追加ついか helper と合成ごうせいできるようにします。

実装じっそう

  • checks を temporary memory に保存ほぞんし、raw data を checks_print_human_loop へ渡わたしたあと、同おなじ Vec<Result<(),str>> を読よみ戻もどして返かえします。

注意ちゅうい

  • #target std 専用せんようです。
  • machine 向むけの安定あんてい表現ひょうげんが必要ひつようなら checks_summary を使つかいます。

計算量けいさんりょう

  • 時間じかん: O(n + s)（s は全すべての msg 長ながさの合計ごうけい）
  • 空間くうかん: O(n)（再帰さいき）

checks_print_machine

Vec<Result<(),str>> を machine 向むけ summary として表示ひょうじする

目的もくてき

  • test case 側がわで summary だけを stdout へ明示的めいじてきに出だしたいときに使つかいます。
  • 表示ひょうじ後ごも同おなじ Vec<Result<(),str>> を返かえし、その後あとの処理しょりへ繋つなげられるようにします。

実装じっそう

  • checks を temporary memory に保存ほぞんし、checks_summary を計算けいさんして失敗しっぱいがあるときは FAIL: 付きつき、なければ Checked 付きつきで 1 行ぎょう表示ひょうじします。
  • 最後さいごに同おなじ Vec<Result<(),str>> を読よみ戻もどして返かえします。

注意ちゅうい

  • finish_checks や checks_exit_code は自動じどうで表示ひょうじしません。stdout が必要ひつような test case ではこの helper を明示的めいじてきに呼よんでください。
  • #target std 専用せんようです。

計算量けいさんりょう

  • 時間じかん: O(n^2)（checks_summary の構築こうちくを含ふくむ）
  • 空間くうかん: O(n)

checks_print_report

test 終了時しゅうりょうじに summary と human 向むけ一覧いちらんをまとめてまとめて表示ひょうじする

目的もくてき

  • checks_push 中ちゅうには何なにも print せず、test 本体ほんたいの末尾まつびで 1 回かいだけ明示的めいじてきに結果けっかを出だしたい場合ばあいの標準ひょうじゅん helper を提供ていきょうします。

実装じっそう

  • checks_print_machine の後あとに checks_print_human を呼よび、同おなじ Vec<Result<(),str>> を返かえします。

注意ちゅうい

  • checks_exit_code とは別べつです。stdout が必要ひつような test case だけ、return 直前ちょくぜんでこの helper を呼よんでください。
  • #target std 専用せんようです。

計算量けいさんりょう

  • checks_print_machine と checks_print_human の合計ごうけいに準じゅんじます。

finish_checks

複数ふくすう検査けんさをまとめて Result<(),str> に畳たたむ

目的もくてき

  • Vec<Result<(),str>> として集約しゅうやくした検査けんさを最後さいごにまとめて評価ひょうかします。
  • 途中とちゅうの検査けんさは継続けいぞくしつつ、最後さいごに表示ひょうじなしで成功せいこう / 失敗しっぱいを値あたいとして得えられます。

実装じっそう

  • checks_summary で machine 向むけ summary を作つくります。
  • 失敗しっぱいが 1 件けんでもあれば Result::Err summary、なければ Result::Ok () を返かえします。
  • move model に合あわせ、入力にゅうりょくの Vec<Result<(),str>> は 1 回かいだけ memory に保存ほぞんしてから helper へ渡わたします。

注意ちゅうい

  • 想定そうてい用途ようとは <Vec<Result<(),str>>> new |> push check_* ... のような段階的だんかいてき収集しゅうしゅうです。
  • stdout へ出だしたい場合ばあいは checks_print_report などを test case 側がわで明示的めいじてきに呼よんでください。
  • runner 連携れんけいで終了しゅうりょう code が必要ひつような場合ばあいは checks_exit_code を使つかいます。

計算量けいさんりょう

  • 時間じかん: O(n^2)（summary 文字列もじれつ構築こうちくを含ふくむ）
  • 空間くうかん: O(n)

使い方つかいかた

TEST
#entry main
#target std
#import "std/test" as *
#import "core/math" as *
fn main <()*>i32> ():
    let checks <Vec<Result<(),str>>>:
        checks_new
        |> checks_push check_eq_i32 3 add 1 2
        |> checks_push check_str_eq "ok" "ok"
        |> checks_push check_ok_i32 Result::Ok 7
    checks_exit_code checks

result_exit_code

Result<(),str> を i32 の終了しゅうりょう code へ変換へんかんする

目的もくてき

  • 安全あんぜんな Result<(),str> 表現ひょうげんを、runner が比較ひかくできる i32 に落おとします。

実装じっそう

  • Ok なら 0、Err なら 1 を返かえします。

注意ちゅうい

  • 詳細しょうさいな失敗しっぱい内容ないようの表示ひょうじは test_fail や checks_print_* helper が担当たんとうします。

計算量けいさんりょう

  • 時間じかん: O(1)
  • 空間くうかん: O(1)

checks_exit_code

集約しゅうやく検査けんさを i32 の終了しゅうりょう code へ変換へんかんする

目的もくてき

  • finish_checks の結果けっかをそのまま main の返かえり値あたいへ繋つなげられるようにします。

実装じっそう

  • finish_checks を呼よんでから result_exit_code へ渡わたします。

注意ちゅうい

  • stdout を伴ともなう表示ひょうじは行おこないません。必要なら test case 側がわで checks_print_machine / checks_print_human を呼よんでください。

計算量けいさんりょう

  • finish_checks に準じゅんじます。

assert

条件じょうけんが false のとき失敗しっぱいする

目的もくてき

  • ok が false なら FAIL: 表示ひょうじつきの Result::Err を返かえします。

実装じっそう

  • if で分岐し、false なら test_fail を呼びます。

注意ちゅうい

  • ok は bool である必要があります。

計算量けいさんりょう

  • 時間じかん: O(1)
  • 空間くうかん: O(1)

使い方つかいかた

TEST
#entry main
#target std
#import "std/test" as *
fn main <()*>i32> ():
    let checks <Vec<Result<(),str>>>:
        checks_new
        |> checks_push assert true
        |> checks_push assert eq 3 add 1 2
    checks_exit_code checks

assert_eq_i32

i32 の等値とうちを検証けんしょうする

目的もくてき

  • expected と actual が等しいことを保証します。

実装じっそう

  • eq の結果が false なら詳細メッセージを作って test_fail します。

注意ちゅうい

  • i32 専用です。

計算量けいさんりょう

  • 時間じかん: O(1)
  • 空間くうかん: O(1)

使い方つかいかた

TEST
#entry main
#target std
#import "std/test" as *
#import "core/math" as *
fn main <()*>i32> ():
    let checks <Vec<Result<(),str>>>:
        checks_new
        |> checks_push assert_eq_i32 6 add 1 5
        |> checks_push assert_eq_i32 3 sub 10 7
    checks_exit_code checks

assert_ne

bool が等ひとしくないことを検証けんしょうする

目的もくてき

  • a と b が同じなら詳細メッセージを作って test_fail します。

実装じっそう

  • a の値で分岐し、b との一致を確認します。

注意ちゅうい

  • bool 専用です。

計算量けいさんりょう

  • 時間じかん: O(1)
  • 空間くうかん: O(1)

使い方つかいかた

TEST
#entry main
#target std
#import "std/test" as *
fn main <()*>i32> ():
    let checks <Vec<Result<(),str>>>:
        checks_new
        |> checks_push assert_ne true false
        |> checks_push assert_ne false true
    checks_exit_code checks

assert_str_eq

文字列もじれつが等ひとしいことを検証けんしょうする

目的もくてき

  • expected と actual が同じであることを保証します。

実装じっそう

  • test_str_eq で比較し、false なら詳細メッセージを作って test_fail します。

注意ちゅうい

  • UTF-8 のバイト列として比較します。

計算量けいさんりょう

  • 時間じかん: O(n)
  • 空間くうかん: O(n)

使い方つかいかた

TEST
#entry main
#target std
#import "std/test" as *
#import "alloc/string" as *
fn main <()*>i32> ():
    let checks <Vec<Result<(),str>>>:
        checks_new
        |> checks_push assert_str_eq "prefix-suffix" concat "prefix-" "suffix"
        |> checks_push assert_str_eq "true" from_bool true
    checks_exit_code checks

assert_ok_i32

Result が Ok であることを検証けんしょうする

目的もくてき

  • Result::Ok を受け付け、Err なら詳細メッセージを作って test_fail します。

実装じっそう

  • match で Ok/Err を分岐します。

注意ちゅうい

  • Result<i32,i32> 専用です。

計算量けいさんりょう

  • 時間じかん: O(1)
  • 空間くうかん: O(1)

使い方つかいかた

TEST
#entry main
#target std
#import "std/test" as *
#import "core/result" as *
fn main <()*>i32> ():
    result_exit_code assert_ok_i32 Result<i32,i32>::Ok 42

assert_err_i32

Result が Err であることを検証けんしょうする

目的もくてき

  • Result::Err を受け付け、Ok なら詳細メッセージを作って test_fail します。

実装じっそう

  • match で Ok/Err を分岐します。

注意ちゅうい

  • Result<i32,i32> 専用です。

計算量けいさんりょう

  • 時間じかん: O(1)
  • 空間くうかん: O(1)

使い方つかいかた

TEST
#entry main
#target std
#import "std/test" as *
#import "core/result" as *
fn main <()*>i32> ():
    result_exit_code assert_err_i32 Result<i32,i32>::Err 7