Ignore:
Timestamp:
11/29/17 12:23:27 (7 years ago)
Author:
pharms
Message:
 
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  
    262262     * Set the position of the element in the original GUI. 
    263263     * </p> 
    264      *  
    265      * @param elementPosition 
    266264     */ 
    267265    public void setElementPosition(int elementPosition) { 
     
    327325     * <p> 
    328326     * Sets the type hierarchy of the specified GUI element. 
    329      *  
    330      * @param typeHierarchy 
    331      *            </p> 
     327     * </p> 
    332328     */ 
    333329    public void setTypeHierarchy(List<String> typeHierarchy) { 
Note: See TracChangeset for help on using the changeset viewer.