--- /dev/null
+// Copyright 2004 Adam Megacz, see the COPYING file for licensing [GPL]
+package org.ibex;
+
+import org.ibex.js.*;
+import org.ibex.util.*;
+
+/**
+ * A Surface, as described in the Ibex Reference.
+ *
+ * Platform subclasses should include an inner class subclass of
+ * Surface to return from the Platform._createSurface() method
+ */
+public abstract class Surface extends PixelBuffer implements Scheduler.Task {
+
+ // Static Data ////////////////////////////////////////////////////////////////////////////////
+
+ private static Boolean T = Boolean.TRUE;
+ private static Boolean F = Boolean.FALSE;
+
+ /** all instances of Surface which need to be refreshed by the Scheduler */
+ public static Vec allSurfaces = new Vec();
+
+ /** When set to true, render() should abort as soon as possible and restart the rendering process */
+ volatile boolean abort = false;
+
+ // these three variables are used to ensure that user resizes trump programmatic resizes
+ volatile boolean syncRootBoxToSurface = false;
+ volatile int pendingWidth = 0;
+ volatile int pendingHeight = 0;
+
+ public static boolean alt = false; ///< true iff the alt button is pressed down
+ public static boolean control = false; ///< true iff the control button is pressed down
+ public static boolean shift = false; ///< true iff the shift button is pressed down
+ public static boolean button1 = false; ///< true iff button 1 is depressed
+ public static boolean button2 = false; ///< true iff button 2 is depressed
+ public static boolean button3 = false; ///< true iff button 3 is depressed
+
+
+ // Instance Data ///////////////////////////////////////////////////////////////////////
+
+ public Box root; ///< The Box at the root of this surface
+ public String cursor = "default"; ///< The active cursor to switch to when syncCursor() is called
+ public int mousex; ///< x position of the mouse
+ public int mousey; ///< y position of the mouse
+ public int _mousex; ///< x position of the mouse FIXME
+ public int _mousey; ///< y position of the mouse FIXME
+ public int newmousex = -1; ///< x position of the mouse, in real time; this lets us collapse Move's
+ public int newmousey = -1; ///< y position of the mouse, in real time; this lets us collapse Move's
+ public boolean minimized = false; ///< True iff this surface is minimized, in real time
+ public boolean maximized = false; ///< True iff this surface is maximized, in real time
+ DirtyList dirtyRegions = new DirtyList(); ///< Dirty regions on the surface
+
+ // Used For Simulating Clicks and DoubleClicks /////////////////////////////////////////////////
+
+ int last_press_x = Integer.MAX_VALUE; ///< the x-position of the mouse the last time a Press message was enqueued
+ int last_press_y = Integer.MAX_VALUE; ///< the y-position of the mouse the last time a Press message was enqueued
+ static int lastClickButton = 0; ///< the last button to recieve a Click message; used for simulating DoubleClick's
+ static long lastClickTime = 0; ///< the last time a Click message was processed; used for simulating DoubleClick's
+
+
+ // Methods to be overridden by subclasses ///////////////////////////////////////////////////////
+
+ public abstract void toBack(); ///< should push surface to the back of the stacking order
+ public abstract void toFront(); ///< should pull surface to the front of the stacking order
+ public abstract void syncCursor(); ///< set the actual cursor to this.cursor if they do not match
+ public abstract void setInvisible(boolean b); ///< If <tt>b</tt>, make window invisible; otherwise, make it non-invisible.
+ protected abstract void _setMaximized(boolean b); ///< If <tt>b</tt>, maximize the surface; otherwise, un-maximize it.
+ protected abstract void _setMinimized(boolean b); ///< If <tt>b</tt>, minimize the surface; otherwise, un-minimize it.
+ public abstract void setLocation(); ///< Set the surface's x/y position to that of the root box
+ protected abstract void _setSize(int w, int h); ///< set the actual size of the surface
+ public abstract void setTitleBarText(String s); ///< Sets the surface's title bar text, if applicable
+ public abstract void setIcon(Picture i); ///< Sets the surface's title bar text, if applicable
+ public abstract void _dispose(); ///< Destroy the surface
+ public void setMinimumSize(int minx, int miny, boolean resizable) { }
+ protected void setSize(int w, int h) { _setSize(w, h); }
+
+
+ // Helper methods for subclasses ////////////////////////////////////////////////////////////
+
+ protected final void Press(final int button) {
+ last_press_x = mousex;
+ last_press_y = mousey;
+
+ if (button == 1) button1 = true;
+ else if (button == 2) button2 = true;
+ else if (button == 3) button3 = true;
+
+ if (button == 1) new Message("_Press1", T, root);
+ else if (button == 2) new Message("_Press2", T, root);
+ else if (button == 3) {
+ Scheduler.add(new Scheduler.Task() { public void perform() throws JSExn {
+ Platform.clipboardReadEnabled = true;
+ try {
+ root.putAndTriggerTraps("_Press3", T);
+ } finally {
+ Platform.clipboardReadEnabled = false;
+ }
+ }});
+ }
+ }
+
+ protected final void Release(int button) {
+ if (button == 1) button1 = false;
+ else if (button == 2) button2 = false;
+ else if (button == 3) button3 = false;
+
+ if (button == 1) new Message("_Release1", T, root);
+ else if (button == 2) new Message("_Release2", T, root);
+ else if (button == 3) new Message("_Release3", T, root);
+
+ if (Platform.needsAutoClick() && Math.abs(last_press_x - mousex) < 5 && Math.abs(last_press_y - mousey) < 5) Click(button);
+ last_press_x = Integer.MAX_VALUE;
+ last_press_y = Integer.MAX_VALUE;
+ }
+
+ protected final void Click(int button) {
+ if (button == 1) new Message("_Click1", T, root);
+ else if (button == 2) new Message("_Click2", T, root);
+ else if (button == 3) new Message("_Click3", T, root);
+ if (Platform.needsAutoDoubleClick()) {
+ long now = System.currentTimeMillis();
+ if (lastClickButton == button && now - lastClickTime < 350) DoubleClick(button);
+ lastClickButton = button;
+ lastClickTime = now;
+ }
+ }
+
+ /** we enqueue ourselves in the Scheduler when we have a Move message to deal with */
+ private Scheduler.Task mover = new Scheduler.Task() {
+ public void perform() {
+ if (mousex == newmousex && mousey == newmousey) return;
+ int oldmousex = mousex; mousex = newmousex;
+ int oldmousey = mousey; mousey = newmousey;
+ String oldcursor = cursor; cursor = "default";
+ // FIXME: Root (ONLY) gets motion events outside itself (if trapped)
+ if (oldmousex != mousex || oldmousey != mousey)
+ root.putAndTriggerTrapsAndCatchExceptions("_Move", T);
+ if (!cursor.equals(oldcursor)) syncCursor();
+ } };
+
+ /**
+ * Notify Ibex that the mouse has moved. If the mouse leaves the
+ * surface, but the host windowing system does not provide its new
+ * position (for example, a Java MouseListener.mouseExited()
+ * message), the subclass should use (-1,-1).
+ */
+ protected final void Move(final int newmousex, final int newmousey) {
+ this.newmousex = newmousex;
+ this.newmousey = newmousey;
+ Scheduler.add(mover);
+ }
+
+ protected final void HScroll(int pixels) { new Message("_HScroll", new Integer(pixels), root); }
+ protected final void VScroll(int pixels) { new Message("_VScroll", new Integer(pixels), root); }
+ protected final void HScroll(float lines) { new Message("_HScroll", new Float(lines), root); }
+ protected final void VScroll(float lines) { new Message("_VScroll", new Float(lines), root); }
+
+ /** subclasses should invoke this method when the user resizes the window */
+ protected final void SizeChange(final int width, final int height) {
+ if (pendingWidth == width && pendingHeight == height) return;
+ pendingWidth = width;
+ pendingHeight = height;
+ syncRootBoxToSurface = true;
+ abort = true;
+ Scheduler.renderAll();
+ }
+
+ // FEATURE: can we avoid creating objects here?
+ protected final void PosChange(final int x, final int y) {
+ Scheduler.add(new Scheduler.Task() { public void perform() throws JSExn {
+ root.x = x;
+ root.y = y;
+ root.putAndTriggerTrapsAndCatchExceptions("PosChange", T);
+ }});
+ }
+
+ private final String[] doubleClick = new String[] { null, "_DoubleClick1", "_DoubleClick2", "_DoubleClick3" };
+ protected final void DoubleClick(int button) { new Message(doubleClick[button], T, root); }
+ protected final void KeyPressed(String key) { new Message("_KeyPressed", key, root); }
+ protected final void KeyReleased(String key) { new Message("_KeyReleased", key, root); }
+ protected final void Close() { new Message("Close", T, root); }
+ protected final void Minimized(boolean b) { minimized = b; new Message("Minimized", b ? T : F, root); }
+ protected final void Maximized(boolean b) { maximized = b; new Message("Maximized", b ? T : F, root); }
+ protected final void Focused(boolean b) { new Message("Focused", b ? T : F, root); }
+
+ private boolean scheduled = false;
+ public void Refresh() { if (!scheduled) Scheduler.add(this); scheduled = true; }
+ public void perform() { scheduled = false; Scheduler.renderAll(); }
+
+ public final void setMaximized(boolean b) { if (b != maximized) _setMaximized(maximized = b); }
+ public final void setMinimized(boolean b) { if (b != minimized) _setMinimized(minimized = b); }
+
+
+ // Other Methods ///////////////////////////////////////////////////////////////////////////////
+
+ /** Indicates that the Surface is no longer needed */
+ public final void dispose(boolean quitIfAllSurfacesGone) {
+ if (Log.on) Log.info(this, "disposing " + this);
+ allSurfaces.removeElement(this);
+ _dispose();
+ if (allSurfaces.size() == 0) {
+ if (Log.on) Log.info(this, "exiting because last surface was destroyed");
+ System.exit(0);
+ }
+ }
+
+ public void dirty(int x, int y, int w, int h) {
+ dirtyRegions.dirty(x, y, w, h);
+ Refresh();
+ }
+
+ public static Surface fromBox(Box b) {
+ // FIXME use a hash table here
+ for(int i=0; i<allSurfaces.size(); i++) {
+ Surface s = (Surface)allSurfaces.elementAt(i);
+ if (s.root == b) return s;
+ }
+ return null;
+ }
+
+ public Surface(Box root) {
+ this.root = root;
+ root.setMaxWidth(JS.N(Math.min(Platform.getScreenWidth(), root.maxwidth)));
+ root.setMaxHeight(JS.N(Math.min(Platform.getScreenHeight(), root.maxheight)));
+ Surface old = fromBox(root);
+ if (old != null) old.dispose(false);
+ else root.removeSelf();
+ Refresh();
+ }
+
+ private static VectorGraphics.Affine identity = VectorGraphics.Affine.identity();
+
+ /** runs the prerender() and render() pipelines in the root Box to regenerate the backbuffer, then blits it to the screen */
+ public synchronized void render() {
+ scheduled = false;
+ // make sure the root is properly sized
+ do {
+ abort = false;
+ root.pack();
+ if (syncRootBoxToSurface) {
+ root.setMaxWidth(JS.N(pendingWidth));
+ root.setMaxHeight(JS.N(pendingHeight));
+ syncRootBoxToSurface = false;
+ }
+ if (root.maxwidth != root.width || root.maxheight != root.height) {
+ // dirty the place where the scar used to be and where it is now
+ dirty(0, root.height - Main.scarImage.height, Main.scarImage.width, Main.scarImage.height);
+ dirty(0, root.maxheight - Main.scarImage.height, Main.scarImage.width, Main.scarImage.height);
+ }
+ root.reflow();
+ setSize(root.width, root.height);
+ /*String oldcursor = cursor;
+ cursor = "default";
+ root.putAndTriggerTrapsAndCatchExceptions("_Move", JS.T);
+ if (!cursor.equals(oldcursor)) syncCursor();*/
+ } while(abort);
+
+ int[][] dirt = dirtyRegions.flush();
+ for(int i = 0; dirt != null && i < dirt.length; i++) {
+ if (dirt[i] == null) continue;
+ int x = dirt[i][0], y = dirt[i][1], w = dirt[i][2], h = dirt[i][3];
+ if (x < 0) x = 0;
+ if (y < 0) y = 0;
+ if (x+w > root.width) w = root.width - x;
+ if (y+h > root.height) h = root.height - y;
+ if (w <= 0 || h <= 0) continue;
+
+ root.render(0, 0, x, y, x + w, y + h, this, identity);
+ drawPicture(Main.scarImage, 0, root.height - Main.scarImage.height, x, y, x+w, y+h);
+
+ if (abort) {
+ // x,y,w,h is only partially reconstructed, so we must be careful not to re-blit it
+ dirtyRegions.dirty(x, y, w, h);
+ // put back all the dirty regions we haven't yet processed (including the current one)
+ for(int j=i; j<dirt.length; j++)
+ if (dirt[j] != null)
+ dirtyRegions.dirty(dirt[j][0], dirt[j][1], dirt[j][2], dirt[j][3]);
+ return;
+ }
+ }
+ }
+
+ // FEATURE: reinstate recycler
+ public class Message implements Scheduler.Task {
+
+ private Box boxContainingMouse;
+ private Object value;
+ public String name;
+
+ Message(String name, Object value, Box boxContainingMouse) {
+ this.boxContainingMouse = boxContainingMouse;
+ this.name = name;
+ this.value = value;
+ Scheduler.add(this);
+ }
+
+ public void perform() {
+ if (name.equals("_KeyPressed")) {
+ String value = (String)this.value;
+ if (value.toLowerCase().endsWith("shift")) shift = true; else if (shift) value = value.toUpperCase();
+ if (value.toLowerCase().equals("alt")) alt = true; else if (alt) value = "A-" + value;
+ if (value.toLowerCase().endsWith("control")) control = true; else if (control) value = "C-" + value;
+ if (value.equals("C-v") || value.equals("A-v")) Platform.clipboardReadEnabled = true;
+ this.value = value;
+ } else if (name.equals("_KeyReleased")) {
+ String value = (String)this.value;
+ if (value.toLowerCase().equals("alt")) alt = false;
+ else if (value.toLowerCase().equals("control")) control = false;
+ else if (value.toLowerCase().equals("shift")) shift = false;
+ this.value = value;
+ } else if (name.equals("_HScroll") || name.equals("_VScroll")) {
+ // FIXME: technically points != pixels
+ if (value instanceof Integer)
+ value = new Float(((Integer)value).intValue() * root.fontSize());
+ }
+ try {
+ boxContainingMouse.putAndTriggerTrapsAndCatchExceptions(name, value);
+ } finally {
+ Platform.clipboardReadEnabled = false;
+ }
+ }
+ public String toString() { return "Message [name=" + name + ", value=" + value + "]"; }
+ }
+
+
+ // Default PixelBuffer implementation /////////////////////////////////////////////////////////
+
+ public static abstract class DoubleBufferedSurface extends Surface {
+
+ public DoubleBufferedSurface(Box root) { super(root); }
+ PixelBuffer backbuffer = Platform.createPixelBuffer(Platform.getScreenWidth(), Platform.getScreenHeight(), this);
+ DirtyList screenDirtyRegions = new DirtyList();
+
+ public void drawPicture(Picture source, int dx, int dy, int cx1, int cy1, int cx2, int cy2) {
+ screenDirtyRegions.dirty(cx1, cy1, cx2 - cx1, cy2 - cy1);
+ backbuffer.drawPicture(source, dx, dy, cx1, cy1, cx2, cy2);
+ }
+
+ public void drawGlyph(Font.Glyph source, int dx, int dy, int cx1, int cy1, int cx2, int cy2, int argb) {
+ screenDirtyRegions.dirty(cx1, cy1, cx2 - cx1, cy2 - cy1);
+ backbuffer.drawGlyph(source, dx, dy, cx1, cy1, cx2, cy2, argb);
+ }
+
+ public void fillTrapezoid(int x1, int x2, int y1, int x3, int x4, int y2, int color) {
+ screenDirtyRegions.dirty(Math.min(x1, x3), y1, Math.max(x2, x4) - Math.min(x1, x3), y2 - y1);
+ backbuffer.fillTrapezoid(x1, x2, y1, x3, x4, y2, color);
+ }
+
+ public void render() {
+ super.render();
+ if (abort) return;
+ int[][] dirt = screenDirtyRegions.flush();
+ for(int i = 0; dirt != null && i < dirt.length; i++) {
+ if (dirt[i] == null) continue;
+ int x = dirt[i][0];
+ int y = dirt[i][1];
+ int w = dirt[i][2];
+ int h = dirt[i][3];
+ if (x < 0) x = 0;
+ if (y < 0) y = 0;
+ if (x+w > root.width) w = root.width - x;
+ if (y+h > root.height) h = root.height - y;
+ if (w <= 0 || h <= 0) continue;
+ if (abort) return;
+ blit(backbuffer, x, y, x, y, w + x, h + y);
+ }
+ }
+
+ /** This is how subclasses signal a 'shallow dirty', indicating that although the backbuffer is valid, the screen is not */
+ public final void Dirty(int x, int y, int w, int h) {
+ screenDirtyRegions.dirty(x, y, w, h);
+ Scheduler.renderAll();
+ }
+
+ public void dirty(int x, int y, int w, int h) {
+ screenDirtyRegions.dirty(x, y, w, h);
+ super.dirty(x, y, w, h);
+ }
+
+ /** copies a region from the doublebuffer to this surface */
+ public abstract void blit(PixelBuffer source, int sx, int sy, int dx, int dy, int dx2, int dy2);
+
+ }
+
+}