Ignore:
Timestamp:
07/26/13 09:20:36 (11 years ago)
Author:
pharms
Message:
  • added some Java Docs
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  
    1919/** 
    2020 * <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. 
    2223 * </p> 
    2324 *  
     
    2627public class HTMLServer extends HTMLGUIElement implements IFrame { 
    2728 
    28     /**  */ 
     29    /** 
     30     * <p> 
     31     * default serial version UID 
     32     * </p> 
     33     */ 
    2934    private static final long serialVersionUID = 1L; 
    3035 
    3136    /** 
    3237     * <p> 
    33      * TODO: comment 
     38     * instantiates the server with an appropriate specification 
    3439     * </p> 
    3540     * 
    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 
    3846     */ 
    3947    public HTMLServer(HTMLServerSpec specification, HTMLGUIElement parent) { 
     
    5866    /** 
    5967     * <p> 
    60      * TODO: comment 
     68     * returns the host of the represented server 
    6169     * </p> 
    6270     * 
    63      * @return 
     71     * @return the host 
    6472     */ 
    6573    public String getHost() { 
     
    6977    /** 
    7078     * <p> 
    71      * TODO: comment 
     79     * returns the port of the represented server 
    7280     * </p> 
    7381     * 
    74      * @return 
     82     * @return the port 
    7583     */ 
    7684    public int getPort() { 
Note: See TracChangeset for help on using the changeset viewer.