Declarações (F#)

O assert a expressão é um recurso de depuração, 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 continuará afetados. 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 indica onde ocorreu a falha de declaração.

A 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 configuração do lançamento.

O erro de falha de declaração não pode ser detectado por meio de manipulação de exceção em F#.

Observação
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 de 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

Outros recursos

Referência de linguagem do F#