Contract.Requires Contract.Requires Contract.Requires Contract.Requires Method

Definição

Especifica um contrato de pré-condição para um método ou uma propriedade delimitadora.Specifies a precondition contract for an enclosing method or property.

Sobrecargas

Requires(Boolean) Requires(Boolean) Requires(Boolean) Requires(Boolean)

Especifica um contrato de pré-condição para o método ou a propriedade delimitadora.Specifies a precondition contract for the enclosing method or property.

Requires(Boolean, String) Requires(Boolean, String) Requires(Boolean, String) 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.Specifies a precondition contract for the enclosing method or property, and displays a message if the condition for the contract fails.

Requires<TException>(Boolean) Requires<TException>(Boolean) Requires<TException>(Boolean) 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.Specifies a precondition contract for the enclosing method or property, and throws an exception if the condition for the contract fails.

Requires<TException>(Boolean, String) Requires<TException>(Boolean, String) Requires<TException>(Boolean, String) 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.Specifies a precondition contract for the enclosing method or property, and throws an exception with the provided message if the condition for the contract fails.

Requires(Boolean) Requires(Boolean) Requires(Boolean) Requires(Boolean)

Especifica um contrato de pré-condição para o método ou a propriedade delimitadora.Specifies a precondition contract for the enclosing method or property.

public:
 static void Requires(bool condition);
[System.Diagnostics.Conditional("CONTRACTS_FULL")]
public static void Requires (bool condition);
static member Requires : bool -> unit
Public Shared Sub Requires (condition As Boolean)

Parâmetros

condition
Boolean Boolean Boolean Boolean

A expressão condicional a ser testada.The conditional expression to test.

Comentários

  • Essa chamada de método deve estar no início de um método ou propriedade, antes de qualquer outro código.This method call must be at the beginning of a method or property, before any other code.

  • Este contrato é exposto aos clientes; Portanto, ele só deve referenciar membros que sejam pelo menos tão visíveis quanto o método delimitador.This contract is exposed to clients; therefore, it must only reference members that are at least as visible as the enclosing method.

  • Use esse método em vez do Contract.Requires<TException>(Boolean) método quando a compatibilidade com versões anteriores não forçar a geração de uma exceção específica.Use this method instead of the Contract.Requires<TException>(Boolean) method when backward compatibility does not force you to throw a particular exception.

Requires(Boolean, String) Requires(Boolean, String) Requires(Boolean, String) 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.Specifies a precondition contract for the enclosing method or property, and displays a message if the condition for the contract fails.

public:
 static void Requires(bool condition, System::String ^ userMessage);
[System.Diagnostics.Conditional("CONTRACTS_FULL")]
public static void Requires (bool condition, string userMessage);
static member Requires : bool * string -> unit
Public Shared Sub Requires (condition As Boolean, userMessage As String)

Parâmetros

condition
Boolean Boolean Boolean Boolean

A expressão condicional a ser testada.The conditional expression to test.

userMessage
String String String String

A mensagem a ser exibida se a condição for false.The message to display if the condition is false.

Comentários

  • Essa chamada de método deve estar no início de um método ou propriedade, antes de qualquer outro código.This method call must be at the beginning of a method or property, before any other code.

  • Este contrato é exposto aos clientes; Portanto, ele só deve referenciar membros que sejam pelo menos tão visíveis quanto o método delimitador.This contract is exposed to clients; therefore, it must only reference members that are at least as visible as the enclosing method.

  • Use esse método em vez do Contract.Requires<TException>(Boolean, String) método quando a compatibilidade com versões anteriores não forçar a geração de uma exceção específica.Use this method instead of the Contract.Requires<TException>(Boolean, String) method when backward compatibility does not force you to throw a particular exception.

Requires<TException>(Boolean) Requires<TException>(Boolean) Requires<TException>(Boolean) 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.Specifies a precondition contract for the enclosing method or property, and throws an exception if the condition for the contract fails.

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.The exception to throw if the condition is false.

Parâmetros

condition
Boolean Boolean Boolean Boolean

A expressão condicional a ser testada.The conditional expression to test.

Comentários

Importante

Você deve ativar a verificação de tempo de execução para usar Requires o método.You must turn on run-time checking to use the Requires method. Se a verificação de tempo de execução estiver desativada, o processo será encerrado.If run-time checking is turned off, the process will be terminated. Para obter as ferramentas de verificação de tempo de execução, consulte contratos de código no site do MSDN DevLabs.To obtain the tools for runtime checking, see Code Contracts on the MSDN DevLabs Web site.

  • Essa chamada de método deve estar no início de um método ou propriedade, antes de qualquer outro código.This method call must be at the beginning of a method or property, before any other code.

  • Este contrato é exposto aos clientes; Portanto, ele só deve referenciar membros que sejam pelo menos tão visíveis quanto o método delimitador.This contract is exposed to clients; therefore, it must only reference members that are at least as visible as the enclosing method.

  • Use esse método em vez do Contract.Requires(Boolean) método quando desejar gerar uma exceção se a pré-condição falhar.Use this method instead of the Contract.Requires(Boolean) method when you want to throw an exception if the precondition fails.

Requires<TException>(Boolean, String) Requires<TException>(Boolean, String) Requires<TException>(Boolean, String) 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.Specifies a precondition contract for the enclosing method or property, and throws an exception with the provided message if the condition for the contract fails.

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.The exception to throw if the condition is false.

Parâmetros

condition
Boolean Boolean Boolean Boolean

A expressão condicional a ser testada.The conditional expression to test.

userMessage
String String String String

A mensagem a ser exibida se a condição for false.The message to display if the condition is false.

Comentários

  • Importante

    Você deve ativar a verificação de tempo de execução para usar Requires o método.You must turn on run-time checking to use the Requires method. Se a verificação de tempo de execução estiver desativada, o processo será encerrado.If run-time checking is turned off, the process will be terminated. Para obter as ferramentas de verificação de tempo de execução, consulte contratos de código no site do MSDN DevLabs.To obtain the tools for runtime checking, see Code Contracts on the MSDN DevLabs Web site.

    Essa chamada de método deve estar no início de um método ou propriedade, antes de qualquer outro código.This method call must be at the beginning of a method or property, before any other code.

  • Este contrato é exposto aos clientes; Portanto, ele só deve referenciar membros que sejam pelo menos tão visíveis quanto o método delimitador.This contract is exposed to clients; therefore, it must only reference members that are at least as visible as the enclosing method.

  • Use esse método em vez do Contract.Requires(Boolean, String) método quando desejar gerar uma exceção se a pré-condição falhar.Use this method instead of the Contract.Requires(Boolean, String) method when you want to throw an exception if the precondition fails.

Aplica-se a