/**
 * RemoteFile.java
 * 	RemoteFile remote interface
 * @author Yoon Kyung Koo (yoonforh@moon.daewoo.co.kr)
 * @version 1.0 1999/05/12
 */

import java.rmi.*;
interface RemoteFile extends Remote {
	public boolean isFile()
		throws RemoteException;
	public boolean isDirectory()
		throws RemoteException;
	public String[] list() throws Exception;
	public boolean delete()
		throws RemoteException, SecurityException;
	public boolean renameTo(RemoteFile dest)
		throws java.io.IOException, SecurityException;
}