main page modules namespaces classes files
Gecode/J home

SwingUI.java

Go to the documentation of this file.

/*
 *  Main authors:
 *     Guido Tack <tack@gecode.org>
 *
 *  Contributing authors:
 *     Mikael Lagerkvist <lagerkvist@gecode.org> 
 *
 *  Copyright:
 *     Guido Tack, 2006
 *
 *  Last modified:
 *     $Date: 2006-02-20 10:43:09 +0100 (Mon, 20 Feb 2006) $ by $Author: tack $
 *     $Revision: 2982 $
 *
 *  This file is part of Gecode, the generic constraint
 *  development environment:
 *     http://www.gecode.org
 *
 *  See the file "LICENSE" for information on usage and
 *  redistribution of this file, and for a
 *     DISCLAIMER OF ALL WARRANTIES.
 *
 */

package org.gecode.explorer.swing;

import org.gecode.explorer.*;
import org.gecode.Space;

import javax.swing.*;
import java.io.File;

public class SwingUI implements ExplorerUIInterface {
    TreeCanvas canvas;
    Inspector inspector;
    private ExplorerController _ctrl;
    
    public SwingUI(ExplorerController ctrl) {
        _ctrl = ctrl;
        ctrl.registerUI(this);
    }

    public SpaceNode createRoot(Space rootSpace, boolean bab,
                                Statistics stats) {
        return new UINode(rootSpace, bab, stats);
    }

    public void update() {
        if (canvas != null) {
            canvas.updateTree((UINode)_ctrl.getRoot(),
                              (UINode)_ctrl.getCurrentNode());
        }
    }

    public void open() {
        System.setProperty("apple.laf.useScreenMenuBar", "true");
        try {
            javax.swing.SwingUtilities.invokeAndWait(new Runnable() {
                    public void run() {
                        canvas = new TreeCanvas(_ctrl);
                    }
                });
        } 
        catch(InterruptedException ex) {}
        catch(java.lang.reflect.InvocationTargetException ex) {}
    }

    public void inspect(String s) {
        if (inspector==null) {
            inspector = new Inspector(s);
        }
        else inspector.addText(s);
    }

    public File saveFilename() {
        JFileChooser fc = new JFileChooser();
        int ret = fc.showSaveDialog(canvas);
        if (ret == JFileChooser.APPROVE_OPTION) {
            return fc.getSelectedFile();
        } else {
            return null;
        }
    }
    public boolean overwriteDialog() {
        int n = JOptionPane.showConfirmDialog(canvas,
                                             "File exists.\n"+
                                             "Do you want to overwrite it?",
                                             "File exists",
                                             JOptionPane.YES_NO_OPTION);
        return (n == JOptionPane.YES_OPTION);
    }

    public void reportError(String title, String msg) {
        JOptionPane.showMessageDialog(canvas, msg, title,
                                      JOptionPane.ERROR_MESSAGE);
    }
    
    public void scaleToFit() {
        canvas.scaleToFit();
    }

    public void centerCursor() {
        canvas.centerCursor();
    }

    public void setCurrentNode(SpaceNode newNode) {
        canvas.setCurrentNode((UINode)newNode);
    }

    // Methods for controlling disabling and enabling of menu entries
    public void menuInspectActive(boolean active, boolean isRoot, boolean isLeaf) {
        canvas.menuBar.menuInspectActive(active, isRoot, isLeaf);
    }
    public void menuSearchActive(boolean active) {
        canvas.menuBar.menuSearchActive(active);
    }
    public void menuHideNodeActive(boolean active, boolean hidden) {
        canvas.menuBar.menuHideNodeActive(active, hidden);
    }
    public void menuUnhideAllActive(boolean active) {
        canvas.menuBar.menuUnhideAllActive(active);
    }
    public void menuHideFailedActive(boolean active) {
        canvas.menuBar.menuHideFailedActive(active);
    }

    // Handling event listeners
    public void updateEventListeners() {
        canvas.menuBar.updateEventListeners();
    }

}