# HG changeset patch
# User wenzelm
# Date 1199049020 -3600
# Node ID be58ef74140acc9cd09f8d061699d8d2e1ad93d7
# Parent  1ff2dd0a674094f09014d08ee813cd410dcab352
added isSystem;
tune isRaw;

diff -r 1ff2dd0a6740 -r be58ef74140a 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 + "]]";
         }