| File.Rename | Part of File module | 
| Syntax |  File.Rename (srcPathName, destName : string) 
  | 
| Description |  File.Copy renames a file or directory named by the srcPathName parameter to the destName parameter. The destName parameter must be a name only. In other words File.Rename can't move a file between different directories. 
  | 
| Details |  If the File.Rename call fails, then Error.Last will return a non-zero value indicating the reason for the failure. Error.LastMsg will return a string which contains the textual version of the error. 
  | 
| Example |  This program renames the file "/usr/west/example" to "testcase" 
         File.Rename ("/usr/west/example", "testcase")
        if Error.Last = eNoError then
            put "File renamed"
        else
            put "Did not rename the file."
            put "Error: ", Error.LastMsg
        end if
   | 
| Execute | An example program is available that creates a file in the current 
        directory, renames it to a different name using File.Rename, 
        checks the existence of both files using File.Exists and then 
        deletes the file using File.Delete. 
  | 
  
| Status |  Exported qualified. This means that you can only call the function by calling File.Rename, not by calling Rename. 
  |