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

Timestamp:

02/14/13 15:20:07 (11 years ago)

Author:

pharms

Message:

• support of new HTML logging format

File:

• trunk/autoquest-plugin-html/src/main/java/de/ugoe/cs/autoquest/plugin/html/guimodel/HTMLDocument.java (moved) (moved from trunk/autoquest-plugin-html/src/main/java/de/ugoe/cs/autoquest/plugin/html/guimodel/HTMLPage.java) (7 diffs)

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

@@ -24 +24 @@
  * @author Patrick Harms
  */
-public class HTMLPage extends HTMLGUIElement implements IDialog {
+public class HTMLDocument extends HTMLGUIElement implements IDialog {
 
     /**  */
@@ -37 +37 @@
      * @param parent
      */
-    public HTMLPage(HTMLPageSpec specification, HTMLServer parent) {
+    public HTMLDocument(HTMLDocumentSpec specification, HTMLServer parent) {
         super(specification, parent);
     }
@@ -48 +48 @@
     @Override
     public String toString() {
-        return "Page(" + getPagePath() + ", \"" + getPageTitle() + "\")";
+        return "Document(" + getPath() + ", \"" + getTitle() + "\")";
     }
 
@@ -58 +58 @@
     @Override
     protected String getElementDescriptor() {
-        return "Page";
+        return "Document";
     }
 
@@ -69 +69 @@
      */
     HTMLServerSpec getServer() {
-        return ((HTMLPageSpec) super.getSpecification()).getServer();
+        return ((HTMLDocumentSpec) super.getSpecification()).getServer();
     }
 
@@ -79 +79 @@
      * @return
      */
-    String getPagePath() {
-        return ((HTMLPageSpec) super.getSpecification()).getPagePath();
+    String getPath() {
+        return ((HTMLDocumentSpec) super.getSpecification()).getPath();
     }
 
@@ -90 +90 @@
      * @return
      */
-    String getPageTitle() {
-        return ((HTMLPageSpec) super.getSpecification()).getPageTitle();
+    String getTitle() {
+        return ((HTMLDocumentSpec) super.getSpecification()).getTitle();
     }