/* 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.
*/
package myutil;
import java.io.File;
import java.io.FileInputStream;
import java.io.FileOutputStream;
import java.io.FilenameFilter;
import java.io.IOException;
import common.ConfigurationTTool;
/**
* Class FileUtils
* Creation: 01/12/2003
* @version 1.1 01/12/2003
* @author Ludovic APVRILLE
*/
public class FileUtils extends org.apache.commons.io.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) {
return getExtension(f.getName());
}
public static String getExtension(String name) {
String ext = "";
int i = name.lastIndexOf('.');
if (i > 0 && i < name.length() - 1) {
ext = name.substring(i+1).toLowerCase();
}
return ext;
}
public static boolean checkPath(String path) {
return new File(path).isDirectory();
}
/**
* Check and create the directory for c++ code generation in DIPLODOCUS
* @author Fabien Tessier
* @param s directory path
* @return true if there's no error, false if the directory cannot be created
* @throws FileException
*/
public static boolean checkAndCreateSystemCDir(String s) throws FileException {
File f = new File(s);
try {
if (!f.exists())
if(!f.mkdir())
return false;
if (!s.equals(ConfigurationTTool.SystemCCodeDirectory)) {
File make = new File(ConfigurationTTool.SystemCCodeDirectory + "Makefile");
File defs = new File(ConfigurationTTool.SystemCCodeDirectory + "Makefile.defs");
File src = new File(ConfigurationTTool.SystemCCodeDirectory + "src_simulator");
File lic = new File(ConfigurationTTool.SystemCCodeDirectory + "LICENSE");
File liceng = new File(ConfigurationTTool.SystemCCodeDirectory + "LICENSE_CECILL_ENG");
File licfr = new File(ConfigurationTTool.SystemCCodeDirectory + "LICENSE_CECILL_FR");
FileUtils.copyFileToDirectory(make, f, false);
FileUtils.copyFileToDirectory(defs, f, false);
FileUtils.copyDirectoryToDirectory(src, f);
FileUtils.copyFileToDirectory(lic, f, false);
FileUtils.copyFileToDirectory(liceng, f, false);
FileUtils.copyFileToDirectory(licfr, f, false);
}
return true;
} catch (Exception e) {
throw new FileException(e.getMessage());
}
}
/**
* Check and create the directory for c code generation in AVATAR
* @author Fabien Tessier
* @param s directory path
* @return true if there's no error, false if the directory cannot be created
* @throws FileException
*/
public static boolean checkAndCreateAVATARCodeDir(String s) throws FileException {
File f = new File(s);
try {
if (!f.exists())
if(!f.mkdir())
return false;
if (!s.equals(ConfigurationTTool.AVATARExecutableCodeDirectory)) {
File make = new File(ConfigurationTTool.AVATARExecutableCodeDirectory + "Makefile");
File defs = new File(ConfigurationTTool.AVATARExecutableCodeDirectory + "Makefile.defs");
File soclib = new File(ConfigurationTTool.AVATARExecutableCodeDirectory + "Makefile.forsoclib");
File src = new File(ConfigurationTTool.AVATARExecutableCodeDirectory + "src");
File lic = new File(ConfigurationTTool.AVATARExecutableCodeDirectory + "LICENSE");
File liceng = new File(ConfigurationTTool.AVATARExecutableCodeDirectory + "LICENSE_CECILL_ENG");
File licfr = new File(ConfigurationTTool.AVATARExecutableCodeDirectory + "LICENSE_CECILL_FR");
//File topcell = new File(ConfigurationTTool.AVATARExecutableCodeDirectory + "generated_topcell");
FileUtils.copyFileToDirectory(make, f, false);
FileUtils.copyFileToDirectory(defs, f,false);
FileUtils.copyFileToDirectory(soclib, f, false);
FileUtils.copyDirectoryToDirectory(src, f);
FileUtils.copyFileToDirectory(lic, f, false);
FileUtils.copyFileToDirectory(liceng, f, false);
FileUtils.copyFileToDirectory(licfr, f, false);
//FileUtils.copyDirectoryToDirectory(topcell, f);
}
return true;
}
catch (IOException e) {
throw new FileException(e.getMessage());
}
}
public static boolean checkAndCreateProverifDir(String s) throws FileException {
File f = new File(s);
try {
if (!f.exists())
if(!f.mkdir())
return false;
if (!s.equals(ConfigurationTTool.ProVerifCodeDirectory)) {
File readme = new File(ConfigurationTTool.ProVerifCodeDirectory + "README");
if (readme.exists())
FileUtils.copyFileToDirectory(readme, f, false);
}
return true;
}
catch (IOException e) {
throw new FileException(e.getMessage());
}
}
public static boolean checkAndCreateTMLDir(String s) throws FileException {
File f = new File(s);
try {
if (!f.exists())
if(!f.mkdir())
return false;
if (!s.equals(ConfigurationTTool.TMLCodeDirectory)) {
File readme = new File(ConfigurationTTool.TMLCodeDirectory + "README_TML");
if (readme.exists())
FileUtils.copyFileToDirectory(readme, f, false);
}
return true;
}
catch (IOException e) {
throw new FileException(e.getMessage());
}
}
public static boolean checkAndCreateCCodeDir(String s) throws FileException {
File f = new File(s);
try {
if (!f.exists())
if(!f.mkdir())
return false;
if (!s.equals(ConfigurationTTool.CCodeDirectory)) {
File readme = new File(ConfigurationTTool.CCodeDirectory + "README");
if (readme.exists())
FileUtils.copyFileToDirectory(readme, f, false);
}
return true;
}
catch (IOException e) {
throw new FileException(e.getMessage());
}
}
public static boolean checkAndCreateUPPAALDir(String s) throws FileException {
File f = new File(s);
try {
if (!f.exists())
if(!f.mkdir())
return false;
if (!s.equals(ConfigurationTTool.UPPAALCodeDirectory)) {
File readme = new File(ConfigurationTTool.UPPAALCodeDirectory + "README");
if (readme.exists())
FileUtils.copyFileToDirectory(readme, f, false);
}
return true;
}
catch (IOException e) {
throw new FileException(e.getMessage());
}
}
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");
}
}
public static String deleteFiles( String d ) {
return deleteFiles( d, null );
}
// d: directory, e : extension
public static String deleteFiles(String d, String e ) {
File dir = new File(d);
final String[] list;
if ( e == null ) {
list = dir.list();
}
else {
final ExtensionFilter filter = new ExtensionFilter(e);
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