equal
deleted
inserted
replaced
378 |
378 |
379 flush |
379 flush |
380 stream flush |
380 stream flush |
381 ! |
381 ! |
382 |
382 |
|
383 isEmpty |
|
384 ^ stream isEmpty |
|
385 ! |
|
386 |
383 isOpen |
387 isOpen |
384 ^ stream notNil and:[stream isOpen] |
388 ^ stream notNil and:[stream isOpen] |
385 ! |
389 ! |
386 |
390 |
387 next |
391 next |
497 setToEnd |
501 setToEnd |
498 stream setToEnd |
502 stream setToEnd |
499 ! |
503 ! |
500 |
504 |
501 size |
505 size |
502 "not correct, but probably better than 0" |
506 "not always correct, but probably better than 0. |
|
507 Better use #isEmpty." |
503 |
508 |
504 "/ is that better? |
509 "/ is that better? |
505 "/ self error:'size of input is unknown (due to decoding)' |
510 "/ self error:'size of input is unknown (due to decoding)' |
506 ^ stream size |
511 ^ stream size |
507 |
512 |