Changeset 1276 for trunk/autoquest-plugin-html/src/main/java/de/ugoe/cs/autoquest/plugin/html/guimodel/HTMLServer.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/HTMLServer.java
r1264 r1276 19 19 /** 20 20 * <p> 21 * TODO comment 21 * a GUI element representing 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 HTMLServer extends HTMLGUIElement implements IFrame { 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 /** 32 37 * <p> 33 * TODO: comment38 * instantiates the server with an appropriate specification 34 39 * </p> 35 40 * 36 * @param specification 37 * @param parent 41 * @param specification the server specification 42 * @param parent the parent of the server --> must always be null. Just included as 43 * required by the automatic instantiation mechanism 44 * 45 * @throws IllegalArgumentException if the provided parent is not null 38 46 */ 39 47 public HTMLServer(HTMLServerSpec specification, HTMLGUIElement parent) { … … 58 66 /** 59 67 * <p> 60 * TODO: comment68 * returns the host of the represented server 61 69 * </p> 62 70 * 63 * @return 71 * @return the host 64 72 */ 65 73 public String getHost() { … … 69 77 /** 70 78 * <p> 71 * TODO: comment79 * returns the port of the represented server 72 80 * </p> 73 81 * 74 * @return 82 * @return the port 75 83 */ 76 84 public int getPort() {
Note: See TracChangeset
for help on using the changeset viewer.