Example usage for org.eclipse.jface.dialogs IDialogSettings get

List of usage examples for org.eclipse.jface.dialogs IDialogSettings get

Introduction

In this page you can find the example usage for org.eclipse.jface.dialogs IDialogSettings get.

Prototype

String get(String key);

Source Link

Document

Returns the value of the given key in this dialog settings.

Usage

From source file:ar.com.fluxit.jqa.wizard.JQAWizard.java

License:Open Source License

private void restoreState() {
    try {/*from   w w  w .java2s. com*/
        final IDialogSettings settings = JQAEclipsePlugin.getDefault().getDialogSettings();
        final String rulesContextFileString = settings.get("rulesContextFileName");
        if (rulesContextFileString != null) {
            final IPath rulesContextFilePath = Path.fromPortableString(rulesContextFileString);
            final IFile rulesContextFile = ResourcesPlugin.getWorkspace().getRoot()
                    .getFile(rulesContextFilePath);
            setRulesContextFile(rulesContextFile);
        }
        final String[] targetProjectNames = settings.getArray("targetProjectNames");
        if (targetProjectNames != null) {

            IProject[] targetProjects = new IProject[targetProjectNames.length];
            for (int i = 0; i < targetProjects.length; i++) {
                targetProjects[i] = ResourcesPlugin.getWorkspace().getRoot().getProject(targetProjectNames[i]);
            }
            this.targetProjects = targetProjects;
        }
        this.newRulesContext = settings.getBoolean("newRulesContext");
    } catch (Exception e) {
        JQAEclipsePlugin.getDefault().getLog().log(new Status(IStatus.ERROR, JQAEclipsePlugin.PLUGIN_ID,
                IStatus.OK, "Error while restoring state", e));
    }
}

From source file:at.kolli.automation.client.LayoutLoader.java

License:Open Source License

/**
 * run routine to load files from server
 * and generate layout files//w  w w. j  a va  2  s. c  o m
 * 
 * @serial
 * @see
 * @override
 * @author Alexander Kolli
 * @version 1.00.00, 23.12.2007
 * @since JDK 1.6
 */
public void run() {
    Boolean bConnected = false;
    short type = 0;
    String user = "";
    String pwd = "";
    String olduser, oldpwd;
    String error = "";
    HashMap<String, Date> folder = new HashMap<String, Date>();
    DialogThread dialog = DialogThread.instance();
    MsgTranslator trans = MsgTranslator.instance();
    MsgClientConnector client;
    String loginname;
    IDialogSettings login = TreeNodes.m_Settings.getSection("loginDialog");

    setName("LayoutLoader");
    client = MsgClientConnector.instance(m_sHost, m_nPort);
    while (!stopping()) {
        try {
            while (getType() == WAIT) {
                stateLock.lock();
                try {
                    // wait until no new content should be loading
                    newStateCondition.await();
                } catch (InterruptedException ex) {
                    System.out.println(
                            "newStateCodition get's InterruptedException, so wait for 100 milliseconds");
                    try {
                        sleep(100);
                    } catch (InterruptedException iex) {
                        System.out.println("cannot sleep 10 milliseconds for wating on LayoutLoader-thread");
                        iex.printStackTrace();
                    }
                } finally {
                    stateLock.unlock();
                }
                if (stopping())
                    return;
            }
            while (!dialog.isOpen() && getType() != WAIT) {
                try {
                    sleep(100);
                } catch (InterruptedException ex) {

                }
                if (stopping())
                    return;
            }
            MsgTranslator.instance().clearErrorPool();
            type = getType();
            if (type == DISPOSE) {
                dialog.setSelection(0);
                dialog.setSteps(1);
                if (HtmTags.showDisposeClient) {
                    if (m_aTreeNodes != null && !m_aTreeNodes.isEmpty()) {
                        TreeNodes.m_nNodeCount = 0;
                        for (TreeNodes node : m_aTreeNodes)
                            TreeNodes.m_nNodeCount += node.count();
                        dialog.setSteps(TreeNodes.m_nNodeCount + 1);
                        for (TreeNodes node : m_aTreeNodes)
                            node.dispose(/*subnodes*/true);
                    }
                }
                dialog.show(trans.translate("closeConnections"));
                //client.closeConnection();
                dialog.nextStep();
                dialog.close();
                return;
            }
            if (type == WAIT)
                continue;
            bConnected = false;
            olduser = user = TreeNodes.m_sUser;
            oldpwd = pwd = TreeNodes.m_sPwd;
            if (type != REFRESH && type != BROKEN && login != null) {
                loginname = null;
                if (type == LayoutLoader.UPDATE)
                    loginname = login.get("lastchangename");
                if (loginname == null)
                    loginname = login.get("lastloginname");
                user = loginname;
            }
            while (!bConnected) {
                if (type == CREATE || type == UPDATE) {
                    if (dialog.verifyUser(user, pwd, error).equals(states.CANCEL))
                        break;
                    user = TreeNodes.m_sUser;
                }
                dialog.needProgressBar();
                dialog.show(trans.translate("dialogConnectionTitle"),
                        trans.translate("dialogConnectionSearchMsg"));

                if (type != REFRESH) {
                    if (type == CREATE || type == BROKEN) {
                        client.openNewConnection(TreeNodes.m_sUser, TreeNodes.m_sPwd);
                    } else
                        client.changeUser(TreeNodes.m_sUser, TreeNodes.m_sPwd, /*bthrow*/true);
                    if (!dialog.isOpen())
                        stopThread();
                    if (stopping())
                        break;
                    type = getType();
                    if (client.hasError()) {
                        Toolkit oKit = Toolkit.getDefaultToolkit();

                        oKit.beep();
                        error = client.getErrorCode();
                        dialog.show(client.getErrorMessage());
                        client.closeConnection();

                    } else
                        bConnected = true;
                } else
                    bConnected = true;
            }

            if (dialog.dialogState().equals(states.RUN)) {
                user = TreeNodes.m_sUser;
                if (login == null) {
                    login = new DialogSettings("loginDialog");
                    login.put("lastloginname", user);
                    login.put("loginnames", user);
                    TreeNodes.m_Settings.addSection(login);
                } else {
                    Boolean exists = false;
                    String names = login.get("loginnames");
                    String[] snames = names.split(":");

                    for (String name : snames) {
                        if (name.equals(user)) {
                            exists = true;
                            break;
                        }
                    }
                    if (!exists)
                        login.put("loginnames", names + ":" + user);
                    if (type == CREATE)
                        login.put("lastloginname", user);
                    else if (type == UPDATE)
                        login.put("lastchangename", user);
                }

                folder = client.getDirectory("." + TreeNodes.m_sLayoutStyle, /*bthrow*/true);
                if (!client.hasError()) {
                    if (HtmTags.debug) {
                        ArrayList<String> folderKeys = new ArrayList<String>(folder.keySet());

                        Collections.sort(folderKeys);
                        System.out.println("found follow Files on server:");
                        for (String str : folderKeys)
                            System.out.println(str);
                    }
                } else {
                    System.out.println(client.getErrorMessage());
                    return;
                }

                TreeNodes.m_hmDirectory = folder;
                dialog.show(trans.translate("dialogLoadContent"));
                initializeMainWidget(TreeNodes.m_hmDirectory);
                if (dialog.dialogState().equals(DialogThread.states.CANCEL))
                    return;
                if (dialog.dialogState().equals(states.RUN)) {
                    //System.out.println("Close Dialog Box");
                    dialog.close();
                } else
                    // change user back;
                    client.changeUser(olduser, oldpwd, /*bthrow*/true);
            }
            /**
             * create all not currently visible sides
             * in background with lower or higher priority
             */
            if (HtmTags.useBackgroundLoadingPriority > 0) {
                Thread.currentThread().setPriority(HtmTags.useBackgroundLoadingPriority);
                if (createSidesOnBackground()) {
                    setState(WAIT);
                    type = WAIT;
                }
                Thread.currentThread().setPriority(Thread.NORM_PRIORITY);
                if (HtmTags.debug)
                    System.out.println("reading of sides on background was finished");
            }
            setState(WAIT);

        } catch (IOException ex) {
            if (HtmTags.debug) {
                System.out.println("-----------------------------------------------");
                System.out.println(client.getErrorMessage());
                ex.printStackTrace();
                System.out.println("-----------------------------------------------");
            }
            client.closeConnection();
            setState(BROKEN);
            type = WAIT;
        }
    }
    if (HtmTags.debug)
        System.out.println("Ending of thread '" + getName() + "'");
}

From source file:at.kolli.automation.client.LayoutLoader.java

License:Open Source License

protected void execInitialize() {
    String check;//from  w ww.  j a v a2  s. c o m
    Menu menuBar;
    MsgTranslator trans = MsgTranslator.instance();
    FillLayout mainLayout = new FillLayout();
    FillLayout treeLayout = new FillLayout();

    IDialogSettings login;
    //final Composite mainComposite;
    final Group treeComposite;
    int sashWeight[] = { 200, 800 };
    Rectangle monitor;
    int xLocation;
    int yLocation;

    // create menu
    if (HtmTags.nomenu)
    //&&
    //!HtmTags.notree   )
    {
        menuBar = null;
    } else {
        menuBar = new Menu(m_oTopLevelShell, SWT.BAR);
        m_oTopLevelShell.setMenuBar(menuBar);
    }
    if (!HtmTags.nomenu) {
        MenuItem menuTitle = new MenuItem(menuBar, SWT.CASCADE);
        Menu menuList1 = new Menu(m_oTopLevelShell, SWT.DROP_DOWN);
        MenuItem refreshItem = new MenuItem(menuList1, SWT.NULL);
        MenuItem changeUserItem = new MenuItem(menuList1, SWT.NULL);
        new MenuItem(menuList1, SWT.SEPARATOR);
        MenuItem exitItem = new MenuItem(menuList1, SWT.NULL);

        menuTitle.setText(trans.translate("menu_top_app"));
        // first menu list
        menuTitle.setMenu(menuList1);
        refreshItem.setText(trans.translate("menu_app_refresh"));
        changeUserItem.setText(trans.translate("menu_app_changeUser"));
        exitItem.setText(trans.translate("menu_app_exit"));

        // event-handling for MenuItem's
        refreshItem.addSelectionListener(new SelectionAdapter() {

            @Override
            public void widgetSelected(SelectionEvent e) {

                LayoutLoader loader = LayoutLoader.instance();
                DialogThread dialog = DialogThread.instance(m_oTopLevelShell);
                MsgTranslator trans = MsgTranslator.instance();

                super.widgetSelected(e);
                synchronized (TreeNodes.m_DISPLAYLOCK) {
                    loader.setState(LayoutLoader.REFRESH);
                    dialog.needProgressBar();
                    dialog.needUserVerificationFields();
                    dialog.show(trans.translate("dialogChangeUser"), trans.translate("dialogUserVerification"));
                    dialog.produceDialog(REFRESH);
                    loader.setState(LayoutLoader.WAIT);
                }
            }

        });
        changeUserItem.addSelectionListener(new SelectionAdapter() {

            @Override
            public void widgetSelected(SelectionEvent e) {

                LayoutLoader loader = LayoutLoader.instance();
                DialogThread dialog = DialogThread.instance(m_oTopLevelShell);
                MsgTranslator trans = MsgTranslator.instance();

                super.widgetSelected(e);
                synchronized (TreeNodes.m_DISPLAYLOCK) {
                    loader.setState(LayoutLoader.UPDATE);
                    dialog.needProgressBar();
                    dialog.needUserVerificationFields();
                    dialog.show(trans.translate("dialogChangeUser"), trans.translate("dialogUserVerification"));
                    dialog.produceDialog(UPDATE);
                }
                if (HtmTags.debug)
                    System.out.println("change user to '" + TreeNodes.m_sUser + "'");
            }

        });
        exitItem.addSelectionListener(new SelectionAdapter() {

            @Override
            public void widgetSelected(SelectionEvent e) {

                LayoutLoader loader = LayoutLoader.instance();

                super.widgetSelected(e);
                m_oTopLevelShell.close();
            }

        });
    }

    // create composites to display
    login = TreeNodes.m_Settings.getSection(TreeNodes.m_sLayoutStyle);
    if (login == null) {
        login = new DialogSettings(TreeNodes.m_sLayoutStyle);
        TreeNodes.m_Settings.addSection(login);
    }
    monitor = Display.getDefault().getPrimaryMonitor().getBounds();
    if (HtmTags.fullscreen) {
        m_nWidth = monitor.width;
        m_nHeight = monitor.height;
    } else {
        check = login.get("xLocation");
        if (check != null) {
            xLocation = login.getInt("xLocation");
            yLocation = login.getInt("yLocation");
            m_nWidth = login.getInt("mainwidth");
            m_nHeight = login.getInt("mainheight");
        } else {
            m_nWidth = 0;
            m_nHeight = 0;
            xLocation = monitor.width / 2;
            yLocation = monitor.height / 2;
            monitor = m_oTopLevelShell.getBounds();
            xLocation -= (monitor.width / 2);
            yLocation -= (monitor.height / 2);
        }
        m_oTopLevelShell.setLocation(xLocation, yLocation);
    }

    mainComposite = new Composite(m_oTopLevelShell, SWT.NONE);
    mainComposite.setBackground(HtmTags.systemColor);
    if (HtmTags.notree) {
        FillLayout fill = new FillLayout();
        RowLayout popupLayout = new RowLayout();

        m_shellForm = new SashForm(mainComposite, SWT.VERTICAL);
        m_oPopupIn = new Composite(m_shellForm, SWT.NONE);
        m_oPopupComposite = new Composite(m_oPopupIn, SWT.NONE);
        m_oMainComposite = new Composite(m_shellForm, SWT.NONE);

        m_shellForm.setBackground(HtmTags.systemColor);
        m_oPopupIn.setBackground(HtmTags.systemColor);
        m_oPopupComposite.setBackground(HtmTags.systemColor);
        m_oMainComposite.setBackground(HtmTags.systemColor);
        fill.marginHeight = 0;
        fill.marginWidth = 0;
        popupLayout.marginHeight = HtmTags.popupPadding;
        popupLayout.marginWidth = HtmTags.popupPadding;
        popupLayout.marginBottom = 0;
        popupLayout.marginTop = 0;
        popupLayout.marginLeft = 0;
        popupLayout.marginRight = 0;
        mainComposite.setLayout(mainLayout);
        m_oPopupIn.setLayout(fill);
        m_oPopupComposite.setLayout(popupLayout);
        treeComposite = null;
        m_oTree = null;

    } else {
        m_shellForm = new SashForm(mainComposite, SWT.HORIZONTAL);
        treeComposite = new Group(m_shellForm, SWT.SHADOW_ETCHED_IN);
        m_oMainComposite = new Composite(m_shellForm, SWT.NONE);
        m_oTree = new Tree(treeComposite, SWT.SINGLE);

        treeComposite.setBackground(HtmTags.systemColor);
        m_oMainComposite.setBackground(HtmTags.systemColor);
        mainLayout.marginHeight = 0;
        mainLayout.marginWidth = 0;
        mainComposite.setLayout(mainLayout);

        check = login.get("sashwidth");
        if (check != null) {
            sashWeight[0] = login.getInt("sashwidth");
            sashWeight[1] = login.getInt("sashheight");
        }
        m_shellForm.setWeights(sashWeight);
        m_shellForm.setLayout(new FillLayout());
    }

    if (!HtmTags.notree) {
        treeLayout.marginWidth = 1;
        treeLayout.marginHeight = 1;
        treeComposite.setLayout(treeLayout);
        treeComposite.setVisible(true);
    }

    m_StackLayout.marginHeight = HtmTags.mainPadding;
    m_StackLayout.marginWidth = HtmTags.mainPadding;
    m_oMainComposite.setLayout(m_StackLayout);

    m_oTopLevelShell.setLayout(new FillLayout());
    m_oTopLevelShell.setText("ppi-client  (physical port interface client)");

    if (!HtmTags.notree) {// add listeners for tree

        m_oTree.addSelectionListener(new SelectionAdapter() {
            public void widgetSelected(SelectionEvent e) {
                synchronized (TreeNodes.m_DISPLAYLOCK) {
                    ArrayList<TreeNodes> searchNodes;
                    ArrayList<TreeItem> itemTree = new ArrayList<TreeItem>();
                    TreeItem existItems[] = m_oTree.getItems();
                    TreeItem items[] = m_oTree.getSelection();
                    TreeItem curItem = null;
                    int pos, count;
                    String name = "";

                    if (items.length > 0)
                        curItem = items[0];
                    else
                        return;
                    while (curItem != null) {
                        itemTree.add(0, curItem);
                        curItem = curItem.getParentItem();

                    }
                    searchNodes = m_aTreeNodes;
                    do {
                        curItem = itemTree.get(0);
                        itemTree.remove(0);
                        pos = 0;
                        for (TreeItem s : existItems) {
                            if (s == curItem) {
                                existItems = s.getItems();
                                break;
                            }
                            ++pos;
                        }
                        count = -1;
                        for (TreeNodes node : searchNodes) {
                            if (node.treeDisplay())
                                ++count;
                            if (count == pos) {
                                name += "/" + node.getName();
                                searchNodes = node.getChilds();
                                break;
                            }
                        }
                    } while (itemTree.size() > 0 && searchNodes != null);
                    if (name.length() > 1)
                        name = name.substring(1);
                    if (HtmTags.debug)
                        System.out.println("Treenode " + name + " is selected");
                    m_sAktFolder = name;
                    setCurrentSideVisible(/*inform server by no body*/true);
                }
            }
        });

        if (HtmTags.debug) {
            m_oTree.addTreeListener(new TreeAdapter() {
                public void treeCollapsed(TreeEvent e) {
                    if (HtmTags.debug)
                        System.out.println("collapsed node: " + ((TreeItem) e.item).getText());
                }

                public void treeExpanded(TreeEvent e) {
                    if (HtmTags.debug)
                        System.out.println("expanded node: " + ((TreeItem) e.item).getText());
                }
            });
        }
    }
}

From source file:at.kolli.dialogs.ConnectionDialog.java

License:Open Source License

/**
 * wait for verify user and password//from   www  .  j av a2  s  . c  o m
 * 
 * @param user caller get user name
 * @param password caller get password
 * @return whether dialog box is allocated for verify user
 */
public states verifyUser(String user, String password, final String error) {
    IDialogSettings login = TreeNodes.m_Settings.getSection("loginDialog");
    int fnIndex = -1;
    final int nIndex;
    Boolean bVerified = false;
    String[] split;
    String names;

    if (!m_bVerification)
        return states.ERROR;

    if (login != null) {
        names = login.get("loginnames");
        split = names.split(":");
        fnIndex = 0;
        for (String name : split) {
            if (name.equals(user))
                break;
            ++fnIndex;
        }
    }
    nIndex = fnIndex;

    DisplayAdapter.syncExec(new Runnable() {
        //@Override
        public void run() {
            setEnable(true);
            m_oPwd.setText("");
            if (nIndex >= 0) {
                m_oUser.select(nIndex);
                if (error.equals(""))
                    m_oPwd.setFocus();
            } else if (error.equals(""))
                m_oUser.setFocus();
            if (error.equals("ERROR 011") || error.equals("ERROR 015")) {
                m_oUser.setFocus();
            } else if (!error.equals(""))
                m_oPwd.setFocus();
        }
    });
    m_bVerified = false;
    TreeNodes.m_sPwd = "";
    m_sPwd = "";
    while (!bVerified) {
        synchronized (TreeNodes.m_sUser) {
            user = TreeNodes.m_sUser;
            password = TreeNodes.m_sPwd;
        }
        if (m_bVerified)
            break;
        if (!m_bOpen)
            return states.CANCEL;
        try {
            Thread.sleep(500);
        } catch (InterruptedException ex) {
            ex.printStackTrace();
        }
        synchronized (TreeNodes.m_sUser) {
            user = TreeNodes.m_sUser;
            password = TreeNodes.m_sPwd;
        }
    }
    DisplayAdapter.syncExec(new Runnable() {
        //@Override
        public void run() {
            setEnable(false);
        }
    });
    return states.OK;
}

From source file:at.kolli.dialogs.ConnectionDialog.java

License:Open Source License

/**
 * Overridden creates and returns the contents of the upper part of this dialog (above the button bar).
 * /*from  w  ww  . j a  v a  2  s  . co m*/
 * @param parent The parent composite to contain the dialog area
 * @return the dialog area control
 * @override
 * @author Alexander Kolli
 * @version 1.00.00, 04.12.2007
 * @since JDK 1.6
 */
protected Control createDialogArea(Composite parent) {
    int style = m_nIndeterminate ? SWT.INDETERMINATE : SWT.NULL;
    final Composite area = new Composite(parent, SWT.NULL);
    final GridLayout layout = new GridLayout();
    final GridData data = new GridData();
    final GridData progressData = new GridData();

    m_bOpen = true;
    if (m_bProgress) {
        data.verticalAlignment = GridData.CENTER;
        data.horizontalAlignment = GridData.CENTER;
        data.grabExcessHorizontalSpace = true;
        data.grabExcessVerticalSpace = true;
        area.setLayout(layout);
        area.setLayoutData(data);
        progressData.widthHint = 300;
        m_oProgressBar = new ProgressBar(area, style);
        m_oProgressBar.setLayoutData(progressData);
    }
    if (m_bVerification) {
        IDialogSettings login = TreeNodes.m_Settings.getSection("loginDialog");
        MsgTranslator trans = MsgTranslator.instance();
        Label oUser;
        Label oPwd;

        new Label(area, SWT.NONE);
        oUser = new Label(area, SWT.NONE);
        m_oUser = new Combo(area, SWT.DROP_DOWN);
        if (login != null) {
            String snames[];
            String names = login.get("loginnames");

            if (names != null) {
                snames = names.split(":");
                for (String name : snames) {
                    m_oUser.add(name);
                }
            }
        }
        m_oUser.setEnabled(false);
        oPwd = new Label(area, SWT.NONE);
        m_oPwd = new Text(area, SWT.SINGLE);
        m_oPwd.setEnabled(false);
        oUser.setText(trans.translate("W_USER") + ":");
        oPwd.setText(trans.translate("W_PASSWORD") + ":");
        m_sPwd = "";
        m_oUser.addSelectionListener(new SelectionAdapter() {
            public void widgetDefaultSelected(SelectionEvent ev) {
                synchronized (TreeNodes.m_sUser) {
                    TreeNodes.m_sUser = m_oUser.getText();
                    TreeNodes.m_sPwd = m_sPwd;
                }
                m_bVerified = true;
            }
        });
        m_oPwd.addSelectionListener(new SelectionAdapter() {
            public void widgetDefaultSelected(SelectionEvent ev) {
                synchronized (TreeNodes.m_sUser) {
                    TreeNodes.m_sUser = m_oUser.getText();
                    TreeNodes.m_sPwd = m_sPwd;
                }
                m_bVerified = true;
            }
        });
        m_oPwd.addVerifyListener(new VerifyListener() {
            public void verifyText(VerifyEvent arg0) {
                String buf;
                int len = m_sPwd.length();
                int pos = arg0.start;

                buf = m_sPwd.substring(0, pos);
                buf += arg0.text;
                if (pos + 1 < len)
                    buf += m_sPwd.substring(pos + 1);
                m_sPwd = buf;
                if (arg0.text.compareTo("") != 0)
                    arg0.text = "*";
            }
        });
    }
    area.addDisposeListener(new DisposeListener() {

        public void widgetDisposed(DisposeEvent arg0) {

            m_bOpen = false;
        }

    });
    return area;
}

From source file:ca.edchipman.silverstripepdt.dialogs.FilteredTypesSelectionDialog.java

License:Open Source License

protected void restoreDialog(IDialogSettings settings) {
    super.restoreDialog(settings);

    fTypeInfoLabelProvider.setContainerInfo(true);

    if (fAllowScopeSwitching) {
        String setting = settings.get(WORKINGS_SET_SETTINGS);
        if (setting != null) {
            try {
                IMemento memento = XMLMemento.createReadRoot(new StringReader(setting));
                fFilterActionGroup.restoreState(memento);
            } catch (WorkbenchException e) {
                // don't do anything. Simply don't restore the settings
                DLTKUIPlugin.log(e);/*from  ww w.  j  a va 2 s.co m*/
            }
        }
        IWorkingSet ws = fFilterActionGroup.getWorkingSet();
        if (ws == null || (ws.isAggregateWorkingSet() && ws.isEmpty())) {
            setSearchScope(SearchEngine.createWorkspaceScope(fToolkit));
            setSubtitle(null);
        } else {
            setSearchScope(DLTKSearchScopeFactory.getInstance().createSearchScope(ws, true, fToolkit));
            setSubtitle(ws.getLabel());
        }
    }

    // TypeNameMatch[] types = OpenTypeHistory.getInstance().getTypeInfos();
    //
    // for (int i = 0; i < types.length; i++) {
    // TypeNameMatch type = types[i];
    // accessedHistoryItem(type);
    // }
}

From source file:ca.mcgill.sable.soot.launching.SavedConfigManager.java

License:Open Source License

private void remove(String name) {
    IDialogSettings settings = SootPlugin.getDefault().getDialogSettings();
    int count = 0;
    try {/*from ww  w .j a  v  a  2s  .  c om*/
        count = settings.getInt("config_count");
    } catch (NumberFormatException e) {
    }
    String[] pointers = new String[count];
    for (int i = 1; i <= count; i++) {
        pointers[i - 1] = settings.get("soot_run_config_" + i);
    }

    int i = 1;
    int j = 0;
    while (j < count) {
        if (!pointers[j].equals(name)) {
            settings.put("soot_run_config_" + i, pointers[j]);
            i++;
        }
        j++;
    }

    settings.put("soot_run_config_" + count, (String) null);
    count--;
    if (count < 0) {
        count = 0;
    }
    settings.put("config_count", count);
    settings.put(name, (String) null);

}

From source file:ca.mcgill.sable.soot.launching.SavedConfigManager.java

License:Open Source License

private boolean alreadyInList(String name) {
    IDialogSettings settings = SootPlugin.getDefault().getDialogSettings();
    int count = 0;
    try {//from  www. ja v  a  2  s.com
        count = settings.getInt("config_count");
    } catch (NumberFormatException e) {
    }
    for (int i = 1; i <= count; i++) {
        if (settings.get("soot_run_config_" + i).equals(name)) {
            return true;
        }
    }
    return false;
}

From source file:ca.mcgill.sable.soot.testing.TestOptionsDialogHandler.java

License:Open Source License

public String getCmdLine() {
    IDialogSettings settings = SootPlugin.getDefault().getDialogSettings();

    StringBuffer cmd = new StringBuffer();
    String path = null;/* www. ja v  a2 s. c o m*/
    String defaultVal = null;
    //String phaseOptsAlias = null;
    //String phaseAlias = null;
    //String subPhaseAlias = null;
    String key = null;
    boolean value = false;
    //HashMap phasePairs = new HashMap();
    boolean boolDefault = false;

    key = "" + " " + "" + " " + "h";
    value = settings.getBoolean(key.trim());

    boolDefault = false;

    if (value != boolDefault) {
        cmd.append(DASH);
        cmd.append(key.trim());
        cmd.append(SPACE);
    }

    key = "" + " " + "" + " " + "version";
    value = settings.getBoolean(key.trim());

    boolDefault = false;

    if (value != boolDefault) {
        cmd.append(DASH);
        cmd.append(key.trim());
        cmd.append(SPACE);
    }

    key = "" + " " + "" + " " + "v";
    value = settings.getBoolean(key.trim());

    boolDefault = false;

    if (value != boolDefault) {
        cmd.append(DASH);
        cmd.append(key.trim());
        cmd.append(SPACE);
    }

    key = "" + " " + "" + " " + "app";
    value = settings.getBoolean(key.trim());

    boolDefault = false;

    if (value != boolDefault) {
        cmd.append(DASH);
        cmd.append(key.trim());
        cmd.append(SPACE);
    }

    key = "" + " " + "" + " " + "w";
    value = settings.getBoolean(key.trim());

    boolDefault = false;

    if (value != boolDefault) {
        cmd.append(DASH);
        cmd.append(key.trim());
        cmd.append(SPACE);
    }

    key = "" + " " + "" + " " + "allow-phantom-refs";
    value = settings.getBoolean(key.trim());

    boolDefault = false;

    if (value != boolDefault) {
        cmd.append(DASH);
        cmd.append(key.trim());
        cmd.append(SPACE);
    }

    key = "" + " " + "" + " " + "cp";

    path = settings.get(key.trim());
    if ((path != null) && (path.length() != 0) && (!path.equals(defaultVal))) {
        cmd.append(DASH);
        cmd.append(key.trim());
        cmd.append(SPACE);
        cmd.append(path);
        cmd.append(SPACE);
    }

    key = "" + " " + "" + " " + "src-prec";
    path = settings.get(key.trim());

    defaultVal = "c";

    if ((path != null) && (path.length() != 0) && (!path.equals(defaultVal))) {
        cmd.append(DASH);
        cmd.append(key.trim());
        cmd.append(SPACE);
        cmd.append(path);
        cmd.append(SPACE);
    }

    key = "" + " " + "" + " " + "via-grimp";
    value = settings.getBoolean(key.trim());

    boolDefault = false;

    if (value != boolDefault) {
        cmd.append(DASH);
        cmd.append(key.trim());
        cmd.append(SPACE);
    }

    key = "" + " " + "" + " " + "xml-attributes";
    value = settings.getBoolean(key.trim());

    boolDefault = false;

    if (value != boolDefault) {
        cmd.append(DASH);
        cmd.append(key.trim());
        cmd.append(SPACE);
    }

    key = "" + " " + "" + " " + "d";

    path = settings.get(key.trim());
    if ((path != null) && (path.length() != 0) && (!path.equals(defaultVal))) {
        cmd.append(DASH);
        cmd.append(key.trim());
        cmd.append(SPACE);
        cmd.append(path);
        cmd.append(SPACE);
    }

    key = "" + " " + "" + " " + "o";
    path = settings.get(key.trim());

    defaultVal = "c";

    if ((path != null) && (path.length() != 0) && (!path.equals(defaultVal))) {
        cmd.append(DASH);
        cmd.append(key.trim());
        cmd.append(SPACE);
        cmd.append(path);
        cmd.append(SPACE);
    }

    key = "" + " " + "" + " " + "O";
    value = settings.getBoolean(key.trim());

    boolDefault = false;

    if (value != boolDefault) {
        cmd.append(DASH);
        cmd.append(key.trim());
        cmd.append(SPACE);
    }

    key = "" + " " + "" + " " + "W";
    value = settings.getBoolean(key.trim());

    boolDefault = false;

    if (value != boolDefault) {
        cmd.append(DASH);
        cmd.append(key.trim());
        cmd.append(SPACE);
    }

    key = "" + " " + "" + " " + "via-shimple";
    value = settings.getBoolean(key.trim());

    boolDefault = false;

    if (value != boolDefault) {
        cmd.append(DASH);
        cmd.append(key.trim());
        cmd.append(SPACE);
    }

    key = "" + " " + "" + " " + "process-path";

    path = settings.get(key.trim());
    if ((path != null) && (path.length() != 0)) {

        StringTokenizer st = new StringTokenizer(path);
        while (st.hasMoreTokens()) {

            cmd.append(DASH);
            cmd.append(key.trim());
            cmd.append(SPACE);
            cmd.append(st.nextToken());
            cmd.append(SPACE);
        }
    }

    key = "" + " " + "" + " " + "a";
    value = settings.getBoolean(key.trim());

    boolDefault = false;

    if (value != boolDefault) {
        cmd.append(DASH);
        cmd.append(key.trim());
        cmd.append(SPACE);
    }

    key = "" + " " + "" + " " + "i";

    path = settings.get(key.trim());
    if ((path != null) && (path.length() != 0)) {

        StringTokenizer st = new StringTokenizer(path);
        while (st.hasMoreTokens()) {

            cmd.append(DASH);
            cmd.append(key.trim());
            cmd.append(SPACE);
            cmd.append(st.nextToken());
            cmd.append(SPACE);
        }
    }

    key = "" + " " + "" + " " + "x";

    path = settings.get(key.trim());
    if ((path != null) && (path.length() != 0)) {

        StringTokenizer st = new StringTokenizer(path);
        while (st.hasMoreTokens()) {

            cmd.append(DASH);
            cmd.append(key.trim());
            cmd.append(SPACE);
            cmd.append(st.nextToken());
            cmd.append(SPACE);
        }
    }

    key = "" + " " + "" + " " + "dynamic-classes";

    path = settings.get(key.trim());
    if ((path != null) && (path.length() != 0)) {

        StringTokenizer st = new StringTokenizer(path);
        while (st.hasMoreTokens()) {

            cmd.append(DASH);
            cmd.append(key.trim());
            cmd.append(SPACE);
            cmd.append(st.nextToken());
            cmd.append(SPACE);
        }
    }

    key = "" + " " + "" + " " + "dynamic-path";

    path = settings.get(key.trim());
    if ((path != null) && (path.length() != 0)) {

        StringTokenizer st = new StringTokenizer(path);
        while (st.hasMoreTokens()) {

            cmd.append(DASH);
            cmd.append(key.trim());
            cmd.append(SPACE);
            cmd.append(st.nextToken());
            cmd.append(SPACE);
        }
    }

    key = "" + " " + "" + " " + "dynamic-package";

    path = settings.get(key.trim());
    if ((path != null) && (path.length() != 0)) {

        StringTokenizer st = new StringTokenizer(path);
        while (st.hasMoreTokens()) {

            cmd.append(DASH);
            cmd.append(key.trim());
            cmd.append(SPACE);
            cmd.append(st.nextToken());
            cmd.append(SPACE);
        }
    }

    key = "" + " " + "" + " " + "keep-line-number";
    value = settings.getBoolean(key.trim());

    boolDefault = false;

    if (value != boolDefault) {
        cmd.append(DASH);
        cmd.append(key.trim());
        cmd.append(SPACE);
    }

    key = "" + " " + "" + " " + "keep-bytecode-offset";
    value = settings.getBoolean(key.trim());

    boolDefault = false;

    if (value != boolDefault) {
        cmd.append(DASH);
        cmd.append(key.trim());
        cmd.append(SPACE);
    }

    key = "" + " " + "" + " " + "annot-nullpointer";
    value = settings.getBoolean(key.trim());

    boolDefault = false;

    if (value != boolDefault) {
        cmd.append(DASH);
        cmd.append(key.trim());
        cmd.append(SPACE);
    }

    key = "" + " " + "" + " " + "annot-arraybounds";
    value = settings.getBoolean(key.trim());

    boolDefault = false;

    if (value != boolDefault) {
        cmd.append(DASH);
        cmd.append(key.trim());
        cmd.append(SPACE);
    }

    key = "" + " " + "" + " " + "time";
    value = settings.getBoolean(key.trim());

    boolDefault = false;

    if (value != boolDefault) {
        cmd.append(DASH);
        cmd.append(key.trim());
        cmd.append(SPACE);
    }

    key = "" + " " + "" + " " + "subtract-gc";
    value = settings.getBoolean(key.trim());

    boolDefault = false;

    if (value != boolDefault) {
        cmd.append(DASH);
        cmd.append(key.trim());
        cmd.append(SPACE);
    }

    key = "p" + " " + "jb" + " " + "disabled";
    value = settings.getBoolean(key.trim());

    boolDefault = false;

    if (value != boolDefault) {
        cmd.append(DASH);
        cmd.append(key.trim());
        cmd.append(SPACE);
    }

    key = "p" + " " + "jb" + " " + "no-splitting";
    value = settings.getBoolean(key.trim());

    boolDefault = false;

    if (value != boolDefault) {
        cmd.append(DASH);
        cmd.append(key.trim());
        cmd.append(SPACE);
    }

    key = "p" + " " + "jb" + " " + "no-typing";
    value = settings.getBoolean(key.trim());

    boolDefault = false;

    if (value != boolDefault) {
        cmd.append(DASH);
        cmd.append(key.trim());
        cmd.append(SPACE);
    }

    key = "p" + " " + "jb" + " " + "aggregate-all-locals";
    value = settings.getBoolean(key.trim());

    boolDefault = false;

    if (value != boolDefault) {
        cmd.append(DASH);
        cmd.append(key.trim());
        cmd.append(SPACE);
    }

    key = "p" + " " + "jb" + " " + "no-aggregating";
    value = settings.getBoolean(key.trim());

    boolDefault = false;

    if (value != boolDefault) {
        cmd.append(DASH);
        cmd.append(key.trim());
        cmd.append(SPACE);
    }

    key = "p" + " " + "jb" + " " + "use-original-names";
    value = settings.getBoolean(key.trim());

    boolDefault = false;

    if (value != boolDefault) {
        cmd.append(DASH);
        cmd.append(key.trim());
        cmd.append(SPACE);
    }

    key = "p" + " " + "jb" + " " + "pack-locals";
    value = settings.getBoolean(key.trim());

    boolDefault = false;

    if (value != boolDefault) {
        cmd.append(DASH);
        cmd.append(key.trim());
        cmd.append(SPACE);
    }

    key = "p" + " " + "jb" + " " + "no-cp";
    value = settings.getBoolean(key.trim());

    boolDefault = false;

    if (value != boolDefault) {
        cmd.append(DASH);
        cmd.append(key.trim());
        cmd.append(SPACE);
    }

    key = "p" + " " + "jb" + " " + "no-nop-elimination";
    value = settings.getBoolean(key.trim());

    boolDefault = false;

    if (value != boolDefault) {
        cmd.append(DASH);
        cmd.append(key.trim());
        cmd.append(SPACE);
    }

    key = "p" + " " + "jb" + " " + "no-unreachable-code-elimination";
    value = settings.getBoolean(key.trim());

    boolDefault = false;

    if (value != boolDefault) {
        cmd.append(DASH);
        cmd.append(key.trim());
        cmd.append(SPACE);
    }

    key = "p" + " " + "jb" + " " + "verbatim";
    value = settings.getBoolean(key.trim());

    boolDefault = false;

    if (value != boolDefault) {
        cmd.append(DASH);
        cmd.append(key.trim());
        cmd.append(SPACE);
    }

    key = "p" + " " + "jb.asv" + " " + "disabled";
    value = settings.getBoolean(key.trim());

    boolDefault = false;

    if (value != boolDefault) {
        cmd.append(DASH);
        cmd.append(key.trim());
        cmd.append(SPACE);
    }

    key = "p" + " " + "jb.asv" + " " + "only-stack-locals";
    value = settings.getBoolean(key.trim());

    boolDefault = true;

    if (value != boolDefault) {
        cmd.append(DASH);
        cmd.append(key.trim());
        cmd.append(SPACE);
    }

    key = "p" + " " + "jb.ulp" + " " + "disabled";
    value = settings.getBoolean(key.trim());

    boolDefault = false;

    if (value != boolDefault) {
        cmd.append(DASH);
        cmd.append(key.trim());
        cmd.append(SPACE);
    }

    key = "p" + " " + "jb.ulp" + " " + "unsplit-original-locals";
    value = settings.getBoolean(key.trim());

    boolDefault = true;

    if (value != boolDefault) {
        cmd.append(DASH);
        cmd.append(key.trim());
        cmd.append(SPACE);
    }

    key = "p" + " " + "jb.lns" + " " + "disabled";
    value = settings.getBoolean(key.trim());

    boolDefault = false;

    if (value != boolDefault) {
        cmd.append(DASH);
        cmd.append(key.trim());
        cmd.append(SPACE);
    }

    key = "p" + " " + "jb.lns" + " " + "only-stack-locals";
    value = settings.getBoolean(key.trim());

    boolDefault = false;

    if (value != boolDefault) {
        cmd.append(DASH);
        cmd.append(key.trim());
        cmd.append(SPACE);
    }

    key = "p" + " " + "jb.cp" + " " + "disabled";
    value = settings.getBoolean(key.trim());

    boolDefault = false;

    if (value != boolDefault) {
        cmd.append(DASH);
        cmd.append(key.trim());
        cmd.append(SPACE);
    }

    key = "p" + " " + "jb.cp" + " " + "only-regular-locals";
    value = settings.getBoolean(key.trim());

    boolDefault = false;

    if (value != boolDefault) {
        cmd.append(DASH);
        cmd.append(key.trim());
        cmd.append(SPACE);
    }

    key = "p" + " " + "jb.cp" + " " + "only-stack-locals";
    value = settings.getBoolean(key.trim());

    boolDefault = true;

    if (value != boolDefault) {
        cmd.append(DASH);
        cmd.append(key.trim());
        cmd.append(SPACE);
    }

    key = "p" + " " + "jb.dae" + " " + "disabled";
    value = settings.getBoolean(key.trim());

    boolDefault = false;

    if (value != boolDefault) {
        cmd.append(DASH);
        cmd.append(key.trim());
        cmd.append(SPACE);
    }

    key = "p" + " " + "jb.dae" + " " + "only-stack-locals";
    value = settings.getBoolean(key.trim());

    boolDefault = true;

    if (value != boolDefault) {
        cmd.append(DASH);
        cmd.append(key.trim());
        cmd.append(SPACE);
    }

    key = "p" + " " + "jb.ls" + " " + "disabled";
    value = settings.getBoolean(key.trim());

    boolDefault = false;

    if (value != boolDefault) {
        cmd.append(DASH);
        cmd.append(key.trim());
        cmd.append(SPACE);
    }

    key = "p" + " " + "jb.a" + " " + "disabled";
    value = settings.getBoolean(key.trim());

    boolDefault = false;

    if (value != boolDefault) {
        cmd.append(DASH);
        cmd.append(key.trim());
        cmd.append(SPACE);
    }

    key = "p" + " " + "jb.a" + " " + "only-stack-locals";
    value = settings.getBoolean(key.trim());

    boolDefault = false;

    if (value != boolDefault) {
        cmd.append(DASH);
        cmd.append(key.trim());
        cmd.append(SPACE);
    }

    key = "p" + " " + "jb.ule" + " " + "disabled";
    value = settings.getBoolean(key.trim());

    boolDefault = false;

    if (value != boolDefault) {
        cmd.append(DASH);
        cmd.append(key.trim());
        cmd.append(SPACE);
    }

    key = "p" + " " + "jb.tr" + " " + "disabled";
    value = settings.getBoolean(key.trim());

    boolDefault = false;

    if (value != boolDefault) {
        cmd.append(DASH);
        cmd.append(key.trim());
        cmd.append(SPACE);
    }

    key = "p" + " " + "jb.cp-ule" + " " + "disabled";
    value = settings.getBoolean(key.trim());

    boolDefault = false;

    if (value != boolDefault) {
        cmd.append(DASH);
        cmd.append(key.trim());
        cmd.append(SPACE);
    }

    key = "p" + " " + "jb.lp" + " " + "disabled";
    value = settings.getBoolean(key.trim());

    boolDefault = false;

    if (value != boolDefault) {
        cmd.append(DASH);
        cmd.append(key.trim());
        cmd.append(SPACE);
    }

    key = "p" + " " + "jb.lp" + " " + "unsplit-original-locals";
    value = settings.getBoolean(key.trim());

    boolDefault = false;

    if (value != boolDefault) {
        cmd.append(DASH);
        cmd.append(key.trim());
        cmd.append(SPACE);
    }

    key = "p" + " " + "jb.ne" + " " + "disabled";
    value = settings.getBoolean(key.trim());

    boolDefault = false;

    if (value != boolDefault) {
        cmd.append(DASH);
        cmd.append(key.trim());
        cmd.append(SPACE);
    }

    key = "p" + " " + "jb.uce" + " " + "disabled";
    value = settings.getBoolean(key.trim());

    boolDefault = false;

    if (value != boolDefault) {
        cmd.append(DASH);
        cmd.append(key.trim());
        cmd.append(SPACE);
    }

    key = "p" + " " + "cg" + " " + "disabled";
    value = settings.getBoolean(key.trim());

    boolDefault = false;

    if (value != boolDefault) {
        cmd.append(DASH);
        cmd.append(key.trim());
        cmd.append(SPACE);
    }

    key = "p" + " " + "cg.oldcha" + " " + "disabled";
    value = settings.getBoolean(key.trim());

    boolDefault = true;

    if (value != boolDefault) {
        cmd.append(DASH);
        cmd.append(key.trim());
        cmd.append(SPACE);
    }

    key = "p" + " " + "cg.vta" + " " + "disabled";
    value = settings.getBoolean(key.trim());

    boolDefault = true;

    if (value != boolDefault) {
        cmd.append(DASH);
        cmd.append(key.trim());
        cmd.append(SPACE);
    }

    key = "p" + " " + "cg.vta" + " " + "passes";

    defaultVal = "1";

    path = settings.get(key.trim());
    if ((path != null) && (path.length() != 0) && (!path.equals(defaultVal))) {
        cmd.append(DASH);
        cmd.append(key.trim());
        cmd.append(COLON);
        cmd.append(path);
        cmd.append(SPACE);
    }

    key = "p" + " " + "cg.cha" + " " + "disabled";
    value = settings.getBoolean(key.trim());

    boolDefault = true;

    if (value != boolDefault) {
        cmd.append(DASH);
        cmd.append(key.trim());
        cmd.append(SPACE);
    }

    key = "p" + " " + "cg.cha" + " " + "verbose";
    value = settings.getBoolean(key.trim());

    boolDefault = false;

    if (value != boolDefault) {
        cmd.append(DASH);
        cmd.append(key.trim());
        cmd.append(SPACE);
    }

    key = "p" + " " + "cg.spark" + " " + "disabled";
    value = settings.getBoolean(key.trim());

    boolDefault = true;

    if (value != boolDefault) {
        cmd.append(DASH);
        cmd.append(key.trim());
        cmd.append(SPACE);
    }

    key = "p" + " " + "cg.spark" + " " + "verbose";
    value = settings.getBoolean(key.trim());

    boolDefault = false;

    if (value != boolDefault) {
        cmd.append(DASH);
        cmd.append(key.trim());
        cmd.append(SPACE);
    }

    key = "p" + " " + "cg.spark" + " " + "ignore-types";
    value = settings.getBoolean(key.trim());

    boolDefault = false;

    if (value != boolDefault) {
        cmd.append(DASH);
        cmd.append(key.trim());
        cmd.append(SPACE);
    }

    key = "p" + " " + "cg.spark" + " " + "force-gc";
    value = settings.getBoolean(key.trim());

    boolDefault = false;

    if (value != boolDefault) {
        cmd.append(DASH);
        cmd.append(key.trim());
        cmd.append(SPACE);
    }

    key = "p" + " " + "cg.spark" + " " + "pre-jimplify";
    value = settings.getBoolean(key.trim());

    boolDefault = false;

    if (value != boolDefault) {
        cmd.append(DASH);
        cmd.append(key.trim());
        cmd.append(SPACE);
    }

    key = "p" + " " + "cg.spark" + " " + "vta";
    value = settings.getBoolean(key.trim());

    boolDefault = false;

    if (value != boolDefault) {
        cmd.append(DASH);
        cmd.append(key.trim());
        cmd.append(SPACE);
    }

    key = "p" + " " + "cg.spark" + " " + "rta";
    value = settings.getBoolean(key.trim());

    boolDefault = false;

    if (value != boolDefault) {
        cmd.append(DASH);
        cmd.append(key.trim());
        cmd.append(SPACE);
    }

    key = "p" + " " + "cg.spark" + " " + "field-based";
    value = settings.getBoolean(key.trim());

    boolDefault = false;

    if (value != boolDefault) {
        cmd.append(DASH);
        cmd.append(key.trim());
        cmd.append(SPACE);
    }

    key = "p" + " " + "cg.spark" + " " + "types-for-sites";
    value = settings.getBoolean(key.trim());

    boolDefault = false;

    if (value != boolDefault) {
        cmd.append(DASH);
        cmd.append(key.trim());
        cmd.append(SPACE);
    }

    key = "p" + " " + "cg.spark" + " " + "merge-stringbuffer";
    value = settings.getBoolean(key.trim());

    boolDefault = true;

    if (value != boolDefault) {
        cmd.append(DASH);
        cmd.append(key.trim());
        cmd.append(SPACE);
    }

    key = "p" + " " + "cg.spark" + " " + "simulate-natives";
    value = settings.getBoolean(key.trim());

    boolDefault = true;

    if (value != boolDefault) {
        cmd.append(DASH);
        cmd.append(key.trim());
        cmd.append(SPACE);
    }

    key = "p" + " " + "cg.spark" + " " + "simple-edges-bidirectional";
    value = settings.getBoolean(key.trim());

    boolDefault = false;

    if (value != boolDefault) {
        cmd.append(DASH);
        cmd.append(key.trim());
        cmd.append(SPACE);
    }

    key = "p" + " " + "cg.spark" + " " + "on-fly-cg";
    value = settings.getBoolean(key.trim());

    boolDefault = false;

    if (value != boolDefault) {
        cmd.append(DASH);
        cmd.append(key.trim());
        cmd.append(SPACE);
    }

    key = "p" + " " + "cg.spark" + " " + "parms-as-fields";
    value = settings.getBoolean(key.trim());

    boolDefault = false;

    if (value != boolDefault) {
        cmd.append(DASH);
        cmd.append(key.trim());
        cmd.append(SPACE);
    }

    key = "p" + " " + "cg.spark" + " " + "returns-as-fields";
    value = settings.getBoolean(key.trim());

    boolDefault = false;

    if (value != boolDefault) {
        cmd.append(DASH);
        cmd.append(key.trim());
        cmd.append(SPACE);
    }

    key = "p" + " " + "cg.spark" + " " + "simplify-offline";
    value = settings.getBoolean(key.trim());

    boolDefault = false;

    if (value != boolDefault) {
        cmd.append(DASH);
        cmd.append(key.trim());
        cmd.append(SPACE);
    }

    key = "p" + " " + "cg.spark" + " " + "simplify-sccs";
    value = settings.getBoolean(key.trim());

    boolDefault = false;

    if (value != boolDefault) {
        cmd.append(DASH);
        cmd.append(key.trim());
        cmd.append(SPACE);
    }

    key = "p" + " " + "cg.spark" + " " + "ignore-types-for-sccs";
    value = settings.getBoolean(key.trim());

    boolDefault = false;

    if (value != boolDefault) {
        cmd.append(DASH);
        cmd.append(key.trim());
        cmd.append(SPACE);
    }

    key = "p" + " " + "cg.spark" + " " + "propagator";
    path = settings.get(key.trim());

    defaultVal = "worklist";

    if ((path != null) && (path.length() != 0) && (!path.equals(defaultVal))) {
        cmd.append(DASH);
        cmd.append(key.trim());
        cmd.append(COLON);
        cmd.append(path);
        cmd.append(SPACE);
    }

    key = "p" + " " + "cg.spark" + " " + "set-impl";
    path = settings.get(key.trim());

    defaultVal = "double";

    if ((path != null) && (path.length() != 0) && (!path.equals(defaultVal))) {
        cmd.append(DASH);
        cmd.append(key.trim());
        cmd.append(COLON);
        cmd.append(path);
        cmd.append(SPACE);
    }

    key = "p" + " " + "cg.spark" + " " + "double-set-old";
    path = settings.get(key.trim());

    defaultVal = "hybrid";

    if ((path != null) && (path.length() != 0) && (!path.equals(defaultVal))) {
        cmd.append(DASH);
        cmd.append(key.trim());
        cmd.append(COLON);
        cmd.append(path);
        cmd.append(SPACE);
    }

    key = "p" + " " + "cg.spark" + " " + "double-set-new";
    path = settings.get(key.trim());

    defaultVal = "hybrid";

    if ((path != null) && (path.length() != 0) && (!path.equals(defaultVal))) {
        cmd.append(DASH);
        cmd.append(key.trim());
        cmd.append(COLON);
        cmd.append(path);
        cmd.append(SPACE);
    }

    key = "p" + " " + "cg.spark" + " " + "dump-html";
    value = settings.getBoolean(key.trim());

    boolDefault = false;

    if (value != boolDefault) {
        cmd.append(DASH);
        cmd.append(key.trim());
        cmd.append(SPACE);
    }

    key = "p" + " " + "cg.spark" + " " + "dump-pag";
    value = settings.getBoolean(key.trim());

    boolDefault = false;

    if (value != boolDefault) {
        cmd.append(DASH);
        cmd.append(key.trim());
        cmd.append(SPACE);
    }

    key = "p" + " " + "cg.spark" + " " + "dump-solution";
    value = settings.getBoolean(key.trim());

    boolDefault = false;

    if (value != boolDefault) {
        cmd.append(DASH);
        cmd.append(key.trim());
        cmd.append(SPACE);
    }

    key = "p" + " " + "cg.spark" + " " + "topo-sort";
    value = settings.getBoolean(key.trim());

    boolDefault = false;

    if (value != boolDefault) {
        cmd.append(DASH);
        cmd.append(key.trim());
        cmd.append(SPACE);
    }

    key = "p" + " " + "cg.spark" + " " + "dump-types";
    value = settings.getBoolean(key.trim());

    boolDefault = true;

    if (value != boolDefault) {
        cmd.append(DASH);
        cmd.append(key.trim());
        cmd.append(SPACE);
    }

    key = "p" + " " + "cg.spark" + " " + "class-method-var";
    value = settings.getBoolean(key.trim());

    boolDefault = true;

    if (value != boolDefault) {
        cmd.append(DASH);
        cmd.append(key.trim());
        cmd.append(SPACE);
    }

    key = "p" + " " + "cg.spark" + " " + "dump-answer";
    value = settings.getBoolean(key.trim());

    boolDefault = false;

    if (value != boolDefault) {
        cmd.append(DASH);
        cmd.append(key.trim());
        cmd.append(SPACE);
    }

    key = "p" + " " + "cg.spark" + " " + "trim-invoke-graph";
    value = settings.getBoolean(key.trim());

    boolDefault = true;

    if (value != boolDefault) {
        cmd.append(DASH);
        cmd.append(key.trim());
        cmd.append(SPACE);
    }

    key = "p" + " " + "cg.spark" + " " + "add-tags";
    value = settings.getBoolean(key.trim());

    boolDefault = false;

    if (value != boolDefault) {
        cmd.append(DASH);
        cmd.append(key.trim());
        cmd.append(SPACE);
    }

    key = "p" + " " + "wstp" + " " + "disabled";
    value = settings.getBoolean(key.trim());

    boolDefault = false;

    if (value != boolDefault) {
        cmd.append(DASH);
        cmd.append(key.trim());
        cmd.append(SPACE);
    }

    key = "p" + " " + "wsop" + " " + "disabled";
    value = settings.getBoolean(key.trim());

    boolDefault = false;

    if (value != boolDefault) {
        cmd.append(DASH);
        cmd.append(key.trim());
        cmd.append(SPACE);
    }

    key = "p" + " " + "wjtp" + " " + "disabled";
    value = settings.getBoolean(key.trim());

    boolDefault = true;

    if (value != boolDefault) {
        cmd.append(DASH);
        cmd.append(key.trim());
        cmd.append(SPACE);
    }

    key = "p" + " " + "wjop" + " " + "disabled";
    value = settings.getBoolean(key.trim());

    boolDefault = true;

    if (value != boolDefault) {
        cmd.append(DASH);
        cmd.append(key.trim());
        cmd.append(SPACE);
    }

    key = "p" + " " + "wjop.smb" + " " + "disabled";
    value = settings.getBoolean(key.trim());

    boolDefault = true;

    if (value != boolDefault) {
        cmd.append(DASH);
        cmd.append(key.trim());
        cmd.append(SPACE);
    }

    key = "p" + " " + "wjop.smb" + " " + "insert-null-checks";
    value = settings.getBoolean(key.trim());

    boolDefault = true;

    if (value != boolDefault) {
        cmd.append(DASH);
        cmd.append(key.trim());
        cmd.append(SPACE);
    }

    key = "p" + " " + "wjop.smb" + " " + "insert-redundant-casts";
    value = settings.getBoolean(key.trim());

    boolDefault = true;

    if (value != boolDefault) {
        cmd.append(DASH);
        cmd.append(key.trim());
        cmd.append(SPACE);
    }

    key = "p" + " " + "wjop.smb" + " " + "allowed-modifier-changes";
    path = settings.get(key.trim());

    defaultVal = "unsafe";

    if ((path != null) && (path.length() != 0) && (!path.equals(defaultVal))) {
        cmd.append(DASH);
        cmd.append(key.trim());
        cmd.append(COLON);
        cmd.append(path);
        cmd.append(SPACE);
    }

    key = "p" + " " + "wjop.si" + " " + "disabled";
    value = settings.getBoolean(key.trim());

    boolDefault = false;

    if (value != boolDefault) {
        cmd.append(DASH);
        cmd.append(key.trim());
        cmd.append(SPACE);
    }

    key = "p" + " " + "wjop.si" + " " + "insert-null-checks";
    value = settings.getBoolean(key.trim());

    boolDefault = true;

    if (value != boolDefault) {
        cmd.append(DASH);
        cmd.append(key.trim());
        cmd.append(SPACE);
    }

    key = "p" + " " + "wjop.si" + " " + "insert-redundant-casts";
    value = settings.getBoolean(key.trim());

    boolDefault = true;

    if (value != boolDefault) {
        cmd.append(DASH);
        cmd.append(key.trim());
        cmd.append(SPACE);
    }

    key = "p" + " " + "wjop.si" + " " + "expansion-factor";

    defaultVal = "3";

    path = settings.get(key.trim());
    if ((path != null) && (path.length() != 0) && (!path.equals(defaultVal))) {
        cmd.append(DASH);
        cmd.append(key.trim());
        cmd.append(COLON);
        cmd.append(path);
        cmd.append(SPACE);
    }

    key = "p" + " " + "wjop.si" + " " + "max-container-size";

    defaultVal = "5000";

    path = settings.get(key.trim());
    if ((path != null) && (path.length() != 0) && (!path.equals(defaultVal))) {
        cmd.append(DASH);
        cmd.append(key.trim());
        cmd.append(COLON);
        cmd.append(path);
        cmd.append(SPACE);
    }

    key = "p" + " " + "wjop.si" + " " + "max-inlinee-size";

    defaultVal = "20";

    path = settings.get(key.trim());
    if ((path != null) && (path.length() != 0) && (!path.equals(defaultVal))) {
        cmd.append(DASH);
        cmd.append(key.trim());
        cmd.append(COLON);
        cmd.append(path);
        cmd.append(SPACE);
    }

    key = "p" + " " + "wjop.si" + " " + "allowed-modifier-changes";
    path = settings.get(key.trim());

    defaultVal = "unsafe";

    if ((path != null) && (path.length() != 0) && (!path.equals(defaultVal))) {
        cmd.append(DASH);
        cmd.append(key.trim());
        cmd.append(COLON);
        cmd.append(path);
        cmd.append(SPACE);
    }

    key = "p" + " " + "wjtp2" + " " + "disabled";
    value = settings.getBoolean(key.trim());

    boolDefault = false;

    if (value != boolDefault) {
        cmd.append(DASH);
        cmd.append(key.trim());
        cmd.append(SPACE);
    }

    key = "p" + " " + "wjtp2.ra" + " " + "disabled";
    value = settings.getBoolean(key.trim());

    boolDefault = true;

    if (value != boolDefault) {
        cmd.append(DASH);
        cmd.append(key.trim());
        cmd.append(SPACE);
    }

    key = "p" + " " + "stp" + " " + "disabled";
    value = settings.getBoolean(key.trim());

    boolDefault = false;

    if (value != boolDefault) {
        cmd.append(DASH);
        cmd.append(key.trim());
        cmd.append(SPACE);
    }

    key = "p" + " " + "sop" + " " + "disabled";
    value = settings.getBoolean(key.trim());

    boolDefault = false;

    if (value != boolDefault) {
        cmd.append(DASH);
        cmd.append(key.trim());
        cmd.append(SPACE);
    }

    key = "p" + " " + "jtp" + " " + "disabled";
    value = settings.getBoolean(key.trim());

    boolDefault = false;

    if (value != boolDefault) {
        cmd.append(DASH);
        cmd.append(key.trim());
        cmd.append(SPACE);
    }

    key = "p" + " " + "jop" + " " + "disabled";
    value = settings.getBoolean(key.trim());

    boolDefault = false;

    if (value != boolDefault) {
        cmd.append(DASH);
        cmd.append(key.trim());
        cmd.append(SPACE);
    }

    key = "p" + " " + "jop.cse" + " " + "disabled";
    value = settings.getBoolean(key.trim());

    boolDefault = true;

    if (value != boolDefault) {
        cmd.append(DASH);
        cmd.append(key.trim());
        cmd.append(SPACE);
    }

    key = "p" + " " + "jop.cse" + " " + "naive-side-effect";
    value = settings.getBoolean(key.trim());

    boolDefault = false;

    if (value != boolDefault) {
        cmd.append(DASH);
        cmd.append(key.trim());
        cmd.append(SPACE);
    }

    key = "p" + " " + "jop.bcm" + " " + "disabled";
    value = settings.getBoolean(key.trim());

    boolDefault = true;

    if (value != boolDefault) {
        cmd.append(DASH);
        cmd.append(key.trim());
        cmd.append(SPACE);
    }

    key = "p" + " " + "jop.bcm" + " " + "naive-side-effect";
    value = settings.getBoolean(key.trim());

    boolDefault = false;

    if (value != boolDefault) {
        cmd.append(DASH);
        cmd.append(key.trim());
        cmd.append(SPACE);
    }

    key = "p" + " " + "jop.lcm" + " " + "disabled";
    value = settings.getBoolean(key.trim());

    boolDefault = true;

    if (value != boolDefault) {
        cmd.append(DASH);
        cmd.append(key.trim());
        cmd.append(SPACE);
    }

    key = "p" + " " + "jop.lcm" + " " + "unroll";
    value = settings.getBoolean(key.trim());

    boolDefault = true;

    if (value != boolDefault) {
        cmd.append(DASH);
        cmd.append(key.trim());
        cmd.append(SPACE);
    }

    key = "p" + " " + "jop.lcm" + " " + "naive-side-effect";
    value = settings.getBoolean(key.trim());

    boolDefault = false;

    if (value != boolDefault) {
        cmd.append(DASH);
        cmd.append(key.trim());
        cmd.append(SPACE);
    }

    key = "p" + " " + "jop.lcm" + " " + "safe";
    path = settings.get(key.trim());

    defaultVal = "safe";

    if ((path != null) && (path.length() != 0) && (!path.equals(defaultVal))) {
        cmd.append(DASH);
        cmd.append(key.trim());
        cmd.append(COLON);
        cmd.append(path);
        cmd.append(SPACE);
    }

    key = "p" + " " + "jop.cp" + " " + "disabled";
    value = settings.getBoolean(key.trim());

    boolDefault = false;

    if (value != boolDefault) {
        cmd.append(DASH);
        cmd.append(key.trim());
        cmd.append(SPACE);
    }

    key = "p" + " " + "jop.cp" + " " + "only-regular-locals";
    value = settings.getBoolean(key.trim());

    boolDefault = false;

    if (value != boolDefault) {
        cmd.append(DASH);
        cmd.append(key.trim());
        cmd.append(SPACE);
    }

    key = "p" + " " + "jop.cp" + " " + "only-stack-locals";
    value = settings.getBoolean(key.trim());

    boolDefault = false;

    if (value != boolDefault) {
        cmd.append(DASH);
        cmd.append(key.trim());
        cmd.append(SPACE);
    }

    key = "p" + " " + "jop.cpf" + " " + "disabled";
    value = settings.getBoolean(key.trim());

    boolDefault = false;

    if (value != boolDefault) {
        cmd.append(DASH);
        cmd.append(key.trim());
        cmd.append(SPACE);
    }

    key = "p" + " " + "jop.cbf" + " " + "disabled";
    value = settings.getBoolean(key.trim());

    boolDefault = false;

    if (value != boolDefault) {
        cmd.append(DASH);
        cmd.append(key.trim());
        cmd.append(SPACE);
    }

    key = "p" + " " + "jop.dae" + " " + "disabled";
    value = settings.getBoolean(key.trim());

    boolDefault = false;

    if (value != boolDefault) {
        cmd.append(DASH);
        cmd.append(key.trim());
        cmd.append(SPACE);
    }

    key = "p" + " " + "jop.dae" + " " + "only-stack-locals";
    value = settings.getBoolean(key.trim());

    boolDefault = false;

    if (value != boolDefault) {
        cmd.append(DASH);
        cmd.append(key.trim());
        cmd.append(SPACE);
    }

    key = "p" + " " + "jop.uce1" + " " + "disabled";
    value = settings.getBoolean(key.trim());

    boolDefault = false;

    if (value != boolDefault) {
        cmd.append(DASH);
        cmd.append(key.trim());
        cmd.append(SPACE);
    }

    key = "p" + " " + "jop.uce2" + " " + "disabled";
    value = settings.getBoolean(key.trim());

    boolDefault = false;

    if (value != boolDefault) {
        cmd.append(DASH);
        cmd.append(key.trim());
        cmd.append(SPACE);
    }

    key = "p" + " " + "jop.ubf1" + " " + "disabled";
    value = settings.getBoolean(key.trim());

    boolDefault = false;

    if (value != boolDefault) {
        cmd.append(DASH);
        cmd.append(key.trim());
        cmd.append(SPACE);
    }

    key = "p" + " " + "jop.ubf2" + " " + "disabled";
    value = settings.getBoolean(key.trim());

    boolDefault = false;

    if (value != boolDefault) {
        cmd.append(DASH);
        cmd.append(key.trim());
        cmd.append(SPACE);
    }

    key = "p" + " " + "jop.ule" + " " + "disabled";
    value = settings.getBoolean(key.trim());

    boolDefault = false;

    if (value != boolDefault) {
        cmd.append(DASH);
        cmd.append(key.trim());
        cmd.append(SPACE);
    }

    key = "p" + " " + "jap" + " " + "disabled";
    value = settings.getBoolean(key.trim());

    boolDefault = false;

    if (value != boolDefault) {
        cmd.append(DASH);
        cmd.append(key.trim());
        cmd.append(SPACE);
    }

    key = "p" + " " + "jap.npc" + " " + "disabled";
    value = settings.getBoolean(key.trim());

    boolDefault = true;

    if (value != boolDefault) {
        cmd.append(DASH);
        cmd.append(key.trim());
        cmd.append(SPACE);
    }

    key = "p" + " " + "jap.npc" + " " + "only-array-ref";
    value = settings.getBoolean(key.trim());

    boolDefault = false;

    if (value != boolDefault) {
        cmd.append(DASH);
        cmd.append(key.trim());
        cmd.append(SPACE);
    }

    key = "p" + " " + "jap.npc" + " " + "profiling";
    value = settings.getBoolean(key.trim());

    boolDefault = false;

    if (value != boolDefault) {
        cmd.append(DASH);
        cmd.append(key.trim());
        cmd.append(SPACE);
    }

    key = "p" + " " + "jap.abc" + " " + "disabled";
    value = settings.getBoolean(key.trim());

    boolDefault = true;

    if (value != boolDefault) {
        cmd.append(DASH);
        cmd.append(key.trim());
        cmd.append(SPACE);
    }

    key = "p" + " " + "jap.abc" + " " + "with-all";
    value = settings.getBoolean(key.trim());

    boolDefault = false;

    if (value != boolDefault) {
        cmd.append(DASH);
        cmd.append(key.trim());
        cmd.append(SPACE);
    }

    key = "p" + " " + "jap.abc" + " " + "with-fieldref";
    value = settings.getBoolean(key.trim());

    boolDefault = false;

    if (value != boolDefault) {
        cmd.append(DASH);
        cmd.append(key.trim());
        cmd.append(SPACE);
    }

    key = "p" + " " + "jap.abc" + " " + "with-arrayref";
    value = settings.getBoolean(key.trim());

    boolDefault = false;

    if (value != boolDefault) {
        cmd.append(DASH);
        cmd.append(key.trim());
        cmd.append(SPACE);
    }

    key = "p" + " " + "jap.abc" + " " + "with-cse";
    value = settings.getBoolean(key.trim());

    boolDefault = false;

    if (value != boolDefault) {
        cmd.append(DASH);
        cmd.append(key.trim());
        cmd.append(SPACE);
    }

    key = "p" + " " + "jap.abc" + " " + "with-classfield";
    value = settings.getBoolean(key.trim());

    boolDefault = false;

    if (value != boolDefault) {
        cmd.append(DASH);
        cmd.append(key.trim());
        cmd.append(SPACE);
    }

    key = "p" + " " + "jap.abc" + " " + "with-rectarray";
    value = settings.getBoolean(key.trim());

    boolDefault = false;

    if (value != boolDefault) {
        cmd.append(DASH);
        cmd.append(key.trim());
        cmd.append(SPACE);
    }

    key = "p" + " " + "jap.abc" + " " + "profiling";
    value = settings.getBoolean(key.trim());

    boolDefault = false;

    if (value != boolDefault) {
        cmd.append(DASH);
        cmd.append(key.trim());
        cmd.append(SPACE);
    }

    key = "p" + " " + "jap.profiling" + " " + "disabled";
    value = settings.getBoolean(key.trim());

    boolDefault = true;

    if (value != boolDefault) {
        cmd.append(DASH);
        cmd.append(key.trim());
        cmd.append(SPACE);
    }

    key = "p" + " " + "jap.profiling" + " " + "notmainentry";
    value = settings.getBoolean(key.trim());

    boolDefault = false;

    if (value != boolDefault) {
        cmd.append(DASH);
        cmd.append(key.trim());
        cmd.append(SPACE);
    }

    key = "p" + " " + "jap.sea" + " " + "disabled";
    value = settings.getBoolean(key.trim());

    boolDefault = true;

    if (value != boolDefault) {
        cmd.append(DASH);
        cmd.append(key.trim());
        cmd.append(SPACE);
    }

    key = "p" + " " + "jap.sea" + " " + "naive";
    value = settings.getBoolean(key.trim());

    boolDefault = false;

    if (value != boolDefault) {
        cmd.append(DASH);
        cmd.append(key.trim());
        cmd.append(SPACE);
    }

    key = "p" + " " + "jap.fieldrw" + " " + "disabled";
    value = settings.getBoolean(key.trim());

    boolDefault = true;

    if (value != boolDefault) {
        cmd.append(DASH);
        cmd.append(key.trim());
        cmd.append(SPACE);
    }

    key = "p" + " " + "jap.fieldrw" + " " + "threshold";

    defaultVal = "100";

    path = settings.get(key.trim());
    if ((path != null) && (path.length() != 0) && (!path.equals(defaultVal))) {
        cmd.append(DASH);
        cmd.append(key.trim());
        cmd.append(COLON);
        cmd.append(path);
        cmd.append(SPACE);
    }

    key = "p" + " " + "gb" + " " + "disabled";
    value = settings.getBoolean(key.trim());

    boolDefault = false;

    if (value != boolDefault) {
        cmd.append(DASH);
        cmd.append(key.trim());
        cmd.append(SPACE);
    }

    key = "p" + " " + "gb.a1" + " " + "disabled";
    value = settings.getBoolean(key.trim());

    boolDefault = false;

    if (value != boolDefault) {
        cmd.append(DASH);
        cmd.append(key.trim());
        cmd.append(SPACE);
    }

    key = "p" + " " + "gb.a1" + " " + "only-stack-locals";
    value = settings.getBoolean(key.trim());

    boolDefault = true;

    if (value != boolDefault) {
        cmd.append(DASH);
        cmd.append(key.trim());
        cmd.append(SPACE);
    }

    key = "p" + " " + "gb.cf" + " " + "disabled";
    value = settings.getBoolean(key.trim());

    boolDefault = false;

    if (value != boolDefault) {
        cmd.append(DASH);
        cmd.append(key.trim());
        cmd.append(SPACE);
    }

    key = "p" + " " + "gb.a2" + " " + "disabled";
    value = settings.getBoolean(key.trim());

    boolDefault = false;

    if (value != boolDefault) {
        cmd.append(DASH);
        cmd.append(key.trim());
        cmd.append(SPACE);
    }

    key = "p" + " " + "gb.a2" + " " + "only-stack-locals";
    value = settings.getBoolean(key.trim());

    boolDefault = true;

    if (value != boolDefault) {
        cmd.append(DASH);
        cmd.append(key.trim());
        cmd.append(SPACE);
    }

    key = "p" + " " + "gb.ule" + " " + "disabled";
    value = settings.getBoolean(key.trim());

    boolDefault = false;

    if (value != boolDefault) {
        cmd.append(DASH);
        cmd.append(key.trim());
        cmd.append(SPACE);
    }

    key = "p" + " " + "gop" + " " + "disabled";
    value = settings.getBoolean(key.trim());

    boolDefault = false;

    if (value != boolDefault) {
        cmd.append(DASH);
        cmd.append(key.trim());
        cmd.append(SPACE);
    }

    key = "p" + " " + "bb" + " " + "disabled";
    value = settings.getBoolean(key.trim());

    boolDefault = false;

    if (value != boolDefault) {
        cmd.append(DASH);
        cmd.append(key.trim());
        cmd.append(SPACE);
    }

    key = "p" + " " + "bb.lso" + " " + "disabled";
    value = settings.getBoolean(key.trim());

    boolDefault = false;

    if (value != boolDefault) {
        cmd.append(DASH);
        cmd.append(key.trim());
        cmd.append(SPACE);
    }

    key = "p" + " " + "bb.lso" + " " + "debug";
    value = settings.getBoolean(key.trim());

    boolDefault = false;

    if (value != boolDefault) {
        cmd.append(DASH);
        cmd.append(key.trim());
        cmd.append(SPACE);
    }

    key = "p" + " " + "bb.lso" + " " + "inter";
    value = settings.getBoolean(key.trim());

    boolDefault = false;

    if (value != boolDefault) {
        cmd.append(DASH);
        cmd.append(key.trim());
        cmd.append(SPACE);
    }

    key = "p" + " " + "bb.lso" + " " + "sl";
    value = settings.getBoolean(key.trim());

    boolDefault = true;

    if (value != boolDefault) {
        cmd.append(DASH);
        cmd.append(key.trim());
        cmd.append(SPACE);
    }

    key = "p" + " " + "bb.lso" + " " + "sl2";
    value = settings.getBoolean(key.trim());

    boolDefault = false;

    if (value != boolDefault) {
        cmd.append(DASH);
        cmd.append(key.trim());
        cmd.append(SPACE);
    }

    key = "p" + " " + "bb.lso" + " " + "sll";
    value = settings.getBoolean(key.trim());

    boolDefault = true;

    if (value != boolDefault) {
        cmd.append(DASH);
        cmd.append(key.trim());
        cmd.append(SPACE);
    }

    key = "p" + " " + "bb.lso" + " " + "sll2";
    value = settings.getBoolean(key.trim());

    boolDefault = false;

    if (value != boolDefault) {
        cmd.append(DASH);
        cmd.append(key.trim());
        cmd.append(SPACE);
    }

    key = "p" + " " + "bb.pho" + " " + "disabled";
    value = settings.getBoolean(key.trim());

    boolDefault = false;

    if (value != boolDefault) {
        cmd.append(DASH);
        cmd.append(key.trim());
        cmd.append(SPACE);
    }

    key = "p" + " " + "bb.ule" + " " + "disabled";
    value = settings.getBoolean(key.trim());

    boolDefault = false;

    if (value != boolDefault) {
        cmd.append(DASH);
        cmd.append(key.trim());
        cmd.append(SPACE);
    }

    key = "p" + " " + "bb.lp" + " " + "disabled";
    value = settings.getBoolean(key.trim());

    boolDefault = false;

    if (value != boolDefault) {
        cmd.append(DASH);
        cmd.append(key.trim());
        cmd.append(SPACE);
    }

    key = "p" + " " + "bb.lp" + " " + "unsplit-original-locals";
    value = settings.getBoolean(key.trim());

    boolDefault = false;

    if (value != boolDefault) {
        cmd.append(DASH);
        cmd.append(key.trim());
        cmd.append(SPACE);
    }

    key = "p" + " " + "bop" + " " + "disabled";
    value = settings.getBoolean(key.trim());

    boolDefault = false;

    if (value != boolDefault) {
        cmd.append(DASH);
        cmd.append(key.trim());
        cmd.append(SPACE);
    }

    key = "p" + " " + "tag" + " " + "disabled";
    value = settings.getBoolean(key.trim());

    boolDefault = false;

    if (value != boolDefault) {
        cmd.append(DASH);
        cmd.append(key.trim());
        cmd.append(SPACE);
    }

    key = "p" + " " + "tag.ln" + " " + "disabled";
    value = settings.getBoolean(key.trim());

    boolDefault = true;

    if (value != boolDefault) {
        cmd.append(DASH);
        cmd.append(key.trim());
        cmd.append(SPACE);
    }

    key = "p" + " " + "tag.an" + " " + "disabled";
    value = settings.getBoolean(key.trim());

    boolDefault = true;

    if (value != boolDefault) {
        cmd.append(DASH);
        cmd.append(key.trim());
        cmd.append(SPACE);
    }

    key = "p" + " " + "tag.dep" + " " + "disabled";
    value = settings.getBoolean(key.trim());

    boolDefault = true;

    if (value != boolDefault) {
        cmd.append(DASH);
        cmd.append(key.trim());
        cmd.append(SPACE);
    }

    key = "p" + " " + "tag.fieldrw" + " " + "disabled";
    value = settings.getBoolean(key.trim());

    boolDefault = true;

    if (value != boolDefault) {
        cmd.append(DASH);
        cmd.append(key.trim());
        cmd.append(SPACE);
    }

    return cmd.toString();
}

From source file:ca.mcgill.sable.soot.ui.SootConfigManagerDialog.java

License:Open Source License

private SootConfiguration getInitialInput() {

    IDialogSettings settings = SootPlugin.getDefault().getDialogSettings();
    int numConfig = 0;
    try {/*from w w w .  j  a  v  a  2  s  . c o m*/
        numConfig = settings.getInt(Messages.getString("SootConfigManagerDialog.config_count")); //$NON-NLS-1$
    } catch (NumberFormatException e) {
    }

    SootConfiguration root = new SootConfiguration(""); //$NON-NLS-1$

    if (numConfig != 0) {
        String[] configNames = new String[numConfig];

        for (int i = 0; i < numConfig; i++) {
            configNames[i] = settings
                    .get(Messages.getString("SootConfigManagerDialog.soot_run_config") + (i + 1)); //$NON-NLS-1$
            root.addChild(new SootConfiguration(configNames[i]));
        }

    }
    setTreeRoot(root);

    return root;
}