Quelqu'un at-il de bons exemples d'utilisation de scala.util.control.Exception
? J'ai du mal à le comprendre à partir des types.
Réponses
Trop de publicités?En effet, je trouve aussi que c'est assez déroutant! Voici un problème où j'ai une certaine propriété qui peut être un parseable date:
def parse(s: String) : Date = new SimpleDateFormat("yyyy-MM-dd").parse(s)
def parseDate = parse(System.getProperty("foo.bar"))
type PE = ParseException
import scala.util.control.Exception._
val d1 = try {
parseDate
} catch {
case e: PE => new Date
}
De commutation à une forme fonctionnelle:
val date =
catching(classOf[PE]) either parseDate fold (_ => new Date, identity(_) )
Dans le code ci-dessus, se transforme catching(t) either expr
entraînera une Either[T, E]
où T
est le lancer du type et E
est l'expression de son type. Cela peut ensuite être convertie en une valeur spécifique par l'intermédiaire d'un fold
.
Ou une autre version:
val date =
handling(classOf[PE]) by (_ => new Date) apply parseDate
C'est peut-être un peu plus clair - l'suivantes sont équivalentes:
handling(t) by g apply f
try { f } catch { case _ : t => g }
Voici quelques exemples:
compilateur / scala / tools / nsc / interpreter / InteractiveReader.scala
def readLine(prompt: String): String = {
def handler: Catcher[String] = {
case e: IOException if restartSystemCall(e) => readLine(prompt)
}
catching(handler) { readOneLine(prompt) }
}
compilateur / scala / tools / nsc / Interpreter.scala
/** We turn off the binding to accomodate ticket #2817 */
def onErr: Catcher[(String, Boolean)] = {
case t: Throwable if bindLastException =>
withoutBindingLastException {
quietBind("lastException", "java.lang.Throwable", t)
(stringFromWriter(t.printStackTrace(_)), false)
}
}
catching(onErr) {
unwrapping(wrapperExceptions: _*) {
(resultValMethod.invoke(loadedResultObject).toString, true)
}
}
...
/** Temporarily be quiet */
def beQuietDuring[T](operation: => T): T = {
val wasPrinting = printResults
ultimately(printResults = wasPrinting) {
printResults = false
operation
}
}
/** whether to bind the lastException variable */
private var bindLastException = true
/** Temporarily stop binding lastException */
def withoutBindingLastException[T](operation: => T): T = {
val wasBinding = bindLastException
ultimately(bindLastException = wasBinding) {
bindLastException = false
operation
}
}
compilateur / scala / tools / nsc / io / Process.scala
def exitValue(): Option[Int] =
catching(classOf[IllegalThreadStateException]) opt process.exitValue()
bibliothèque / scala / xml / include / sax / Main.scala
def saxe[T](body: => T) = catching[T](classOf[SAXException]) opt body
...
ignoring(classOf[SAXException]) {
includer.setProperty(lexicalHandler, s)
s setFilter includer
}