Changeset 1714 for trunk

Timestamp:

09/02/14 15:46:57 (10 years ago)

Author:

dmay

Message:

rudimentary mouse drag support, this seems to require a lot of pixel precision that is not there currently

File:

• trunk/autoquest-plugin-jfc/src/main/java/de/ugoe/cs/autoquest/plugin/jfc/commands/CMDgenerateJacaretoReplay.java (modified) (6 diffs)

trunk/autoquest-plugin-jfc/src/main/java/de/ugoe/cs/autoquest/plugin/jfc/commands/CMDgenerateJacaretoReplay.java

@@ -46 +46 @@
 
     public StructureNode(String type) {
-        content = "<StructureElement class=\"jacareto.struct." + type + "\">";
+        setContent(type);
         children = new ArrayList<StructureNode>();
     }
@@ -53 +53 @@
         content = "<Recordable ref=\"" + (nextRef++) + "\" />";
         children = new ArrayList<StructureNode>();
+    }
+
+    public void setContent(String type) {
+        content = "<StructureElement class=\"jacareto.struct." + type + "\">";
     }
 
@@ -224 +228 @@
                 Event event = eventIter.next();
 
+                System.out.println(event.getType());
+                System.out.println(event.getTarget());
+                System.out.println("---");
+
                 if (event.getType() instanceof MouseButtonDown) {
                     lastKeySequenceEvent = null;
+                    checkIfMouseDragged();
 
                     lastMouseClickEvent = new StructureNode("MouseClick");
@@ -255 +264 @@
 
                         lastFocusChangeEvent = null;
+                        lastMouseClickEvent = null;
                     }
                 }
@@ -263 +273 @@
                 }
                 else if (event.getType() instanceof KeyPressed) {
+                    checkIfMouseDragged();
+
                     if (lastKeySequenceEvent == null) {
                         lastKeySequenceEvent = structure.add("KeySequence");
@@ -270 +282 @@
                 }
                 else if (event.getType() instanceof KeyReleased) {
+                    checkIfMouseDragged();
+
                     writeKeyEvent(writer, event, 402);
                 }
             }
+        }
+    }
+
+    private void checkIfMouseDragged() {
+        if (lastMouseClickEvent != null) {
+            // this was not really a click, just a drag
+            lastMouseClickEvent.setContent("MouseDrag");
+            structure.children.add(lastMouseClickEvent);
+            lastMouseClickEvent = null;
         }
     }