Strategy details
|
ATerm
|
abspath
|
Return the absolute path of a pathname.
|
|
ATerm
|
can-create-file
|
No information available.
|
|
ATerm
|
can-execute-file
|
No information available.
|
|
ATerm
|
can-read-file
|
No information available.
|
|
ATerm
|
can-write-file
|
No information available.
|
|
ATerm
|
file-exists
|
No information available.
|
|
ATerm
|
find-file(ATerm ext, ATerm path)
|
File
|
file-abstractions.str
|
Author
|
unknown
|
Since
|
unknown
|
|
Parameters
ATerm
ext
|
should build the file extension as a string.
|
|
Finds one file with a specific file extension in a list of directories.
This strategy operates on a tuple (f, [d*]). The one file that will besearched for is determined by the basename of f and the requested fileextension.Example:<find-file(!"rtree")> ("file.str", ["."])searches for file.rtree in the current dir.
|
|
ATerm
|
find-file(Strategy mkpath, Strategy ext)
|
File
|
file-abstractions.str
|
Author
|
unknown
|
Since
|
unknown
|
|
Parameters
Strategy
mkpath
|
should build a list of paths in which the search is performed.
|
Strategy
ext
|
should build the file extension as a string.
|
|
Finds one file with a specific file extension in a list of directories.
Differs from find-file/(1,0) in that it exits with fatal error if file isnot found.
|
|
ATerm
|
find-in-path(Strategy strict, ATerm path)
|
Finds a file in a list of directories (a path).
<find-path(strict|path)> f looks for a file with name f in the list ofdirectories path. If the file is not found the behaviour depends on thestrategy strict, if it succeeds a fatal-error is flagged, otherwise thestrategy just fails.
Example (when run in strategoxt root):<find-in-path(id|["ssl/spec","ssl/tests"])> "file.str" => "ssl/spec/file.str"
|
|
ATerm
|
find-in-path(ATerm path)
|
File
|
file-abstractions.str
|
Author
|
unknown
|
Since
|
unknown
|
|
Parameters
ATerm
path
|
should build a list of paths in which the search is performed.
|
|
Finds a file in a list of directories (a path).
Differs from find-in-path/(0,0) in that it exits with fatal-error if file isnot found.
|
|