В PHP, чтобы гарантировать, что путь содержит символы разделителя каталогов, соответствующие ОС, можно использовать константу DIRECTORY_SEPARATOR (хотя это не всегда необходимо для этого ).
DIRECTORY_SEPARATOR
Есть ли в Java эквивалентная сущность?
В классе java.io.File предусмотрены две системные зависимые константы:
java.io.File
java.io.File.separator
java.io.File.pathSeparator
Использование Google переводит меня на java.io.File
public static final char separatorChar Системно-зависимый символ разделителя имен по умолчанию.Это поле инициализируется, чтобы содержать первый символ значения системного свойства file.separator.В системах UNIX значение этого поля равно '/';в системах Microsoft Windows это '\'.См. Также: System.getProperty (java.lang.String) общедоступный статический окончательный разделитель строк Системно-зависимый символ разделителя имен по умолчанию, представленный в виде строкидля удобства.Эта строка содержит один символ, а именно separatorChar.
public static final char separatorChar
Системно-зависимый символ разделителя имен по умолчанию.Это поле инициализируется, чтобы содержать первый символ значения системного свойства file.separator.В системах UNIX значение этого поля равно '/';в системах Microsoft Windows это '\'.См. Также: System.getProperty (java.lang.String)
общедоступный статический окончательный разделитель строк
Системно-зависимый символ разделителя имен по умолчанию, представленный в виде строкидля удобства.Эта строка содержит один символ, а именно separatorChar.