Contract.Assume Metoda

Definicja

Przestrzeń nazw:

System.Diagnostics.Contracts

Zestaw:

System.Diagnostics.Contracts.dll

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

Przeciążenia

Assume(Boolean)	Instruuje narzędzia do analizy kodu, aby założyć, że określony warunek to true, nawet jeśli nie można go statycznie udowodnić, że zawsze jest to true.
Assume(Boolean, String)	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, i wyświetla komunikat, jeśli założenie zakończy się niepowodzeniem.

Assume(Boolean)

Źródło:

Contracts.cs

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

Atrybuty

ConditionalAttribute

Uwagi

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

Assume(Boolean, String)

Źródło:

Contracts.cs

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, 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")>]
static member Assume : bool * string -> unit

Public Shared Sub Assume (condition As Boolean, userMessage As String)

Parametry

condition

Boolean

Wyrażenie warunkowe do założenia true.

userMessage

String

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

Atrybuty

ConditionalAttribute

Uwagi

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

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