// Do the actual rename. Here both arguments are filenames.
  if (rename(src, dst) != 0)
    TF_SetStatusFromIOError(status, errno, dst);
  else
    TF_SetStatus(status, TF_OK, "");
}

static void CopyFile(const TF_Filesystem* filesystem, const char* src,
                     const char* dst, TF_Status* status) {
  // If target is a directory return TF_FAILED_PRECONDITION.
  // Target might be missing, so don't error in that case.

getPath(String); public static String getPath(String, char); public static void copyFileToDirectory(String, String) throws java.io.IOException; public static void copyFileToDirectory(java.io.File, java.io.File) throws java.io.IOException; public static void copyFile(java.io.File, java.io.File) throws java.io.IOException; public static void copyURLToFile(java.net.URL, java.io.File) throws java.io.IOException; public static String normalize(String); public static String catPath(String, String); public static java.io.File...