ContractFailureKind 列挙型

定義

重要

一部の情報は、リリース前に大きく変更される可能性があるプレリリースされた製品に関するものです。 Microsoft は、ここに記載されている情報について、明示または黙示を問わず、一切保証しません。

失敗したコントラクトの型を指定します。

public enum class ContractFailureKind

public enum ContractFailureKind

type ContractFailureKind =

Public Enum ContractFailureKind

Assert	4	Assert コントラクトが失敗しました。
Assume	5	Assume コントラクトが失敗しました。
Invariant	3	Invariant コントラクトが失敗しました。
Postcondition	1	Ensures コントラクトが失敗しました。
PostconditionOnException	2	EnsuresOnThrow コントラクトが失敗しました。
Precondition	0	Requires コントラクトが失敗しました。