| File | currentdir.str |
| Author | unknown |
| Since | unknown |
Module containing the strategies to handlethe administration of the current directory
| General | |
| Lines of code | 69 |
| Stratego | |
| Module number | 1 (100% documented) |
| Constructor number | 0 |
| Overlay number | 0 |
| Strategy number | 7 (100% documented) |
| Rule number | 0 |
| DynamicRule number | 0 |
Strategy summary |
||
| add-current-dir | Adds the current directory in front of a path if the path is relative | currentdir.str |
| find-file-in-current-directory(ATerm filename) | Main strategy | currentdir.str |
| get-php-current-directory | Retrieves the current directory for the process | currentdir.str |
| php-clean-current-directory | Resets the current directory and removes all the old current directories | currentdir.str |
| prev-php-current-directory | Resets the current directory to the directory before the current directory | currentdir.str |
| save-php-current-directory | Saves the current directory | currentdir.str |
| set-php-current-directory(ATerm path) | Sets the current directory for the process | currentdir.str |
Strategy details |
|||||||||||||
| ATerm | add-current-dir | ||||||||||||
Adds the current directory in front of a pathif the path is relative. Otherwise it will build thepath.
|
|||||||||||||
| ATerm | find-file-in-current-directory(ATerm filename) | ||||||||||||
Main strategy |
|||||||||||||
| ATerm | get-php-current-directory | ||||||||||||
Retrieves the current directory for the process.The default value is the standard current working directory
|
|||||||||||||
| ATerm | php-clean-current-directory | ||||||||||||
Resets the current directory and removesall the old current directories |
|||||||||||||
| ATerm | prev-php-current-directory | ||||||||||||
Resets the current directory to the directory before thecurrent directory. Should be used together with 'save-php-current-directory'to taverse directories. |
|||||||||||||
| ATerm | save-php-current-directory | ||||||||||||
Saves the current directory. The directory is saved in sucha way that one can return to the old current directory byusing 'prev-php-current-directory'. |
|||||||||||||
| ATerm | set-php-current-directory(ATerm path) | ||||||||||||
Sets the current directory for the process. |
|||||||||||||