src/org/ibex/plat/Win32.java

   1 // Copyright 2004 Adam Megacz, see the COPYING file for licensing [LGPL]
   2 package org.ibex.plat;
   3
   4 import org.ibex.util.*;
   5 import java.util.*;
   6 import org.ibex.js.*;
   7 import org.ibex.graphics.*;
   8 import org.ibex.core.*;
   9 import org.ibex.net.*;
  10
  11 /** Platform specific code for GCJ-compiled Win32 binaries */
  12 public class Win32 extends GCJ {
  13     // Initialization ////////////////////////////////////////////////////////////////////////////
  14
  15     // Win32 often asks for a DC/Handle when it doesn't really need one
  16     static int desktop_handle = 0;
  17     static int desktop_dc = 0;
  18
  19     // Cursors
  20     static int wait_cursor = 0;
  21     static int default_cursor = 0;
  22     static int crosshair_cursor = 0;
  23     static int text_cursor = 0;
  24     static int move_cursor = 0;
  25     static int sizenesw_cursor = 0;
  26     static int sizens_cursor = 0;
  27     static int sizenwse_cursor = 0;
  28     static int sizewe_cursor = 0;
  29     static int hand_cursor = 0;
  30
  31     /** reverse lookup from hwnd to Win32Surface */
  32     public static Hashtable hwndToWin32SurfaceMap = new Hashtable();
  33
  34     /** lets us know that natInit() is finished */
  35     public static Semaphore messagePumpStarted = new Semaphore();
  36
  37     /** ThreadId of the message pump thread, used to send it messages */
  38     public static int messagePumpThread = 0;
  39
  40     public static native String getTempPath();
  41     public static native void natInit();
  42     public static native void natPreInit();
  43
  44     protected native String _fileDialog(String suggestedFileName, boolean write);
  45
  46     public Win32() { natPreInit(); }
  47
  48     public void postInit() {
  49         new Thread() { public void run() { natInit(); } }.start();
  50         messagePumpStarted.block();
  51     }
  52
  53
  54     // Implementation of Platform methods /////////////////////////////////////////////////////////
  55
  56     protected native String _getEnv(String key);
  57     protected boolean _needsAutoClick() { return true; }
  58     protected String getDescriptiveName() { return "GCJ Win32 Binary"; }
  59     protected Surface _createSurface(Box b, boolean framed) { return new Win32Surface(b, framed); }
  60     protected PixelBuffer _createPixelBuffer(int w, int h, Surface owner) { return new Win32PixelBuffer(w, h, (Win32Surface)owner); }
  61     protected Picture _createPicture(JS r) { return new Win32Picture(r); }
  62     protected native int _getScreenWidth();
  63     protected native int _getScreenHeight();
  64     protected boolean _supressDirtyOnResize() { return false; }
  65     protected native void _criticalAbort(String message);
  66     protected native String _getClipBoard();
  67     protected native void _setClipBoard(String s);
  68     protected boolean _isCaseSensitive() { return false; }
  69
  70     private native void __detectProxy(String[] container);
  71
  72     protected synchronized HTTP.Proxy _detectProxy() {
  73
  74         String[] container = new String[] { null, null, null };
  75         if (Log.on) Log.info(this, "accessing Win32 registry");
  76         __detectProxy(container);
  77         if (container[2] == null && container[0] == null) {
  78             if (Log.on) Log.info(this, "no proxy settings in the Win32 registry");
  79             return null;
  80         }
  81
  82         if (Log.on) Log.info(this, "PAC Script URL: " + container[2]);
  83         if (Log.on) Log.info(this, "Proxy Server String: " + container[0]);
  84         if (Log.on) Log.info(this, "Proxy Override String: " + container[1]);
  85
  86         HTTP.Proxy ret = new HTTP.Proxy();
  87         if (container[2] != null) {
  88             // FIXME!!!
  89             //ret.proxyAutoConfigFunction = HTTP.Proxy.getProxyAutoConfigFunction(container[2]);
  90             if (ret.proxyAutoConfigFunction != null) return ret;
  91         }
  92
  93         if (container[0] == null) return null;
  94         StringTokenizer st = new StringTokenizer(container[0], ";", false);
  95         while(st.hasMoreTokens()) try {
  96             String s = st.nextToken().trim();
  97             String protocol, host;
  98             if (s.indexOf(':') == -1) {
  99                 continue;
 100             } else if (s.indexOf("://") != -1) {
 101                 protocol = s.substring(0, s.indexOf("://"));
 102                 s = s.substring(s.indexOf("://") + 3);
 103                 host = s.substring(0, s.indexOf(':'));
 104             } else if (s.indexOf('=') == -1) {
 105                 protocol = "http";
 106                 host = s.substring(0, s.indexOf(':'));
 107             } else {
 108                 protocol = s.substring(0, s.indexOf('='));
 109                 host = s.substring(s.indexOf('=') + 1, s.indexOf(':'));
 110             }
 111             int port = Integer.parseInt(s.substring(s.indexOf(':') + 1));
 112             if (protocol.equals("http")) {
 113                 ret.httpProxyHost = host;
 114                 ret.httpProxyPort = port;
 115             } else if (protocol.equals("https")) {
 116                 ret.httpsProxyHost = host;
 117                 ret.httpsProxyPort = port;
 118             } else if (protocol.equals("socks")) {
 119                 ret.socksProxyHost = host;
 120                 ret.socksProxyPort = port;
 121             }
 122         } catch (NumberFormatException nfe) { }
 123
 124         if (container[1] != null) {
 125             st = new StringTokenizer(container[1], ";", false);
 126             ret.excluded = new String[st.countTokens()];
 127             for(int i=0; st.hasMoreTokens(); i++) ret.excluded[i] = st.nextToken();
 128         }
 129         return ret;
 130     }
 131
 132     protected native boolean _newBrowserWindow_(String url);
 133     protected void _newBrowserWindow(String url) {
 134         if (!_newBrowserWindow_(url))
 135             if (Log.on) Log.info(this, "ShellExecuteEx() failed trying to open url " + url);
 136     }
 137
 138     // Win32Surface ////////////////////////////////////////////////////////////////////////////
 139
 140     public static class Win32Surface extends Surface.DoubleBufferedSurface {
 141
 142         /** used to block while waiting for the message pump thread to create a hwnd for us */
 143         public Semaphore hwndCreated = new Semaphore();
 144
 145         /** nothing more than a method version of WndProc, so we can access instance members/methods */
 146         public native int WndProc(int hwnd, int imsg, int wparam, int lparam);
 147
 148         /** true iff the mouse is inside this window; used to determine if we should capture the mouse */
 149         boolean inside = false;
 150
 151         /** true iff we have 'captured' the mouse with SetCapture() */
 152         boolean captured = false;
 153
 154         public int hwnd = -1;
 155         public int hdc = 0;
 156
 157         public int current_cursor = default_cursor;
 158
 159         /** used to restore the cursor immediately before ReleaseCapture() */
 160         public int previous_cursor = 0;
 161
 162         public native void natInit(boolean framed);
 163         public Win32Surface(Box b, final boolean framed) {
 164             super(b);
 165             natInit(framed);
 166             hwndToWin32SurfaceMap.put(new Integer(hwnd), this);
 167         }
 168
 169         public void syncCursor() {
 170             if (cursor.equals("default")) current_cursor = default_cursor;
 171             else if (cursor.equals("wait")) current_cursor = wait_cursor;
 172             else if (cursor.equals("crosshair")) current_cursor = crosshair_cursor;
 173             else if (cursor.equals("text")) current_cursor = text_cursor;
 174             else if (cursor.equals("move")) current_cursor = move_cursor;
 175             else if (cursor.equals("hand")) current_cursor = hand_cursor;
 176             else if (cursor.equals("east") || cursor.equals("west")) current_cursor = sizewe_cursor;
 177             else if (cursor.equals("north") || cursor.equals("south")) current_cursor = sizens_cursor;
 178             else if (cursor.equals("northwest") || cursor.equals("southeast")) current_cursor = sizenwse_cursor;
 179             else if (cursor.equals("northeast") || cursor.equals("southwest")) current_cursor = sizenesw_cursor;
 180             postCursorChange();
 181         }
 182
 183         public native void finalize();
 184         public native void postCursorChange();
 185         public native void toBack();
 186         public native void toFront();
 187         public native void _setMinimized(boolean m);
 188         public native void setInvisible(boolean i);
 189         public native void _setMaximized(boolean m);
 190         public native void _setSize(int w, int h);
 191         public native void setLocation();
 192         public native void setTitleBarText(String s);
 193         public native void setIcon(Picture p);
 194         public native void _dispose();
 195         public native void blit(PixelBuffer s, int sx, int sy, int dx, int dy, int dx2, int dy2);
 196     }
 197
 198
 199     // Win32Picture ////////////////////////////////////////////////////////////////////////////
 200
 201     public static class Win32Picture extends Picture {
 202
 203         /** the Win32 bitmap version of this Picture */
 204         int hbitmap = -1;
 205
 206         /** dc of the bitmap */
 207         int hdc = -1;
 208
 209         /** true iff this Picture has translucent regions */
 210         boolean hasalpha = false;
 211
 212         /** true iff this Picture has transparent regions but no translucent regions */
 213         boolean hasmask = true;
 214
 215         /** if hasmask, this mask indicates which regions are transparent */
 216         int hmask = -1;
 217
 218         /** dc of the mask */
 219         int maskdc = -1;
 220
 221         public Win32Picture(JS r) { super(r); }
 222         public int getWidth() { return width; };
 223         public int getHeight() { return height; };
 224         public int[] getData() { return data; }
 225         boolean initialized = false;
 226         public void init() { if (!initialized && isLoaded) natInit(); initialized = true; }
 227         public native void natInit();
 228     }
 229
 230
 231     // Win32PixelBuffer //////////////////////////////////////////////////////////////////////////
 232
 233     public static class Win32PixelBuffer extends PixelBuffer {
 234
 235         int w = 0;
 236         int h = 0;
 237
 238         int clipx1 = 0;
 239         int clipy1 = 0;
 240         int clipx2 = 0;
 241         int clipy2 = 0;
 242
 243         int hdc = -1;
 244         int hbitmap = -1;
 245
 246         public int getHeight() { return h; }
 247         public int getWidth() { return w; }
 248
 249         public native void natInit();
 250         public Win32PixelBuffer(int w, int h, Win32Surface owner) {
 251             this.w = w;
 252             this.h = h;
 253             clipx2 = w;
 254             clipy2 = h;
 255             natInit();
 256         }
 257
 258         public native void fillRect(int x, int y, int x2, int y2, int color);
 259         public void drawPicture(Picture source, int dx, int dy, int cx1, int cy1, int cx2, int cy2) {
 260             ((Win32Picture)source).init();
 261             drawPicture(source, dx, dy, cx1, cy1, cx2, cy2, 0, false);
 262         }
 263         public void drawGlyph(org.ibex.graphics.Font.Glyph source, int dx, int dy, int cx1, int cy1, int cx2, int cy2, int rgb) {
 264             Win32Picture p = ((Win32Picture)((Platform.DefaultGlyph)source).getPicture());
 265             p.init();
 266             drawPicture(p, dx, dy, cx1, cy1, cx2, cy2, rgb, true);
 267         }
 268         public native void drawPicture(Picture source, int dx, int dy, int cx1, int cy1, int cx2, int cy2,
 269                                        int rgb, boolean alphaOnly);
 270
 271         public native void finalize();
 272
 273         // FIXME: try to use os acceleration
 274         public void fillTrapezoid(int x1, int x2, int y1, int x3, int x4, int y2, int argb) {
 275             if (x1 == x3 && x2 == x4) {
 276                 fillRect(x1, y1, x4, y2, argb);
 277             } else for(int y=y1; y<y2; y++) {
 278                 int _x1 = (int)Math.floor((y - y1) * (x3 - x1) / (y2 - y1) + x1);
 279                 int _y1 = (int)Math.floor(y);
 280                 int _x2 = (int)Math.ceil((y - y1) * (x4 - x2) / (y2 - y1) + x2);
 281                 int _y2 = (int)Math.floor(y) + 1;
 282                 if (_x1 > _x2) { int _x0 = _x1; _x1 = _x2; _x2 = _x0; }
 283                 fillRect(_x1, _y1, _x2, _y2, argb);
 284             }
 285         }
 286     }
 287
 288 }
 289