• Home
• info.hupel
• libisabelle_2.11
• 0.3.4
• source code

×

Project download

Many resources are needed to download a project. Please understand that we have to compensate our server costs. Thank you in advance.
Project price only 1 $

You can buy this project and download/modify it how often you want.

bisabelle_2.11.0.3.4.source-code.DecodingException.scala Maven / Gradle / Ivy

package edu.tum.cs.isabelle

import edu.tum.cs.isabelle.api.XML

import acyclic.file

/**
 * Error case of [[XMLResult]] as an exception.
 *
 * When decoding an [[edu.tum.cs.isabelle.api.XML.Tree XML tree]]
 * sent from the prover fails, this exception is fed into the corresponding
 * [[Observer observer]].
 */
final case class DecodingException(msg: String, body: XML.Body) extends RuntimeException(msg)