workingdir

File workingdir.str
Author unknown
Since unknown

Module containing the strategies to handlethe administration of the working directory




Statistics


General
Lines of code 42
Stratego
Module number 1 (100% documented)
Constructor number 0
Overlay number 0
Strategy number 5 (100% documented)
Rule number 0
DynamicRule number 0



Strategy summary


add-working-dir Adds the working directory in front of a path if the path is relative workingdir.str
find-file-in-working-directory(ATerm filename) Main strategy workingdir.str
get-php-working-directory Retrieves the working directory for the process workingdir.str
php-clean-working-directory Resets the working directory workingdir.str
set-php-working-directory(ATerm path) Sets the working directory for the process workingdir.str



Strategy details


ATerm add-working-dir
File workingdir.str
Author unknown
Since unknown
 

Adds the working directory in front of a pathif the path is relative. Otherwise it will build thepath.


type String -> String

 
ATerm find-file-in-working-directory(ATerm filename)
File workingdir.str
Author unknown
Since unknown
 

Main strategy.



 
ATerm get-php-working-directory
File workingdir.str
Author unknown
Since unknown
 

Retrieves the working directory for the process.The default value is the standard current working directory


type _ -> String

 
ATerm php-clean-working-directory
File workingdir.str
Author unknown
Since unknown
 

Resets the working directory



 
ATerm set-php-working-directory(ATerm path)
File workingdir.str
Author unknown
Since unknown
 
Parameters
ATerm path path String, the path to the working directory

Sets the working directory for the process.