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.
|
|||||||||||