Asserções (F#)
O assert a expressão é um recurso de depuração que você pode usar para testar uma expressão. Em caso de falha no modo de depuração, uma declaração gera uma caixa de diálogo de erro do sistema.
assert condition
Comentários
O assert a expressão tem tipo bool -> unit.
Na sintaxe anterior, condition representa uma expressão booleana que deve ser testado. Se a expressão for avaliada como true, execução continua afetado. Se for avaliada como false, uma caixa de diálogo de erro do sistema é gerada. A caixa de diálogo de erro possui uma legenda que contém a seqüência Assertion Failed. A caixa de diálogo contém um rastreamento de pilha que indica onde ocorreu a falha de declaração.
Verificação de declaração está habilitada somente quando você compilar no modo de depuração; ou seja, se a constante DEBUG está definido. No sistema de projeto, por padrão, o DEBUG constante é definida na configuração Debug, mas não na versão de configuração.
O erro de falha de declaração não pode ser detectado por meio de manipulação de exceção em F#.
Dica
O assert função resolve para System.Diagnostics.Debug.Assert.Para obter mais informações, consulte Assert.
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