Contract.Assume Metoda

Definice

Obor názvů:

System.Diagnostics.Contracts

Sestavení:

System.Diagnostics.Contracts.dll

Dává nástrojům pro analýzu kódu pokyn, aby předpokládaly, že podmínka je true, i když nelze staticky prokázat, že vždy je true.

Přetížení

Assume(Boolean)	Dává nástrojům pro analýzu kódu pokyn, aby předpokládaly, že zadaná podmínka je true, i když nelze staticky prokázat, že je vždy true.
Assume(Boolean, String)	Dává nástrojům pro analýzu kódu pokyn, aby předpokládaly, že podmínka je true, i když nelze staticky prokázat, že vždy je true, a zobrazí zprávu, pokud předpoklad selže.

Assume(Boolean)

Zdroj:

Contracts.cs

Dává nástrojům pro analýzu kódu pokyn, aby předpokládaly, že zadaná podmínka je true, i když nelze staticky prokázat, že je vždy 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)

Parametry

condition

Boolean

Podmíněný výraz, který se má předpokládat true.

Atributy

ConditionalAttribute

Poznámky

Za běhu je použití této metody ekvivalentní použití Assert(Boolean) metody.

Assume(Boolean, String)

Zdroj:

Contracts.cs

Dává nástrojům pro analýzu kódu pokyn, aby předpokládaly, že podmínka je true, i když nelze staticky prokázat, že vždy je true, a zobrazí zprávu, pokud předpoklad selže.

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)

Parametry

condition

Boolean

Podmíněný výraz, který se má předpokládat true.

userMessage

String

Zpráva, která se má publikovat v případě, že předpoklad selže.

Atributy

ConditionalAttribute

Poznámky

Pokud userMessage se nejedná o konstantní řetězcový literál, nemusí být kontrakt nástrojům srozumitelný.

Za běhu je použití této metody ekvivalentní použití Assert(Boolean, String) metody.