mirror of
https://github.com/corda/corda.git
synced 2025-06-13 04:38:19 +00:00
implement java.io.File.renameTo
This commit is contained in:
@ -35,6 +35,12 @@ public class File {
|
||||
this(parent.getPath() + FileSeparator + child);
|
||||
}
|
||||
|
||||
public static native boolean rename(String old, String new_);
|
||||
|
||||
public boolean renameTo(File newName) {
|
||||
return rename(path, newName.path);
|
||||
}
|
||||
|
||||
private static native boolean isDirectory(String path);
|
||||
|
||||
public boolean isDirectory() {
|
||||
|
Reference in New Issue
Block a user