Contract.Assume Yöntem

Tanım

Ad Alanı:

System.Diagnostics.Contracts

Bütünleştirilmiş Kod:

System.Diagnostics.Contracts.dll

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

Aşırı Yüklemeler

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, her zaman trueolduğu statik olarak kanıtlanamasa bile bir koşulun olduğunu truevarsayar ve varsayım başarısız olursa bir ileti görüntüler.

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

varsayacak truekoş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, her zaman trueolduğu statik olarak kanıtlanamasa bile bir koşulun olduğunu truevarsayar ve varsayım başarısız olursa bir ileti görüntüler.

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

varsayacak truekoş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.