⭐ 欢迎来到虫虫下载站! | 📦 资源下载 📁 资源专辑 ℹ️ 关于我们
⭐ 虫虫下载站

📄 filesystem.java

📁 Nachos 5 java version
💻 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 + -