Scala 2
|
|
isabelle/Isabelle_Process.scala
]
class
Result(val
kind : scala.Enumeration.Value, val
props : scala.List[(java.lang.String, java.lang.String)], val
result : java.lang.String)
extends
AnyRefMethod Summary | |
def
|
is_control : Boolean |
def
|
is_raw : Boolean |
def
|
is_system : Boolean |
override def
|
toString
: java.lang.String
Returns a string representation of the object.
|
Methods inherited from AnyRef | |
getClass, hashCode, equals, clone, notify, notifyAll, wait, wait, wait, finalize, ==, !=, eq, ne, synchronized |
Methods inherited from Any | |
==, !=, isInstanceOf, asInstanceOf |
Method Details |
override
def
toString : java.lang.String
The default representation is platform dependent.
def
is_raw : Boolean
def
is_control : Boolean
def
is_system : Boolean
Scala 2
|
|