/*
 * @(#) DirectoryBrowser.java 1.0 2000/10/4
 * Copyright (c) 2000 Larry Rodrigues
 */
package com.vistech.rmi;
import java.io.*;
import java.awt.image.*;
import java.awt.*;

/** Specifies a remote interface for browsing remote directories.
  * @version 1.0 12 june 2000
  * @author Lawrence Rodrigues
  **/
public interface DirectoryBrowser extends java.rmi.Remote{
   /** Returns files in the current directory of the remote machine.
     * @return an array of remote filenames.
     **/
   public String[] listFiles() throws java.rmi.RemoteException;
   /** Returns files in a specified directory of the remote machine.
     * @param fl name of the remote directory.
     * @return an array of remote filenames.
     **/
   public String[] listFiles(String fl) throws java.rmi.RemoteException;

   /** Checks whether the remote file is a directory.
     * @param fl name of the remote directory.
     * @return true if it is a directory.
     **/
   public boolean isDirectory(String fl) throws java.rmi.RemoteException;
   /** Returns the user directory in the remote machine.
     * @return the user directory in the remote machine.
     **/
   public String getUserDir() throws java.rmi.RemoteException;

   /** Returns the file separation character of the remote machine.
     * @return the file separation character of the remote machine.
     **/
   public char getFileSepChar() throws java.rmi.RemoteException;
}
