Aserciones (F#)
La expresión assert es una característica de depuración que se puede utilizar para probar una expresión. En caso de error en modo de depuración, una aserción genera un cuadro de diálogo de error del sistema.
assert condition
Comentarios
La expresión assert es del tipo bool -> unit.
En la sintaxis anterior, condition representa una expresión booleana que se va a probar. Si la expresión se evalúa en true, la ejecución continúa sin alteraciones. Si se evalúa en false, se genera un cuadro de diálogo de error del sistema. El cuadro de diálogo de error contiene una leyenda con la cadena Error de aserción. El cuadro de diálogo contiene un seguimiento de la pila que indica dónde se ha producido el error de aserción.
La comprobación de aserciones únicamente está habilitada cuando se compila en modo de depuración; es decir, si se define la constante DEBUG. De forma predeterminada, en el sistema de proyectos la constante DEBUG se define en la configuración Debug, pero no en la configuración Release.
El error de aserción no se puede detectar mediante el control de excepciones de F#.
Nota
La función assert se resuelve en System.Diagnostics.Debug.Assert.Para obtener más información, vea Assert.
En el ejemplos de código siguiente, se muestra el uso de la expresión 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