Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
Make *sleep methods public.
[graphlib_java.git] / DrawingWindow.java
index b73cf7e..1b93c57 100644 (file)
@@ -5,10 +5,13 @@ import java.awt.Color;
 import java.awt.Dimension;
 import java.awt.Graphics2D;
 import java.awt.Graphics;
+import java.awt.Point;
 import java.awt.Polygon;
 import java.awt.Toolkit;
 import java.awt.event.KeyAdapter;
 import java.awt.event.KeyEvent;
+import java.awt.event.MouseAdapter;
+import java.awt.event.MouseEvent;
 import java.awt.event.WindowAdapter;
 import java.awt.event.WindowEvent;
 import java.awt.image.BufferedImage;
@@ -31,7 +34,7 @@ import javax.swing.JPanel;
  * possible de fermer la fenêtre via le gestionnaire de fenêtres.
  *
  * @author Arnaud Giersch <arnaud.giersch@univ-fcomte.fr>
- * @version 20141014
+ * @version 20141021
  */
 public class DrawingWindow {
 
@@ -57,6 +60,11 @@ public class DrawingWindow {
         this.width = width;
         this.height = height;
 
+        mouseLock = new Object();
+        mouseEvent = null;
+        mousePos = new Point(0, 0);
+        mouseButton = 0;
+
         image = new BufferedImage(width, height, BufferedImage.TYPE_INT_ARGB);
         graphics = image.createGraphics();
 
@@ -155,7 +163,7 @@ public class DrawingWindow {
      * @see #setBgColor(String)
      * @see #setBgColor(float, float, float)
      * @see #setColor(Color)
-     * @see #clearGraph()
+     * @see #clearGraph
      */
     public void setBgColor(Color color) {
         bgColor = color;
@@ -169,7 +177,7 @@ public class DrawingWindow {
      * @see #setBgColor(float, float, float)
      * @see #setColor(int)
      * @see #getPointColor
-     * @see #clearGraph()
+     * @see #clearGraph
      */
     public void setBgColor(int rgb) {
         setBgColor(new Color(rgb));
@@ -183,7 +191,7 @@ public class DrawingWindow {
      * @see #setBgColor(int)
      * @see #setBgColor(float, float, float)
      * @see #setColor(String)
-     * @see #clearGraph()
+     * @see #clearGraph
      * @see <a href="http://www.w3.org/TR/SVG/types.html#ColorKeywords">liste des noms de couleurs</a>
      */
     public void setBgColor(String name) {
@@ -203,7 +211,7 @@ public class DrawingWindow {
      * @see #setBgColor(int)
      * @see #setBgColor(String)
      * @see #setColor(float, float, float)
-     * @see #clearGraph()
+     * @see #clearGraph
      */
     public void setBgColor(float red, float green, float blue) {
         setBgColor(new Color(red, green, blue));
@@ -399,6 +407,86 @@ public class DrawingWindow {
         return image.getRGB(x, y);
     }
 
+    /**
+     * Attend l'appui sur un des boutons de la souris.
+     *
+     * @return vrai (true) si un bouton a été pressé
+     *
+     * @see #waitMousePress(long)
+     * @see #getMouseX
+     * @see #getMouseY
+     * @see #getMouseButton
+     */
+    public boolean waitMousePress() {
+        return waitMousePress(-1);
+    }
+
+    /**
+     * Attend l'appui sur un des boutons de la souris.
+     *
+     * @param timeout   temps maximal d'attente (millisecondes)
+     *
+     * @return vrai (true) si un bouton a été pressé
+     *
+     * @see #waitMousePress()
+     * @see #getMouseX
+     * @see #getMouseY
+     * @see #getMouseButton
+     */
+    public boolean waitMousePress(long timeout) {
+        boolean result = false;
+        synchronized (mouseLock) {
+            if (timeout != 0) {
+                mouseEvent = null;
+                try {
+                    if (timeout > 0)
+                        mouseLock.wait(timeout);
+                    else // (timeout < 0)
+                        mouseLock.wait();
+                }
+                catch (InterruptedException e) {
+                }
+            }
+            if (mouseEvent != null) {
+                mousePos.setLocation(mouseEvent.getPoint());
+                mouseButton = mouseEvent.getButton();
+                mouseEvent = null;
+                result = true;
+            }
+        }
+        return result;
+    }
+
+    /**
+     * Retourne la position (x) de la souris la dernière fois qu'un
+     * bouton a été pressé pendant l'appel à {@link #waitMousePress()}.
+     *
+     * @return position (x)
+     */
+    public int getMouseX() {
+        return mousePos.x;
+    }
+
+    /**
+     * Retourne la position (y) de la souris la dernière fois qu'un
+     * bouton a été pressé pendant l'appel à {@link #waitMousePress()}.
+     *
+     * @return position (y)
+     */
+    public int getMouseY() {
+        return mousePos.y;
+    }
+
+    /**
+     * Retourne le numéro du bouton de la souris pressé pendant
+     * le dernier appel à {@link #waitMousePress()}.
+     *
+     * @return numéro de bouton (1: gauche, 2: milieu, 3: droit)
+     */
+    public int getMouseButton() {
+        return mouseButton;
+    }
+
     /**
      * Synchronise le contenu de la fenêtre.
      *
@@ -438,8 +526,11 @@ public class DrawingWindow {
      * Suspend l'exécution pendant un certain temps.
      *
      * @param secs          temps d'attente en seconde
+     *
+     * @see #msleep
+     * @see #usleep
      */
-    static void sleep(long secs) {
+    public static void sleep(long secs) {
         try {
             Thread.sleep(secs * 1000);
         }
@@ -451,8 +542,11 @@ public class DrawingWindow {
      * Suspend l'exécution pendant un certain temps.
      *
      * @param msecs          temps d'attente en millisecondes
+     *
+     * @see #sleep
+     * @see #usleep
      */
-    static void msleep(long msecs) {
+    public static void msleep(long msecs) {
         try {
             Thread.sleep(msecs);
         }
@@ -464,8 +558,11 @@ public class DrawingWindow {
      * Suspend l'exécution pendant un certain temps.
      *
      * @param usecs          temps d'attente en microsecondes
+     *
+     * @see #sleep
+     * @see #msleep
      */
-    static void usleep(long usecs) {
+    public static void usleep(long usecs) {
         try {
             Thread.sleep(usecs / 1000, (int)(usecs % 1000) * 1000);
         }
@@ -640,6 +737,10 @@ public class DrawingWindow {
     private Graphics2D graphics; // graphics associated with image
     private Color bgColor;       // background color, for clearGraph()
     private boolean isClosed;    // is the window closed ?
+    private Object mouseLock;       // lock for mouse events
+    private MouseEvent mouseEvent;  // last mouse event
+    private Point mousePos;         // last mouse position
+    private int mouseButton;        // last mouse click
 
     // To be run on the Event Dispatching Thread
     void createGUI() {
@@ -651,6 +752,7 @@ public class DrawingWindow {
         frame.setDefaultCloseOperation(JFrame.DISPOSE_ON_CLOSE);
         frame.addWindowListener(new DWWindowHandler());
         frame.addKeyListener(new DWKeyHandler());
+        panel.addMouseListener(new DWMouseHandler());
         frame.setLocationByPlatform(true);
         frame.setVisible(true);
     }
@@ -685,6 +787,16 @@ public class DrawingWindow {
         }
     }
 
+    private class DWMouseHandler extends MouseAdapter {
+        public void mousePressed(MouseEvent ev) {
+            DrawingWindow w = DrawingWindow.this;
+            synchronized (w.mouseLock) {
+                w.mouseEvent = ev;
+                mouseLock.notifyAll();
+            }
+        }
+    }
+
     private class DWPanel extends JPanel {
         DWPanel() {
             DrawingWindow w = DrawingWindow.this;