Ignore:
Timestamp:
07/25/13 14:53:22 (11 years ago)
Author:
pharms
Message:
  • improved logging
File:
1 edited

Legend:

Unmodified
Added
Removed

  • trunk/autoquest-plugin-html/src/main/java/de/ugoe/cs/autoquest/plugin/html/guimodel/HTMLPageElement.java

    r1069 r1264  
    5151    } 
    5252 
    53     /* 
    54      * (non-Javadoc) 
    55      *  
    56      * @see java.lang.Object#toString() 
     53    /** 
     54     * <p> 
     55     * TODO: comment 
     56     * </p> 
     57     * 
     58     * @return 
    5759     */ 
    58     @Override 
    59     public String toString() { 
    60         String str = getTagName(); 
    61          
    62         if ((getHtmlId() != null) && (!"".equals(getHtmlId()))) { 
    63             str += "(id=\"" + getHtmlId() + "\")"; 
    64         } 
    65         else { 
    66             str += "[" + getIndex() + "]"; 
    67         } 
    68          
    69         return str; 
     60    public String getTagName() { 
     61        return ((HTMLPageElementSpec) super.getSpecification()).getTagName(); 
     62    } 
     63 
     64    /** 
     65     * <p> 
     66     * TODO: comment 
     67     * </p> 
     68     * 
     69     * @return 
     70     */ 
     71    public String getHtmlId() { 
     72        return ((HTMLPageElementSpec) super.getSpecification()).getHtmlId(); 
     73    } 
     74 
     75    /** 
     76     * <p> 
     77     * TODO: comment 
     78     * </p> 
     79     * 
     80     * @return 
     81     */ 
     82    public int getIndex() { 
     83        return ((HTMLPageElementSpec) super.getSpecification()).getIndex(); 
    7084    } 
    7185 
    … …  
    91105    } 
    92106 
    93     /** 
    94      * <p> 
    95      * TODO: comment 
    96      * </p> 
    97      * 
    98      * @return 
    99      */ 
    100     String getTagName() { 
    101         return ((HTMLPageElementSpec) super.getSpecification()).getTagName(); 
    102     } 
    103  
    104     /** 
    105      * <p> 
    106      * TODO: comment 
    107      * </p> 
    108      * 
    109      * @return 
    110      */ 
    111     String getHtmlId() { 
    112         return ((HTMLPageElementSpec) super.getSpecification()).getHtmlId(); 
    113     } 
    114  
    115     /** 
    116      * <p> 
    117      * TODO: comment 
    118      * </p> 
    119      * 
    120      * @return 
    121      */ 
    122     int getIndex() { 
    123         return ((HTMLPageElementSpec) super.getSpecification()).getIndex(); 
    124     } 
    125  
    126107} 
Note: See TracChangeset for help on using the changeset viewer.