Asserções
A expressão assert é um recurso de depuração que você pode usar para testar uma expressão. Em caso de falha no modo de depuração, uma asserção gera uma caixa de diálogo de erro do sistema.
Sintaxe
assert condition
Comentários
A expressão assert tem o tipo bool -> unit.
A função assert resolve para 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; isto é, se a constante DEBUG for definida. No sistema do projeto, por padrão, a constante DEBUG é definida na configuração Debug, mas não na configuração Release.
O erro de falha de asserção não pode ser detectado usando o tratamento de exceção F#.
Exemplo
O exemplo de código a seguir ilustra o uso da expressão assert.
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
