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

Timestamp:

07/25/13 14:53:22 (11 years ago)

Author:

pharms

Message:

• improved logging

File:

• trunk/autoquest-plugin-html/src/main/java/de/ugoe/cs/autoquest/plugin/html/guimodel/HTMLDocument.java (modified) (2 diffs)

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

@@ -41 +41 @@
     }
 
-    /*
-     * (non-Javadoc)
-     * 
-     * @see java.lang.Object#toString()
+    /**
+     * <p>
+     * TODO: comment
+     * </p>
+     *
+     * @return
      */
-    @Override
-    public String toString() {
-        return "Document(" + getPath() + ", \"" + getTitle() + "\")";
+    public String getPath() {
+        return ((HTMLDocumentSpec) super.getSpecification()).getPath();
     }
 
@@ -79 +80 @@
      * @return
      */
-    String getPath() {
-        return ((HTMLDocumentSpec) super.getSpecification()).getPath();
-    }
-
-    /**
-     * <p>
-     * TODO: comment
-     * </p>
-     *
-     * @return
-     */
     String getTitle() {
         return ((HTMLDocumentSpec) super.getSpecification()).getTitle();