Contract.Assume Methode

Definition

Namespace:

System.Diagnostics.Contracts

Assembly:

System.Diagnostics.Contracts.dll

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

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

ConditionalAttribute

Hinweise

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

Assume(Boolean, String)

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

ConditionalAttribute

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.