org.scalameta.invariants.Exceptions.scala Maven / Gradle / Ivy

Go to download

Show more of this group Show more artifacts with this name
Show all versions of scalameta-foundation_2.11 Show documentation

Metaprogramming and hosting APIs of scala.meta

The newest version!

package org.scalameta.invariants

import scala.compat.Platform.EOL

class InvariantFailedException(message: String) extends Exception(message)
object InvariantFailedException {
  def raise(invariant: String, failures: List[String], locals: Map[String, Any]): InvariantFailedException = {
    val mandatory = s"""
      |invariant failed:
      |when verifying $invariant
      |found that ${failures.head}
    """.trim.stripMargin
    val optionalFailures = failures.tail.headOption.map(_ => EOL + failures.tail.map("and also " + _).mkString(EOL)).getOrElse("")
    val optionalLocals = if (locals.nonEmpty) EOL + locals.toList.sortBy(_._1).map({ case (k, v) => s"where $k = $v"}).mkString(EOL)
    throw new InvariantFailedException(mandatory + optionalFailures + optionalLocals)
  }
}