-
Manos Koukoutos authored
Identifier fields which can be private are now private. Identifier now inherits Ordered. Define Undefined error, and its subclass SolverUndefinedError. Use it mainly in solvers.
Manos Koukoutos authoredIdentifier fields which can be private are now private. Identifier now inherits Ordered. Define Undefined error, and its subclass SolverUndefinedError. Use it mainly in solvers.
LeonExceptions.scala 376 B
/* Copyright 2009-2015 EPFL, Lausanne */
package leon
import purescala.Common.Tree
case class LeonFatalError(msg: Option[String]) extends Exception(msg.getOrElse(""))
object LeonFatalError {
def apply(msg: String) = new LeonFatalError(Some(msg))
}
class Unsupported(t: Tree, msg: String)(implicit ctx: LeonContext)
extends Exception(s"${t.asString}@${t.getPos} $msg")