Changeset 2207
- Timestamp:
- 11/29/17 12:23:27 (7 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
trunk/autoquest-plugin-android/src/main/java/de/ugoe/cs/autoquest/plugin/android/guimodel/ANDROIDGUIElementSpec.java
r2146 r2207 262 262 * Set the position of the element in the original GUI. 263 263 * </p> 264 *265 * @param elementPosition266 264 */ 267 265 public void setElementPosition(int elementPosition) { … … 327 325 * <p> 328 326 * Sets the type hierarchy of the specified GUI element. 329 * 330 * @param typeHierarchy 331 * </p> 327 * </p> 332 328 */ 333 329 public void setTypeHierarchy(List<String> typeHierarchy) {
Note: See TracChangeset
for help on using the changeset viewer.