renamed method

File renamed(String name)

Implementation

File renamed(String name) {
  return parent.file(name);
}