2003/10/01 03:08:32
[org.ibex.core.git] / src / org / xwt / plat / AWT.java
1 // Copyright 2003 Adam Megacz, see the COPYING file for licensing [GPL]
2 package org.xwt.plat;
3
4 import org.xwt.*;
5 import org.xwt.util.*;
6 import java.net.*;
7 import java.io.*;
8 import java.util.*;
9 import java.awt.*;
10 import java.awt.datatransfer.*;
11 import java.awt.image.*;
12 import java.awt.event.*;
13
14 /** Platform subclass for all VM's providing AWT 1.1 functionality */
15 public class AWT extends JVM {
16
17     protected String getDescriptiveName() { return "Generic JDK 1.1+ with AWT"; }
18     protected PixelBuffer _createPixelBuffer(int w, int h, Surface owner) { return new AWTPixelBuffer(w, h); }
19     protected Picture _createPicture(int[] b, int w, int h) { return new AWTPicture(b, w, h); }
20     protected int _getScreenWidth() { return Toolkit.getDefaultToolkit().getScreenSize().width; }
21     protected int _getScreenHeight() { return Toolkit.getDefaultToolkit().getScreenSize().height; }
22     protected Surface _createSurface(Box b, boolean framed) { return new AWTSurface(b, framed); }
23
24     protected void postInit() {
25         System.setProperty("com.apple.mrj.application.live-resize", "true");
26         System.setProperty("com.apple.mrj.application.growbox.intrudes", "false");
27         if (Log.on) Log.log(Platform.class, "               color depth = " + Toolkit.getDefaultToolkit().getColorModel().getPixelSize() + "bpp");
28     }
29
30     protected void _criticalAbort(String message) {
31         if (Log.on) Log.log(this, message);
32         final Dialog d = new Dialog(new Frame(), "XWT Cannot Continue");
33         d.setLayout(new BorderLayout());
34         TextArea ta = new TextArea("XWT cannot continue because:\n\n" + message, 10, 80);
35         ta.setEditable(false);
36         d.add(ta, "Center");
37         Button b = new Button("OK");
38         b.addActionListener(new ActionListener() {
39                 public void actionPerformed(ActionEvent e) {
40                     d.dispose();
41                 }
42             });
43         d.add(b, "South");
44         d.setModal(true);
45         d.pack();
46         d.show();
47         new Semaphore().block();
48     }
49
50     protected String _getClipBoard() {
51         Clipboard cb = Toolkit.getDefaultToolkit().getSystemClipboard();
52         if (cb == null) return null;
53         Transferable clipdata = cb.getContents(null);
54         try { return (String)clipdata.getTransferData(DataFlavor.stringFlavor); } catch (Exception ex) { return null; }
55     }
56
57     protected void _setClipBoard(String s) {
58         Clipboard clipboard = Toolkit.getDefaultToolkit().getSystemClipboard();
59         if (clipboard == null) return;
60         StringSelection clipString = new StringSelection(s);
61         clipboard.setContents(clipString, clipString);
62     }
63
64     /** some platforms (cough, cough, NetscapeVM) have totally broken modifier masks; they will need to override this */
65     protected static int modifiersToButtonNumber(int modifiers) {
66         if ((modifiers & InputEvent.BUTTON1_MASK) == InputEvent.BUTTON1_MASK) return 1;
67         if ((modifiers & InputEvent.BUTTON2_MASK) == InputEvent.BUTTON2_MASK) {
68             // ugh, MacOSX reports the right mouse button as BUTTON2_MASK...
69             if (System.getProperty("os.name", "").startsWith("Mac OS X")) return 2;
70             return 3;
71         }
72         if ((modifiers & InputEvent.BUTTON3_MASK) == InputEvent.BUTTON3_MASK) {
73             // ugh, MacOSX reports the right mouse button as BUTTON2_MASK...
74             if (System.getProperty("os.name", "").startsWith("Mac OS X")) return 3;
75             return 2;
76         }
77         return 0;
78     }
79
80     static class FileDialogHelper extends FileDialog implements WindowListener, ComponentListener {
81         Semaphore s;
82         public FileDialogHelper(String suggestedFileName, Semaphore s, boolean write) {
83             super(new Frame(), write ? "Save" : "Open", write ? FileDialog.SAVE : FileDialog.LOAD);
84             this.s = s;
85             addWindowListener(this);
86             addComponentListener(this);
87             if (suggestedFileName.indexOf(File.separatorChar) == -1) {
88                 setFile(suggestedFileName);
89             } else {
90                 setDirectory(suggestedFileName.substring(0, suggestedFileName.lastIndexOf(File.separatorChar)));
91                 setFile(suggestedFileName.substring(suggestedFileName.lastIndexOf(File.separatorChar) + 1));
92             }
93             show();
94         }
95         public void windowActivated(WindowEvent e) { }
96         public void windowClosed(WindowEvent e) { s.release(); }
97         public void windowClosing(WindowEvent e) { }
98         public void windowDeactivated(WindowEvent e) { }
99         public void windowDeiconified(WindowEvent e) { }
100         public void windowIconified(WindowEvent e) { }
101         public void windowOpened(WindowEvent e) { }
102         public void componentHidden(ComponentEvent e) { s.release(); }
103         public void componentMoved(ComponentEvent e) { }
104         public void componentResized(ComponentEvent e) { }
105         public void componentShown(ComponentEvent e) { }
106     };
107
108     protected String _fileDialog(String suggestedFileName, boolean write) {
109         final Semaphore s = new Semaphore();
110         FileDialogHelper fd = new FileDialogHelper(suggestedFileName, s, write);
111         s.block();
112         return fd.getDirectory() == null ? null : (fd.getDirectory() + File.separatorChar + fd.getFile());
113     }
114
115
116     // Inner Classes /////////////////////////////////////////////////////////////////////////////////////
117
118     protected static class AWTPicture extends Picture {
119         public int getHeight() { return i.getHeight(null); }
120         public int getWidth() { return i.getWidth(null); } 
121         public int[] getData() { return data; }
122
123         int[] data = null;
124         public Image i = null;
125         private static ColorModel cmodel = new DirectColorModel(32, 0x00FF0000, 0x0000FF00, 0x000000FF, 0xFF000000);
126         
127         public AWTPicture(int[] b, int w, int h) {
128             data = b;
129             Image img = Toolkit.getDefaultToolkit().createImage(new MemoryImageSource(w, h, cmodel, b, 0, w));
130             MediaTracker mediatracker = new MediaTracker(new Canvas());
131             mediatracker.addImage(img, 1);
132             try { mediatracker.waitForAll(); } catch (InterruptedException e) { }
133             mediatracker.removeImage(img);
134             this.i = img;
135         }
136     }
137     
138     protected static class AWTPixelBuffer extends PixelBuffer {
139         
140         protected Image i = null;
141         protected Graphics g = null;
142         
143         /** JDK1.1 platforms require that a component be associated with each off-screen buffer */
144         static Component component = null;
145
146         protected AWTPixelBuffer() { }
147         public AWTPixelBuffer(int w, int h) {
148             synchronized(AWTPixelBuffer.class) {
149                 if (component == null) {
150                     component = new Frame();
151                     component.setVisible(false);
152                     component.addNotify();
153                 }
154             }
155             i = component.createImage(w, h);
156             g = i.getGraphics();
157         }
158         
159         public int getHeight() { return i == null ? 0 : i.getHeight(null); }
160         public int getWidth() { return i == null ? 0 : i.getWidth(null); }
161         public void setClip(int x, int y, int x2, int y2) { g.setClip(x, y, x2 - x, y2 - y); }
162
163         public void drawPicture(Picture source, int dx1, int dy1, int dx2, int dy2, int sx1, int sy1, int sx2, int sy2) {
164             g.drawImage(((AWTPicture)source).i, dx1, dy1, dx2, dy2, sx1, sy1, sx2, sy2, null);
165         }
166         
167         public void drawPictureAlphaOnly(Picture source, int dx1, int dy1, int dx2, int dy2,
168                                          int sx1, int sy1, int sx2, int sy2, int rgb) {
169             AWTPicture p = (AWTPicture)source;
170             Graphics g = p.i.getGraphics();
171             g.setXORMode(new Color(rgb));
172             g.fillRect(0, 0, p.i.getWidth(null), p.i.getHeight(null));
173             drawPicture(source, dx1, dy1, dx2, dy2, sx1, sy1, sx2, sy2);
174             g.fillRect(0, 0, p.i.getWidth(null), p.i.getHeight(null));
175         }
176
177         public void fillRect(int x, int y, int x2, int y2, int argb) {
178             // FEATURE: use an LRU cache for Color objects
179         }
180
181         // FIXME: try to use os acceleration
182         public void fillTrapezoid(int x1, int x2, int y1, int x3, int x4, int y2, int argb) {
183             g.setColor(new Color((argb & 0x00FF0000) >> 16, (argb & 0x0000FF00) >> 8, (argb & 0x000000FF)));
184             if (x1 == x3 && x2 == x4) {
185                 g.fillRect(x1, y1, x4 - x1, y2 - y1);
186             } else for(int y=y1; y<y2; y++) {
187                 int _x1 = (int)Math.floor((y - y1) * (x3 - x1) / (y2 - y1) + x1);
188                 int _y1 = (int)Math.floor(y);
189                 int _x2 = (int)Math.ceil((y - y1) * (x4 - x2) / (y2 - y1) + x2);
190                 int _y2 = (int)Math.floor(y) + 1;
191                 if (_x1 > _x2) { int _x0 = _x1; _x1 = _x2; _x2 = _x0; }
192                 g.fillRect(_x1, _y1, _x2 - _x1, _y2 - _y1);
193             }
194         }
195     }
196     
197     
198     protected static class AWTSurface extends Surface.DoubleBufferedSurface
199         implements MouseListener, MouseMotionListener, KeyListener, ComponentListener, WindowListener {
200
201         public void blit(PixelBuffer s, int sx, int sy, int dx, int dy, int dx2, int dy2) {
202             if (ourGraphics == null) ourGraphics = window.getGraphics();
203             insets = (frame == null ? window : frame).getInsets();
204             ourGraphics.drawImage(((AWTPixelBuffer)s).i,
205                                   dx + insets.left,
206                                   dy + insets.top,
207                                   dx2 + insets.left,
208                                   dy2 + insets.top,
209                                   sx, sy, sx + (dx2 - dx), sy + (dy2 - dy), null);
210         }
211         
212         /** if (component instanceof Frame) then frame == window else frame == null */
213         Frame frame = null;
214         Window window = null;
215         
216         /** our component's insets */
217         protected Insets insets = new Insets(0, 0, 0, 0);
218         
219         /** a Graphics context on <code>window</code> */
220         protected Graphics ourGraphics = null;
221         
222         /** some JDKs let us recycle a single Dimension object when calling getSize() */
223         Dimension singleSize = new Dimension();
224         
225         public void toBack() { if (window != null) window.toBack(); }
226         public void toFront() { if (window != null) window.toFront(); }
227         public void setLocation() { window.setLocation(root.x, root.y); }
228         public void setTitleBarText(String s) { if (frame != null) frame.setTitle(s); }
229         public void setIcon(Picture i) { if (frame != null) frame.setIconImage(((AWTPicture)i).i); }
230         public void setSize(int width, int height) { window.setSize(width + (insets.left + insets.right), height + (insets.top + insets.bottom)); }
231         public void setInvisible(boolean b) { window.setVisible(!b); }
232         protected void _setMinimized(boolean b) { if (Log.on) Log.log(this, "JDK 1.1 platforms cannot minimize or unminimize windows"); }
233         protected void _setMaximized(boolean b) {
234             if (!b) {
235                 if (Log.on) Log.log(this, "JDK 1.1 platforms cannot unmaximize windows");
236                 return;
237             }
238             window.setLocation(new Point(0, 0));
239             window.setSize(Toolkit.getDefaultToolkit().getScreenSize());
240         }
241
242         class InnerFrame extends Frame {
243             public InnerFrame() throws java.lang.UnsupportedOperationException { }
244             public void update(Graphics gr) { paint(gr); }
245             public void paint(Graphics gr) {
246                 Rectangle r = gr.getClipBounds();
247
248                 // ugly hack for Java1.4 dynamicLayout on Win32 -- this catches expansions during smooth resize
249                 int newwidth = Math.max(r.x - insets.left + r.width, root.width);
250                 int newheight = Math.max(r.y - insets.top + r.height, root.height);
251                 if (newwidth > root.width || newheight > root.height)
252                     componentResized(window.getWidth() - insets.left - insets.right, window.getHeight() - insets.top - insets.bottom);
253
254                 Dirty(r.x - insets.left, r.y - insets.top, r.width, r.height);
255             }
256         }
257
258         class InnerWindow extends Window {
259             public InnerWindow() throws java.lang.UnsupportedOperationException { super(new Frame()); }
260             public void update(Graphics gr) { paint(gr); }
261             public void paint(Graphics gr) {
262                 Rectangle r = gr.getClipBounds();
263                 Dirty(r.x - insets.left, r.y - insets.top, r.width, r.height);
264             }
265         }
266
267         AWTSurface(Box root, boolean framed) {
268             super(root);
269             try {
270                 if (framed) window = frame = new InnerFrame();
271                 else window = new InnerWindow();
272
273             // this is here to catch HeadlessException on jdk1.4
274             } catch (java.lang.UnsupportedOperationException e) {
275                 if (Log.on) Log.log(this, "Exception thrown in AWTSurface$InnerFrame() -- this should never happen");
276                 if (Log.on) Log.log(this, e);
277             }
278
279             insets = window.getInsets();
280             
281             window.addMouseListener(this);
282             window.addKeyListener(this);
283             window.addComponentListener(this);
284             window.addMouseMotionListener(this);
285             window.addWindowListener(this);
286
287             // IMPORTANT: this must be called before render() to ensure
288             // that our peer has been created
289             makeVisible();
290         }
291
292         protected void makeVisible() { window.setVisible(true); }
293         
294         public void _dispose() {
295             window.removeMouseListener(this);
296
297             // removed to work around a jdk1.3 bug
298             /* window.removeKeyListener(this); */
299
300             window.removeComponentListener(this);
301             window.removeMouseMotionListener(this);
302             window.removeWindowListener(this);
303             window.dispose();
304         }
305
306         public void syncCursor() {
307             if (cursor.equals("crosshair")) window.setCursor(Cursor.getPredefinedCursor(Cursor.CROSSHAIR_CURSOR));
308             else if (cursor.equals("east")) window.setCursor(Cursor.getPredefinedCursor(Cursor.E_RESIZE_CURSOR));
309             else if (cursor.equals("move")) window.setCursor(Cursor.getPredefinedCursor(Cursor.MOVE_CURSOR));
310             else if (cursor.equals("north")) window.setCursor(Cursor.getPredefinedCursor(Cursor.N_RESIZE_CURSOR));
311             else if (cursor.equals("northeast")) window.setCursor(Cursor.getPredefinedCursor(Cursor.NE_RESIZE_CURSOR));
312             else if (cursor.equals("northwest")) window.setCursor(Cursor.getPredefinedCursor(Cursor.NW_RESIZE_CURSOR));
313             else if (cursor.equals("south")) window.setCursor(Cursor.getPredefinedCursor(Cursor.S_RESIZE_CURSOR));
314             else if (cursor.equals("southeast")) window.setCursor(Cursor.getPredefinedCursor(Cursor.SE_RESIZE_CURSOR));
315             else if (cursor.equals("southwest")) window.setCursor(Cursor.getPredefinedCursor(Cursor.SW_RESIZE_CURSOR));
316             else if (cursor.equals("text")) window.setCursor(Cursor.getPredefinedCursor(Cursor.TEXT_CURSOR));
317             else if (cursor.equals("west")) window.setCursor(Cursor.getPredefinedCursor(Cursor.W_RESIZE_CURSOR));
318             else if (cursor.equals("wait")) window.setCursor(Cursor.getPredefinedCursor(Cursor.WAIT_CURSOR));
319             else if (cursor.equals("hand")) window.setCursor(Cursor.getPredefinedCursor(Cursor.HAND_CURSOR));
320             else window.setCursor(Cursor.getPredefinedCursor(Cursor.DEFAULT_CURSOR));
321         }
322         
323         // AWT Message translation ////////////////////////////////////////////////////////////////
324         
325         // these functions are all executed in the AWT thread, not the
326         // MessageQueue thread. As a result, they must be *extremely*
327         // careful about invoking methods on instances of Box. Currently,
328         // they should only enqueue messages, use Box.whoIs()
329         // (unsynchronized but thought to be safe), and modify members of
330         // Surface.
331         
332         public void componentHidden(ComponentEvent e) { }
333         public void componentShown(ComponentEvent e) { }
334         public void windowOpened(WindowEvent e) { }
335         public void windowClosed(WindowEvent e) { }
336         public void windowClosing(WindowEvent e) { Close(); }
337         public void windowIconified(WindowEvent e) { Minimized(true); }
338         public void windowDeiconified(WindowEvent e) { dirty(0, 0, root.width, root.height); Minimized(false); }
339         public void windowActivated(WindowEvent e) { Focused(true); }
340         public void windowDeactivated(WindowEvent e) { Focused(false); }
341         public void componentMoved(ComponentEvent e) { PosChange(window.getLocation().x + insets.left, window.getLocation().y + insets.top); }
342
343         public void componentResized(ComponentEvent e) {
344             // we have to periodically do this; I don't know why
345             insets = window.getInsets();
346             componentResized(window.getWidth() - insets.left - insets.right, window.getHeight() - insets.top - insets.bottom);
347         }
348
349         public void componentResized(int newwidth, int newheight) {
350             int oldwidth = root.width;
351             int oldheight = root.height;
352             SizeChange(newwidth, newheight);
353
354             // we do this because JVMs which don't clear the background won't force repaints of these areas
355             root.dirty(Math.min(oldwidth, newwidth), 0, Math.abs(oldwidth - newwidth), Math.max(oldheight, newheight));
356             root.dirty(0, Math.min(oldheight, newheight), Math.max(oldwidth, newwidth), Math.abs(oldheight - newheight));
357
358             ourGraphics = null;
359         }
360
361         public void keyTyped(KeyEvent k) { }
362         public void keyPressed(KeyEvent k) { KeyPressed(translateKey(k)); }
363         public void keyReleased(KeyEvent k) { KeyReleased(translateKey(k)); }
364         public void mouseExited(MouseEvent m) { mouseMoved(m); }
365         public void mouseEntered(MouseEvent m) { mouseMoved(m); }
366         public void mouseDragged(MouseEvent m) { mouseMoved(m); }
367         public void mouseMoved(MouseEvent m) {
368
369             // ugly hack for Java1.4 dynamicLayout on Win32 -- this catches contractions during smooth resize
370             int newwidth = window.getWidth() - insets.left - insets.right;
371             int newheight = window.getHeight() - insets.top - insets.bottom;
372             if (newwidth != root.width || newheight != root.height) componentResized(newwidth, newheight);
373             
374             Move(m.getX() - insets.left, m.getY() - insets.top);
375         }
376         public void mousePressed(MouseEvent m) { Press(modifiersToButtonNumber(m.getModifiers())); }
377         public void mouseReleased(MouseEvent m) { Release(modifiersToButtonNumber(m.getModifiers())); }
378         public void mouseClicked(MouseEvent m) {
379             if (m.getClickCount() == 2) DoubleClick(modifiersToButtonNumber(m.getModifiers()));
380             else Click(modifiersToButtonNumber(m.getModifiers()));
381         }
382         
383         String translateKey(KeyEvent k) {
384             switch (k.getKeyCode()) {
385             case KeyEvent.VK_ALT: return "alt";
386             case KeyEvent.VK_BACK_SPACE: return "back_space";
387             case KeyEvent.VK_CONTROL: return "control";
388             case KeyEvent.VK_DELETE: return "delete";
389             case KeyEvent.VK_DOWN: return "down";
390             case KeyEvent.VK_END: return "end";
391             case KeyEvent.VK_ENTER: return "enter";
392             case KeyEvent.VK_ESCAPE: return "escape";
393             case KeyEvent.VK_F1: return "f1";
394             case KeyEvent.VK_F10: return "f10";
395             case KeyEvent.VK_F11: return "f11";
396             case KeyEvent.VK_F12: return "f12";
397             case KeyEvent.VK_F2: return "f2";
398             case KeyEvent.VK_F3: return "f3";
399             case KeyEvent.VK_F4: return "f4";
400             case KeyEvent.VK_F5: return "f5";
401             case KeyEvent.VK_F6: return "f6"; 
402             case KeyEvent.VK_F7: return "f7";
403             case KeyEvent.VK_F8: return "f8";
404             case KeyEvent.VK_F9: return "f9";
405             case KeyEvent.VK_HOME: return "home";
406             case KeyEvent.VK_INSERT: return "insert";
407             case KeyEvent.VK_LEFT: return "left";
408             case KeyEvent.VK_META: return "alt";
409             case KeyEvent.VK_PAGE_DOWN: return "page_down";
410             case KeyEvent.VK_PAGE_UP: return "page_up";
411             case KeyEvent.VK_PAUSE: return "pause";
412             case KeyEvent.VK_PRINTSCREEN: return "printscreen";
413             case KeyEvent.VK_RIGHT: return "right";
414             case KeyEvent.VK_SHIFT: return "shift";
415             case KeyEvent.VK_TAB: return "tab";
416             case KeyEvent.VK_UP: return "up";
417             default:
418                 char c = k.getKeyChar();
419                 if (c >= 1 && c <= 26) c = (char)('a' + c - 1);
420                 return String.valueOf(c);
421             }
422         }
423     }
424
425     protected Picture _decodeJPEG(InputStream is, String name) {
426         try {
427             Image i = Toolkit.getDefaultToolkit().createImage(InputStreamToByteArray.convert(is));
428             MediaTracker mediatracker = new MediaTracker(new Canvas());
429             mediatracker.addImage(i, 1);
430             try { mediatracker.waitForAll(); } catch (InterruptedException e) { }
431             mediatracker.removeImage(i);
432             final int width = i.getWidth(null);
433             final int height = i.getHeight(null);
434             final int[] data = new int[width * height];
435             PixelGrabber pg = new PixelGrabber(i, 0, 0, width, height, data, 0, width);
436             pg.grabPixels();
437             if ((pg.getStatus() & ImageObserver.ABORT) != 0) {
438                 Log.log(this, "PixelGrabber reported an error while decoding JPEG image " + name);
439                 return null;
440             }
441             return Platform.createPicture(data, width, height);
442         } catch (Exception e) {
443             Log.log(this, "Exception caught while decoding JPEG image " + name);
444             Log.log(this, e);
445             return null;
446         }
447     }
448 }