Aracılığıyla paylaş


Contract.Assume Yöntem

Tanım

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

Açıklamalar

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

Şunlara uygulanır

Assume(Boolean, String)

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

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.

Şunlara uygulanır