Freigeben über


Contract.Assume Methode

Definition

Weist Codeanalysetools an, für eine Bedingung das Ergebnis true anzunehmen, auch wenn nicht statisch belegt werden kann, dass sie immer true ist.

Überlädt

Assume(Boolean)

Weist Codeanalysetools an, für die angegebene Bedingung das Ergebnis true anzunehmen, auch wenn nicht statisch belegt werden kann, dass sie immer true ist.

Assume(Boolean, String)

Weist Codeanalysetools an, für eine Bedingung das Ergebnis true anzunehmen, auch wenn nicht statisch belegt werden kann, dass sie immer true ist, und zeigt eine Meldung an, wenn die Annahme fehlschlägt.

Assume(Boolean)

Quelle:
Contracts.cs
Quelle:
Contracts.cs
Quelle:
Contracts.cs

Weist Codeanalysetools an, für die angegebene Bedingung das Ergebnis true anzunehmen, auch wenn nicht statisch belegt werden kann, dass sie immer true ist.

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)

Parameter

condition
Boolean

Der auszuwertende bedingte Ausdruck, für den true angenommen werden soll.

Attribute

Hinweise

Zur Laufzeit entspricht die Verwendung dieser Methode der Verwendung der Assert(Boolean) -Methode.

Gilt für:

Assume(Boolean, String)

Quelle:
Contracts.cs
Quelle:
Contracts.cs
Quelle:
Contracts.cs

Weist Codeanalysetools an, für eine Bedingung das Ergebnis true anzunehmen, auch wenn nicht statisch belegt werden kann, dass sie immer true ist, und zeigt eine Meldung an, wenn die Annahme fehlschlägt.

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)

Parameter

condition
Boolean

Der auszuwertende bedingte Ausdruck, für den true angenommen werden soll.

userMessage
String

Die Meldung, die angezeigt wird, wenn die Annahme fehlschlägt.

Attribute

Hinweise

Wenn userMessage es sich nicht um ein konstantes Zeichenfolgenliteral handelt, kann der Vertrag von Tools nicht verstanden werden.

Zur Laufzeit entspricht die Verwendung dieser Methode der Verwendung der Assert(Boolean, String) -Methode.

Gilt für: