- Timestamp:
- 07/25/13 14:55:02 (11 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
trunk/autoquest-plugin-html/src/main/java/de/ugoe/cs/autoquest/plugin/html/HTMLLogParser.java
r1232 r1266 126 126 ((HTMLDocumentSpec) document.getSpecification(), tagName, 127 127 parameters.get("htmlid"), index); 128 128 129 } 129 130 else if (parentId == null) { … … 284 285 */ 285 286 private boolean tagNameMustBeConsidered(String tagName) { 287 if (!tagName.startsWith("input_")) { 288 for (int i = 0; i < tagName.length(); i++) { 289 // all known HTML tags are either letters or digits, but nothing else. Any GUI model 290 // containing something different is proprietary and, therefore, ignored. 291 if (!Character.isLetterOrDigit(tagName.charAt(i))) { 292 return false; 293 } 294 } 295 } 296 286 297 return 287 298 !"head".equals(tagName) && !"title".equals(tagName) && !"script".equals(tagName) && … … 290 301 !"option".equals(tagName) && !"tt".equals(tagName) && !"br".equals(tagName) && 291 302 !"colgroup".equals(tagName) && !"col".equals(tagName) && !"hr".equals(tagName) && 292 !"param".equals(tagName) ;303 !"param".equals(tagName) && !"sfmsg".equals(tagName); 293 304 294 305 }
Note: See TracChangeset
for help on using the changeset viewer.