Scala 2
isabelle.IsabelleProcess

object Kind
[source: isabelle/IsabelleProcess.scala]
object Kind
extends scala.Enumeration
Value Summary
val DEBUG : scala.Enumeration.Value
val ERROR : scala.Enumeration.Value
val EXIT : scala.Enumeration.Value
val INIT : scala.Enumeration.Value
val PRIORITY : scala.Enumeration.Value
val SIGNAL : scala.Enumeration.Value
val STATUS : scala.Enumeration.Value
val STDIN : scala.Enumeration.Value
val STDOUT : scala.Enumeration.Value
val SYSTEM : scala.Enumeration.Value
val TRACING : scala.Enumeration.Value
val WARNING : scala.Enumeration.Value
val WRITELN : scala.Enumeration.Value
val code : scala.collection.immutable.Map[Int, scala.Enumeration.Value]
val markup : scala.collection.immutable.Map[scala.Enumeration.Value, java.lang.String]
Values and Variables inherited from scala.Enumeration
scala.Enumeration.nextId, scala.Enumeration.nextName
Method Summary
def is_control (kind : scala.Enumeration.Value) : Boolean
def is_raw (kind : scala.Enumeration.Value) : Boolean
def is_system (kind : scala.Enumeration.Value) : Boolean
Methods inherited from scala.Enumeration
scala.Enumeration.name, scala.Enumeration.maxId, scala.Enumeration.apply, scala.Enumeration.elements, scala.Enumeration.foreach, scala.Enumeration.forall, scala.Enumeration.exists, scala.Enumeration.map, scala.Enumeration.flatMap, scala.Enumeration.filter, scala.Enumeration.toString, scala.Enumeration.valueOf, scala.Enumeration.Value, scala.Enumeration.Value, scala.Enumeration.Value, scala.Enumeration.Value, scala.Enumeration.Set32, scala.Enumeration.Set32, scala.Enumeration.Set64, scala.Enumeration.Set64, scala.Enumeration.maskToBit
Methods inherited from AnyRef
getClass, hashCode, equals, clone, notify, notifyAll, wait, wait, wait, finalize, ==, !=, eq, ne, synchronized
Methods inherited from Any
==, !=, isInstanceOf, asInstanceOf
Value Details
val SYSTEM : scala.Enumeration.Value
val STDIN : scala.Enumeration.Value
val STDOUT : scala.Enumeration.Value
val SIGNAL : scala.Enumeration.Value
val EXIT : scala.Enumeration.Value
val INIT : scala.Enumeration.Value
val STATUS : scala.Enumeration.Value
val WRITELN : scala.Enumeration.Value
val PRIORITY : scala.Enumeration.Value
val TRACING : scala.Enumeration.Value
val WARNING : scala.Enumeration.Value
val ERROR : scala.Enumeration.Value
val DEBUG : scala.Enumeration.Value
val code : scala.collection.immutable.Map[Int, scala.Enumeration.Value]
val markup : scala.collection.immutable.Map[scala.Enumeration.Value, java.lang.String]
Method Details
def is_raw(kind : scala.Enumeration.Value) : Boolean
def is_control(kind : scala.Enumeration.Value) : Boolean
def is_system(kind : scala.Enumeration.Value) : Boolean
Scala 2