Ignore:
Timestamp:
12/14/12 16:16:16 (12 years ago)
Author:
pharms
Message:
  • removed todos
Location:
trunk/autoquest-htmlmonitor/src/main/java/de/ugoe/cs/autoquest/htmlmonitor
Files:
4 edited

Legend:

Unmodified
Added
Removed
  • trunk/autoquest-htmlmonitor/src/main/java/de/ugoe/cs/autoquest/htmlmonitor/HtmlMonitorMessageListener.java

    r1019 r1022  
    3131     * </p> 
    3232     * 
    33      * @param clientInfos infos about the client that send the events 
    34      * @param TODO comment 
    35      * @param events      the received events 
     33     * @param clientInfos  infos about the client that send the events 
     34     * @param guiStructure infos about the structure of the web page that was observed 
     35     * @param events       the received events 
    3636     */ 
    3737    void handleMessage(HtmlClientInfos clientInfos, 
  • trunk/autoquest-htmlmonitor/src/main/java/de/ugoe/cs/autoquest/htmlmonitor/HtmlMonitorOutputWriter.java

    r1019 r1022  
    208208    /** 
    209209     * <p> 
    210      * TODO: comment 
    211      * </p> 
    212      * 
    213      * @param guiStructure 
     210     * dumps the GUI structure provided by the parameter into the log file. Calls itself 
     211     * recursively to traverse the GUI structure. 
     212     * </p> 
     213     * 
     214     * @param guiStructure the GUI structure to be logged 
    214215     */ 
    215216    private void dumpGuiStructure(HtmlPageElement guiStructure) { 
     
    267268    /** 
    268269     * <p> 
    269      * TODO: comment 
    270      * </p> 
    271      * 
    272      * @param string 
    273      * @param integer 
     270     * dumps a parameter with the given name and value to the log file. The result is a 
     271     * tag named param with a name attribute and a value attribute. The value is transformed 
     272     * to a String if it is no String already. Furthermore, an XML entity replacement is performed 
     273     * if required. 
     274     * </p> 
     275     * 
     276     * @param name  the name of the parameter to be dumped 
     277     * @param value the value of the parameter to be dumped 
    274278     */ 
    275279    private void dumpParam(String name, Object value) { 
  • trunk/autoquest-htmlmonitor/src/main/java/de/ugoe/cs/autoquest/htmlmonitor/HtmlMonitorServlet.java

    r1019 r1022  
    333333    /** 
    334334     * <p> 
    335      * TODO: comment 
    336      * </p> 
    337      * 
    338      * @param message 
    339      * @param clientInfos 
    340      * @return 
     335     * extracts the GUI structure from the provided JSON object. 
     336     * </p> 
     337     * 
     338     * @param object      the JSON object to extract the GUI structure from 
     339     * @param clientInfos infos about the client who send the data 
     340     *  
     341     * @return the GUI structure extracted from the JSON object of which the root node is a 
     342     *         representation of the server of the HTML page that was observed  
    341343     */ 
    342344    private HtmlPageElement extractHtmlPageElements(JSONObject      object, 
     
    354356    /** 
    355357     * <p> 
    356      * TODO: comment 
    357      * </p> 
    358      * 
    359      * @param clientInfos 
    360      * @return 
     358     * instantiates an element of the GUI structure representing the server of the observed 
     359     * web page 
     360     * </p> 
     361     * 
     362     * @param clientInfos infos about the client who send the data 
     363     *  
     364     * @return as described 
    361365     */ 
    362366    private HtmlPageElement getServerElement(HtmlClientInfos clientInfos) { 
     
    371375    /** 
    372376     * <p> 
    373      * TODO: comment 
    374      * </p> 
    375      * 
    376      * @param clientInfos 
     377     * instantiates an element of the GUI structure representing the observed web page. Adds 
     378     * this element to the provided server as child. 
     379     * </p> 
     380     * 
     381     * @param clientInfos infos about the client who send the data 
     382     * @param server      the server on which the page represented by the return value resists 
     383     *  
     384     * @return as described 
    377385     */ 
    378386    private HtmlPageElement getPageElementRepresentingWebPage(HtmlClientInfos clientInfos, 
     
    395403    /** 
    396404     * <p> 
    397      * TODO: comment 
    398      * </p> 
    399      * 
    400      * @param jsonPageElement 
    401      * @return 
     405     * converts a JSON object representing an HTML page element to an HTML page element. Calls 
     406     * itself recursively to also convert the children of the element, if any. 
     407     * </p> 
     408     * 
     409     * @param jsonPageElement the JSON object to be converted 
     410     * @param parentPath      the path through the DOM of the parent HTML page element of the 
     411     *                        converted one 
     412     *                         
     413     * @return as described. 
    402414     */ 
    403415    private HtmlPageElement convert(JSONObject jsonPageElement, String parentPath) { 
  • trunk/autoquest-htmlmonitor/src/main/java/de/ugoe/cs/autoquest/htmlmonitor/HtmlPageElement.java

    r1019 r1022  
    2020/** 
    2121 * <p> 
    22  * TODO comment 
     22 * represents an element of an HTML GUI. This can be a server, which is usually the root of a 
     23 * GUI structure, a web page, or a tag within a web page. 
    2324 * </p> 
    2425 *  
     
    2829 
    2930    /** 
    30      *  
     31     * path to the parent of this page element or null, if this is the root element 
    3132     */ 
    3233    private String parentPath; 
    3334     
    3435    /** 
    35      *  
     36     * the name of the tag represented by this page element. May also be the name of the server 
     37     * or the page. 
    3638     */ 
    3739    private String tagName; 
    3840     
    3941    /** 
    40      *  
     42     * the id of the page element. May also be the name of the server including port number or the 
     43     * URL of the page 
    4144     */ 
    4245    private String id; 
    4346     
    4447    /** 
    45      *  
     48     * the title of the page if a page is represented through this element 
    4649     */ 
    4750    private String title; 
    4851     
    4952    /** 
    50      *  
     53     * the index of this element regarding all elements with the same tag name in the list of  
     54     * children of the parent element 
    5155     */ 
    5256    private Integer index; 
    5357     
    5458    /** 
    55      *  
     59     * the children of this element 
    5660     */ 
    5761    private List<HtmlPageElement> children; 
     
    5963    /** 
    6064     * <p> 
    61      * TODO: comment 
    62      * </p> 
    63      * 
    64      * @param tagName 
    65      * @param index 
    66      * @param id 
    67      * @param children 
     65     * instantiates a new element representing a tag in an HTML page 
     66     * </p> 
     67     * 
     68     * @param parentPath the path through the DOM to the parent node of the represented tag  
     69     * @param tagName    the name of the represented tag 
     70     * @param id         the id of the tag in the DOM 
     71     * @param index      the index of the represented tag regarding all tags with the same tag name 
     72     *                   in the list of children of the parent tag 
    6873     */ 
    6974    HtmlPageElement(String parentPath, String tagName, String id, Integer index) { 
     
    7681    /** 
    7782     * <p> 
    78      * TODO: comment 
    79      * </p> 
    80      * 
    81      * @param tagName 
    82      * @param index 
    83      * @param id 
    84      * @param children 
     83     * instantiates a new element representing an HTML page 
     84     * </p> 
     85     * 
     86     * @param parentPath the path through the DOM to the parent node of the represented tag which is 
     87     *                   usually a server 
     88     * @param tagName    the name of the represented tag which is the path of the web page 
     89     * @param title      the title of the web page 
     90     * @param id         the id of the web page which is its path 
     91     * @param index      usually 0 
    8592     */ 
    8693    HtmlPageElement(String parentPath, String tagName, String id, String title, Integer index) { 
     
    9097 
    9198    /** 
     99     * <p> 
     100     * returns the name of the tag represented by this page element. May also be the name of the 
     101     * server or the page. 
     102     * </p> 
     103     *  
    92104     * @return the tagName 
    93105     */ 
     
    97109 
    98110    /** 
     111     * <p> 
     112     * returns the id of the page element. May also be the name of the server including port 
     113     * number or the URL of the page 
     114     * </p> 
     115     *  
    99116     * @return the id 
    100117     */ 
     
    104121 
    105122    /** 
     123     * <p> 
     124     * returns the title of the page if a page is represented through this element 
     125     * </p> 
     126     *  
    106127     * @return the title 
    107128     */ 
     
    111132 
    112133    /** 
     134     * <p> 
     135     * returns the index of this element regarding all elements with the same tag name in the list 
     136     * of children of the parent element 
     137     * </p> 
     138     *  
    113139     * @return the index 
    114140     */ 
     
    118144 
    119145    /** 
     146     * <p> 
     147     * returns the children of this element if any, null else 
     148     * </p> 
     149     *  
    120150     * @return the children 
    121151     */ 
     
    126156 
    127157    /** 
    128      *  
     158     * adds a child to this element 
     159     *  
     160     * @param child the child to be added 
    129161     */ 
    130162    void addChild(HtmlPageElement child) { 
     
    140172    /** 
    141173     * <p> 
    142      * TODO: comment 
    143      * </p> 
    144      * 
    145      * @return 
     174     * returns the path to the parent of this page element or null, if this is the root element 
     175     * </p> 
     176     * 
     177     * @return as described 
    146178     */ 
    147179    String getParentPath() { 
     
    151183    /** 
    152184     * <p> 
    153      * TODO: comment 
    154      * </p> 
    155      * 
    156      * @return 
     185     * calculates and returns the path to the represented page element through the DOM. Includes 
     186     * the parent path if any. The represented element is included in the path with its tag name 
     187     * and its id if it has one, or its index. 
     188     * </p> 
     189     * 
     190     * @return as described 
    157191     */ 
    158192    String getPath() { 
Note: See TracChangeset for help on using the changeset viewer.