Contract.Assume Methode

Definition

Namespace:: System.Diagnostics.Contracts

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

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

Assembly:: System.Diagnostics.Contracts.dll

Assembly:: mscorlib.dll

Assembly:: netstandard.dll

Wichtig

Einige Informationen beziehen sich auf Vorabversionen, die vor dem Release ggf. grundlegend überarbeitet werden. Microsoft übernimmt hinsichtlich der hier bereitgestellten Informationen keine Gewährleistungen, seien sie ausdrücklich oder konkludent.

Weist Codeanalysetools an, davon auszugehen, dass eine Bedingung trueist, auch wenn sie nicht statisch nachgewiesen werden kann.true

Überlädt

Name	Beschreibung
Assume(Boolean)	Weist Codeanalysetools an, davon auszugehen, dass die angegebene Bedingung ist`true`, auch wenn sie nicht statisch nachgewiesen werden kann.`true`
Assume(Boolean, String)	Weist Codeanalysetools an, davon auszugehen, dass eine Bedingung `true`, auch wenn sie nicht statisch nachgewiesen werden kann, immer nachgewiesen werden `true`kann, und zeigt eine Meldung an, wenn die Annahme fehlschlägt.

Assume(Boolean)

Quelle:: Contracts.cs

Quelle:: Contracts.cs

Quelle:: Contracts.cs

Quelle:: Contracts.cs

Quelle:: Contracts.cs

Weist Codeanalysetools an, davon auszugehen, dass die angegebene Bedingung isttrue, auch wenn sie nicht statisch nachgewiesen werden kann.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)

Parameter

condition: Boolean

Der zu übernehmende truebedingte Ausdruck .

Attribute: ConditionalAttribute

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

Quelle:: Contracts.cs

Quelle:: Contracts.cs

Weist Codeanalysetools an, davon auszugehen, dass eine Bedingung true, auch wenn sie nicht statisch nachgewiesen werden kann, immer nachgewiesen werden truekann, 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 zu übernehmende truebedingte Ausdruck .

userMessage: String

Die Nachricht, die gepostt werden soll, wenn die Annahme fehlschlägt.

Attribute: ConditionalAttribute

Hinweise

Wenn userMessage es sich nicht um ein konstantes Zeichenfolgenliteral handelt, wird der Vertrag möglicherweise nicht von Tools verstanden.

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

Gilt für:

Feedback

War diese Seite hilfreich?