Aserciones
La assert expresión es una característica de depuración que puede usar 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.
Sintaxis
assert condition
Comentarios
La assert expresión tiene el tipo bool -> unit .
La assert función se resuelve en Debug.Assert . Esto significa que su comportamiento es idéntico a haber llamado Debug.Assert directamente.
La comprobación de aserciones solo se habilita cuando se compila en modo de depuración; es decir, si se define DEBUG la constante. En el sistema de proyectos, de forma predeterminada, la constante se define en la configuración DEBUG de depuración, pero no en la configuración de versión.
No se puede capturar el error de aserción mediante el control de excepciones de F#.
Ejemplo
En el ejemplo de código siguiente se muestra el uso de la assert expresión .
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