Exceptions : fonction failwith

La fonction failwith génère une exception F#.

Syntaxe

failwith error-message-string

Notes

La chaîne error-message-string dans la syntaxe précédente est une chaîne littérale ou une valeur de type string. Elle devient la propriété Message de l’exception.

L’exception générée par failwith est une exception System.Exception, qui est une référence dont le nom Failure est en code F#. Le code suivant illustre l’utilisation de failwith pour lever une exception.

let divideFailwith x y =
  if (y = 0) then failwith "Divisor cannot be zero."
  else
    x / y

let testDivideFailwith x y =
  try
     divideFailwith x y
  with
     | Failure(msg) -> printfn "%s" msg; 0

let result1 = testDivideFailwith 100 0

Voir aussi

• Gestion des exceptions
• Types d'exceptions
• Exceptions : expression try...with
• Exceptions : expression try...finally
• Exceptions : fonction raise