Changeset 1496 for trunk/autoquest-plugin-html/src/main/java/de/ugoe/cs/autoquest/plugin/html/guimodel/HTMLPageElement.java

Timestamp:

04/11/14 12:12:52 (10 years ago)

Author:

pharms

Message:

• adapted parsing of HTML files to have more power in specifying replacements

File:

• trunk/autoquest-plugin-html/src/main/java/de/ugoe/cs/autoquest/plugin/html/guimodel/HTMLPageElement.java (modified) (1 diff)

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

@@ -90 +90 @@
         }
         else if (otherElement instanceof HTMLPageElement) {
-            if (this == otherElement) {
+            if (equals(otherElement)) {
                 return DISTANCE_NONE;
             }