main page modules namespaces classes files
Gecode/J home

ConfigDialog.java

Go to the documentation of this file.

/* -*- indent-tabs-mode: nil -*- */
/*
 *  Main authors:
 *     Mikael Lagerkvist <lagerkvist@gecode.org>
 *
 *  Copyright:
 *     Mikael Lagerkvist, 2006
 *
 *  Last modified:
 *     $Date: 2006-02-09 17:28:21 +0100 (tor, 09 feb 2006) $ by $Author: tack $
 *     $Revision: 2944 $
 *
 *  This file is part of Gecode, the generic constraint
 *  development environment:
 *     http://www.gecode.org
 *
 *  Permission is hereby granted, free of charge, to any person obtaining
 *  a copy of this software and associated documentation files (the
 *  "Software"), to deal in the Software without restriction, including
 *  without limitation the rights to use, copy, modify, merge, publish,
 *  distribute, sublicense, and/or sell copies of the Software, and to
 *  permit persons to whom the Software is furnished to do so, subject to
 *  the following conditions:
 *
 *  The above copyright notice and this permission notice shall be
 *  included in all copies or substantial portions of the Software.
 *
 *  THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND,
 *  EXPRESS OR IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF
 *  MERCHANTABILITY, FITNESS FOR A PARTICULAR PURPOSE AND
 *  NONINFRINGEMENT. IN NO EVENT SHALL THE AUTHORS OR COPYRIGHT HOLDERS BE
 *  LIABLE FOR ANY CLAIM, DAMAGES OR OTHER LIABILITY, WHETHER IN AN ACTION
 *  OF CONTRACT, TORT OR OTHERWISE, ARISING FROM, OUT OF OR IN CONNECTION
 *  WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE SOFTWARE.
 *
 */

package org.gecode.gist.swing;

import java.awt.*;
import java.awt.event.*;
import javax.swing.*;
import javax.swing.event.*;
import javax.swing.text.JTextComponent;
import javax.swing.Box;

import org.gecode.gist.Config;

class ConfigDialog extends JDialog {
  
  public ConfigDialog(Frame owner) {
    super(owner, "Gecode/J Gist Preferences");
    setVisible(false);

    Box b = new Box(BoxLayout.Y_AXIS);
    
    Box b1 = new Box(BoxLayout.Y_AXIS);
    b1.setBorder(BorderFactory.createTitledBorder("Computation parameters"));
    b1.add(makeField("Adaptive distance", "Adaptive recomputation distance",
                     new IValue() {
                       void setImp(int i) {  Config.a_d(i); }
                       int getImp() { return Config.a_d();  }
                     }));
    b1.add(makeField("Max distance", "Maximum recomputation distance",
                     new IValue() {
                       void setImp(int i) {  Config.mrd(i); }
                       int getImp() { return Config.mrd();  }
                     }));
    b1.add(makeField("N solutions", "Number of solutions for \"Search N\"",
                     new IValue() {
                       void setImp(int i) {  Config.n(i); }
                       int getImp() { return Config.n();  }
                     }));
    b1.add(makeField("Cutoff", "Maximum number of nodes to\nsearch before cutoff.",
                     new IValue() {
                       void setImp(int i) {  Config.searchCutoff(i); }
                       int getImp() { return Config.searchCutoff();  }
                     }));
    b1.add(Box.createGlue());
    b.add(b1);
    
    Box b2 = new Box(BoxLayout.Y_AXIS);
    b2.setBorder(BorderFactory.createTitledBorder("Display parameters"));
    b2.add(makeField("Hide", "Hide failed subtrees automatically",
                     new BValue() {
                       void setImp(boolean b) {  Config.hide(b); }
                       boolean getImp() { return Config.hide();  }
                     }));
    b2.add(makeField("Zoom", "Zoom to fit automatically",
                     new BValue() {
                       void setImp(boolean b) {  Config.zoom(b); }
                       boolean getImp() { return Config.zoom();  }
                     }));
    b2.add(Box.createGlue());
    b.add(b2);

    add(b);
    pack();
  }
  
  public void open() {
    setVisible(true);
  }
  
  private JComponent makeField(String s, String tt, Value v) {
    JLabel jl = new JLabel(s);
    JPanel jp = new JPanel(new BorderLayout());
    jp.add(jl, BorderLayout.WEST);
    jp.setToolTipText(tt);
    if (v instanceof IValue) {
      JTextField jtf = new JTextField("" + v, 10);
      jp.add(jtf, BorderLayout.EAST);
      TextFieldEventHandler a = new TextFieldEventHandler(jtf, v);
      jtf.addActionListener(a);
      jtf.addFocusListener(a);
    } else {
      JCheckBox jcb = new JCheckBox();
      jp.add(jcb, BorderLayout.EAST);
      CheckFieldEventHandler a = new CheckFieldEventHandler(jcb, (BValue)v);
      jcb.setSelected( ((BValue) v).getImp() );
      jcb.addActionListener(a);
      jcb.addFocusListener(a);
    }
    Dimension d = new Dimension(jp.getMaximumSize().width,
                                jp.getPreferredSize().height);
    jp.setMaximumSize(d);
    return jp;
  }
}

class Value {
  public void set(String s) {}
}

class IValue extends Value {
  public void set(String s) {
    try {
      setImp(Integer.parseInt(s));
    } catch(NumberFormatException nfe) {}
  }
  public String toString() {
    return "" + getImp();
  }
  void setImp(int i) {}
  int  getImp() { return 0; }
}

class BValue extends Value {
  public void set(String s) {
    try {
      setImp(Boolean.parseBoolean(s));
    } catch(NumberFormatException nfe) {}
  }
  public String toString() {
    return "" + getImp();
  }
  void    setImp(boolean b) {}
  boolean getImp() {return false; }
}


class TextFieldEventHandler 
  extends FocusAdapter 
  implements ActionListener {
  
  private JTextComponent jtc;
  private Value v;
  
  public TextFieldEventHandler(JTextComponent jtc, Value v) {
    super();
    this.jtc = jtc;
    this.v = v;
  }
  
  public void actionPerformed(ActionEvent e) {
    update();
    jtc.transferFocus();
  }
  
  public void focusLost(FocusEvent e) {
    update();
  }
  
  private void update() {
    v.set(jtc.getText());
    jtc.setText("" + v);
  }
}

class CheckFieldEventHandler 
  extends FocusAdapter 
  implements ActionListener {
  
  private JToggleButton jtb;
  private BValue v;
  
  public CheckFieldEventHandler(JToggleButton jtb, BValue v) {
    super();
    this.jtb = jtb;
    this.v = v;
  }
  
  public void actionPerformed(ActionEvent e) {
    update();
    jtb.transferFocus();
  }
  
  public void focusLost(FocusEvent e) {
    update();
  }
  
  private void update() {
    v.setImp(jtb.isSelected());
    jtb.setSelected(v.getImp());
  }
}