src/edu/berkeley/slipway/gui/ZoomingPanel.java

   1 package edu.berkeley.slipway.gui;
   2
   3 import com.atmel.fpslic.*;
   4 import static com.atmel.fpslic.FpslicConstants.*;
   5 import static com.atmel.fpslic.FpslicUtil.*;
   6 import edu.berkeley.slipway.*;
   7 import java.awt.*;
   8 import java.awt.geom.*;
   9 import java.awt.event.*;
  10 import static java.awt.event.KeyEvent.*;
  11 import java.awt.color.*;
  12 import org.ibex.util.*;
  13 import java.io.*;
  14 import java.util.*;
  15 import javax.swing.*;
  16
  17 public abstract class ZoomingPanel extends JComponent implements KeyListener, MouseMotionListener, MouseListener {
  18
  19     double scale = 1.0;
  20     double oscale = 1.0;
  21     public    int dragx = 0;
  22     public    int dragy = 0;
  23     public    boolean drag = false;
  24     protected int mousex;
  25     protected int mousey;
  26     protected AffineTransform transform = new AffineTransform();
  27     private   Point2D recenter;
  28     private   Point2D recenter2;
  29
  30     public ZoomingPanel() {
  31         setDoubleBuffered(true);
  32         addKeyListener(this);
  33         addMouseMotionListener(this);
  34         addMouseListener(this);
  35     }
  36
  37     public abstract void _paint(Graphics2D g);
  38
  39     public final void paint(Graphics _g) {
  40         Graphics2D g = (Graphics2D)_g;
  41         g.scale(scale,scale);
  42         g.translate(10, 0);
  43         g.scale(1, -1);
  44         g.translate(5, -1 * getHeight() + 10);
  45
  46         transform = g.getTransform();
  47
  48         Point2D p = new Point2D.Float();
  49         if (recenter != null) {
  50             transform.transform(recenter, p);
  51             transform.preConcatenate(AffineTransform.getTranslateInstance(dragx - p.getX(),
  52                                                                           dragy - p.getY()));
  53         }
  54         g.setTransform(transform);
  55
  56         if (drag) {
  57             g.setColor(Color.blue);
  58             g.drawLine((int)(recenter.getX() - 10),
  59                        (int)(recenter.getY() - 10),
  60                        (int)(recenter.getX() + 10),
  61                        (int)(recenter.getY() + 10));
  62             g.drawLine((int)(recenter.getX() + 10),
  63                        (int)(recenter.getY() - 10),
  64                        (int)(recenter.getX() - 10),
  65                        (int)(recenter.getY() + 10));
  66         }
  67         _paint(g);
  68     }
  69
  70
  71     public void keyTyped(KeyEvent k) {
  72     }
  73     public void keyReleased(KeyEvent k) {
  74         shiftkey = (k.getModifiers() & k.SHIFT_MASK) != 0;
  75         if (k.getKeyCode() == k.VK_ALT) {
  76             if (drag) {
  77                 drag = false;
  78                 oscale = scale;
  79                 repaint();
  80             }
  81         }
  82         switch(k.getKeyCode()) {
  83             case VK_X: xkey = false; return;
  84             case VK_Y: ykey = false; return;
  85         }
  86     }
  87     public char lastChar;
  88     public int keyMode;
  89     public void keyPressed(KeyEvent k) {
  90         shiftkey = (k.getModifiers() & k.SHIFT_MASK) != 0;
  91         keyPressed0(k);
  92         char c = k.getKeyChar();
  93         if (c=='q') c = 'y';
  94         lastChar = c;
  95     }
  96     public boolean shiftkey = false;
  97     public void keyPressed0(KeyEvent k) {
  98         repaint();
  99         if (k.getKeyCode() == k.VK_ALT) {
 100             drag = true;
 101             dragx = mousex;
 102             dragy = mousey;
 103             recenter = new Point2D.Float(dragx, dragy);
 104             try {
 105                 transform.inverseTransform(recenter, recenter);
 106             } catch (Exception e) {
 107                 e.printStackTrace();
 108             }
 109         }
 110         Gui.Cell cell = whichCell(mousex, mousey);
 111         Fpslic.Cell c = cell == null ? null : cell.cell;
 112         if ((k.getModifiers() & k.ALT_MASK) != 0)
 113             switch(k.getKeyCode()) {
 114                 case VK_S:
 115                     writeMode4();
 116                     break;
 117                 case VK_O:
 118                     readMode4();
 119                     break;
 120             }
 121
 122         else switch(k.getKeyCode()) {
 123             case VK_ESCAPE: scale = 1.0; recenter = null; repaint(); return;
 124
 125             case VK_0: case VK_1: case VK_2: case VK_3: case VK_4: {
 126                 int i = L0 + (k.getKeyChar() - '0');
 127                 switch(lastChar) {
 128                     case 'x': c.xi(i); break;
 129                     case 'y': case 'q': c.yi(i); break;
 130                     case 'w': c.wi(i); break;
 131                     case 'z': c.zi(i); break;
 132                     case 'o': c.out(i, !c.out(i)); break;
 133                     case 'h': c.h(i, !c.hx(i)); break;
 134                     case 'v': c.v(i, !c.vx(i)); break;
 135                 }
 136                 repaint();
 137                 return;
 138                 }
 139
 140             case VK_W: if (lastChar == 'w') c.wi(NONE); repaint(); return;
 141             case VK_X: if (lastChar == 'x') c.xi(NONE); repaint(); return;
 142             case VK_Y: if (lastChar == 'y') c.yi(NONE); repaint(); return;
 143             case VK_Z: if (lastChar == 'z') c.zi(NONE); repaint(); return;
 144             case VK_Q: if (lastChar == 'q') c.yi(NONE); repaint(); return;
 145
 146             case VK_C:
 147                 if (lastChar == 'x') { c.xo(true); repaint(); return; }
 148                 if (lastChar == 'y' || lastChar == 'q') { c.yo(true); repaint(); return; }
 149                 switch(c.c()) {
 150                     case XLUT: c.c(YLUT); break;
 151                     case YLUT: c.c(ZMUX); break;
 152                     case ZMUX: c.c(XLUT); break;
 153                     default:   c.c(ZMUX); break;
 154                 }
 155                 repaint();
 156                 return;
 157
 158             case VK_F: c.f(!c.f()); repaint(); return;
 159             case VK_S: c.ff_reset_value(!c.ff_reset_value()); repaint(); return;
 160             case VK_R: c.b(!c.b()); repaint(); return;
 161
 162             case VK_T:
 163                 switch(c.t()) {
 164                     case TMUX_FB: c.t(TMUX_W_AND_FB); break;
 165                     case TMUX_W_AND_FB: c.t(TMUX_W); break;
 166                     case TMUX_W: c.t(TMUX_W_AND_Z); break;
 167                     case TMUX_W_AND_Z: c.t(TMUX_Z); break;
 168                     case TMUX_Z: c.t(TMUX_FB); break;
 169                 }
 170                 System.err.println("set " + c.t());
 171                 repaint();
 172                 return;
 173
 174             case VK_E:
 175                 switch(c.oe()) {
 176                     case H4:   c.oe(V4); break;
 177                     case V4:   c.oe(NONE); break;
 178                     case NONE: c.oe(H4); break;
 179                 }
 180                 repaint();
 181                 return;
 182
 183                 // ff reset polarity
 184                 // h0..h5, v0..v5
 185                 // xi=0..5
 186                 // yi=0..5
 187                 // zi=0..5
 188                 // wi=0..5
 189                 // t-mux
 190
 191         }
 192     }
 193
 194     public Gui.Cell oldcell = null;
 195     public abstract Gui.Cell whichCell(int x, int y);
 196     public void mouseMoved(MouseEvent m) {
 197
 198         Gui.Cell newcell = whichCell(m.getX(), m.getY());
 199         /*
 200         System.out.println((oldcell==null ? "old=null" : ("old=" + oldcell._x+","+oldcell._y+"  "))+
 201                            (newcell==null ? "new=null" : ("new=" + newcell._x+","+newcell._y+"  ")));
 202         */
 203         if (oldcell != newcell) {
 204             if (oldcell != null) oldcell.in = false;
 205             if (newcell != null) newcell.in = true;
 206             repaint();
 207         }
 208         oldcell = newcell;
 209
 210         mousex = m.getX();
 211         mousey = m.getY();
 212         if (drag) {
 213             if (mousey > dragy + 5) {
 214                 scale = 1 / ((1 / oscale) + ((mousey - dragy) / 50.0));
 215             } else if (mousey < dragy - 5) {
 216                 scale = oscale + ((dragy - mousey) / 50.0);
 217             } else {
 218                 scale = oscale;
 219             }
 220             repaint();
 221         }
 222     }
 223
 224
 225     public boolean isFocusable() { return true; }
 226
 227     public void mouseDragged(MouseEvent m) {
 228         mouseMoved(m);
 229         //dragx = m.getX();
 230         //dragy = m.getY();
 231
 232     }
 233     public abstract void pressed();
 234     public abstract void released();
 235     public void mousePressed(MouseEvent m) {
 236         mousebutton = true;
 237
 238         /*
 239         recenter = new Point2D.Float(m.getX(), m.getY());
 240         try {
 241             transform.transform(recenter, recenter);
 242         } catch (Exception e) {
 243             e.printStackTrace();
 244         }
 245         repaint();
 246         */
 247         pressed();
 248     }
 249     public void mouseEntered(MouseEvent e) { }
 250     public void mouseExited(MouseEvent e) { }
 251     public void mouseClicked(MouseEvent e) { }
 252     public void mouseReleased(MouseEvent e) {
 253         mousebutton = false;
 254         released();
 255     }
 256     public boolean mousebutton = false;
 257     public boolean xkey = false;
 258     public boolean ykey = false;
 259
 260     HashSet<Gui.Cell> cells = new HashSet<Gui.Cell>();
 261     public abstract void scan(final Gui.Cell c);
 262     public abstract void scan();
 263     public abstract void writeMode4();
 264     public abstract void readMode4();
 265 }