-
Florian Lugou authoredFlorian Lugou authored
FileUtils.java 9.31 KiB
/**Copyright or (C) or Copr. GET / ENST, Telecom-Paris, Ludovic Apvrille
ludovic.apvrille AT enst.fr
This software is a computer program whose purpose is to allow the
edition of TURTLE analysis, design and deployment diagrams, to
allow the generation of RT-LOTOS or Java code from this diagram,
and at last to allow the analysis of formal validation traces
obtained from external tools, e.g. RTL from LAAS-CNRS and CADP
from INRIA Rhone-Alpes.
This software is governed by the CeCILL license under French law and
abiding by the rules of distribution of free software. You can use,
modify and/ or redistribute the software under the terms of the CeCILL
license as circulated by CEA, CNRS and INRIA at the following URL
"http://www.cecill.info".
As a counterpart to the access to the source code and rights to copy,
modify and redistribute granted by the license, users are provided only
with a limited warranty and the software's author, the holder of the
economic rights, and the successive licensors have only limited
liability.
In this respect, the user's attention is drawn to the risks associated
with loading, using, modifying and/or developing or reproducing the
software by the user in light of its specific status of free software,
that may mean that it is complicated to manipulate, and that also
therefore means that it is reserved for developers and experienced
professionals having in-depth computer knowledge. Users are therefore
encouraged to load and test the software's suitability as regards their
requirements in conditions enabling the security of their systems and/or
data to be ensured and, more generally, to use and operate it in the
same conditions as regards security.
The fact that you are presently reading this means that you have had
knowledge of the CeCILL license and that you accept its terms.
/**
* Class FileUtils
* Creation: 01/12/2003
* @version 1.1 01/12/2003
* @author Ludovic APVRILLE
* @see
*/
package myutil;
import java.io.File;
import java.io.FileInputStream;
import java.io.FileOutputStream;
import java.io.FilenameFilter;
public class FileUtils {
public final static String xml = "xml";
public final static String rtl = "lot";
public final static String lib = "lib";
public final static String img = "png";
public final static String png = "png";
public final static String dta = "dta";
public final static String rg = "rg";
public final static String aut = "aut";
public final static String bcg = "bcg";
public final static String dot = "dot";
public final static String lot = "lot";
public final static String tlsa = "tlsa";
public final static String tif = "tif";
public final static String svg = "svg";
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+1).toLowerCase();
}
return ext;
}
public static boolean checkPath(String path) {
return new File(path).isDirectory();
}
public static boolean checkFileForSave(File file) throws FileException {
// boolean ok = true;
// String pb = "";
if (file == null) {
return false;
}
try {
if (file != null) {
if (!file.exists()) {
if (!file.createNewFile()) {
throw new FileException("File could not be created");
}
if (!file.canWrite()) {
throw new FileException("File is write protected");
}
}
}
} catch (Exception e) {
throw new FileException(e.getMessage());
}
return true;
}
public static boolean checkFileForOpen(File file) {
if (file == null) {
return false;
}
try {
if (file != null) {
if (!file.exists()) {
return false;
}
if (!file.canRead()) {
return false;
}
}
} catch (Exception e) {
return false;
}
return true;
}
public static String loadFileData(File file) {
byte[] ba;
try {
FileInputStream fis = new FileInputStream(file);
int nb = fis.available();
ba = new byte[nb];
fis.read(ba);
fis.close();
} catch(Exception e) {
return null;
}
return new String(ba);
}
// extension is given without the "."
public static String addFileExtensionIfMissing(String fileName, String extension) {
if (!fileName.endsWith("." + extension)) {
fileName += "." + extension;
}
return fileName;
}
// extension is given without the "."
public static File addFileExtensionIfMissing(File f, String extension) {
/*if (f == null) {
TraceManager.addDev(" nullfile");
} else {
TraceManager.addDev("non nullfile");
}*/
if (!hasExtension(f, extension)) {
/*if (f == null) {
TraceManager.addDev(" nullfile");
} else {
TraceManager.addDev("non nullfile");
}*/
TraceManager.addDev("file=" + f.getAbsolutePath());
f = new File(f.getAbsolutePath() + "." + extension);
}
return f;
}
public static String addBeforeFileExtension(String filename, String tobeadded) {
int index = filename.indexOf(".");
if (index == -1) {
return filename+tobeadded;
}
filename = filename.substring(0, index) + tobeadded + filename.substring(index, filename.length());
return filename;
}
public static String changeFileExtension(String filename, String extension) {
int index = filename.indexOf(".");
if (index == -1) {
return filename+"." + extension;
}
filename = filename.substring(0, index) + "." + extension;
return filename;
}
public static String removeFileExtension(String filename) {
int index = filename.indexOf(".");
if (index == -1) {
return filename;
}
filename = filename.substring(0, index);
return filename;
}
public static boolean hasExtension(File f, String extension) {
if (f == null) {
return false;
}
String fileName = f.getAbsolutePath();
//System.out.println(fileName);
return fileName.endsWith("." + extension);
}
public static String loadFile(String name) throws FileException {
File f = new File(name);
String s = null;
if(checkFileForOpen(f)) {
try {
FileInputStream fis = new FileInputStream(f);
int nb = fis.available();
byte [] ba = new byte[nb];
fis.read(ba);
fis.close();
s = new String(ba);
} catch(Exception e) {
throw new FileException(e.getMessage());
}
} else {
throw new FileException("opening pb");
}
return s;
}
public static void saveFile(String name, String data) throws FileException {
File f = new File(name);
saveFile(f, data);
}
public static void saveFile(File f, String data) throws FileException {
if(checkFileForSave(f)) {
try {
if (data == null) {
return;
}
FileOutputStream fos = new FileOutputStream(f);
fos.write(data.getBytes());
fos.close();
return;
} catch(Exception e) {
throw new FileException("Pb when saving file");
}
} else {
throw new FileException("Pb when saving file");
}
}
// d: directory, e : extension
public static String deleteFiles(String d, String e ) {
ExtensionFilter filter = new ExtensionFilter(e);
File dir = new File(d);
String[] list = dir.list(filter);
File file;
boolean isDeleted;
String files = "";
if (list == null) { return files;
}
if (list.length == 0) return files;
for (int i = 0; i < list.length; i++) {
file = new File(d + list[i]);
isDeleted = file.delete();
if (isDeleted)
files += file.toString() + "\n";
}
return files;
}
static class ExtensionFilter implements FilenameFilter {
private String extension;
public ExtensionFilter( String extension ) {
this.extension = extension;
}
public boolean accept(File dir, String name) {
return (name.endsWith(extension));
}
}
} // Class