Sdílet prostřednictvím


Contract.Assume Metoda

Definice

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

Poznámky

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

Platí pro

Assume(Boolean, String)

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

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.

Platí pro