equal
deleted
inserted
replaced
915 !ReadStream methodsFor:'reading-numbers'! |
915 !ReadStream methodsFor:'reading-numbers'! |
916 |
916 |
917 nextDecimalInteger |
917 nextDecimalInteger |
918 "read the next integer in radix 10. |
918 "read the next integer in radix 10. |
919 Does NOT skip initial whitespace. |
919 Does NOT skip initial whitespace. |
920 The streams elements should be characters. |
920 Does NOT care for an initial sign. |
|
921 The stream's elements should be characters. |
921 |
922 |
922 Be careful - this method returns 0 if not positioned on a digit initially |
923 Be careful - this method returns 0 if not positioned on a digit initially |
923 or if the end of the stream is encountered. |
924 or if the end of the stream is encountered. |
924 |
925 |
925 Tuned for speed on String-Streams for faster scanning" |
926 Tuned for speed on String-Streams for faster scanning" |