Contract.Requires Método

Definição

Namespace:
System.Diagnostics.Contracts
Assemblies:
mscorlib.dll, System.Diagnostics.Contracts.dll
Assembly:
mscorlib.dll
Assembly:
netstandard.dll

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

Sobrecargas

Nome Description
Requires(Boolean)

Especifica um contrato de pré-condição para o método ou propriedade delimitando.
Requires(Boolean, String)

Especifica um contrato de pré-condição para o método ou propriedade delimitante e exibe uma mensagem se a condição do contrato falhar.
Requires<TException>(Boolean)

Especifica um contrato de pré-condição para o método ou propriedade delimitante e gera uma exceção se a condição do contrato falhar.
Requires<TException>(Boolean, String)

Especifica um contrato de pré-condição para o método ou propriedade delimitante e gera uma exceção com a mensagem fornecida se a condição do contrato falhar.

Requires(Boolean)

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

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 sejam pelo menos tão visíveis quanto o método delimitador.

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

Aplica-se a

Requires(Boolean, String)

Especifica um contrato de pré-condição para o método ou propriedade delimitante e exibe uma mensagem se a condição do 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 sejam pelo menos tão visíveis quanto o método delimitador.

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

Aplica-se a

Requires<TException>(Boolean)

Especifica um contrato de pré-condição para o método ou propriedade delimitante e gera uma exceção se a condição do 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 gerada 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 de verificação de runtime, consulte Code Contracts 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 sejam pelo menos tão visíveis quanto o método delimitador.

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

Aplica-se a

Requires<TException>(Boolean, String)

Especifica um contrato de pré-condição para o método ou propriedade delimitante e gera uma exceção com a mensagem fornecida se a condição do 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 gerada 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 de verificação de runtime, consulte Code Contracts 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 sejam pelo menos tão visíveis quanto o método delimitador.

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

Aplica-se a