com.jstar.eclipse.preferences.PreferenceConstants.java Source code

Introduction

Here is the source code for com.jstar.eclipse.preferences.PreferenceConstants.java

Source

/*
 * This file is part of jStar Eclipse Plug-in.
 * 
 * jStar Eclipse Plug-in is distributed under a BSD license,  see, LICENSE
 */
package com.jstar.eclipse.preferences;

import java.io.File;

import org.apache.commons.lang.StringUtils;
import org.apache.commons.lang.SystemUtils;
import org.eclipse.jface.preference.IPreferenceStore;

import com.jstar.eclipse.Activator;

/**
 * Constant definitions for plug-in preferences
 */
public class PreferenceConstants {

    public static final String JSTAR_LOGIC_LIBRARY_PREFERENCE = "logicLibraryPreference";

    public static final String JSTAR_ABS_LIBRARY_PREFERENCE = "absLibraryPreference";

    public static final String JSTAR_SPECS_LIBRARY_PREFERENCE = "specsLibraryPreference";

    public static final String JSTAR_PATH = "jStarPathPreference";

    public static final String SOOT_CLASSPATH_RT = "sootClasspathRtPreference";

    public static final String SOOT_CLASSPATH_CLASSES = "sootClasspathClassesPreference";

    public static final String SOOT_CLASSPATH_UI = "sootClasspathUiPreference";

    public final static String VERIFY_AFTER_SAVING = "verifyAfterSavingPreference";

    public static final String SMT_PATH_PREFERENCE = "smtPathPreference";

    public static final String SMT_ARGUMENTS_PREFERENCE = "smtArgumentsPreference";

    public final static String JSTAR_LOGIC_LIBRARY = "CORESTAR_LOGIC_LIBRARY";

    public final static String JSTAR_ABS_LIBRARY = "CORESTAR_ABS_LIBRARY";

    public final static String JSTAR_SPECS_LIBRARY = "CORESTAR_SPECS_LIBRARY";

    public static final String JSTAR_SMT_PATH = "JSTAR_SMT_PATH";

    public static final String JSTAR_SMT_ARGUMENTS = "JSTAR_SMT_ARGUMENTS";

    public static String getJStarExecutable() {
        return getStore().getString(PreferenceConstants.JSTAR_PATH);
    }

    public static String getJStarLogicLibrary() {
        return getStore().getString(PreferenceConstants.JSTAR_LOGIC_LIBRARY_PREFERENCE);
    }

    public static String getJStarAbsLibrary() {
        return getStore().getString(PreferenceConstants.JSTAR_ABS_LIBRARY_PREFERENCE);
    }

    public static String getJStarSpecLibrary() {
        return getStore().getString(PreferenceConstants.JSTAR_SPECS_LIBRARY_PREFERENCE);
    }

    public static String getSootClassPathRt() {
        return getStore().getString(PreferenceConstants.SOOT_CLASSPATH_RT);
    }

    public static String getSootClassPathClasses() {
        return getStore().getString(PreferenceConstants.SOOT_CLASSPATH_CLASSES);
    }

    public static String getSootClassPathUi() {
        return getStore().getString(PreferenceConstants.SOOT_CLASSPATH_UI);
    }

    public static String getSmtPath() {
        final String path = getStore().getString(PreferenceConstants.SMT_PATH_PREFERENCE);

        if (SystemUtils.IS_OS_WINDOWS) {
            return StringUtils.replace(path, "\\", "/");
        }

        return path;
    }

    public static String getSmtAtguments() {
        return getStore().getString(PreferenceConstants.SMT_ARGUMENTS_PREFERENCE);
    }

    public static String getSootClassPath() {
        if (SystemUtils.IS_OS_MAC) {
            return getSootClassPathClasses() + File.pathSeparator + getSootClassPathUi();
        } else {
            return getSootClassPathRt();
        }
    }

    public static boolean verifyAfterSaving() {
        return getStore().getBoolean(PreferenceConstants.VERIFY_AFTER_SAVING);
    }

    private static IPreferenceStore getStore() {
        return Activator.getDefault().getPreferenceStore();
    }
}