Searched refs:from_file_or_dir (Results 1 – 1 of 1) sorted by relevance
1340 File from_file_or_dir, in copyFileOrDirectory() argument1345 if ( !from_file_or_dir.exists()){ in copyFileOrDirectory()1347 throw( new IOException( "File '" + from_file_or_dir.toString() + "' doesn't exist" )); in copyFileOrDirectory()1360 if ( from_file_or_dir.isDirectory()){ in copyFileOrDirectory()1362 File[] files = from_file_or_dir.listFiles(); in copyFileOrDirectory()1364 File new_parent = new File( to_parent_dir, from_file_or_dir.getName()); in copyFileOrDirectory()1376 File target = new File( to_parent_dir, from_file_or_dir.getName()); in copyFileOrDirectory()1378 if ( !copyFile( from_file_or_dir, target )){ in copyFileOrDirectory()1380 … throw( new IOException( "File copy from " + from_file_or_dir + " to " + target + " failed" )); in copyFileOrDirectory()