📄 filesystem.java
字号:
// PART OF THE MACHINE SIMULATION. DO NOT CHANGE.package nachos.machine;/** * A file system that allows the user to create, open, and delete files. */public interface FileSystem { /** * Atomically open a file, optionally creating it if it does not already * exist. * * @param name the name of the file to open. * @param create <tt>true</tt> to create the file if it does not already * exist, or truncate it to zero length if it does exist. * @return an <tt>OpenFile</tt> representing a new instance of the opened * file, or <tt>null</tt> if the file could not be opened. */ public OpenFile open(String name, boolean create); /** * Atomically remove an existing file. After a file is removed, it cannot * be opened until it is created again with <tt>create</tt>. If the file is * already open, it is up to the implementation to decide whether the file * can still be accessed or if it is deleted immediately. * * @param name the name of the file to remove. * @return <tt>true</tt> if the file was successfully removed. */ public boolean remove(String name);}
⌨️ 快捷键说明
复制代码
Ctrl + C
搜索代码
Ctrl + F
全屏模式
F11
切换主题
Ctrl + Shift + D
显示快捷键
?
增大字号
Ctrl + =
减小字号
Ctrl + -