File (JPF API)

java.lang.Object
- java.io.File

```
public class File
extends Object
```
MJI model class for java.io.File NOTE - a number of methods are only stubbed out here to make Eclipse compile JPF code that uses java.io.File (there is no way to tell Eclipse to exclude the model classes from ths build-path)

Author:

Owen O'Malley

Field Summary

Fields
Modifier and Type Field and Description

static String pathSeparator

static char pathSeparatorChar

static String separator

static char separatorChar

Fields
Modifier and Type	Field and Description
`static String`	`pathSeparator`
`static char`	`pathSeparatorChar`
`static String`	`separator`
`static char`	`separatorChar`

Constructor Summary

Constructors
Constructor and Description

File(File parent, String child)

File(String filename)

File(String parent, String child)

File(URI uri)

Constructors
Constructor and Description
`File(File parent, String child)`
`File(String filename)`
`File(String parent, String child)`
`File(URI uri)`

Method Summary

Methods
Modifier and Type	Method and Description
`boolean`	`canRead()`
`boolean`	`canWrite()`
`int`	`compareTo(File that)`
`boolean`	`createNewFile()`
`static File`	`createTempFile(String prefix, String suffix)`
`static File`	`createTempFile(String prefix, String suffix, File dir)`
`boolean`	`delete()`
`void`	`deleteOnExit()`
`boolean`	`equals(Object o)` default implementation is just an identity check
`boolean`	`exists()`
`File`	`getAbsoluteFile()`
`String`	`getAbsolutePath()`
`File`	`getCanonicalFile()`
`String`	`getCanonicalPath()`
`String`	`getName()`
`String`	`getParent()`
`File`	`getParentFile()`
`String`	`getPath()`
`int`	`hashCode()`
`boolean`	`isAbsolute()`
`boolean`	`isDirectory()`
`boolean`	`isFile()`
`boolean`	`isHidden()`
`long`	`lastModified()`
`long`	`length()`
`String[]`	`list()`
`String[]`	`list(FilenameFilter fnf)`
`File[]`	`listFiles()`
`File[]`	`listFiles(FileFilter ff)`
`File[]`	`listFiles(FilenameFilter fnf)`
`static File[]`	`listRoots()`
`boolean`	`mkdir()`
`boolean`	`mkdirs()`
`boolean`	`renameTo(File f)`
`boolean`	`setLastModified(long t)`
`boolean`	`setReadOnly()`
`String`	`toString()`
`URI`	`toURI()`
`URL`	`toURL()`

Methods inherited from class java.lang.Object
clone, finalize, getClass, notify, notifyAll, wait, wait, wait

Field Detail

separator
```
public static final String separator
```

separatorChar
```
public static final char separatorChar
```

pathSeparator

public static final String pathSeparator

pathSeparatorChar

public static final char pathSeparatorChar

Constructor Detail

File
```
public File(String filename)
```

File

public File(String parent,
    String child)

File

public File(File parent,
    String child)

File
```
public File(URI uri)
```

Method Detail

getName
```
public String getName()
```

getParent
```
public String getParent()
```

compareTo
```
public int compareTo(File that)
```

equals
```
public boolean equals(Object o)
```
Description copied from class: Object

default implementation is just an identity check

Overrides:

equals in class Object

hashCode
```
public int hashCode()
```
Overrides:

hashCode in class Object

toString
```
public String toString()
```
Overrides:

toString in class Object

getParentFile
```
public File getParentFile()
```

getPath
```
public String getPath()
```

isAbsolute
```
public boolean isAbsolute()
```

getAbsolutePath
```
public String getAbsolutePath()
```

getAbsoluteFile
```
public File getAbsoluteFile()
```

getCanonicalPath

public String getCanonicalPath()
                        throws IOException

Throws:: IOException

getCanonicalFile

public File getCanonicalFile()
                      throws IOException

Throws:: IOException

toURL

public URL toURL()
          throws MalformedURLException

Throws:: MalformedURLException

toURI
```
public URI toURI()
```

canRead
```
public boolean canRead()
```

canWrite
```
public boolean canWrite()
```

exists
```
public boolean exists()
```

isDirectory
```
public boolean isDirectory()
```

isFile
```
public boolean isFile()
```

isHidden
```
public boolean isHidden()
```

lastModified
```
public long lastModified()
```

length
```
public long length()
```

createNewFile

public boolean createNewFile()
                      throws IOException

Throws:: IOException

delete
```
public boolean delete()
```

deleteOnExit
```
public void deleteOnExit()
```

list
```
public String[] list()
```

list

public String[] list(FilenameFilter fnf)

listFiles
```
public File[] listFiles()
```

listFiles

public File[] listFiles(FilenameFilter fnf)

listFiles

public File[] listFiles(FileFilter ff)

mkdir
```
public boolean mkdir()
```

mkdirs
```
public boolean mkdirs()
```

renameTo
```
public boolean renameTo(File f)
```

setLastModified

public boolean setLastModified(long t)

setReadOnly
```
public boolean setReadOnly()
```

listRoots
```
public static File[] listRoots()
```

createTempFile

public static File createTempFile(String prefix,
                  String suffix,
                  File dir)
                           throws IOException

Throws:: IOException

createTempFile

public static File createTempFile(String prefix,
                  String suffix)
                           throws IOException

Throws:: IOException

Class File

Field Summary

Constructor Summary

Method Summary

Methods inherited from class java.lang.Object

Field Detail

separator

separatorChar

pathSeparator

pathSeparatorChar

Constructor Detail

File

File

File

File

Method Detail

getName

getParent

compareTo

equals

hashCode

toString

getParentFile

getPath

isAbsolute

getAbsolutePath

getAbsoluteFile

getCanonicalPath

getCanonicalFile

toURL

toURI

canRead

canWrite

exists

isDirectory

isFile

isHidden

lastModified

length

createNewFile

delete

deleteOnExit

list

list

listFiles

listFiles

listFiles

mkdir

mkdirs

renameTo

setLastModified

setReadOnly

listRoots

createTempFile

createTempFile