KickJava   Java API By Example, From Geeks To Geeks.

Java > Open Source Codes > edu > rice > cs > drjava > ui > config > IntegerOptionComponent


1 /*BEGIN_COPYRIGHT_BLOCK
2  *
3  * This file is part of DrJava. Download the current version of this project from http://www.drjava.org/
4  * or http://sourceforge.net/projects/drjava/
5  *
6  * DrJava Open Source License
7  *
8  * Copyright (C) 2001-2006 JavaPLT group at Rice University (javaplt@rice.edu). All rights reserved.
9  *
10  * Developed by: Java Programming Languages Team, Rice University, http://www.cs.rice.edu/~javaplt/
11  *
12  * Permission is hereby granted, free of charge, to any person obtaining a copy of this software and associated
13  * documentation files (the "Software"), to deal with the Software without restriction, including without limitation
14  * the rights to use, copy, modify, merge, publish, distribute, sublicense, and/or sell copies of the Software, and
15  * to permit persons to whom the Software is furnished to do so, subject to the following conditions:
16  *
17  * - Redistributions of source code must retain the above copyright notice, this list of conditions and the
18  * following disclaimers.
19  * - Redistributions in binary form must reproduce the above copyright notice, this list of conditions and the
20  * following disclaimers in the documentation and/or other materials provided with the distribution.
21  * - Neither the names of DrJava, the JavaPLT, Rice University, nor the names of its contributors may be used to
22  * endorse or promote products derived from this Software without specific prior written permission.
23  * - Products derived from this software may not be called "DrJava" nor use the term "DrJava" as part of their
24  * names without prior written permission from the JavaPLT group. For permission, write to javaplt@rice.edu.
25  *
26  * THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR IMPLIED, INCLUDING BUT NOT LIMITED TO
27  * THE WARRANTIES OF MERCHANTABILITY, FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE
28  * CONTRIBUTORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER LIABILITY, WHETHER IN AN ACTION OF
29  * CONTRACT, TORT OR OTHERWISE, ARISING FROM, OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS
30  * WITH THE SOFTWARE.
31  *
32  *END_COPYRIGHT_BLOCK*/

33
34 package edu.rice.cs.drjava.ui.config;
35
36 import javax.swing.*;
37 import javax.swing.event.*;
38 import edu.rice.cs.drjava.config.*;
39 import edu.rice.cs.drjava.*;
40 import java.awt.*;
41
42 /**
43  * Graphical form of an IntegerOption.
44  * @version $Id: IntegerOptionComponent.java 3901 2006-06-30 05:28:11Z rcartwright $
45  */

46 public class IntegerOptionComponent extends OptionComponent<Integer JavaDoc> {
47   private JTextField _jtf;
48   
49   public IntegerOptionComponent (IntegerOption opt, String JavaDoc text, Frame parent) {
50     super(opt, text, parent);
51     _jtf = new JTextField();
52     _jtf.setText(_option.format(DrJava.getConfig().getSetting(_option)));
53     _jtf.getDocument().addDocumentListener(new DocumentListener() {
54       public void insertUpdate(DocumentEvent e) { notifyChangeListeners(); }
55       public void removeUpdate(DocumentEvent e) { notifyChangeListeners(); }
56       public void changedUpdate(DocumentEvent e) { notifyChangeListeners(); }
57     });
58   }
59   
60   /**
61    * Constructor that allows for a tooltip description.
62    */

63   public IntegerOptionComponent (IntegerOption opt, String JavaDoc text,
64                                  Frame parent, String JavaDoc description) {
65     this(opt, text, parent);
66     setDescription(description);
67   }
68
69   /**
70    * Sets the tooltip description text for this option.
71    * @param description the tooltip text
72    */

73   public void setDescription(String JavaDoc description) {
74     _jtf.setToolTipText(description);
75     _label.setToolTipText(description);
76   }
77
78   /**
79    * Updates the config object with the new setting.
80    * @return true if the new value is set successfully
81    */

82   public boolean updateConfig() {
83   
84     Integer JavaDoc currentValue = DrJava.getConfig().getSetting(_option);
85     String JavaDoc enteredString = _jtf.getText().trim();
86     //If the current value is the same as the enterd value, there is nothing to do.
87
if (currentValue.toString().equals(enteredString)) {
88       return true;
89     }
90     
91     Integer JavaDoc enteredValue;
92     try {
93       enteredValue = _option.parse(enteredString);
94     }
95     catch (OptionParseException ope) {
96       showErrorMessage("Invalid Integer!", ope);
97       return false;
98     }
99     
100     DrJava.getConfig().setSetting(_option, enteredValue);
101     return true;
102   }
103   
104   /**
105    * Displays the given value.
106    */

107   public void setValue(Integer JavaDoc value) {
108     _jtf.setText(_option.format(value));
109   }
110   
111   /**
112    * Return's this OptionComponent's configurable component.
113    */

114   public JComponent getComponent() { return _jtf; }
115     
116 }
Popular Tags