Contract.Invariant Método

Definição

Namespace:

System.Diagnostics.Contracts

Assembly:

System.Diagnostics.Contracts.dll

Especifica um contrato para um método ou uma propriedade delimitadora.

Sobrecargas

Invariant(Boolean)	Especifica um contrato invariável para o método ou a propriedade delimitadora.
Invariant(Boolean, String)	Especifica um contrato invariável para a propriedade ou o método delimitador e exibe uma mensagem se a condição para o contrato falhar.

Invariant(Boolean)

Origem:

Contracts.cs

Especifica um contrato invariável para o método ou a propriedade delimitadora.

public:
 static void Invariant(bool condition);

[System.Diagnostics.Conditional("CONTRACTS_FULL")]
public static void Invariant (bool condition);

[<System.Diagnostics.Conditional("CONTRACTS_FULL")>]
static member Invariant : bool -> unit

Public Shared Sub Invariant (condition As Boolean)

Parâmetros

condition

Boolean

A expressão condicional a ser testada.

Atributos

ConditionalAttribute

Comentários

Invariant os contratos estão contidos em um método identificado pelo ContractInvariantMethodAttribute atributo ; normalmente, o método é chamado ObjectInvariantde .

• Esse contrato só pode ser especificado em um método invariável dedicado declarado em uma classe . Se o método não estiver selado, ele deverá se referir apenas a membros protegidos, não a membros privados, para que as subclasses possam manter as invariáveis.

• Esse contrato não é exposto aos clientes; portanto, ele pode referenciar membros que são menos visíveis do que o método delimitamento.

• Você deve usar o reescritor binário para a imposição em tempo de execução dessa invariável.

• Invariáveis são definidos condicionalmente com base na presença do CONTRACTS FULL símbolo. Durante a verificação em tempo de execução, as invariáveis são verificadas ao final de cada método público. Se um invariável mencionar um método público na mesma classe, o marcar invariável que normalmente aconteceria no final desse método público será desabilitado e verificado somente no final da chamada de método mais externa para essa classe. Isso também ocorrerá se a classe for inserida novamente devido a uma chamada a um método em outra classe.

Invariant(Boolean, String)

Origem:

Contracts.cs

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

public:
 static void Invariant(bool condition, System::String ^ userMessage);

[System.Diagnostics.Conditional("CONTRACTS_FULL")]
public static void Invariant (bool condition, string? userMessage);

[<System.Diagnostics.Conditional("CONTRACTS_FULL")>]
static member Invariant : bool * string -> unit

Public Shared Sub Invariant (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

Invariant os contratos estão contidos em um método identificado pelo ContractInvariantMethodAttribute atributo ; normalmente, o método é chamado ObjectInvariantde .

• Esse contrato só pode ser especificado em um método invariável dedicado declarado em uma classe .

• Esse contrato não é exposto aos clientes; portanto, ele pode referenciar membros que são menos visíveis do que o método delimitamento.

• Você deve usar o reescritor binário para a imposição em tempo de execução dessa invariável.

• Invariáveis são definidos condicionalmente no CONTRACTS FULL símbolo. Durante a verificação em tempo de execução, as invariáveis são verificadas ao final de cada método público. Se um invariável mencionar um método público na mesma classe, o marcar invariável que normalmente aconteceria no final desse método público será desabilitado e verificado somente no final da chamada de método mais externa para essa classe. Isso também ocorrerá se a classe for inserida novamente devido a uma chamada a um método em outra classe.