Confirm

Confirm[expr]

expr が失敗とはみなされないことを確認する．その他の場合は囲い込んでいる直近のEncloseにエラーをスローする．

Confirm[expr,info]

expr が確認されなければ info を評価して，スローするエラーにその結果を含める．

Confirm[expr,info,tag]

スローする任意のエラーに指定されたタグを使う．

詳細

  • Confirm[expr,…]は，expr の確認に成功した場合は expr を返す．
  • Confirm[expr,…]は，expr が以下のいずれかの形を含む場合は expr が失敗であるとみなし，エラーをスローする．
  • Failure[…]
    Missing[…]
    $Failed
    $Canceled
    $Aborted
  • Confirmは，タグが与えられた場合はスコープが動的になり，それ以外の場合はスコープが語彙的になる． »
  • info のデフォルト値はNullである．
  • expr は，info がNullで exprが以前の確認関数からのFailureである場合以外は，スローされる前にFailureで包み込まれる． »
  • Confirmによって生成されたFailureオブジェクトには以下のフィールドが含まれる．
  • "Information"Confirm[expr,info,…]からの info
    "Expression"Confirm[expr,…]からの expr
  • これらのフィールドの値は failure["prop"]を使ってあるいは直接Enclose[expr,"prop"]から取り出すことができる．

例題

すべて開くすべて閉じる

例  (2)

Confirm[expr]は，expr が失敗とはみなされないときは expr を与える：

Confirmは，失敗に遭遇すると，評価を中止して囲い込んでいるEncloseにエラーをスローする：

引数の失敗を伝播する関数を定義する：

スコープ  (4)

Confirmは，エラーをスローするときは，評価を中止して一致するEncloseを返す：

info は expr が確認できない場合にしか評価されない：

動的にキャッチされるようにタグでConfirmを呼び出す関数を作成する：

タグがない場合はConfirmのスコープは語彙的になる：

失敗は，別の確認関数にスローされたとき以外は，スローされる前にFailureで包み込まれる：

info がNullではないときは，この動作は無効になる：

アプリケーション  (1)

失敗が検出されるとメッセージが出力される：

特性と関係  (1)

ConfirmはConfirmByでエミュレートできる：

考えられる問題  (3)

Confirmは，タグを与えるか語彙のEncloseの中に置くかしなければならない：

タグがないConfirmは，シンボルConfirmのインスタンスをタグが付いたバリアントで置換することで機能する：

タグ付きのConfirmには，一致するタグを持つEncloseが必要である：

Wolfram Research (2020), Confirm, Wolfram言語関数， https://reference.wolfram.com/language/ref/Confirm.html.

テキスト

Wolfram Research (2020), Confirm, Wolfram言語関数， https://reference.wolfram.com/language/ref/Confirm.html.

CMS

Wolfram Language. 2020. "Confirm." Wolfram Language & System Documentation Center. Wolfram Research. https://reference.wolfram.com/language/ref/Confirm.html.

APA

Wolfram Language. (2020). Confirm. Wolfram Language & System Documentation Center. Retrieved from https://reference.wolfram.com/language/ref/Confirm.html

BibTeX

@misc{reference.wolfram_2024_confirm, author="Wolfram Research", title="{Confirm}", year="2020", howpublished="\url{https://reference.wolfram.com/language/ref/Confirm.html}", note=[Accessed: 17-November-2024 ]}

BibLaTeX

@online{reference.wolfram_2024_confirm, organization={Wolfram Research}, title={Confirm}, year={2020}, url={https://reference.wolfram.com/language/ref/Confirm.html}, note=[Accessed: 17-November-2024 ]}