JML

java.io
Class FileSystem

java.lang.Object
  extended byjava.io.FileSystem

abstract class FileSystem
extends Object


Field Summary
static int ACCESS_EXECUTE
           
static int ACCESS_READ
           
static int ACCESS_WRITE
           
static int BA_DIRECTORY
           
static int BA_EXISTS
           
static int BA_HIDDEN
           
static int BA_REGULAR
           
static int SPACE_FREE
           
static int SPACE_TOTAL
           
static int SPACE_USABLE
           
(package private) static boolean useCanonCaches
           
(package private) static boolean useCanonPrefixCache
           
 
Constructor Summary
(package private) FileSystem()
           
 
Method Summary
abstract  String canonicalize(String)
           
abstract  boolean checkAccess(File, int)
           
abstract  int compare(File, File)
           
abstract  boolean createDirectory(File)
           
abstract  boolean createFileExclusively(String)
           
abstract  boolean delete(File)
           
abstract  String fromURIPath(String)
           
abstract  int getBooleanAttributes(File)
           
private static boolean getBooleanProperty(String, boolean)
           
abstract  String getDefaultParent()
           
static FileSystem getFileSystem()
           
abstract  long getLastModifiedTime(File)
           
abstract  long getLength(File)
           
abstract  char getPathSeparator()
           
abstract  char getSeparator()
           
abstract  long getSpace(File, int)
           
abstract  int hashCode(File)
           
abstract  boolean isAbsolute(File)
           
abstract  String[] list(File)
           
abstract  File[] listRoots()
           
abstract  String normalize(String)
           
abstract  int prefixLength(String)
           
abstract  boolean rename(File, File)
           
abstract  String resolve(File)
           
abstract  String resolve(String, String)
           
abstract  boolean setLastModifiedTime(File, long)
           
abstract  boolean setPermission(File, int, boolean, boolean)
           
abstract  boolean setReadOnly(File)
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Field Detail

ACCESS_EXECUTE

public static final int ACCESS_EXECUTE

useCanonCaches

static boolean useCanonCaches

SPACE_USABLE

public static final int SPACE_USABLE

ACCESS_READ

public static final int ACCESS_READ

BA_REGULAR

public static final int BA_REGULAR

SPACE_FREE

public static final int SPACE_FREE

ACCESS_WRITE

public static final int ACCESS_WRITE

BA_DIRECTORY

public static final int BA_DIRECTORY

SPACE_TOTAL

public static final int SPACE_TOTAL

BA_EXISTS

public static final int BA_EXISTS

useCanonPrefixCache

static boolean useCanonPrefixCache

BA_HIDDEN

public static final int BA_HIDDEN
Constructor Detail

FileSystem

FileSystem()
Method Detail

getFileSystem

public static FileSystem getFileSystem()

getSeparator

public abstract char getSeparator()

getPathSeparator

public abstract char getPathSeparator()

normalize

public abstract String normalize(String)

prefixLength

public abstract int prefixLength(String)

resolve

public abstract String resolve(String,
                               String)

getDefaultParent

public abstract String getDefaultParent()

fromURIPath

public abstract String fromURIPath(String)

isAbsolute

public abstract boolean isAbsolute(File)

resolve

public abstract String resolve(File)

canonicalize

public abstract String canonicalize(String)
                             throws IOException
Throws:
IOException

getBooleanAttributes

public abstract int getBooleanAttributes(File)

checkAccess

public abstract boolean checkAccess(File,
                                    int)

setPermission

public abstract boolean setPermission(File,
                                      int,
                                      boolean,
                                      boolean)

getLastModifiedTime

public abstract long getLastModifiedTime(File)

getLength

public abstract long getLength(File)

createFileExclusively

public abstract boolean createFileExclusively(String)
                                       throws IOException
Throws:
IOException

delete

public abstract boolean delete(File)

list

public abstract String[] list(File)

createDirectory

public abstract boolean createDirectory(File)

rename

public abstract boolean rename(File,
                               File)

setLastModifiedTime

public abstract boolean setLastModifiedTime(File,
                                            long)

setReadOnly

public abstract boolean setReadOnly(File)

listRoots

public abstract File[] listRoots()

getSpace

public abstract long getSpace(File,
                              int)

compare

public abstract int compare(File,
                            File)

hashCode

public abstract int hashCode(File)

getBooleanProperty

private static boolean getBooleanProperty(String,
                                          boolean)

JML

JML is Copyright (C) 1998-2002 by Iowa State University and is distributed under the GNU General Public License as published by the Free Software Foundation; either version 2 of the License, or (at your option) any later version. This release depends on code from the MultiJava project and is based in part on the Kopi project Copyright (C) 1990-99 DMS Decision Management Systems Ges.m.b.H.