Contract.Assume Metode

Definisi

Ruang nama:

System.Diagnostics.Contracts

Rakitan:

System.Diagnostics.Contracts.dll

Menginstruksikan alat analisis kode untuk mengasumsikan bahwa kondisi adalah true, bahkan jika tidak dapat dibuktikan secara statis untuk selalu true.

Overload

Assume(Boolean)	Menginstruksikan alat analisis kode untuk mengasumsikan bahwa kondisi yang ditentukan adalah true, bahkan jika tidak dapat dibuktikan secara statis untuk selalu true.
Assume(Boolean, String)	Menginstruksikan alat analisis kode untuk mengasumsikan bahwa kondisi adalah true, bahkan jika tidak dapat terbukti secara statis selalu true, dan menampilkan pesan jika asumsi gagal.

Assume(Boolean)

Sumber:

Contracts.cs

Menginstruksikan alat analisis kode untuk mengasumsikan bahwa kondisi yang ditentukan adalah true, bahkan jika tidak dapat dibuktikan secara statis untuk selalu true.

public:
 static void Assume(bool condition);

[System.Diagnostics.Conditional("DEBUG")]
[System.Diagnostics.Conditional("CONTRACTS_FULL")]
public static void Assume (bool condition);

[<System.Diagnostics.Conditional("DEBUG")>]
[<System.Diagnostics.Conditional("CONTRACTS_FULL")>]
static member Assume : bool -> unit

Public Shared Sub Assume (condition As Boolean)

Parameter

condition

Boolean

Ekspresi bersyarah untuk mengasumsikan true.

Atribut

ConditionalAttribute

Keterangan

Pada durasi, menggunakan metode ini setara dengan menggunakan Assert(Boolean) metode .

Assume(Boolean, String)

Sumber:

Contracts.cs

Menginstruksikan alat analisis kode untuk mengasumsikan bahwa kondisi adalah true, bahkan jika tidak dapat terbukti secara statis selalu true, dan menampilkan pesan jika asumsi gagal.

public:
 static void Assume(bool condition, System::String ^ userMessage);

[System.Diagnostics.Conditional("DEBUG")]
[System.Diagnostics.Conditional("CONTRACTS_FULL")]
public static void Assume (bool condition, string? userMessage);

[<System.Diagnostics.Conditional("DEBUG")>]
[<System.Diagnostics.Conditional("CONTRACTS_FULL")>]
static member Assume : bool * string -> unit

Public Shared Sub Assume (condition As Boolean, userMessage As String)

Parameter

condition

Boolean

Ekspresi bersyarah untuk mengasumsikan true.

userMessage

String

Pesan untuk diposting jika asumsi gagal.

Atribut

ConditionalAttribute

Keterangan

Jika userMessage bukan string konstan, kontrak mungkin tidak dipahami oleh alat.

Pada durasi, menggunakan metode ini setara dengan menggunakan Assert(Boolean, String) metode .