Changeset 1051 for trunk/autoquest-plugin-jfc

Timestamp:

02/01/13 11:56:14 (12 years ago)

Author:

pharms

Message:

• renamed usageObserved to isUsed
• renamed markAsUsed to markUsed
• added markUsed to default GUI element interface

File:

• trunk/autoquest-plugin-jfc/src/main/java/de/ugoe/cs/autoquest/plugin/jfc/JFCSimplifiedLogParser.java (modified) (2 diffs)

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

@@ -405 +405 @@
                 for (Event event : unhandledEvents) {
                     event.setTarget(guiElement);
-                    guiElement.markAsUsed();
+                    guiElement.markUsed();
                     currentSequence.add(event);
                 }
@@ -440 +440 @@
                     event.setTimestamp(currentEventTimestamp);
                     JFCGUIElement currentEventTarget = (JFCGUIElement) event.getTarget();
-                    currentEventTarget.markAsUsed();
+                    currentEventTarget.markUsed();
 
                     currentSequence.add(event);