Changeset 1436 for trunk/autoquest-plugin-html/src/main/java/de/ugoe/cs/autoquest/plugin/html/guimodel/HTMLPageElementSpec.java
- Timestamp:
- 03/06/14 10:30:03 (10 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
trunk/autoquest-plugin-html/src/main/java/de/ugoe/cs/autoquest/plugin/html/guimodel/HTMLPageElementSpec.java
r1276 r1436 83 83 */ 84 84 public HTMLPageElementSpec(HTMLDocumentSpec page, String tagName, String htmlId, int index) { 85 super(tagName); 85 super(tagName, (page != null ? page.hashCode() : 0) + 86 (tagName != null ? tagName.hashCode() : 0) + 87 (htmlId != null ? htmlId.hashCode() : 0) + (index >= 0 ? index : 0)); 86 88 87 89 if (page == null) {
Note: See TracChangeset
for help on using the changeset viewer.