Changeset 1876 for trunk/autoquest-plugin-html/src/main/java/de/ugoe/cs/autoquest/plugin/html/guimodel/HTMLPageElement.java
- Timestamp:
- 02/13/15 10:31:00 (9 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
trunk/autoquest-plugin-html/src/main/java/de/ugoe/cs/autoquest/plugin/html/guimodel/HTMLPageElement.java
r1496 r1876 16 16 17 17 import de.ugoe.cs.autoquest.eventcore.guimodel.IGUIElement; 18 import de.ugoe.cs.autoquest.eventcore.guimodel.IGUIView; 18 19 19 20 /** … … 78 79 public int getIndex() { 79 80 return ((HTMLPageElementSpec) super.getSpecification()).getIndex(); 81 } 82 83 /* (non-Javadoc) 84 * @see de.ugoe.cs.autoquest.eventcore.guimodel.IGUIElement#getView() 85 */ 86 @Override 87 public IGUIView getView() { 88 return ((HTMLPageElementSpec) super.getSpecification()).getPage(); 80 89 } 81 90
Note: See TracChangeset
for help on using the changeset viewer.