---

Preferences.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.*;
import java.awt.*;
import java.net.*;

public class Preferences {
    private static Properties prop;
    private static final String reportHTMLBackgroundColorKey = "report.html.background.color";
    private static final String reportHTMLBackgroundImageKey = "report.html.background.image";
    private static final String reportHTMLBackImageKey = "report.html.back.image";
    private static String reportHTMLBackgroundColor = "#FFFFFF";
    private static String reportHTMLBackgroundImage = "";
    private static String reportHTMLBackImage = "";
    private static final String clrAssertion = "color.assertion";
    private static final String clrHighlight = "color.highlight";
    private static final String clrPredicate = "color.predicate";
    private static final String clrSliced = "color.sliced";
    private static final String clrModified = "color.modified";
    private static final String clrUnreachable = "color.unreachable";
    private static final String clrDefault = "color.default";

    private static final String dspinDir = "dspin.include";
    private static final String absPath = "abstraction.path";
    private static final String absPackage = "abstraction.package";
    private static final String banderaHome = "bandera.home";
    private static final String jpfHome = "jpf.home";
    private static final String javacupHome = "javacup.home";
    private static final String regexpHome = "regexp.home";
    private static final String javaclassHome = "javaclass.home";
    private static       String banderaHomeDir = ".";
    private static       String jpfHomeDir = ".";
    private static       String javacupHomeDir = ".";
    private static       String javaclassHomeDir = ".";
    private static       String regexpHomeDir = ".";
    public  static final String userBanderaDir = System.getProperty("user.home") + File.separator + ".bandera";
    public  static final String userConfigFile = userBanderaDir + File.separator + ".banderarc";
    public  static final String banderaHeader = "Bandera Configuration File";
    private static final Color  cdefHighlight = new Color(0, 255, 0);
    private static final Color  cdefAssertion = new Color(128, 64, 64);
    private static final Color  cdefPredicate = new Color(64, 128, 64);
    private static final Color  cdefSliced    = new Color(255,0,0);
    private static final Color  cdefModified  = new Color(0,0,255);
    private static final Color  cdefUnreachable = new Color(0,255,255);
    private static final Color  cdefDefault   = new Color(0,0,0);

    static {
        try {
            banderaHomeDir = new File(Class.forName("Bandera").getResource("Bandera.class").getFile()).getParent();
        } catch (Exception e) {
            System.out.println("Could not find Bandera");
            System.exit(1);
        }
        try {
            jpfHomeDir = new File(Class.forName("gov.nasa.arc.ase.jpf.jvm.Main").getResource("Main.class").getFile()).getParentFile().getParentFile().getParentFile().getParentFile().getParentFile().getParentFile().getParent();
        } catch (Exception e) {
            System.out.println("Could not find JPF");
        }
        try {
            javacupHomeDir = new File(Class.forName("java_cup.runtime.Symbol").getResource("Symbol.class").getFile()).getParentFile().getParentFile().getParent();
        } catch (Exception e) {
            System.out.println("Could not find Java Cup runtime library");
        }
        try {
            regexpHomeDir = new File(Class.forName("gnu.regexp.RE").getResource("RE.class").getFile()).getParentFile().getParentFile().getParent();
        } catch (Exception e) {
            System.out.println("Could not find GNU regexp runtime library (needed only for JPF)");
        }
        try {
            javaclassHomeDir = new File(Class.forName("de.fub.bytecode.ClassPath").getResource("ClassPath.class").getFile()).getParentFile().getParentFile().getParentFile().getParent();
        } catch (Exception e) {
            System.out.println("Could not find low level Java bytecode classes for JPF runtime library");
        }
    }
private static String clr2str(Color c)
{
    int r, g, b;
    if (c == null) return null;
    r = c.getRed(); g = c.getGreen(); b = c.getBlue();
    return r + "," + g + "," + b;
}
public static String getAbstractionPackage() { return prop.getProperty(absPackage); }
public static String getAbstractionPath() { return prop.getProperty(absPath); }
public static Color getAssertionColor()
{
    Color c = str2clr(prop.getProperty(clrAssertion));
    // Wrong settings? revert to default values
    if (c == null)
    {
        c = cdefAssertion;
        setAssertionColor(c);
    }
    return c;
}
public static String getBanderaHomeDir()
{
    return banderaHomeDir;
}
public static Color getDefaultColor()
{
    Color c = str2clr(prop.getProperty(clrDefault));
    // Wrong settings? revert to default values
    if (c == null)
    {
        c = cdefDefault;
        setDefaultColor(c);
    }
    return c;
}
public static String getDSpinDir() { return prop.getProperty(dspinDir); }
public static Color getHighlightColor()
{
    Color c = str2clr(prop.getProperty(clrHighlight));
    // Wrong settings? revert to default values
    if (c == null)
    {
        c = cdefHighlight;
        setHighlightColor(c);
    }
    return c;
}
public static String getJavaClassHomeDir() { return javaclassHomeDir; }
public static String getJavaCupHomeDir() { return javacupHomeDir; }
public static String getJPFHomeDir() { return jpfHomeDir; }
public static Color getModifiedColor()
{
    Color c = str2clr(prop.getProperty(clrModified));
    // Wrong settings? revert to default values
    if (c == null)
    {
        c = cdefModified;
        setModifiedColor(c);
    }
    return c;
}
public static Color getPredicateColor()
{
    Color c = str2clr(prop.getProperty(clrPredicate));
    // Wrong settings? revert to default values
    if (c == null)
    {
        c = cdefPredicate;
        setPredicateColor(c);
    }
    return c;
}
    public static Properties getProperties() { return prop; }
public static String getRegExpHomeDir() { return regexpHomeDir; }
/**
 * 
 * @return java.lang.String
 */
public static java.lang.String getReportHTMLBackgroundColor() {
    return prop.getProperty(reportHTMLBackgroundColorKey);
}
/**
 * 
 * @return java.lang.String
 */
public static java.lang.String getReportHTMLBackgroundImage() {
    return prop.getProperty(reportHTMLBackgroundImageKey);
}
/**
 * 
 * @return java.lang.String
 */
public static java.lang.String getReportHTMLBackImage() {
    return prop.getProperty(reportHTMLBackImageKey);
}
public static Color getSlicedColor()
{
    Color c = str2clr(prop.getProperty(clrSliced));
    // Wrong settings? revert to default values
    if (c == null)
    {
        c = cdefSliced;
        setSlicedColor(c);
    }
    return c;
}
public static Color getUnreachableColor()
{
    Color c = str2clr(prop.getProperty(clrUnreachable));
    // Wrong settings? revert to default values
    if (c == null)
    {
        c = cdefUnreachable;
        setUnreachableColor(c);
    }
    return c;
}
public static String getUserPrefDir() { return userBanderaDir; }
private static void init()
{
    System.out.println("Setting up Bandera for the first time...");
    reset();

    File f = new File(userBanderaDir);
    System.out.println("Creating '"+f.getAbsolutePath() + "'");
    if (!f.exists() && !f.mkdir()) {
        System.out.println("Fatal error: Cannot create " + f.getAbsolutePath()+ " to setup Bandera!");
        System.exit(0);
    }

    String[] dirs = { "integral", "real" };

    for (int i = 0; i < dirs.length; i++)
    {
        f = new File(userBanderaDir + File.separator + dirs[i]);
        System.out.println("Creating '"+f.getAbsolutePath() + "'");
        if (!f.exists() && !f.mkdir()) {
            System.out.println("Fatal error: Cannot create " + f.getAbsolutePath()+ " to setup Bandera!");
            System.exit(0);
        }
    }
    try {
         f = new File(userBanderaDir+ File.separator + "Abstractions");
         f.createNewFile();
        System.out.println("Creating '"+f.getAbsolutePath() + "'");
    } catch (Exception e)
    {
        System.out.println("Fatal error: Cannot setup Bandera for the first time!");
        System.exit(0);
    }
    try {
        f = new File(userBanderaDir + File.separator + "log");
        System.out.println("Creating '"+f.getAbsolutePath() + "'");
        if (!f.exists() && !f.mkdir()) throw new Exception();
    } catch (Exception e)
    {
        System.out.println("Fatal error: Cannot setup Bandera logging system!");
        System.exit(0);
    }
    save();
    System.out.println("First time setup done!");
}
public static void load()
{
    String userHomeDir = System.getProperty("user.home");
    prop = new Properties();

    try {
        prop.load(new FileInputStream(userConfigFile));
        System.out.println("User preferences loaded.");
    } catch (Exception e) {
        // Then in user's home directory there is no .bandera.
        // Thus, make one.
        init();
    }
}
public static void reset()
{
    System.out.println("Resetting preferences to default values");
    prop.setProperty(clrAssertion,clr2str(cdefAssertion));
    prop.setProperty(clrHighlight,clr2str(cdefHighlight));
    prop.setProperty(clrPredicate,clr2str(cdefPredicate));
    prop.setProperty(clrSliced,clr2str(cdefSliced));
    prop.setProperty(clrModified,clr2str(cdefModified));
    prop.setProperty(clrUnreachable,clr2str(cdefUnreachable));
    prop.setProperty(clrDefault,clr2str(cdefDefault));
    prop.setProperty(dspinDir,userBanderaDir);
    prop.setProperty(absPath,userBanderaDir);
    prop.setProperty(banderaHome,banderaHomeDir);
    prop.setProperty(jpfHome,jpfHomeDir);
    prop.setProperty(javacupHome,javacupHomeDir);
    prop.setProperty(regexpHome,regexpHomeDir);
    prop.setProperty(javaclassHome,javaclassHomeDir);
    prop.setProperty(absPackage,"");
    prop.setProperty(reportHTMLBackgroundColorKey, reportHTMLBackgroundColor);
    prop.setProperty(reportHTMLBackgroundImageKey, reportHTMLBackgroundImage);
    prop.setProperty(reportHTMLBackImageKey, reportHTMLBackImage);
}
public static void save()
{
    try {
        prop.store(new FileOutputStream(userConfigFile),banderaHeader);
        System.out.println("Preferences saved.");
    } catch (Exception e)
    {
        System.out.println("Cannot save Bandera config file!");
    }
}
public static void setAbstractionPackage(String p) { prop.setProperty(absPackage, p); }
public static void setAbstractionPath(String p) { prop.setProperty(absPath, p); }
public static void setAssertionColor(Color c)
{
    prop.setProperty(clrAssertion,clr2str(c));
}
public static void setDefaultColor(Color c)
{
    prop.setProperty(clrDefault,clr2str(c));
}
public static void setDSpinDir(String p) { prop.setProperty(dspinDir, p); }
public static void setHighlightColor(Color c)
{
    prop.setProperty(clrHighlight,clr2str(c));
}
public static void setJPFHomeDir(String dir) { prop.setProperty(jpfHome,dir); }
public static void setModifiedColor(Color c)
{
    prop.setProperty(clrModified,clr2str(c));
}
public static void setPredicateColor(Color c)
{
    prop.setProperty(clrPredicate,clr2str(c));
}
/**
 * 
 * @param newReportHTMLBackgroundColor java.lang.String
 */
public static void setReportHTMLBackgroundColor(java.lang.String newReportHTMLBackgroundColor) {
    prop.setProperty(reportHTMLBackgroundColorKey, newReportHTMLBackgroundColor);
}
/**
 * 
 * @param newReportHTMLBackgroundImage java.lang.String
 */
public static void setReportHTMLBackgroundImage(java.lang.String newReportHTMLBackgroundImage) {
    prop.setProperty(reportHTMLBackgroundImageKey, newReportHTMLBackgroundImage);
}
/**
 * 
 * @param newReportHTMLBackImage java.lang.String
 */
public static void setReportHTMLBackImage(java.lang.String newReportHTMLBackImage) {
    prop.setProperty(reportHTMLBackImageKey, newReportHTMLBackImage);
}
public static void setSlicedColor(Color c)
{
    prop.setProperty(clrSliced,clr2str(c));
}
public static void setUnreachableColor(Color c)
{
    prop.setProperty(clrUnreachable,clr2str(c));
}
private static Color str2clr(String s)
{
    Color c = null;
    if (s == null) return null;

    // Old remnant of code
    if (s.indexOf(",") == -1)
    {
        try {
            c = new Color(Integer.parseInt(s));
        } catch (Exception e) {}
        return c;
    }

    StringTokenizer tok = new StringTokenizer(s, ",");
    int r, g, b;
    try
    {
        r = Integer.parseInt(tok.nextToken());
        g = Integer.parseInt(tok.nextToken());
        b = Integer.parseInt(tok.nextToken());
        c = new Color(r,g,b);
    } catch (Exception e)
    {
    }
    return c;
}
}

---