guiserver/java/SliderWidget.java

   1 //
   2 //  SliderWidget.java
   3 //  guiserver
   4 //
   5 //  Created by Lutz Mueller on 5/17/07.
   6 //
   7 //
   8 //    Copyright (C) 2007 Lutz Mueller
   9 //
  10 //    This program is free software: you can redistribute it and/or modify
  11 //    it under the terms of the GNU General Public License as published by
  12 //    the Free Software Foundation, either version 3 of the License, or
  13 //    (at your option) any later version.
  14 //
  15 //    This program is distributed in the hope that it will be useful,
  16 //    but WITHOUT ANY WARRANTY; without even the implied warranty of
  17 //    MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
  18 //    GNU General Public License for more details.
  19 //
  20 //    You should have received a copy of the GNU General Public License
  21 //    along with this program.  If not, see <http://www.gnu.org/licenses/>.
  22 //
  23
  24
  25 import java.lang.*;
  26 import java.awt.*;
  27 import javax.swing.*;
  28 import javax.swing.event.*;
  29 import java.util.*;
  30
  31
  32 @SuppressWarnings("unchecked")
  33 public class SliderWidget extends gsObject {
  34
  35 final JSlider slider;
  36
  37 public SliderWidget(StringTokenizer params)
  38         {
  39         slider = new JSlider();
  40         jcomponent = slider;
  41         component = slider;
  42         container = slider;
  43
  44         id = params.nextToken();
  45         action = params.nextToken();
  46
  47
  48         if(params.nextToken().equals("vertical"))
  49                 slider.setOrientation(JSlider.VERTICAL);
  50         else
  51                 slider.setOrientation(JSlider.HORIZONTAL);
  52
  53         slider.setMinimum(Integer.parseInt(params.nextToken()));
  54         slider.setMaximum(Integer.parseInt(params.nextToken()));
  55         slider.setValue(Integer.parseInt(params.nextToken()));
  56
  57         class SliderListener implements ChangeListener {
  58                 public void stateChanged(ChangeEvent e) {
  59                         guiserver.out.println("(" + action + " \"" + id + "\" " + slider.getValue() + ")");
  60                         guiserver.out.flush();
  61                         }
  62                 }
  63
  64         slider.addChangeListener(new SliderListener());
  65         gsObject.widgets.put(id, this);
  66         }
  67
  68 public void setValue(StringTokenizer tokens)
  69         {
  70         slider.setValue(Integer.parseInt(tokens.nextToken()));
  71         }
  72
  73 }
  74
  75
  76 // eof //