Changeset 965 for trunk


Ignore:
Timestamp:
11/07/12 11:59:49 (12 years ago)
Author:
fglaser
Message:
  • Corrected bug in JFCSimplifiedLogParser and JFCComponentTree, which were using Long instead of Integers as hashCodes
Location:
trunk/autoquest-plugin-jfc/src/main/java/de/ugoe/cs/autoquest/plugin/jfc
Files:
2 edited

Legend:

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

    r963 r965  
    7878     * </p> 
    7979     */ 
    80     private Long currentComponentHash; 
     80    private Integer currentComponentHash; 
    8181     
    8282    /** 
     
    8686     * </p> 
    8787     */ 
    88     private Long currentParentHash; 
     88    private Integer currentParentHash; 
    8989     
    9090    /** 
     
    9393     * </p> 
    9494     */ 
    95     private Long currentEventSource; 
     95    private Integer currentEventSource; 
    9696      
    9797    /** 
     
    312312        } 
    313313        else if (qName.equals("component")) { 
    314                 currentComponentHash = Long.parseLong(atts.getValue("hash"), 16); 
     314                currentComponentHash = (int) Long.parseLong(atts.getValue("hash"), 16); 
    315315                currentGuiElementSpec = new JFCGUIElementSpec(); 
    316316                currentGuiElementSpec.setElementHash((int) currentComponentHash.longValue()); 
     
    324324        } 
    325325        else if (qName.equals("componentNameChange")) { 
    326                 Long sourceHash = Long.parseLong(atts.getValue("hash"), 16); 
     326                int sourceHash = (int) Long.parseLong(atts.getValue("hash"), 16); 
    327327                String newName = atts.getValue("newName"); 
    328328                int titleSource = Integer.parseInt(atts.getValue("titleSource")); 
     
    334334                if (currentEventId != null){ 
    335335                        if ("source".equals(atts.getValue("name"))){ 
    336                                 currentEventSource = Long.parseLong(atts.getValue("value"), 16); 
     336                                currentEventSource = (int) Long.parseLong(atts.getValue("value"), 16); 
    337337                        } 
    338338                currentEventParameters.put(atts.getValue("name"), atts.getValue("value")); 
     
    351351                        } 
    352352                        else if ("parent".equals(atts.getValue("name"))) { 
    353                                 currentParentHash = Long.parseLong(atts.getValue("value"), 16); 
     353                                currentParentHash = (int) Long.parseLong(atts.getValue("value"), 16); 
    354354                        } 
    355355            } 
     
    378378        } 
    379379        else if (qName.equals("component") && currentComponentHash != null) { 
    380                 currentComponentTree.add(currentParentHash, currentComponentHash, currentGuiElementSpec); 
     380                currentComponentTree.add(currentComponentHash, currentParentHash, currentGuiElementSpec); 
    381381                // do something with the ancestor list here 
    382382                 
  • trunk/autoquest-plugin-jfc/src/main/java/de/ugoe/cs/autoquest/plugin/jfc/guimodel/JFCComponentTree.java

    r963 r965  
    1717import java.util.ArrayList; 
    1818import java.util.HashMap; 
    19 import java.util.HashSet; 
    2019import java.util.List; 
    2120import java.util.Map; 
    22 import java.util.Set; 
    2321 
    2422import de.ugoe.cs.autoquest.eventcore.guimodel.GUIElementFactory; 
     
    4846     * </p> 
    4947     */ 
    50     private Map<Long, JFCGUIElementSpec> guiElementSpecs; 
     48    private Map<Integer, JFCGUIElementSpec> guiElementSpecs; 
    5149 
    5250    /** 
     
    5654     * </p> 
    5755     */ 
    58     private Map<Long, List<JFCGUIElementSpec>> childRelations; 
     56    private Map<Integer, List<JFCGUIElementSpec>> childRelations; 
    5957 
    6058    /** 
     
    6462     * </p> 
    6563     */ 
    66     private Map<Long, JFCGUIElementSpec> parentRelations; 
     64    private Map<Integer, JFCGUIElementSpec> parentRelations; 
    6765 
    6866    /** 
     
    8684     * </p> 
    8785     */ 
    88     private Map<Long, JFCGUIElement> guiElements; 
     86    private Map<Integer, JFCGUIElement> guiElements; 
    8987 
    9088    /** 
     
    9492     */ 
    9593    public JFCComponentTree() { 
    96         guiElementSpecs = new HashMap<Long, JFCGUIElementSpec>(); 
    97         childRelations = new HashMap<Long, List<JFCGUIElementSpec>>(); 
    98         parentRelations = new HashMap<Long, JFCGUIElementSpec>(); 
    99         guiElements = new HashMap<Long, JFCGUIElement>(); 
     94        guiElementSpecs = new HashMap<Integer, JFCGUIElementSpec>(); 
     95        childRelations = new HashMap<Integer, List<JFCGUIElementSpec>>(); 
     96        parentRelations = new HashMap<Integer, JFCGUIElementSpec>(); 
     97        guiElements = new HashMap<Integer, JFCGUIElement>(); 
    10098    } 
    10199 
     
    105103     * </p> 
    106104     *  
     105     * @param componentHash 
     106     *            hash of the window to be created 
    107107     * @param parentHash 
    108108     *            hash of the parent window 
    109      * @param componentHash 
    110      *            hash of the window to be created 
    111109     * @param componentSpec 
    112110     *                    the component specification 
    113111     */ 
    114     public void add(Long parentHash, 
    115                     Long componentHash, 
     112    public void add(Integer componentHash, 
     113                                Integer parentHash, 
    116114                    JFCGUIElementSpec componentSpec) 
    117115    { 
     
    162160     * @return {@link JFCGUIElementSpec} of the window with the given hash if found, null otherwise 
    163161     */ 
    164     public JFCGUIElement find(long hash) { 
     162    public JFCGUIElement find(int hash) { 
    165163        JFCGUIElement guiElement = guiElements.get(hash); 
    166164        if (guiElement == null) { 
     
    200198     *            new name of the GUI element 
    201199     */ 
    202     public void setName(long hash, String windowName) { 
     200    public void setName(int hash, String windowName) { 
    203201        JFCGUIElementSpec child = guiElementSpecs.get(hash); 
    204202        if (child != null) { 
Note: See TracChangeset for help on using the changeset viewer.