| File | Util.str |
| Author | unknown |
| Since | unknown |
| General | |
| Lines of code | 94 |
| Stratego | |
| Module number | 1 (0% documented) |
| Constructor number | 0 |
| Overlay number | 0 |
| Strategy number | 11 (36% documented) |
| Rule number | 3 (0% documented) |
| DynamicRule number | 0 |
Strategy summary |
||
| gpp-construct-rows | n/a | Util.str |
| gpp-flat-list | Try to flatten lists but do not change to total number of elements | Util.str |
| gpp-flat-list(Strategy cont) | n/a | Util.str |
| gpp-flat-list(Strategy cont) | n/a | Util.str |
| gpp-fputs(ATerm stream) | Writes a String to a Stream | Util.str |
| gpp-hs-length | n/a | Util.str |
| gpp-is-length | n/a | Util.str |
| gpp-rel-string-length(ATerm xpos) | Calculate relative string length | Util.str |
| gpp-SOpt-value(ATerm opt) | n/a | Util.str |
| gpp-topdown-fputs(ATerm stream) | n/a | Util.str |
| gpp-vs-length | n/a | Util.str |
Rule summary |
||
| gpp-SOpts-of-alignment | n/a | Util.str |
| gpp-SOpts-of-alignment | n/a | Util.str |
| gpp-SOpts-of-alignment | n/a | Util.str |
Strategy details |
|||||||||||
| ATerm | gpp-flat-list | ||||||||||
Try to flatten lists but do not change to total number ofelements. This means that empty lists (containg for a singleelement) are not removed. |
|||||||||||
| ATerm | gpp-fputs(ATerm stream) | ||||||||||
Writes a String to a Stream
|
|||||||||||
| ATerm | gpp-hs-length | ||||||||||
No information available.
|
|||||||||||
| ATerm | gpp-rel-string-length(ATerm xpos) | ||||||||||
Calculate relative string length. That is, by taking new lines andcurrent horizontal position into account <string-length'(x)>"my_string" => 9<string-length'(x)>"my\nstring" => 6 - x |
|||||||||||