Changeset 2146 for trunk/autoquest-plugin-mfc/src/main/java/de/ugoe/cs/autoquest/plugin/mfc/guimodel/MFCGUIElement.java
- Timestamp:
- 05/19/17 11:31:29 (7 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
trunk/autoquest-plugin-mfc/src/main/java/de/ugoe/cs/autoquest/plugin/mfc/guimodel/MFCGUIElement.java
r1876 r2146 15 15 package de.ugoe.cs.autoquest.plugin.mfc.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 … … 125 125 */ 126 126 @Override 127 public void updateSpecification(IGUIElementSpec furtherSpec) { 128 ((MFCGUIElementSpec) super.getSpecification()).update(furtherSpec); 127 public void updateSpecification(IEventTargetSpec furtherSpec) { 128 if (furtherSpec instanceof MFCGUIElementSpec) { 129 ((MFCGUIElementSpec) super.getSpecification()).update((MFCGUIElementSpec) furtherSpec); 130 } 129 131 } 130 132
Note: See TracChangeset
for help on using the changeset viewer.