JML

java.io
Class File

java.lang.Object
  extended byjava.io.File
All Implemented Interfaces:
Comparable, Serializable
Direct Known Subclasses:
Destination

public class File
extends Object
implements Serializable, Comparable


Field Summary
private static int counter
           
private static FileSystem fs
           
private  String path
           
static String pathSeparator
           
static char pathSeparatorChar
           
private  int prefixLength
           
static String separator
           
static char separatorChar
           
private static long serialVersionUID
           
private static String tmpdir
           
private static Object tmpFileLock
           
 
Constructor Summary
  File(File, String)
           
  File(String)
           
private File(String, int)
           
  File(String, String)
           
  File(URI)
           
 
Method Summary
 boolean canRead()
           
 boolean canWrite()
           
private static boolean checkAndCreate(String, SecurityManager)
           
 int compareTo(File)
           
 int compareTo(Object)
           
 boolean createNewFile()
           
static File createTempFile(String, String)
           
static File createTempFile(String, String, File)
           
 boolean delete()
           
 void deleteOnExit()
           
 boolean equals(Object)
           
 boolean exists()
           
private static File generateFile(String, String, File)
           
 File getAbsoluteFile()
           
 String getAbsolutePath()
           
 File getCanonicalFile()
           
 String getCanonicalPath()
           
 String getName()
           
 String getParent()
           
 File getParentFile()
           
 String getPath()
           
(package private)  int getPrefixLength()
           
private static String getTempDir()
           
 int hashCode()
           
 boolean isAbsolute()
           
 boolean isDirectory()
           
 boolean isFile()
           
 boolean isHidden()
           
 long lastModified()
           
 long length()
           
 String[] list()
           
 String[] list(FilenameFilter)
           
 File[] listFiles()
           
 File[] listFiles(FileFilter)
           
 File[] listFiles(FilenameFilter)
           
static File[] listRoots()
           
 boolean mkdir()
           
 boolean mkdirs()
           
private  void readObject(ObjectInputStream)
           
 boolean renameTo(File)
           
 boolean setLastModified(long)
           
 boolean setReadOnly()
           
private static String slashify(String, boolean)
           
 String toString()
           
 URI toURI()
           
 URL toURL()
           
private  void writeObject(ObjectOutputStream)
           
 
Methods inherited from class java.lang.Object
clone, finalize, getClass, notify, notifyAll, wait, wait, wait
 

Field Detail

tmpFileLock

private static final Object tmpFileLock

pathSeparatorChar

public static final char pathSeparatorChar

separator

public static final String separator

path

private String path

separatorChar

public static final char separatorChar

tmpdir

private static String tmpdir

fs

private static FileSystem fs

serialVersionUID

private static final long serialVersionUID

counter

private static int counter

pathSeparator

public static final String pathSeparator

prefixLength

private transient int prefixLength
Constructor Detail

File

public File(String)

File

private File(String,
             int)

File

public File(URI)

File

public File(File,
            String)

File

public File(String,
            String)
Method Detail

getPrefixLength

int getPrefixLength()

hashCode

public int hashCode()
Overrides:
hashCode in class Object

lastModified

public long lastModified()

length

public long length()

deleteOnExit

public void deleteOnExit()

canRead

public boolean canRead()

canWrite

public boolean canWrite()

createNewFile

public boolean createNewFile()
                      throws IOException
Throws:
IOException

delete

public boolean delete()

exists

public boolean exists()

isAbsolute

public boolean isAbsolute()

isDirectory

public boolean isDirectory()

isFile

public boolean isFile()

isHidden

public boolean isHidden()

mkdir

public boolean mkdir()

mkdirs

public boolean mkdirs()

setReadOnly

public boolean setReadOnly()

setLastModified

public boolean setLastModified(long)

getAbsoluteFile

public File getAbsoluteFile()

getCanonicalFile

public File getCanonicalFile()
                      throws IOException
Throws:
IOException

getParentFile

public File getParentFile()

listFiles

public File[] listFiles()

listRoots

public static File[] listRoots()

compareTo

public int compareTo(File)

renameTo

public boolean renameTo(File)

readObject

private void readObject(ObjectInputStream)
                 throws IOException,
                        ClassNotFoundException
Throws:
IOException
ClassNotFoundException

writeObject

private void writeObject(ObjectOutputStream)
                  throws IOException
Throws:
IOException

compareTo

public int compareTo(Object)
Specified by:
compareTo in interface Comparable

equals

public boolean equals(Object)
Overrides:
equals in class Object

getAbsolutePath

public String getAbsolutePath()

getCanonicalPath

public String getCanonicalPath()
                        throws IOException
Throws:
IOException

getName

public String getName()

getParent

public String getParent()

getPath

public String getPath()

getTempDir

private static String getTempDir()

toString

public String toString()
Overrides:
toString in class Object

list

public String[] list()

toURI

public URI toURI()

toURL

public URL toURL()
          throws MalformedURLException
Throws:
MalformedURLException

listFiles

public File[] listFiles(FileFilter)

listFiles

public File[] listFiles(FilenameFilter)

checkAndCreate

private static boolean checkAndCreate(String,
                                      SecurityManager)
                               throws IOException
Throws:
IOException

list

public String[] list(FilenameFilter)

slashify

private static String slashify(String,
                               boolean)

createTempFile

public static File createTempFile(String,
                                  String)
                           throws IOException
Throws:
IOException

createTempFile

public static File createTempFile(String,
                                  String,
                                  File)
                           throws IOException
Throws:
IOException

generateFile

private static File generateFile(String,
                                 String,
                                 File)
                          throws IOException
Throws:
IOException

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.