Bagikan melalui


Contract.Assume Metode

Definisi

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
Sumber:
Contracts.cs
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

Keterangan

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

Berlaku untuk

Assume(Boolean, String)

Sumber:
Contracts.cs
Sumber:
Contracts.cs
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")]
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

Keterangan

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

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

Berlaku untuk