mirror of
https://git.huckle.dev/Huckles-Minecraft-Archive/jpexs-decompiler.git
synced 2026-05-27 13:54:49 +00:00
92 lines
2.4 KiB
Java
92 lines
2.4 KiB
Java
/*
|
|
* Copyright (C) 2010-2016 JPEXS, All rights reserved.
|
|
*
|
|
* This library is free software; you can redistribute it and/or
|
|
* modify it under the terms of the GNU Lesser General Public
|
|
* License as published by the Free Software Foundation; either
|
|
* version 3.0 of the License, or (at your option) any later version.
|
|
*
|
|
* This library is distributed in the hope that it will be useful,
|
|
* but WITHOUT ANY WARRANTY; without even the implied warranty of
|
|
* MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
|
|
* Lesser General Public License for more details.
|
|
*
|
|
* You should have received a copy of the GNU Lesser General Public
|
|
* License along with this library.
|
|
*/
|
|
package com.jpexs.helpers;
|
|
|
|
import java.io.File;
|
|
import java.io.IOException;
|
|
|
|
/**
|
|
*
|
|
* @author JPEXS
|
|
*/
|
|
public class Path {
|
|
|
|
public static String combine(String... paths) {
|
|
String result = "";
|
|
String separator = File.separator;
|
|
for (int i = 0; i < paths.length; i++) {
|
|
String path = paths[i];
|
|
if (i > 0) {
|
|
if (path.startsWith(separator)) {
|
|
path = path.substring(separator.length());
|
|
}
|
|
|
|
if (!result.endsWith(separator)) {
|
|
result += separator;
|
|
}
|
|
}
|
|
|
|
result += path;
|
|
}
|
|
|
|
return result;
|
|
}
|
|
|
|
/*
|
|
* Get the extension of a file.
|
|
*/
|
|
public static String getExtension(String fileName) {
|
|
return getExtension(new File(fileName));
|
|
}
|
|
|
|
/*
|
|
* Get the extension of a file.
|
|
*/
|
|
public static String getExtension(File f) {
|
|
String ext = null;
|
|
String s = f.getName();
|
|
int i = s.lastIndexOf('.');
|
|
|
|
if (i > 0 && i < s.length() - 1) {
|
|
ext = s.substring(i).toLowerCase();
|
|
}
|
|
|
|
return ext;
|
|
}
|
|
|
|
public static String getFileNameWithoutExtension(File f) {
|
|
String fileName = f.getName();
|
|
int i = fileName.lastIndexOf('.');
|
|
|
|
if (i > 0 && i < fileName.length() - 1) {
|
|
fileName = fileName.substring(0, i);
|
|
}
|
|
|
|
return fileName;
|
|
}
|
|
|
|
public static void createDirectorySafe(File directory) throws IOException {
|
|
if (!directory.exists()) {
|
|
if (!directory.mkdirs()) {
|
|
if (!directory.exists()) {
|
|
throw new IOException("Cannot create directory " + directory);
|
|
}
|
|
}
|
|
}
|
|
}
|
|
}
|