ExternalStream.st
changeset 22978 589f146aebcd
parent 22849 a14c777df83d
child 23032 3555c5883830
--- a/ExternalStream.st	Mon May 21 09:27:59 2018 +0200
+++ b/ExternalStream.st	Mon May 21 09:42:34 2018 +0200
@@ -5801,12 +5801,24 @@
     "Modified: / 23-04-2018 / 18:28:07 / stefan"
 !
 
+isPipeStream
+    "return true, if this stream is a pipe"
+
+    ^ false
+!
+
 isReadable
     "return true, if this stream can be read from"
 
     ^ mode ~~ #writeonly
 !
 
+isSocket
+    "return true, if this stream is a socket"
+
+    ^ false
+!
+
 isWritable
     "return true, if this stream can be written to"