Java equivalent of PHP's DIRECTORY_SEPARATOR?

In PHP, to ensure that a path contains OS-appropriate directory separator characters, one would use the DIRECTORY_SEPARA开发者_开发技巧TOR constant (although it might not always be necessary to do so).

Is there an equivalent entity in Java?

---

There are two system-dependant constants provided by the java.io.File class:

• java.io.File.separator is a string containing the system-dependent name-separator character (ie "/" for Unix, "\" for Windows)
• java.io.File.pathSeparator is a string containing the system-dependent path-separator character (ie ":" for Unix, ";" for Windows)

---

Using Google takes me to java.io.File

public static final char separatorChar

The system-dependent default name-separator character. This field is initialized to contain the first character of the value of the system property file.separator. On UNIX systems the value of this field is '/'; on Microsoft Windows systems it is '\'. See Also: System.getProperty(java.lang.String)

public static final String separator

The system-dependent default name-separator character, represented as a string for convenience. This string contains a single character, namely separatorChar.