Преобразовать между URL и именем файла окон (Java)?
Другой метод MySQL должен использовать CASE оператор , который может быть обобщен к большему количеству альтернатив, чем IF():
SELECT CASE WHEN processed_timestamp IS NULL THEN 'NULL'
ELSE 'NOT NULL' END AS a,
COUNT(*) AS n
FROM logs
GROUP BY a
3 ответа
Вы можете сделать хуже, чем использовать URLEncoder для кодирования URL:
String url = "http://172.0.0.1:80/foo/bar/baz.txt?black=white";
String filename = URLEncoder.encode(url, "UTF-8");
File file = new File(filename);
Имя файла становится допустимым именем win32:
http%3A%2F%2F172.0.0.1%3A80%2Ffoo%2Fbar%2Fbaz.txt%3Fblack%3Dwhite
Это обратимая операция:
String original = URLDecoder.decode(filename, "UTF-8");
Класс java.io.File принимает URI & | имя файла в качестве конструктора, но содержит методы toURI () и toURL () , а также getName () и getPath () . Полагаю, для вас это будет правильным преобразованием?
Если вы хотите преобразовать URL, закодированный в кодировщик, вы можете использовать:
Служебный класс для декодирования HTML-форм. Этот класс содержит статические методы для декодирования String из формата MIME application / x-www-form-urlencoded.
Посмотрите, что вам нужно.