lib/classes/isabelle/IsabelleProcess.java

--- a/lib/classes/isabelle/IsabelleProcess.java	Sun Dec 30 13:15:33 2007 +0100
+++ b/lib/classes/isabelle/IsabelleProcess.java	Sun Dec 30 22:10:20 2007 +0100
@@ -81,6 +81,20 @@
             this.result = result;
         }
 
+        public boolean isRaw() {
+            return
+              this.kind == Kind.STDOUT ||
+              this.kind == Kind.STDERR;
+        }
+
+        public boolean isSystem() {
+            return
+              this.kind == Kind.STDIN ||
+              this.kind == Kind.SIGNAL ||
+              this.kind == Kind.EXIT ||
+              this.kind == Kind.SYSTEM;
+        }
+
         public String toString() {
             return this.kind.toString() + " [[" + this.result + "]]";
         }