Contract.Requires Método

Definição

Espaço de Nomes:
System.Diagnostics.Contracts
Assemblagens:
mscorlib.dll, System.Diagnostics.Contracts.dll
Assemblagem:
mscorlib.dll
Assemblagem:
netstandard.dll

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

Sobrecargas

Name Description
Requires(Boolean)

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

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

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

Especifica um contrato pré-condição para o método ou propriedade de encerramento, e lança 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 de encerramento ou propriedade.

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 para testar.

Atributos
ConditionalAttribute

Observações

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

  • Este contrato é exposto aos clientes; portanto, só deve referenciar membros que sejam pelo menos tão visíveis quanto o método de anexo.

  • Use este método em vez do Contract.Requires<TException>(Boolean) método quando a retrocompatibilidade não o obriga 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 de anexo, e apresenta 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 para testar.

userMessage
String

A mensagem a mostrar se a condição for false.

Atributos
ConditionalAttribute

Observações

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

  • Este contrato é exposto aos clientes; portanto, só deve referenciar membros que sejam pelo menos tão visíveis quanto o método de anexo.

  • Use este método em vez do Contract.Requires<TException>(Boolean, String) método quando a retrocompatibilidade não o obriga a lançar uma exceção específica.

Aplica-se a

Requires<TException>(Boolean)

Especifica um contrato pré-condição para o método ou propriedade de encerramento, 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 Genérico

TException

A exceção ao lançamento se a condição for false.

Parâmetros

condition
Boolean

A expressão condicional para testar.

Observações

Importante

Tem de 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á terminado. Para obter as ferramentas para verificação em tempo de execução, consulte Code Contracts no Visual Studio Marketplace.

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

  • Este contrato é exposto aos clientes; portanto, só deve referenciar membros que sejam pelo menos tão visíveis quanto o método de anexo.

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

Aplica-se a

Requires<TException>(Boolean, String)

Especifica um contrato pré-condição para o método ou propriedade de encerramento, e lança 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 Genérico

TException

A exceção ao lançamento se a condição for false.

Parâmetros

condition
Boolean

A expressão condicional para testar.

userMessage
String

A mensagem a mostrar se a condição for false.

Observações

  • Importante

    Tem de 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á terminado. Para obter as ferramentas para verificação em tempo de execução, consulte Code Contracts no Visual Studio Marketplace.

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

  • Este contrato é exposto aos clientes; portanto, só deve referenciar membros que sejam pelo menos tão visíveis quanto o método de anexo.

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

Aplica-se a