|
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 AnyRef| Method 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
|
|