Scala 2
|
|
isabelle/Isabelle_Process.scala
]
object
Kind
extends
scala.EnumerationValue 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 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]
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
|
|