1 19 package org.openide.filesystems; 20 21 22 26 public class FileRenameEvent extends FileEvent { 27 28 private static final long serialVersionUID = -3947658371806653711L; 29 30 31 private String name; 32 33 34 private String ext; 35 36 42 public FileRenameEvent(FileObject src, String name, String ext) { 43 this(src, src, name, ext); 44 } 45 46 52 public FileRenameEvent(FileObject src, FileObject file, String name, String ext) { 53 this(src, file, name, ext, false); 54 } 55 56 64 public FileRenameEvent(FileObject src, FileObject file, String name, String ext, boolean expected) { 65 super(src, file, expected); 66 this.name = name; 67 this.ext = ext; 68 } 69 70 73 public String getName() { 74 return name; 75 } 76 77 80 public String getExt() { 81 return ext; 82 } 83 84 @Override 85 void insertIntoToString(StringBuilder b) { 86 b.append(",name.ext="); 87 b.append(name); 88 b.append('.'); 89 b.append(ext); 90 } 91 92 } 93 | Popular Tags |