次の方法で共有


Contract.Invariant メソッド

定義

オーバーロード

Invariant(Boolean)
Invariant(Boolean, String)

Invariant(Boolean)

public static void Invariant (bool condition);
static member Invariant : bool -> unit
Public Shared Sub Invariant (condition As Boolean)

パラメーター

condition
Boolean

適用対象

Invariant(Boolean, String)

public static void Invariant (bool condition, string message);
static member Invariant : bool * string -> unit
Public Shared Sub Invariant (condition As Boolean, message As String)

パラメーター

condition
Boolean
message
String

適用対象