| File | file.str |
| Author | unknown |
| Since | unknown |
| General | |
| Lines of code | 265 |
| Stratego | |
| Module number | 1 (0% documented) |
| Constructor number | 5 (0% documented) |
| Overlay number | 0 |
| Strategy number | 29 (72% documented) |
| Rule number | 0 |
| DynamicRule number | 0 |
Strategy summary |
||
| copy-file | Copy a file using memory mapped I/O | file.str |
| fdcopy | n/a | file.str |
| mkdtemp | n/a | file.str |
| mkstemp | n/a | file.str |
| new-temp-dir | Safe, mkdtemp based, creation of temporary directory | file.str |
| new-temp-file | Safe, mkstemp based, creation of temporary file | file.str |
| P_tmpdir | n/a | file.str |
| rename-file | rename renames a file, moving it between directories if required | file.str |
| temp-dir | n/a | file.str |
Strategy details |
|||||||||||
| ATerm | copy-file | ||||||||||
Copy a file using memory mapped I/O. If newname is a directory the file is copied to a file in the directorywith the same base name as the old file. |
|||||||||||
| ATerm | new-temp-dir | ||||||||||
Safe, mkdtemp based, creation of temporary directory
|
|||||||||||
| ATerm | new-temp-file | ||||||||||
Safe, mkstemp based, creation of temporary file
|
|||||||||||
| ATerm | rename-file | ||||||||||
rename renames a file, moving it between directories if required.Any other hard links to the file (as created using link(2)) are unaffected. If newpath already exists it will be atomically replaced (subject to afew conditions ~ see ERRORS below), so that there is no point at whichanother process attempting to access newpath will find it missing. If newpath exists but the operation fails for some reason rename guarantees to leave an instance of newpath in place. From 0.9.4 this implementation copies the file if the primitive rename fails because of an XDEV error. |
|||||||||||