---

BanderaUtil.java

package edu.ksu.cis.bandera.util;

/* * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * *
 * Bandera, a Java(TM) analysis and transformation toolkit           *
 * Copyright (C) 2000  Roby Joehanes (robbyjo@cis.ksu.edu)           *
 * All rights reserved.                                              *
 *                                                                   *
 * This work was done as a project in the SAnToS Laboratory,         *
 * Department of Computing and Information Sciences, Kansas State    *
 * University, USA (http://www.cis.ksu.edu/santos).                  *
 * It is understood that any modification not identified as such is  *
 * not covered by the preceding statement.                           *
 *                                                                   *
 * This work is free software; you can redistribute it and/or        *
 * modify it under the terms of the GNU Library General Public       *
 * License as published by the Free Software Foundation; either      *
 * version 2 of the License, or (at your option) any later version.  *
 *                                                                   *
 * This work 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 *
 * Library General Public License for more details.                  *
 *                                                                   *
 * You should have received a copy of the GNU Library General Public *
 * License along with this toolkit; if not, write to the             *
 * Free Software Foundation, Inc., 59 Temple Place - Suite 330,      *
 * Boston, MA  02111-1307, USA.                                      *
 *                                                                   *
 * Java is a trademark of Sun Microsystems, Inc.                     *
 *                                                                   *
 * To submit a bug report, send a comment, or get the latest news on *
 * this project and other SAnToS projects, please visit the web-site *
 *                http://www.cis.ksu.edu/santos                      *
 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * */
import java.util.*;
import java.io.*;

public class BanderaUtil {
    private static final int BUFSIZE = 50000;
    private static byte[] buffer = new byte[BUFSIZE];
    private static Runtime runtime = Runtime.getRuntime();
public static boolean copyFile(File src, File dest)
{
    if (!src.exists()) return false;
    if (src.isFile() && dest.isDirectory())
    {
        dest = new File (dest.getAbsolutePath()+File.separator+src.getName());
    }
    if (dest.exists()) dest.delete();
    FileInputStream  in = null;
    FileOutputStream out = null;
    try {
        in  = new FileInputStream(src);
        out = new FileOutputStream(dest);
        byte[] buf = new byte[64*1024];
        int i = 0;
        while ((i = in.read(buf)) != -1)
            out.write(buf, 0, i);
        in.close(); out.close();
    } catch (Exception e)
    {
        try { if (in != null) in.close(); } catch (Exception ex) {}
        try { if (out != null) out.close(); } catch (Exception ex) {}
        return false;
    }
    return true;
}
/**
 * 
 * @return boolean
 * @param dir java.io.File
 */
public static boolean deleteDir(File dir) {
    if (!dir.exists()) return true;

    File[] files = dir.listFiles();
    if (files == null) return true;  // robbyjo's bugfix
    for (int i = 0; i < files.length; i++) {
        if (files[i].isDirectory()) {
            deleteDir(files[i]);
        } else {
            if (!files[i].delete()) {
                return false;
            }
        }
    }
    
    return dir.delete();
}
public static boolean deleteDir(String s) { return deleteDir(new File(s)); }
public static String exec(String command, StringBuffer output, StringBuffer error, int verbosity)
{
    try {
        Process p = runtime.exec(command);
        InputStream commandErr = p.getErrorStream();
        InputStream commandOut = p.getInputStream();
        String ln = System.getProperty("line.separator");

        StringBuffer sb = new StringBuffer();
        if (verbosity > 5)
        {
            System.out.println(command);
            output.append(command+ln);
        }
        int charsRead = 0; // chars read on read
        int charsAvail = 0; // chars available
        while (charsRead != -1) {
            if (commandErr.available() > 0) {
                charsRead = commandErr.read(buffer);
                String s = new String(buffer, 0, charsRead);
                error.append(s);
                sb.append(s);
            }
            charsRead = commandOut.read(buffer);
            if (charsRead > 0)
            {
                String s = new String(buffer, 0, charsRead);
                output.append(s);
                sb.append(s);
            }
        }
        p.waitFor();
        String result = sb.toString();
        if (verbosity > 5) System.out.println(result);
        return result;
    } catch (Exception e) {
        throw new RuntimeException("exec of command '" + command + "' was aborted: \n" + e);
    }
}
public static String exec(String command, boolean verbose)
{
    StringBuffer sb = new StringBuffer();
    return exec(command, sb, sb, 9);
}
public static void main(String[] args)
{
    // For a test drive
    moveFile (new File("Driver.java"), new File("output"));
}
public static boolean mkdirs(String s)
{
    File tempDir = new File(s);
    String temp = "Error: Can't create temporary directory '" + tempDir.getAbsolutePath() + "'";
    //System.out.println("Making directory "+s);
    if (tempDir.exists() && !deleteDir(tempDir)) return false;
    try {
        if (!tempDir.mkdirs()) return false;
        if (!tempDir.exists()) System.out.println("Strangely enough, it doesn't exists!");
    } catch (Exception e) {
        return false;
    }
    return true;
}
public static void moveFile(File src, File dest)
{
    copyFile(src,dest); src.delete();
}
public static void moveFile(String file, String dir) {
    File f = new File(file);
    if (!f.exists() || dir == null || ("."+File.separator).equals(dir) || ".".equals(dir)) return;
    moveFile(f, new File(dir));
}
/**
 * 
 * @param classpath java.lang.String
 * @param filename java.lang.String
 */
public static void runJavac(String classpath, String filename) {
    String cmdLine = "javac -g -classpath " + classpath + " " + filename;
    System.out.println(cmdLine);
    sun.tools.javac.Main javac = new sun.tools.javac.Main(System.out, "Bandera");
    if (!javac.compile(new String[] { "-g", "-classpath", classpath, filename })) {
        System.out.println("Error while compiling the model");
    }
}
}

---