| File | dir.str |
| Author | unknown |
| Since | unknown |
Strategies for exploring directories.
| General | |
| Lines of code | 21 |
| Stratego | |
| Module number | 1 (100% documented) |
| Constructor number | 0 |
| Overlay number | 0 |
| Strategy number | 3 (66% documented) |
| Rule number | 0 |
| DynamicRule number | 0 |
Strategy summary |
||
| getenv | The getenv() function searches the environment list for a string that matches the string pointed to by name | dir.str |
| home-dir | n/a | dir.str |
| remove-file | Removes a file from a directory | dir.str |
Strategy details |
|||||||||
| ATerm | getenv | ||||||||
The getenv() function searches the environment list for astring that matches the string pointed to by name. Thestrings are of the form name = value. |
|||||||||
| ATerm | remove-file | ||||||||
Removes a file from a directory. |
|||||||||