Contract.Requires Método

Definição

Namespace:

System.Diagnostics.Contracts

Assembly:

System.Diagnostics.Contracts.dll

Especifica um contrato de pré-condição para um método ou uma propriedade delimitadora.

Sobrecargas

Requires(Boolean)	Especifica um contrato de pré-condição para o método ou a propriedade delimitadora.
Requires(Boolean, String)	Especifica um contrato de precondição para a propriedade ou o método delimitador e exibe uma mensagem se a condição para o contrato falhar.
Requires<TException>(Boolean)	Especifica um contrato de precondição para a propriedade ou o método delimitador e lança uma exceção se a condição para o contrato falhar.
Requires<TException>(Boolean, String)	Especifica um contrato de precondição para a propriedade ou o método delimitador e lança uma exceção com a mensagem fornecida se a condição para o contrato falhar.

Requires(Boolean)

Origem:

Contracts.cs

Especifica um contrato de pré-condição para o método ou a propriedade delimitadora.

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)

Parâmetros

condition

Boolean

A expressão condicional a ser testada.

Atributos

ConditionalAttribute

Comentários

• Essa chamada de método deve estar no início de um método ou propriedade, antes de qualquer outro código.

• Esse contrato é exposto aos clientes; portanto, ele só deve referenciar membros que são pelo menos tão visíveis quanto o método delimitamento.

• Use esse método em vez do método quando a Contract.Requires<TException>(Boolean) compatibilidade com versões anteriores não forçar você a lançar uma exceção específica.

Requires(Boolean, String)

Origem:

Contracts.cs

Especifica um contrato de precondição para a propriedade ou o método delimitador e exibe uma mensagem se a condição para o contrato falhar.

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)

Parâmetros

condition

Boolean

A expressão condicional a ser testada.

userMessage

String

A mensagem a ser exibida se a condição for false.

Atributos

ConditionalAttribute

Comentários

• Essa chamada de método deve estar no início de um método ou propriedade, antes de qualquer outro código.

• Esse contrato é exposto aos clientes; portanto, ele só deve referenciar membros que são pelo menos tão visíveis quanto o método delimitamento.

• Use esse método em vez do método quando a Contract.Requires<TException>(Boolean, String) compatibilidade com versões anteriores não forçar você a lançar uma exceção específica.

Requires<TException>(Boolean)

Origem:

Contracts.cs

Especifica um contrato de precondição para a propriedade ou o método delimitador e lança uma exceção se a condição para o contrato falhar.

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)

Parâmetros de tipo

TException

A exceção a ser lançada se a condição for false.

Parâmetros

condition

Boolean

A expressão condicional a ser testada.

Comentários

Importante

Você deve ativar a verificação em tempo de execução para usar o Requires método . Se a verificação em tempo de execução estiver desativada, o processo será encerrado. Para obter as ferramentas para verificação de runtime, consulte Contratos de Código no Visual Studio Marketplace.

• Essa chamada de método deve estar no início de um método ou propriedade, antes de qualquer outro código.

• Esse contrato é exposto aos clientes; portanto, ele só deve referenciar membros que são pelo menos tão visíveis quanto o método delimitamento.

• Use esse método em vez do Contract.Requires(Boolean) método quando quiser lançar uma exceção se a pré-condição falhar.

Requires<TException>(Boolean, String)

Origem:

Contracts.cs

Especifica um contrato de precondição para a propriedade ou o método delimitador e lança uma exceção com a mensagem fornecida se a condição para o contrato falhar.

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)

Parâmetros de tipo

TException

A exceção a ser lançada se a condição for false.

Parâmetros

condition

Boolean

A expressão condicional a ser testada.

userMessage

String

A mensagem a ser exibida se a condição for false.

Comentários

• Importante

  Você deve ativar a verificação em tempo de execução para usar o Requires método . Se a verificação em tempo de execução estiver desativada, o processo será encerrado. Para obter as ferramentas para verificação de runtime, consulte Contratos de Código no Visual Studio Marketplace.

  Essa chamada de método deve estar no início de um método ou propriedade, antes de qualquer outro código.

• Esse contrato é exposto aos clientes; portanto, ele só deve referenciar membros que são pelo menos tão visíveis quanto o método delimitamento.

• Use esse método em vez do Contract.Requires(Boolean, String) método quando quiser lançar uma exceção se a pré-condição falhar.