Contract.Requires Yöntem

Tanım

Ad Alanı:

System.Diagnostics.Contracts

Bütünleştirilmiş Kod:

System.Diagnostics.Contracts.dll

Kapsayan bir yöntem veya özellik için ön koşul sözleşmesini belirtir.

Aşırı Yüklemeler

Requires(Boolean)	Kapsayan yöntem veya özellik için ön koşul sözleşmesini belirtir.
Requires(Boolean, String)	Kapsayan yöntem veya özellik için bir ön koşul sözleşmesi belirtir ve sözleşme koşulu başarısız olursa bir ileti görüntüler.
Requires<TException>(Boolean)	Kapsayan yöntem veya özellik için bir ön koşul sözleşmesi belirtir ve sözleşme koşulu başarısız olursa bir özel durum oluşturur.
Requires<TException>(Boolean, String)	Kapsayan yöntem veya özellik için bir ön koşul sözleşmesi belirtir ve sözleşme koşulu başarısız olursa sağlanan iletiyle bir özel durum oluşturur.

Requires(Boolean)

Kaynak:

Contracts.cs

Kapsayan yöntem veya özellik için ön koşul sözleşmesini belirtir.

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)

Parametreler

condition

Boolean

Test etmek için koşullu ifade.

Öznitelikler

ConditionalAttribute

Açıklamalar

• Bu yöntem çağrısı, diğer kodlardan önce bir yöntemin veya özelliğin başında olmalıdır.

• Bu sözleşme istemcilere sunulur; bu nedenle, yalnızca en az kapsayan yöntem kadar görünür olan üyelere başvurması gerekir.

• Geriye dönük uyumluluk sizi belirli bir özel durum atmaya zorlamadığında yöntemi yerine Contract.Requires<TException>(Boolean) bu yöntemi kullanın.

Requires(Boolean, String)

Kaynak:

Contracts.cs

Kapsayan yöntem veya özellik için bir ön koşul sözleşmesi belirtir ve sözleşme koşulu başarısız olursa bir ileti görüntüler.

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)

Parametreler

condition

Boolean

Test etmek için koşullu ifade.

userMessage

String

Koşul ise görüntülenecek ileti.false

Öznitelikler

ConditionalAttribute

Açıklamalar

• Bu yöntem çağrısı, diğer kodlardan önce bir yöntemin veya özelliğin başında olmalıdır.

• Bu sözleşme istemcilere sunulur; bu nedenle, yalnızca en az kapsayan yöntem kadar görünür olan üyelere başvurması gerekir.

• Geriye dönük uyumluluk sizi belirli bir özel durum atmaya zorlamadığında yöntemi yerine Contract.Requires<TException>(Boolean, String) bu yöntemi kullanın.

Requires<TException>(Boolean)

Kaynak:

Contracts.cs

Kapsayan yöntem veya özellik için bir ön koşul sözleşmesi belirtir ve sözleşme koşulu başarısız olursa bir özel durum oluşturur.

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)

Tür Parametreleri

TException

Koşulun olması durumunda atacak özel durum.false

Parametreler

condition

Boolean

Test etmek için koşullu ifade.

Açıklamalar

Önemli

yöntemini kullanmak Requires için çalışma zamanı denetimini açmanız gerekir. Çalışma zamanı denetimi kapalıysa işlem sonlandırılır. Çalışma zamanı denetimi araçlarını edinmek için bkz. Visual Studio Market'te Kod Sözleşmeleri .

• Bu yöntem çağrısı, diğer kodlardan önce bir yöntemin veya özelliğin başında olmalıdır.

• Bu sözleşme istemcilere sunulur; bu nedenle, yalnızca en az kapsayan yöntem kadar görünür olan üyelere başvurması gerekir.

• Önkoşul başarısız olursa bir özel durum atmak istediğinizde yöntemi yerine Contract.Requires(Boolean) bu yöntemi kullanın.

Requires<TException>(Boolean, String)

Kaynak:

Contracts.cs

Kapsayan yöntem veya özellik için bir ön koşul sözleşmesi belirtir ve sözleşme koşulu başarısız olursa sağlanan iletiyle bir özel durum oluşturur.

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)

Tür Parametreleri

TException

Koşulun olması durumunda atacak özel durum.false

Parametreler

condition

Boolean

Test etmek için koşullu ifade.

userMessage

String

Koşul ise görüntülenecek ileti.false

Açıklamalar

• Önemli

  yöntemini kullanmak Requires için çalışma zamanı denetimini açmanız gerekir. Çalışma zamanı denetimi kapalıysa işlem sonlandırılır. Çalışma zamanı denetimi araçlarını edinmek için bkz. Visual Studio Market'te Kod Sözleşmeleri .

  Bu yöntem çağrısı, diğer kodlardan önce bir yöntemin veya özelliğin başında olmalıdır.

• Bu sözleşme istemcilere sunulur; bu nedenle, yalnızca en az kapsayan yöntem kadar görünür olan üyelere başvurması gerekir.

• Önkoşul başarısız olursa bir özel durum atmak istediğinizde yöntemi yerine Contract.Requires(Boolean, String) bu yöntemi kullanın.