Ignore:
Timestamp:
02/14/13 15:20:07 (11 years ago)
Author:
pharms
Message:
  • support of new HTML logging format
File:
1 edited

Legend:

Unmodified
Added
Removed

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

    r1059 r1069  
    3030     
    3131    /** */ 
    32     private HTMLPageSpec page; 
     32    private HTMLDocumentSpec page; 
    3333     
    3434    /** */ 
    35     private String tag; 
     35    private String tagName; 
    3636     
    3737    /** */ 
    38     private String id; 
     38    private String htmlId; 
    3939     
    4040    /** */ 
    … …  
    5050     * @param id 
    5151     */ 
    52     public HTMLPageElementSpec(HTMLPageSpec page, String tag, String id, int index) { 
    53         super(tag); 
     52    public HTMLPageElementSpec(HTMLDocumentSpec page, String tagName, String htmlId, int index) { 
     53        super(tagName); 
    5454         
    5555        if (page == null) { 
    5656            throw new IllegalArgumentException("page must not be null"); 
    5757        } 
    58         else if (tag == null) { 
     58        else if (tagName == null) { 
    5959            throw new IllegalArgumentException("tag must not be null"); 
    6060        } 
    61         else if ((id == null) && (index < 0)) { 
     61        else if ((htmlId == null) && (index < 0)) { 
    6262            throw new IllegalArgumentException 
    6363                ("either id must not be null or the index must be greater or equal to 0"); 
    … …  
    6565         
    6666        this.page = page; 
    67         this.tag = tag; 
    68         this.id = id; 
     67        this.tagName = tagName; 
     68        this.htmlId = htmlId; 
    6969        this.index = index; 
    7070    } 
    … …  
    8484                return false; 
    8585            } 
    86             else if (!tag.equals(otherSpec.tag)) { 
     86            else if (!tagName.equals(otherSpec.tagName)) { 
    8787                return false; 
    8888            } 
    8989             
    90             if (id != null) { 
    91                 return id.equals(otherSpec.id); 
     90            if (htmlId != null) { 
     91                return htmlId.equals(otherSpec.htmlId); 
    9292            } 
    9393            else if (index >= 0) { 
    … …  
    106106     * @return 
    107107     */ 
    108     public HTMLPageSpec getPage() { 
     108    HTMLDocumentSpec getPage() { 
    109109        return page; 
    110110    } 
    … …  
    117117     * @return 
    118118     */ 
    119     String getTag() { 
    120         return tag; 
     119    String getTagName() { 
     120        return tagName; 
    121121    } 
    122122 
    … …  
    128128     * @return 
    129129     */ 
    130     String getTagId() { 
    131         return id; 
     130    String getHtmlId() { 
     131        return htmlId; 
    132132    } 
    133133 
    … …  
    139139     * @return 
    140140     */ 
    141     int getTagIndex() { 
     141    int getIndex() { 
    142142        return index; 
    143143    } 
Note: See TracChangeset for help on using the changeset viewer.