38 |
|
|
39 |
package java.io; |
package java.io; |
40 |
|
|
|
import java.util.StringTokenizer; |
|
|
import java.net.URL; |
|
41 |
import java.net.MalformedURLException; |
import java.net.MalformedURLException; |
42 |
|
import java.net.URL; |
43 |
import gnu.classpath.Configuration; |
import gnu.classpath.Configuration; |
44 |
import gnu.java.io.PlatformHelper; |
import gnu.java.io.PlatformHelper; |
45 |
|
|
49 |
* types of path separators ("/" versus "\", for example). It also |
* types of path separators ("/" versus "\", for example). It also |
50 |
* contains method useful for creating and deleting files and directories. |
* contains method useful for creating and deleting files and directories. |
51 |
* |
* |
52 |
* @author Aaron M. Renn (arenn@urbanophile.com) |
* @author Aaron M. Renn <arenn@urbanophile.com> |
53 |
|
* @author Tom Tromey <tromey@cygnus.com> |
54 |
*/ |
*/ |
55 |
public class File implements Serializable, Comparable |
public class File implements Serializable, Comparable |
56 |
{ |
{ |
57 |
static final long serialVersionUID = 301077366599181567L; |
static final long serialVersionUID = 301077366599181567L; |
58 |
|
|
59 |
|
/** |
60 |
|
* This is the path separator string for the current host. This field |
61 |
|
* contains the value of the <code>file.separator</code> system property. |
62 |
|
* An example separator string would be "/" on the GNU system. |
63 |
|
*/ |
64 |
|
public static final String separator = System.getProperty("file.separator"); |
65 |
|
|
66 |
/* |
/** |
67 |
* Class Variables |
* This is the first character of the file separator string. On many |
68 |
|
* hosts (for example, on the GNU system), this represents the entire |
69 |
|
* separator string. The complete separator string is obtained from the |
70 |
|
* <code>file.separator</code>system property. |
71 |
*/ |
*/ |
72 |
|
public static final char separatorChar = separator.charAt(0); |
73 |
|
|
74 |
/** |
/** |
75 |
* This is the path separator string for the current host. This field |
* This is the string that is used to separate the host name from the |
76 |
* contains the value of the <code>file.separator</code> system property. |
* path name in paths than include the host name. It is the value of |
77 |
* An example separator string would be "/" on the GNU system. |
* the <code>path.separator</code> system property. |
78 |
*/ |
*/ |
79 |
public static final String separator = System.getProperty("file.separator"); |
public static final String pathSeparator = |
80 |
|
System.getProperty("path.separator"); |
|
/** |
|
|
* This is the first character of the file separator string. On many |
|
|
* hosts (for example, on the GNU system), this represents the entire |
|
|
* separator string. The complete separator string is obtained from the |
|
|
* <code>file.separator</code>system property. |
|
|
*/ |
|
|
public static final char separatorChar = separator.charAt(0); |
|
|
|
|
|
/** |
|
|
* This is the string that is used to separate the host name from the |
|
|
* path name in paths than include the host name. It is the value of |
|
|
* the <code>path.separator</code> system property. |
|
|
*/ |
|
|
public static final String pathSeparator = |
|
|
System.getProperty("path.separator"); |
|
81 |
|
|
82 |
/** |
/** |
83 |
* This is the first character of the string used to separate the host name |
* This is the first character of the string used to separate the host name |
84 |
* from the path name in paths that include a host. The separator string |
* from the path name in paths that include a host. The separator string |
85 |
* is taken from the <code>path.separator</code> system property. |
* is taken from the <code>path.separator</code> system property. |
86 |
*/ |
*/ |
87 |
public static final char pathSeparatorChar = pathSeparator.charAt(0); |
public static final char pathSeparatorChar = pathSeparator.charAt(0); |
88 |
|
|
89 |
static |
static |
90 |
{ |
{ |
91 |
if (Configuration.INIT_LOAD_LIBRARY) |
if (Configuration.INIT_LOAD_LIBRARY) |
92 |
{ |
{ |