Exceções: A função failwith

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

Sintaxe

failwith error-message-string

Observações

A cadeia de caracteres de mensagem de erro na sintaxe anterior é uma cadeia de caracteres literal ou um valor do tipo string. Torna-se Message propriedade da exceção.

A exceção gerada por failwith é uma System.Exception exceção, que é uma referência que tem 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

Ver também

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