Beweringen
De assert
expressie is een functie voor foutopsporing die u kunt gebruiken om een expressie te testen. Bij een fout in de foutopsporingsmodus genereert een assertie een dialoogvenster met systeemfouten.
Syntaxis
assert condition
Opmerkingen
De assert
expressie heeft het type bool -> unit
.
De assert
functie wordt omgezet in Debug.Assert. Dit betekent dat het gedrag identiek is aan het rechtstreeks aangeroepen Debug.Assert .
Assertiecontrole is alleen ingeschakeld wanneer u compileert in de foutopsporingsmodus; dat wil gezegd, als de constante DEBUG
is gedefinieerd. In het projectsysteem wordt standaard de DEBUG
constante gedefinieerd in de configuratie voor foutopsporing, maar niet in de releaseconfiguratie.
De fout met de assertie kan niet worden opgevangen met behulp van F#-uitzonderingsafhandeling.
Opmerking
Het volgende codevoorbeeld illustreert het gebruik van de assert
expressie.
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