| File | char.str |
| Author | unknown |
| Since | unknown |
Character based in-/output.
| General | |
| Lines of code | 64 |
| Stratego | |
| Module number | 1 (100% documented) |
| Constructor number | 0 |
| Overlay number | 0 |
| Strategy number | 3 (100% documented) |
| Rule number | 1 (100% documented) |
| DynamicRule number | 0 |
Strategy summary |
||
| read-text-file | Reads the contents of a textfile | char.str |
| read-text-from-stream | Reads all characters until EOF | char.str |
| read-text-line | Reads the next line of text in stream | char.str |
Rule summary |
||
| filter-text-file(Strategy more, Strategy done) | Filters the contents of a textfile character chunk by character chunk | char.str |
Strategy details |
|||||||||||
| ATerm | read-text-file | ||||||||||
Reads the contents of a textfile.
|
|||||||||||
| ATerm | read-text-from-stream | ||||||||||
Reads all characters until EOF.The stream is not closed.
|
|||||||||||
| ATerm | read-text-line | ||||||||||
Reads the next line of text in stream.Line is ended by newline or EOF.
|
|||||||||||
Rule details |
|||||||||||
| ATerm | filter-text-file(Strategy more, Strategy done) | ||||||||||
Filters the contents of a textfile character chunk by character chunk. 'done' determines when a chunk is completeshould fail to indicate completeness 'more' transforms current chunck after adding next charactershould always succeed Note that the charachters in a chunk are in reverse order.
|
|||||||||||