Changeset 1754
- Timestamp:
- 09/19/14 08:25:59 (10 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
trunk/autoquest-plugin-jfc/src/main/java/de/ugoe/cs/autoquest/plugin/android/guimodel/AndroidGUIElementSpec.java
r1751 r1754 118 118 119 119 /** 120 * Set the hash code associated with the GUI element. 121 * @param hash 122 * the hash of an element object 123 */ 124 public void setHashCode(int hash){ 125 this.hashCode = hash; 126 } 127 128 /** 120 129 * Set the path associated with the specified GUI element. 121 130 * @param path … … 125 134 this.path = path; 126 135 } 136 137 /** 138 * <p> 139 * Sets the type of the specified GUI element. 140 * </p> 141 * 142 * @param type 143 * the type 144 */ 145 public void setType(String type) { 146 this.type = type; 147 } 127 148 128 149 }
Note: See TracChangeset
for help on using the changeset viewer.