Exceções: a função failwith

A função failwith gera uma exceção F#.

Sintaxe

failwith error-message-string

Comentários

Na sintaxe anterior, error-message-string é uma cadeia de caracteres literal ou um valor do tipo string. Ela se torna a propriedade Message da exceção.

A exceção gerada por failwith é uma exceção System.Exception, que é uma referência com o nome Failure no código F#. O código a seguir ilustra o uso de failwith para lançar uma exceção.

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

Confira também

• Tratamento de exceção
• Tipos de Exceção
• Exceções: a expressão try...with
• Exceções: a expressão try...finally
• Exceções: a função raise