Changeset 1266

Timestamp:

07/25/13 14:55:02 (11 years ago)

Author:

pharms

Message:

• improved check for ignored GUI elements

File:

• trunk/autoquest-plugin-html/src/main/java/de/ugoe/cs/autoquest/plugin/html/HTMLLogParser.java (modified) (3 diffs)

trunk/autoquest-plugin-html/src/main/java/de/ugoe/cs/autoquest/plugin/html/HTMLLogParser.java

@@ -126 +126 @@
                     ((HTMLDocumentSpec) document.getSpecification(), tagName,
                      parameters.get("htmlid"), index);
+                
             }
             else if (parentId == null) {
@@ -284 +285 @@
      */
     private boolean tagNameMustBeConsidered(String tagName) {
+        if (!tagName.startsWith("input_")) {
+            for (int i = 0; i < tagName.length(); i++) {
+                // all known HTML tags are either letters or digits, but nothing else. Any GUI model
+                // containing something different is proprietary and, therefore, ignored.
+                if (!Character.isLetterOrDigit(tagName.charAt(i))) {
+                    return false;
+                }
+            }
+        }
+        
         return
             !"head".equals(tagName) && !"title".equals(tagName) && !"script".equals(tagName) &&
@@ -290 +301 @@
             !"option".equals(tagName) && !"tt".equals(tagName) && !"br".equals(tagName) &&
             !"colgroup".equals(tagName) && !"col".equals(tagName) && !"hr".equals(tagName) &&
-            !"param".equals(tagName);
+            !"param".equals(tagName) && !"sfmsg".equals(tagName);
 
     }