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