Contract.Requires Methode

Definition

Namespace:

System.Diagnostics.Contracts

Assembly:

System.Diagnostics.Contracts.dll

Gibt einen Vorbedingungsvertrag für eine einschließende Methode oder Eigenschaft an.

Überlädt

Requires(Boolean)	Gibt einen Vorbedingungsvertrag für die einschließende Methode oder Eigenschaft an.
Requires(Boolean, String)	Gibt einen Vorbedingungsvertrag für die einschließende Methode oder Eigenschaft an, und zeigt eine Meldung an, wenn die Bedingung für den Vertrag nicht erfüllt wird.
Requires<TException>(Boolean)	Gibt einen Vorbedingungsvertrag für die einschließende Methode oder Eigenschaft an, und löst eine Ausnahme aus, wenn die Bedingung für den Vertrag nicht erfüllt wird.
Requires<TException>(Boolean, String)	Gibt einen Vorbedingungsvertrag für die einschließende Methode oder Eigenschaft an, und löst eine Ausnahme mit der angegebenen Meldung aus, wenn die Bedingung für den Vertrag nicht erfüllt wird.

Requires(Boolean)

Quelle:

Contracts.cs

Gibt einen Vorbedingungsvertrag für die einschließende Methode oder Eigenschaft an.

public:
 static void Requires(bool condition);

[System.Diagnostics.Conditional("CONTRACTS_FULL")]
public static void Requires (bool condition);

[<System.Diagnostics.Conditional("CONTRACTS_FULL")>]
static member Requires : bool -> unit

Public Shared Sub Requires (condition As Boolean)

Parameter

condition

Boolean

Der bedingte Ausdruck, der getestet werden soll.

Attribute

ConditionalAttribute

Hinweise

• Dieser Methodenaufruf muss am Anfang einer Methode oder Eigenschaft vor jedem anderen Code stehen.

• Dieser Vertrag ist für Clients verfügbar gemacht. daher darf nur auf Elemente verwiesen werden, die mindestens so sichtbar sind wie die einschließende Methode.

• Verwenden Sie diese Methode anstelle der Contract.Requires<TException>(Boolean) -Methode, wenn Die Abwärtskompatibilität nicht dazu zwingt, eine bestimmte Ausnahme auszulösen.

Requires(Boolean, String)

Quelle:

Contracts.cs

Gibt einen Vorbedingungsvertrag für die einschließende Methode oder Eigenschaft an, und zeigt eine Meldung an, wenn die Bedingung für den Vertrag nicht erfüllt wird.

public:
 static void Requires(bool condition, System::String ^ userMessage);

[System.Diagnostics.Conditional("CONTRACTS_FULL")]
public static void Requires (bool condition, string? userMessage);

[<System.Diagnostics.Conditional("CONTRACTS_FULL")>]
static member Requires : bool * string -> unit

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

Parameter

condition

Boolean

Der bedingte Ausdruck, der getestet werden soll.

userMessage

String

Die Meldung, die angezeigt werden soll, wenn die Bedingung false lautet.

Attribute

ConditionalAttribute

Hinweise

• Dieser Methodenaufruf muss am Anfang einer Methode oder Eigenschaft vor jedem anderen Code stehen.

• Dieser Vertrag ist für Clients verfügbar gemacht. daher darf nur auf Elemente verwiesen werden, die mindestens so sichtbar sind wie die einschließende Methode.

• Verwenden Sie diese Methode anstelle der Contract.Requires<TException>(Boolean, String) -Methode, wenn Die Abwärtskompatibilität nicht dazu zwingt, eine bestimmte Ausnahme auszulösen.

Requires<TException>(Boolean)

Quelle:

Contracts.cs

Gibt einen Vorbedingungsvertrag für die einschließende Methode oder Eigenschaft an, und löst eine Ausnahme aus, wenn die Bedingung für den Vertrag nicht erfüllt wird.

public:
generic <typename TException>
 where TException : Exception static void Requires(bool condition);

public static void Requires<TException> (bool condition) where TException : Exception;

static member Requires : bool -> unit (requires 'Exception :> Exception)

Public Shared Sub Requires(Of TException As Exception) (condition As Boolean)

Typparameter

TException

Die Ausnahme, die ausgelöst wird, wenn die Bedingung false ist.

Parameter

condition

Boolean

Der bedingte Ausdruck, der getestet werden soll.

Hinweise

Wichtig

Sie müssen die Laufzeitüberprüfung aktivieren, um die Requires -Methode verwenden zu können. Wenn die Laufzeitüberprüfung deaktiviert ist, wird der Prozess beendet. Informationen zum Abrufen der Tools für die Laufzeitüberprüfung finden Sie unter Code Contracts on the Visual Studio Marketplace.

• Dieser Methodenaufruf muss am Anfang einer Methode oder Eigenschaft vor jedem anderen Code stehen.

• Dieser Vertrag ist für Clients verfügbar gemacht. daher darf nur auf Elemente verwiesen werden, die mindestens so sichtbar sind wie die einschließende Methode.

• Verwenden Sie diese Methode anstelle der Contract.Requires(Boolean) -Methode, wenn Sie eine Ausnahme auslösen möchten, wenn die Vorbedingung fehlschlägt.

Requires<TException>(Boolean, String)

Quelle:

Contracts.cs

Gibt einen Vorbedingungsvertrag für die einschließende Methode oder Eigenschaft an, und löst eine Ausnahme mit der angegebenen Meldung aus, wenn die Bedingung für den Vertrag nicht erfüllt wird.

public:
generic <typename TException>
 where TException : Exception static void Requires(bool condition, System::String ^ userMessage);

public static void Requires<TException> (bool condition, string? userMessage) where TException : Exception;

static member Requires : bool * string -> unit (requires 'Exception :> Exception)

Public Shared Sub Requires(Of TException As Exception) (condition As Boolean, userMessage As String)

Typparameter

TException

Die Ausnahme, die ausgelöst wird, wenn die Bedingung false ist.

Parameter

condition

Boolean

Der bedingte Ausdruck, der getestet werden soll.

userMessage

String

Die Meldung, die angezeigt werden soll, wenn die Bedingung false lautet.

Hinweise

• Wichtig

  Sie müssen die Laufzeitüberprüfung aktivieren, um die Requires -Methode verwenden zu können. Wenn die Laufzeitüberprüfung deaktiviert ist, wird der Prozess beendet. Informationen zum Abrufen der Tools für die Laufzeitüberprüfung finden Sie unter Code Contracts on the Visual Studio Marketplace.

  Dieser Methodenaufruf muss am Anfang einer Methode oder Eigenschaft vor jedem anderen Code stehen.

• Dieser Vertrag ist für Clients verfügbar gemacht. daher darf nur auf Elemente verwiesen werden, die mindestens so sichtbar sind wie die einschließende Methode.

• Verwenden Sie diese Methode anstelle der Contract.Requires(Boolean, String) -Methode, wenn Sie eine Ausnahme auslösen möchten, wenn die Vorbedingung fehlschlägt.