Declarações

A assert expressão é um recurso de depuração que você pode usar para testar uma expressão. Após falha no modo de depuração, uma asserção gera uma caixa de diálogo de erro do sistema.

Sintaxe

assert condition

Observações

A assert expressão tem o tipo bool -> unit.

A assert função é resolvida como Debug.Assert. Isso significa que seu comportamento é idêntico a ter chamado Debug.Assert diretamente.

A verificação de asserção é habilitada somente quando você compila no modo de depuração; ou seja, se a constante DEBUG for definida. No sistema de projetos, por padrão, a DEBUG constante é definida na configuração de depuração, mas não na configuração de versão.

O erro de falha de asserção não pode ser capturado usando o tratamento de exceção F#.

Exemplo

O exemplo de código a seguir ilustra o uso da assert expressão.

let subtractUnsigned (x : uint32) (y : uint32) =
    assert (x > y)
    let z = x - y
    z
// This code does not generate an assertion failure.
let result1 = subtractUnsigned 2u 1u
// This code generates an assertion failure.
let result2 = subtractUnsigned 1u 2u

Consulte também

• Referência da Linguagem F#