Compartilhar via


Contract.Requires Método

Definição

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
Origem:
Contracts.cs
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

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.

Aplica-se a

Requires(Boolean, String)

Origem:
Contracts.cs
Origem:
Contracts.cs
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")]
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

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.

Aplica-se a

Requires<TException>(Boolean)

Origem:
Contracts.cs
Origem:
Contracts.cs
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.

Aplica-se a

Requires<TException>(Boolean, String)

Origem:
Contracts.cs
Origem:
Contracts.cs
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;
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.

Aplica-se a