Changeset 1276 for trunk/autoquest-plugin-html/src/main/java/de/ugoe/cs/autoquest/plugin/html/guimodel/HTMLServerSpec.java
- Timestamp:
- 07/26/13 09:20:36 (11 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
trunk/autoquest-plugin-html/src/main/java/de/ugoe/cs/autoquest/plugin/html/guimodel/HTMLServerSpec.java
r1264 r1276 19 19 /** 20 20 * <p> 21 * TODO comment 21 * a GUI element specification of an HTML server. This is the root element for a GUI model of 22 * an HTML web site. It is identified through a host and a port. Its children are documents. 22 23 * </p> 23 24 * … … 26 27 public class HTMLServerSpec extends HTMLGUIElementSpec implements IGUIElementSpec { 27 28 28 /** */ 29 /** 30 * <p> 31 * default serial version UID 32 * </p> 33 */ 29 34 private static final long serialVersionUID = 1L; 30 35 31 /** */ 36 /** 37 * <p> 38 * the host of the server 39 * </p> 40 */ 32 41 private String host; 33 42 34 /** */ 43 /** 44 * <p> 45 * the port of the server 46 * </p> 47 */ 35 48 private int port; 36 49 37 50 /** 38 51 * <p> 39 * TODO: comment52 * initialize the server specification with a host and a port. 40 53 * </p> 41 54 * 42 * @param serverName 43 * @param port 55 * @param host the host name of the server 56 * @param port the port number of the server 57 * 58 * @throws IllegalArgumentException if one of the parameters is invalid (e.g. host = null) 44 59 */ 45 60 public HTMLServerSpec(String host, int port) { … … 97 112 /** 98 113 * <p> 99 * TODO: comment114 * returns the host of the represented server 100 115 * </p> 101 116 * 102 * @return 117 * @return the host 103 118 */ 104 119 String getHost() { … … 108 123 /** 109 124 * <p> 110 * TODO: comment125 * returns the port of the represented server 111 126 * </p> 112 127 * 113 * @return 128 * @return the port 114 129 */ 115 130 int getPort() {
Note: See TracChangeset
for help on using the changeset viewer.