isabelle.Isabelle_Process

class Result

[source: 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
Returns a string representation of the object.

The default representation is platform dependent.

Returns
a string representation of the object.


def is_raw : Boolean

def is_control : Boolean

def is_system : Boolean