Contract.Assume Metoda

Definicja

Przestrzeń nazw:: System.Diagnostics.Contracts

Zestawy:: mscorlib.dll, System.Diagnostics.Contracts.dll

Zestawy:: netstandard.dll, System.Diagnostics.Contracts.dll

Zestaw:: System.Diagnostics.Contracts.dll

Zestaw:: mscorlib.dll

Zestaw:: netstandard.dll

Ważne

Niektóre informacje odnoszą się do produktu w wersji wstępnej, który może zostać znacząco zmodyfikowany przed wydaniem. Firma Microsoft nie udziela żadnych gwarancji, jawnych lub domniemanych, w odniesieniu do informacji podanych w tym miejscu.

Instruuje narzędzia do analizy kodu, aby zakładały, że warunek to true, nawet jeśli nie można go statycznie udowodnić, że zawsze ma wartość true.

Przeciążenia

Nazwa	Opis
Assume(Boolean)	Instruuje narzędzia do analizy kodu, aby zakładały, że określony warunek to `true`, nawet jeśli nie można go statycznie udowodnić, że zawsze ma wartość `true`.
Assume(Boolean, String)	Instruuje narzędzia do analizy kodu, aby zakładały, że warunek to `true`, nawet jeśli nie może być `true`statycznie sprawdzony jako zawsze , i wyświetla komunikat, jeśli założenie zakończy się niepowodzeniem.

Assume(Boolean)

Źródło:: Contracts.cs

Źródło:: Contracts.cs

Źródło:: Contracts.cs

Źródło:: Contracts.cs

Źródło:: Contracts.cs

Instruuje narzędzia do analizy kodu, aby zakładały, że określony warunek to true, nawet jeśli nie można go statycznie udowodnić, że zawsze ma wartość 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

Wyrażenie warunkowe, które ma założyć true.

Atrybuty: ConditionalAttribute

Uwagi

W czasie wykonywania użycie tej metody jest równoważne użyciu Assert(Boolean) metody .

Dotyczy

Assume(Boolean, String)

Źródło:: Contracts.cs

Źródło:: Contracts.cs

Źródło:: Contracts.cs

Źródło:: Contracts.cs

Źródło:: Contracts.cs

Instruuje narzędzia do analizy kodu, aby zakładały, że warunek to true, nawet jeśli nie może być truestatycznie sprawdzony jako zawsze , i wyświetla komunikat, jeśli założenie zakończy się niepowodzeniem.

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

Wyrażenie warunkowe, które ma założyć true.

userMessage: String

Komunikat do opublikowania, jeśli założenie nie powiedzie się.

Atrybuty: ConditionalAttribute

Uwagi

Jeśli userMessage nie jest literałem ciągu stałego, kontrakt może nie być rozumiany przez narzędzia.

W czasie wykonywania użycie tej metody jest równoważne użyciu Assert(Boolean, String) metody .

Dotyczy

Opinia

Czy ta strona była pomocna?