📄 dirmanager.java
字号:
package fileSys.dirManager;public interface DirManager { /** * * @param dir 新的目录名 */ public String createDir(String newDir); /** * * @param srcDir 改变前的目录 * @param toDir 改变到的新目录 * @return 返回改变后的目录 */ public String changeDir(String srcDir,String toDir); /** * 删除一个目录 * @param dir 待删除的目录 */ public String deleteDir(String dir); /** * 删除一个非空目录 * @param dir 待删除的目录 */ public void deleteNotNullDir(String dir); }
⌨️ 快捷键说明
复制代码
Ctrl + C
搜索代码
Ctrl + F
全屏模式
F11
切换主题
Ctrl + Shift + D
显示快捷键
?
增大字号
Ctrl + =
减小字号
Ctrl + -