Ignore:
Timestamp:
12/05/12 12:54:01 (12 years ago)
Author:
fglaser
Message:
  • MFCLogParser and its components updated to work with generalized GUIElementTree
  • NOTE THAT GUIElementTree ADDS ALL COMPONENTS TO GUIModel NOT ONLY THE USED ONES (compare MFCWindowTree).
  • guimapping-MFC-Dummy.txt added to cover newly discovered classes (needs to be updated).
File:
1 edited

Legend:

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

    r940 r1006  
    3434import de.ugoe.cs.autoquest.eventcore.Event; 
    3535import de.ugoe.cs.autoquest.eventcore.IEventType; 
     36import de.ugoe.cs.autoquest.eventcore.guimodel.GUIElementTree; 
    3637import de.ugoe.cs.autoquest.plugin.mfc.EventGenerationRule.Term; 
    3738import de.ugoe.cs.autoquest.plugin.mfc.eventcore.MFCEventTypeFactory; 
     
    4041import de.ugoe.cs.autoquest.plugin.mfc.eventcore.WindowsMessageType; 
    4142import de.ugoe.cs.autoquest.plugin.mfc.guimodel.MFCGUIElement; 
    42 import de.ugoe.cs.autoquest.plugin.mfc.guimodel.MFCWindowTree; 
    4343import de.ugoe.cs.util.console.Console; 
    4444 
     
    121121    /** 
    122122     * <p> 
    123      * reference to the window tree created during parsing 
    124      * </p> 
    125      */ 
    126     private MFCWindowTree windowTree; 
     123     * reference to the gui element tree created during parsing 
     124     * </p> 
     125     */ 
     126    private GUIElementTree guiElementTree; 
    127127 
    128128    /** 
     
    131131     * </p> 
    132132     */ 
    133     public EventGenerator(MFCWindowTree windowTree) { 
     133    public EventGenerator(GUIElementTree guiElementTree) { 
    134134        rulesFile = "data/rules.xml"; 
    135         this.windowTree = windowTree; 
     135        this.guiElementTree = guiElementTree; 
    136136    } 
    137137 
     
    477477                String storeParam = resolveElement.getStoreParameterName(); 
    478478                long paramHwnd = (Long) currentMessage.getParameter(param); 
    479                 MFCGUIElement guiElement = windowTree.find(paramHwnd); 
     479                MFCGUIElement guiElement = (MFCGUIElement) guiElementTree.find(paramHwnd); 
    480480                if (guiElement != null) { 
    481481                    currentMessage.addParameter(storeParam, "" + guiElement.toXML()); 
Note: See TracChangeset for help on using the changeset viewer.