Changeset 1432 for trunk

Timestamp:

03/04/14 12:11:14 (11 years ago)

Author:

pharms

Message:

• corrected time stamp handling

Location:

trunk

Files:

• autoquest-core-events/src/main/java/de/ugoe/cs/autoquest/eventcore/gui/KeyInteractionTargetCorrector.java (modified) (2 diffs)
• autoquest-ui-core/src/main/java/de/ugoe/cs/autoquest/commands/sequences/CMDcorrectTabKeyNavigationOrder.java (modified) (1 diff)

trunk/autoquest-core-events/src/main/java/de/ugoe/cs/autoquest/eventcore/gui/KeyInteractionTargetCorrector.java

@@ -52 +52 @@
         
         for (Event event : sequence) {
+            Event nextEvent = event;
             if (event.getTarget() instanceof IGUIElement) {
                 if (event.getType() instanceof KeyboardFocusChange) {
                     currentKeyboardFocusGUIElement = (IGUIElement) event.getTarget();
-                    event = null;
+                    nextEvent = null;
                 }
                 else if (event.getType() instanceof KeyInteraction) {
@@ -63 +64 @@
                     
                     if (!currentKeyboardFocusGUIElement.equals(event.getTarget())) {
-                        event = new Event(event.getType(), currentKeyboardFocusGUIElement);
+                        nextEvent = new Event(event.getType(), currentKeyboardFocusGUIElement);
+                        nextEvent.setTimestamp(event.getTimestamp());
+                        
+                        // TODO copy event parameters
                     }
                 }
             }
             
-            if (event != null) {
-                resultingSequence.add(event);
+            if (nextEvent != null) {
+                resultingSequence.add(nextEvent);
             }
         }

trunk/autoquest-ui-core/src/main/java/de/ugoe/cs/autoquest/commands/sequences/CMDcorrectTabKeyNavigationOrder.java

@@ -119 +119 @@
         while (index < sequence.size()) {
             if (mustCorrectTabKeyNavigationOrder(sequence, index)) {
-                result.add(sequence.get(index + 1));
-                result.add(sequence.get(index));
+                Event event1 = sequence.get(index);
+                Event event2 = sequence.get(index + 1);
+                
+                // switch timestamps
+                long timestamp1 = event1.getTimestamp();
+                event1.setTimestamp(event2.getTimestamp());
+                event2.setTimestamp(timestamp1);
+                
+                // change order of events
+                result.add(event2);
+                result.add(event1);
+                
                 index += 2;
             }