Contract.Assume Metode
Definisi
Penting
Beberapa informasi terkait produk prarilis yang dapat diubah secara signifikan sebelum dirilis. Microsoft tidak memberikan jaminan, tersirat maupun tersurat, sehubungan dengan informasi yang diberikan di sini.
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 |
Assume(Boolean, String) |
Menginstruksikan alat analisis kode untuk mengasumsikan bahwa kondisi adalah |
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
Saran dan Komentar
https://aka.ms/ContentUserFeedback.
Segera hadir: Sepanjang tahun 2024 kami akan menghentikan penggunaan GitHub Issues sebagai mekanisme umpan balik untuk konten dan menggantinya dengan sistem umpan balik baru. Untuk mengetahui informasi selengkapnya, lihat:Kirim dan lihat umpan balik untuk