DebugSections.scala

/* Copyright 2009-2015 EPFL, Lausanne */

package leon
package utils

import scala.annotation.implicitNotFound

@implicitNotFound("No implicit debug section found in scope. You need define an implicit DebugSection to use debug/ifDebug")
sealed abstract class DebugSection(val name: String, val mask: Int)

case object DebugSectionSolver       extends DebugSection("solver",       1 << 0)
case object DebugSectionSynthesis    extends DebugSection("synthesis",    1 << 1)
case object DebugSectionTimers       extends DebugSection("timers",       1 << 2)
case object DebugSectionOptions      extends DebugSection("options",      1 << 3)
case object DebugSectionVerification extends DebugSection("verification", 1 << 4)
case object DebugSectionTermination  extends DebugSection("termination",  1 << 5)
case object DebugSectionTrees        extends DebugSection("trees",        1 << 6)
case object DebugSectionPositions    extends DebugSection("positions",    1 << 7)
case object DebugSectionDataGen      extends DebugSection("datagen",      1 << 8)
case object DebugSectionEvaluation   extends DebugSection("eval",         1 << 9)
case object DebugSectionRepair       extends DebugSection("repair",       1 << 10)
case object DebugSectionLeon         extends DebugSection("leon",         1 << 11)
case object DebugSectionXLang        extends DebugSection("xlang",        1 << 12)
case object DebugSectionTypes        extends DebugSection("types",        1 << 13)
case object DebugSectionIsabelle     extends DebugSection("isabelle",     1 << 14)
case object DebugSectionReport       extends DebugSection("report",       1 << 15)
case object DebugSectionGenC         extends DebugSection("genc",         1 << 16)

object DebugSections {
  val all = Set[DebugSection](
    DebugSectionSolver,
    DebugSectionSynthesis,
    DebugSectionTimers,
    DebugSectionOptions,
    DebugSectionVerification,
    DebugSectionTermination,
    DebugSectionTrees,
    DebugSectionPositions,
    DebugSectionDataGen,
    DebugSectionEvaluation,
    DebugSectionRepair,
    DebugSectionLeon,
    DebugSectionXLang,
    DebugSectionTypes,
    DebugSectionIsabelle,
    DebugSectionReport,
    DebugSectionGenC
  )
}