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"