Udostępnij za pośrednictwem


Contract.Assume Metoda

Definicja

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
Źródło:
Contracts.cs
Ź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

Uwagi

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

Dotyczy

Assume(Boolean, String)

Ź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ż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")]
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

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 .

Dotyczy