Ignore:
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:
1 edited

Legend:

Unmodified
Added
Removed
  • trunk/autoquest-plugin-jfc/src/main/java/de/ugoe/cs/autoquest/plugin/jfc/JFCSimplifiedLogParser.java

    r1049 r1051  
    405405                for (Event event : unhandledEvents) { 
    406406                    event.setTarget(guiElement); 
    407                     guiElement.markAsUsed(); 
     407                    guiElement.markUsed(); 
    408408                    currentSequence.add(event); 
    409409                } 
     
    440440                    event.setTimestamp(currentEventTimestamp); 
    441441                    JFCGUIElement currentEventTarget = (JFCGUIElement) event.getTarget(); 
    442                     currentEventTarget.markAsUsed(); 
     442                    currentEventTarget.markUsed(); 
    443443 
    444444                    currentSequence.add(event); 
Note: See TracChangeset for help on using the changeset viewer.