Changeset 1059 for trunk/autoquest-plugin-html/src/main/java/de/ugoe/cs/autoquest/plugin/html/guimodel
- Timestamp:
- 02/05/13 14:17:26 (11 years ago)
- Location:
- trunk/autoquest-plugin-html/src/main/java/de/ugoe/cs/autoquest/plugin/html/guimodel
- Files:
-
- 3 edited
Legend:
- Unmodified
- Added
- Removed
-
trunk/autoquest-plugin-html/src/main/java/de/ugoe/cs/autoquest/plugin/html/guimodel/HTMLPageElementSpec.java
r961 r1059 106 106 * @return 107 107 */ 108 HTMLPageSpec getPage() {108 public HTMLPageSpec getPage() { 109 109 return page; 110 110 } -
trunk/autoquest-plugin-html/src/main/java/de/ugoe/cs/autoquest/plugin/html/guimodel/HTMLPageSpec.java
r961 r1059 58 58 throw new IllegalArgumentException("pagePath must not be null"); 59 59 } 60 else if (pageTitle == null) {61 throw new IllegalArgumentException("pageTitle must not be null");62 }60 // else if (pageTitle == null) { 61 // throw new IllegalArgumentException("pageTitle must not be null"); 62 // } 63 63 64 64 this.server = server; … … 134 134 * @return 135 135 */ 136 String getPagePath() {136 public String getPagePath() { 137 137 return pagePath; 138 138 } -
trunk/autoquest-plugin-html/src/main/java/de/ugoe/cs/autoquest/plugin/html/guimodel/HTMLServerSpec.java
r961 r1059 45 45 * @param port 46 46 */ 47 HTMLServerSpec(String host, int port) {47 public HTMLServerSpec(String host, int port) { 48 48 super("server"); 49 49 … … 67 67 * @param pageURL 68 68 */ 69 HTMLServerSpec(URL pageURL) {69 public HTMLServerSpec(URL pageURL) { 70 70 super("server"); 71 71
Note: See TracChangeset
for help on using the changeset viewer.