| class INT_STREAM < $SUCC_STREAM{INT} |
|---|
| **** | Yield a stream of successive integers |
| $SUCC_STREAM{_} |
| create(start_val: INT): SAME |
|---|
| **** | Return a new integer stream whose next yielded value will be "start_val" |
| next: INT |
|---|
| **** | Yield the next integer in this stream Wrap around is not permitted in this kind of integer stream |
| next!: INT |
|---|
| **** | Keep yielding successive integers. Will quit at maxint - 1 |
| attr val: INT; |
|---|
| attr val: INT; |
|---|