Changeset 2146 for trunk/autoquest-plugin-jfc/src/main/java/de/ugoe/cs/autoquest/plugin/jfc/guimodel/JFCGUIElement.java
- Timestamp:
- 05/19/17 11:31:29 (7 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
trunk/autoquest-plugin-jfc/src/main/java/de/ugoe/cs/autoquest/plugin/jfc/guimodel/JFCGUIElement.java
r2044 r2146 15 15 package de.ugoe.cs.autoquest.plugin.jfc.guimodel; 16 16 17 import de.ugoe.cs.autoquest.eventcore.IEventTargetSpec; 17 18 import de.ugoe.cs.autoquest.eventcore.guimodel.AbstractDefaultGUIElement; 18 19 import de.ugoe.cs.autoquest.eventcore.guimodel.IGUIElement; 19 import de.ugoe.cs.autoquest.eventcore.guimodel.IGUIElementSpec;20 20 import de.ugoe.cs.autoquest.eventcore.guimodel.IGUIView; 21 21 … … 169 169 */ 170 170 @Override 171 public void updateSpecification(I GUIElementSpec updateSpecification) {171 public void updateSpecification(IEventTargetSpec updateSpecification) { 172 172 if (updateSpecification instanceof JFCGUIElementSpec) { 173 173 specification.update(((JFCGUIElementSpec) updateSpecification));
Note: See TracChangeset
for help on using the changeset viewer.