main page modules namespaces classes files
Gecode/J home

SwingInspector.java

Go to the documentation of this file.

/*
 *  Main authors:
 *     Guido Tack <tack@gecode.org>
 *     Mikael Lagerkvist <lagerkvist@gecode.org>
 *
 *  Copyright:
 *     Guido Tack, 2006
 *     Mikael Lagerkvist, 2006
 *
 *  Last modified:
 *     $Date: 2006-02-09 17:28:21 +0100 (Thu, 09 Feb 2006) $ by $Author: tack $
 *     $Revision: 2944 $
 *
 *  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.Space;
import org.gecode.explorer.ExplorerEventListener;
import org.gecode.explorer.SpaceNode;


import java.awt.Graphics;
import java.awt.Graphics2D;
import java.awt.Color;
import java.awt.Dimension;
import java.awt.GridLayout;
import javax.swing.JDialog;
import javax.swing.JFrame;
import javax.swing.JComponent;
import javax.swing.JScrollPane;
import javax.swing.ScrollPaneConstants;
import javax.swing.JPanel;
import javax.swing.ImageIcon;

public class SwingInspector 
    extends    JComponent 
    implements Cloneable, ExplorerEventListener {
    protected Space s;
    protected String name;
    protected boolean isList;
    JDialog dialog = null;
    JComponent list = null;

    public SwingInspector(String name, Boolean isList) {
        this.name = name;
        this.isList = isList;
    }

    public String getName() { return name; }
    public void nodeClickEvent(org.gecode.explorer.Inspector inspect, SpaceNode s) {
        Object o = inspect;
        if (o instanceof SwingUI) {
            SwingUI ui = (SwingUI)o;
            this.s = s.getSpace();
            if (!isList) {
                create(ui.canvas.getFrame());
            } else {
                if (dialog==null) create(ui.canvas.getFrame());
                dialog.setVisible(true);
                list.add(clone());
            }
            this.s = null;
        } else {
            System.err.println("Inspection through SwingInspector not supported if Swing UI not used!");
            inspect.inspect(s.toString());
        }
    }

    public void paintComponent(Graphics g) {
        super.paintComponent(g);
        Graphics2D g2 = (Graphics2D)g;
        draw(s, g2);
    }
    public void draw(Space s, Graphics2D g) {
        System.err.println("Default draw-method on SwingInspector called, space=" + s);
    }

    public SwingInspector clone() { 
        try {
            SwingInspector res = (SwingInspector)super.clone();
            res.dialog = null; res.list = null;
            return res;
        } catch(CloneNotSupportedException ex) {
            System.err.println("Cloning of SwingInspector does not work:" + ex);
            return null;
        }
    }

    static int poscnt = 0;
    void create(JFrame parent) {
        dialog = new JDialog(parent, name);
        //dialog.setIconImage(new ImageIcon(TreeCanvas.gecodeLogo).getImage());

        if (!isList) {
            dialog.setDefaultCloseOperation(JDialog.DISPOSE_ON_CLOSE);
            dialog.getContentPane().add(clone());
        } else {
            list = new JPanel();
            list.setLayout(new GridLayout(0, 1));
            JScrollPane scrollPane = new JScrollPane(list,
                                                     ScrollPaneConstants.VERTICAL_SCROLLBAR_ALWAYS,
                                                     ScrollPaneConstants.HORIZONTAL_SCROLLBAR_NEVER);
            dialog.add(scrollPane);
        }
        dialog.pack();
        dialog.setSize(new Dimension(200,200));
        dialog.setLocation(30*poscnt, 30*poscnt);
        poscnt = (poscnt%20)+1;
        dialog.setVisible(true);
    }


    protected final Color colors[] = 
    {Color.blue,   Color.cyan, Color.gray, Color.green, Color.magenta, 
     Color.orange, Color.pink, Color.red,  Color.yellow};
    protected Color getColor(int i) {
        Color c = colors[i%colors.length];
        for (int j = i/colors.length; j-->0; )
            if (i%1==0) c = c.darker();
            else        c = c.brighter();
        return c;
    }
}