Contract.Requires Methode

Definitie

Naamruimte:: System.Diagnostics.Contracts

Assembly's:: mscorlib.dll, System.Diagnostics.Contracts.dll

Assembly:: mscorlib.dll

Assembly:: netstandard.dll

Belangrijk

Bepaalde informatie heeft betrekking op een voorlopige productversie die aanzienlijk kan worden gewijzigd voordat deze wordt uitgebracht. Microsoft biedt geen enkele expliciete of impliciete garanties met betrekking tot de informatie die hier wordt verstrekt.

Hiermee geeft u een voorwaardecontract voor een omsluitmethode of eigenschap.

Overloads

Name	Description
Requires(Boolean)	Hiermee geeft u een voorwaardecontract voor de insluitmethode of eigenschap.
Requires(Boolean, String)	Hiermee geeft u een voorwaardecontract voor de omsluitmethode of eigenschap en geeft u een bericht weer als de voorwaarde voor het contract mislukt.
Requires<TException>(Boolean)	Hiermee geeft u een voorwaardecontract voor de insluitmethode of eigenschap op en genereert een uitzondering als de voorwaarde voor het contract mislukt.
Requires<TException>(Boolean, String)	Hiermee geeft u een voorwaardecontract op voor de insluitmethode of eigenschap en genereert u een uitzondering met het opgegeven bericht als de voorwaarde voor het contract mislukt.

Requires(Boolean)

Hiermee geeft u een voorwaardecontract voor de insluitmethode of eigenschap.

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)

Parameters

condition: Boolean

De voorwaardelijke expressie die moet worden getest.

Kenmerken: ConditionalAttribute

Opmerkingen

Deze methodeaanroep moet zich aan het begin van een methode of eigenschap vóór een andere code bevindt.
Dit contract wordt blootgesteld aan klanten; Daarom mag alleen worden verwezen naar leden die minstens zo zichtbaar zijn als de insluitmethode.
Gebruik deze methode in plaats van de Contract.Requires<TException>(Boolean) methode wanneer compatibiliteit met eerdere versies u niet dwingt om een bepaalde uitzondering te genereren.

Van toepassing op

Requires(Boolean, String)

Hiermee geeft u een voorwaardecontract voor de omsluitmethode of eigenschap en geeft u een bericht weer als de voorwaarde voor het contract mislukt.

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)

Parameters

condition: Boolean

De voorwaardelijke expressie die moet worden getest.

userMessage: String

Het bericht dat moet worden weergegeven als de voorwaarde is false.

Kenmerken: ConditionalAttribute

Opmerkingen

Deze methodeaanroep moet zich aan het begin van een methode of eigenschap vóór een andere code bevindt.
Dit contract wordt blootgesteld aan klanten; Daarom mag alleen worden verwezen naar leden die minstens zo zichtbaar zijn als de insluitmethode.
Gebruik deze methode in plaats van de Contract.Requires<TException>(Boolean, String) methode wanneer compatibiliteit met eerdere versies u niet dwingt om een bepaalde uitzondering te genereren.

Van toepassing op

Requires<TException>(Boolean)

Hiermee geeft u een voorwaardecontract voor de insluitmethode of eigenschap op en genereert een uitzondering als de voorwaarde voor het contract mislukt.

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)

Type parameters

TException

De uitzondering die moet worden gegenereerd als de voorwaarde is false.

Parameters

condition: Boolean

De voorwaardelijke expressie die moet worden getest.

Opmerkingen

Belangrijk

U moet runtimecontrole inschakelen om de Requires methode te kunnen gebruiken. Als runtimecontrole is uitgeschakeld, wordt het proces beëindigd. Zie Code Contracts op de Visual Studio Marketplace om de hulpprogramma's voor runtimecontrole te verkrijgen.

Deze methodeaanroep moet zich aan het begin van een methode of eigenschap vóór een andere code bevindt.
Dit contract wordt blootgesteld aan klanten; Daarom mag alleen worden verwezen naar leden die minstens zo zichtbaar zijn als de insluitmethode.
Gebruik deze methode in plaats van de Contract.Requires(Boolean) methode wanneer u een uitzondering wilt genereren als de voorwaarde mislukt.

Van toepassing op

Requires<TException>(Boolean, String)

Hiermee geeft u een voorwaardecontract op voor de insluitmethode of eigenschap en genereert u een uitzondering met het opgegeven bericht als de voorwaarde voor het contract mislukt.

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)

Type parameters

TException

De uitzondering die moet worden gegenereerd als de voorwaarde is false.

Parameters

condition: Boolean

De voorwaardelijke expressie die moet worden getest.

userMessage: String

Het bericht dat moet worden weergegeven als de voorwaarde is false.

Opmerkingen

Belangrijk

U moet runtimecontrole inschakelen om de Requires methode te kunnen gebruiken. Als runtimecontrole is uitgeschakeld, wordt het proces beëindigd. Zie Code Contracts op de Visual Studio Marketplace om de hulpprogramma's voor runtimecontrole te verkrijgen.

Deze methodeaanroep moet zich aan het begin van een methode of eigenschap vóór een andere code bevindt.
Dit contract wordt blootgesteld aan klanten; Daarom mag alleen worden verwezen naar leden die minstens zo zichtbaar zijn als de insluitmethode.
Gebruik deze methode in plaats van de Contract.Requires(Boolean, String) methode wanneer u een uitzondering wilt genereren als de voorwaarde mislukt.

Van toepassing op

Feedback

Is deze pagina nuttig?