Contract.Assume Yöntem

Tanım

Ad Alanı:

System.Diagnostics.Contracts

Bütünleştirilmiş Kodlar:

netstandard.dll, System.Diagnostics.Contracts.dll

Kod çözümleme araçlarına, statik olarak her zaman trueolduğu kanıtlanamasa bile bir koşulun olduğunu truevarsaymalarını sağlar.

Aşırı Yüklemeler

Name	Description
Assume(Boolean)	Kod çözümleme araçlarına, statik olarak her zaman trueolduğu kanıtlanamasa bile belirtilen koşulun olduğunu truevarsaymalarını sağlar.
Assume(Boolean, String)	Kod çözümleme araçlarına, statik olarak her zaman trueolduğu kanıtlanamasa bile bir koşulun olduğunu truevarsaymalarını ve varsayım başarısız olursa bir ileti görüntülemelerini sağlar.

Assume(Boolean)

Kaynak:

Contracts.cs

Kod çözümleme araçlarına, statik olarak her zaman trueolduğu kanıtlanamasa bile belirtilen koşulun olduğunu truevarsaymalarını sağlar.

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)

Parametreler

condition

Boolean

varsaymak trueiçin koşullu ifade.

Öznitelikler

ConditionalAttribute

Açıklamalar

Çalışma zamanında, bu yöntemin kullanılması yönteminin kullanılmasıyla Assert(Boolean) eşdeğerdir.

Assume(Boolean, String)

Kaynak:

Contracts.cs

Kod çözümleme araçlarına, statik olarak her zaman trueolduğu kanıtlanamasa bile bir koşulun olduğunu truevarsaymalarını ve varsayım başarısız olursa bir ileti görüntülemelerini sağlar.

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)

Parametreler

condition

Boolean

varsaymak trueiçin koşullu ifade.

userMessage

String

Varsayım başarısız olursa gönderilecek ileti.

Öznitelikler

ConditionalAttribute

Açıklamalar

Sabit bir dize değişmez değeri değilse userMessage , sözleşme araçlar tarafından anlaşılamayabilir.

Çalışma zamanında, bu yöntemin kullanılması yönteminin kullanılmasıyla Assert(Boolean, String) eşdeğerdir.