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