Changeset 413

Timestamp:

04/03/12 10:51:34 (12 years ago)

Author:

sherbold

Message:

• changed equals method of de.ugoe.cs.eventbench.windows.data.WindowsEvent? to be able to better identify equal widgets throughout multiple sessions. To this aim, the class de.ugoe.cs.eventbench.windows.data.MFCTargetComparator has been introduced to compare the target strings of WindowsEvents?.
• changed parseXML to set up the MFCTargetComparator

Location:

trunk/EventBenchConsole/src/de/ugoe/cs/eventbench/windows

Files:

• commands/CMDparseXML.java (modified) (2 diffs)
• data/MFCTargetComparator.java (added)
• data/WindowsEvent.java (modified) (2 diffs)

trunk/EventBenchConsole/src/de/ugoe/cs/eventbench/windows/commands/CMDparseXML.java

@@ -9 +9 @@
 import de.ugoe.cs.eventbench.data.GlobalDataContainer;
 import de.ugoe.cs.eventbench.windows.MFCLogParser;
+import de.ugoe.cs.eventbench.windows.data.MFCTargetComparator;
 import de.ugoe.cs.eventbench.windows.data.WindowTree;
 import de.ugoe.cs.eventbench.windows.data.WindowsEvent;
@@ -63 +64 @@
 
                 Collection<List<WindowsEvent>> sequences = parser.getSequences();
+                
+                Console.traceln("Pre-computing event target equalities.");
+                // compare all Events to a dummy event to make sure they are known by
+                // the MFCTargetComparator
+                WindowsEvent dummyEvent = new WindowsEvent("dummy");
+                for (List<WindowsEvent> sequence : sequences) {
+                        for (WindowsEvent event : sequence) {
+                                event.equals(dummyEvent);
+                        }
+                }
+                MFCTargetComparator.setMutable(false);
+                
                 SortedSet<String> targets = WindowTree.getInstance().getTargets();
 

trunk/EventBenchConsole/src/de/ugoe/cs/eventbench/windows/data/WindowsEvent.java

@@ -1 +1 @@
 package de.ugoe.cs.eventbench.windows.data;
+
+import java.io.ByteArrayInputStream;
+
+import javax.xml.parsers.DocumentBuilder;
+import javax.xml.parsers.DocumentBuilderFactory;
+
+import org.w3c.dom.Document;
+import org.w3c.dom.Element;
+import org.w3c.dom.NodeList;
 
 import de.ugoe.cs.eventbench.data.ReplayableEvent;
@@ -33 +42 @@
         }
 
+        @Override
+        protected boolean targetEquals(String otherTarget) {
+                return MFCTargetComparator.compare(target, otherTarget);
+        }
+        
+        int targetHash = 0;
+        
+        @Override
+        protected int targetHashCode() {
+                if( targetHash==0 ) {
+                        int multiplier = 17;
+                        if (target != null) {
+                                Document doc;
+                                try {
+                                        DocumentBuilder documentBuilder = DocumentBuilderFactory
+                                                        .newInstance().newDocumentBuilder();
+                                        doc = documentBuilder.parse(new ByteArrayInputStream(
+                                                        ("<dummy>" + target + "</dummy>").getBytes("UTF-8")));
+                                } catch (Exception e) {
+                                        e.printStackTrace();
+                                        return 0;
+                                }
+                                doc.getDocumentElement().normalize();
+                                NodeList widgets = doc.getElementsByTagName("window");
+
+                                for (int i = 0; i < widgets.getLength(); i++) {
+                                        Element currentWidget = (Element) widgets.item(i);
+                                        targetHash = targetHash* multiplier + widgetHashCode(currentWidget);
+                                }
+                        }
+                }
+                return targetHash;
+        }
+        
+        private int widgetHashCode(Element currentWidget) {
+                int hashCode = 0;
+                int multiplier = 41;
+                hashCode = hashCode * multiplier + currentWidget.getAttribute("class").hashCode();
+                hashCode = hashCode * multiplier + currentWidget.getAttribute("resourceId").hashCode();
+                hashCode = hashCode * multiplier + currentWidget.getAttribute("isModal").hashCode();
+                return hashCode;
+        }
 }