THE PACKAGE JAVA.IO

java.io.File

22.24

public String[] list(FilenameFilter filter)

throws SecurityException;

public boolean renameTo(File dest) throws SecurityException;

public boolean delete() throws SecurityException;

}

22.24.1

public static final String separator =

System.getProperty("file.separator");

This string should consist of a single character, whose value is also available in

the field

separatorChar

; the string is provided merely for convenience.

22.24.2

public static final char separatorChar =

separator.charAt(0);

The last occurrence of this character in a path string is assumed to separate the

directory part of the path from the file name part of the path. On UNIX systems

this character is typically

 / 

.

22.24.3

public static final String pathSeparator =

System.getProperty("path.separator");

This string should consist of a single character, whose value is also available in

the field

pathSeparatorChar

; the string is provided merely for convenience.

22.24.4

public static final char pathSeparatorChar =

pathSeparator.charAt(0);

The first occurrence of this character in a string is sometimes assumed to separate

a host name from a path name. On UNIX systems this character is typically

 : 

.

22.24.5

public File(String path) throws NullPointerException

This constructor initializes a newly created

File

 so that it represents the path indi 

cated by the argument

path

.

If the

path

 is

null

, a

NullPointerException

 is thrown.

753